Components and singularities of Quot schemes and varieties of commuting matrices
Joachim Jelisiejew, Klemen Šivic
Abstract
Abstract We investigate the variety of commuting matrices. We classify its components for any number of matrices of size at most 7. We prove that starting from quadruples of <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mn>8</m:mn> <m:mo>×</m:mo> <m:mn>8</m:mn> </m:mrow> </m:math> {8\times 8} matrices, this scheme has generically nonreduced components, while up to degree 7 it is generically reduced. Our approach is to recast the problem as deformations of modules and generalize an array of methods: apolarity, duality and Białynicki–Birula decompositions to this setup. We include a thorough review of our methods to make the paper self-contained and accessible to both algebraic and linear-algebraic communities. Our results give the corresponding statements for the Quot schemes of points, in particular we classify the components of <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:msub> <m:mi>Quot</m:mi> <m:mi>d</m:mi> </m:msub> <m:mo></m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:msubsup> <m:mi mathvariant="script">𝒪</m:mi> <m:msup> <m:mi>𝔸</m:mi> <m:mi>n</m:mi> </m:msup> <m:mrow> <m:mo>⊕</m:mo> <m:mi>r</m:mi> </m:mrow> </m:msubsup> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:math> {\operatorname{Quot}_{d}(\mathcal{O}_{\mathbb{A}^{n}}^{\oplus r})} for <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>d</m:mi> <m:mo>≤</m:mo> <m:mn>7</m:mn> </m:mrow> </m:math> {d\leq 7} and all r , n .