Syzygies of the apolar ideals of the determinant and permanent (Q2187740)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Syzygies of the apolar ideals of the determinant and permanent |
scientific article |
Statements
Syzygies of the apolar ideals of the determinant and permanent (English)
0 references
3 June 2020
0 references
Given a polynomial \(f\in \mathbb K[y_1,\ldots,y_k]\) one defines its apolar ideal \(f^{\bot}\) as \[f^{\bot}=\{g\in\mathbb K[y_1,\ldots,y_k] : \partial g(f)=0\}.\] Recall that to a monomial \(y^{\alpha}=y_1^{\alpha_1}\ldots y_k^{\alpha_k}\) one associates a differential operator \[\frac{\partial}{\partial y^{\alpha}}=\frac{\partial}{\partial y_1^{\alpha_1}\cdots\partial y_k^{\alpha_k}}\] and extends this definition linearly to all polynomials. Thus for \(g=\sum c_{\alpha}y^{\alpha}\) one associates a differential operator \[\partial g= \sum c_{\alpha}\frac{\partial}{\partial y^{\alpha}}.\] The authors of the paper under review are interested in apolar ideals of two specific polynomials \(\mathrm{def}_n\) and \(\mathrm{perm}_n\) which are elements of the ring \(\mathbb K[x_{11},\ldots, x_{1n},x_{21},\ldots,x_{nn}]\) defines as \[\mathrm{def}_n=\sum_{\sigma\in S_n} \mathrm{sgn}(\sigma) x_{1\sigma(1)}\ldots x_{n\sigma(n)}\] and \[\mathrm{perm}_n=\sum_{\sigma\in S_n} x_{1\sigma(1)}\ldots x_{n\sigma(n)}.\] [\textit{S. M. Shafiei}, J. Commut. Algebra 7, No. 1, 89--123 (2015; Zbl 1364.13024)] showed that the ideals \((\mathrm{def}_n)^{\bot}\) and \((\mathrm{perm}_n)^{\bot}\) are generated by quadrics. She provided an explicit minimal set of generators. The authors extend this study to the first syzygies. They show that the first syzygies of \((\mathrm{def}_n)^{\bot}\) are linear except in characteristic two, where both polynomials and hence their apolar ideals coincide. Thus \((\mathrm{def}_n)^{\bot}\) satisfies at lest the \(N_3\) property of \textit{M. L. Green} [J. Differ. Geom. 19, 125--167, 168--171 (1984; Zbl 0559.14008)]. On the other hand syzygies of \((\mathrm{perm}_n)^{\bot}\) require also quadratic generators, in arbitrary characteristic. Thus one can distinguish both polynomials by properties of their minimal graded free resolution. The paper is clearly written and all arguments are kept pretty effective, even if some of them are quite involved.
0 references
syzygies
0 references
apolarity
0 references
Waring rank
0 references
determinant
0 references
permanent
0 references
algebraic complexity
0 references
representation theory
0 references