The dimension of the determinantal schemevs(t,t,2) of the catalecticant matrix

DOI10.1080/00927870008826968MaRDI QIDQ4495366zbMATH OpenOpenAlexFDO

Authors Young Hyun Cho, Bae Eun Jung

Publication date 25 July 2001

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927870008826968

zbMATH Keywords

catalecticant matrixdeterminantal scheme

Mathematics Subject Classification ID

Linkage, complete intersections and determinantal ideals (13C40) Determinantal varieties (14M12)

Review text

Let \(k\) be an algebraically closed field of characteristic 0 and \(R=k[x_0, \dots,x_n]\). If \(J\) is a multi-index of length \(|J|=j\), we denote b \(X^J\) the corresponding monomial of \(R\) and by \({j\choose J}\) the multinomial coefficient. We let \(r_i=\dim_k R_i={n+i\choose n}\). The \(r_u\times r_v\) matrix \(\text{CAT}_F(u,v,n)\), where \(u+v=j\), has rows corresponding to the degree \(n\) monomials of \(R\) (multiindices \(U\) of length \(u)\), and columns corresponding to the degree \(v\) monomials (multiindices \(V\) of length \(v)\); the matrix \(\text{CAT}_F (u,v,n)\) is called the catalecticant matrix. The determinantal ideal \(I_s(\text{CAT}_F(u,v,n)) \subset k[B]\) is generated by the \((s+1) \times(s+1)\) minors of \(\text{CAT}_F(u,v,n)\), and it defines the determinantal scheme \[ V_s(u,v,n)= \text{Proj} \biggl(k[B]/I_s \bigl(\text{CAT}_F (u,v,n) \bigr)\biggr) \subset\mathbb{P}^N. \] Let \(T\) be a Gorenstein sequence of a graded artinian Gorenstein ring \(k[x_0,x_1,x_2]/I\). We develop a dimension formula for \(\mathbb{P}\text{Gor}(T)\) in terms of the alignment character. Based on our formula, we find a very large component of \(V_s(t,t,2)\) when \(s=r_{t-1}+1\) and \(t\) is large enough. This answers Diesel's conjecture negatively. [\textit{S. J. Diesel}, Pac. J. Math. 172, No. 2, 365-397 (1996; Zbl 0882.13021)]. Further we show that \(V_s(t,t,2)\) is irreducible of dimension \(3s-1\) for \(s\leq t+1\), \(t\geq 2\) and \(\dim V_s(t,t,2)=3s-1\) for small \(s\). Finally an algorithm to calculate \(\dim V_s (t,t,2)\) is constructed, and we find the values of \(\dim V_s(t,t,2)\) for \(t\leq 16\).

Recommendations

• The dimension of certain catalecticant varieties
• Dimension of families of determinantal schemes
• Deformation and Unobstructedness of Determinantal Schemes
• The Veronese variety and catalecticant matrices

Cites work

• Gorenstein Artin algebras, additive decompositions of forms and the punctual Hilbert scheme
• Hilbert function of powers of ideals of low codimension
• Hilbert functions of graded algebras
• Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
• The smoothness and the dimension of \(PGor(H)\) and of other strata of the punctual Hilbert scheme

Cited in

(4)

• A combinatorial proof of the smoothness of catalecticant schemes associated to complete intersections
• The dimension of certain catalecticant varieties
• \(3 \times 3\) minors of catalecticants
• The Gale transform and multi-graded determinantal schemes

This page was built for publication: The dimension of the determinantal schemev_s(t,t,2) of the catalecticant matrix

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4495366)