The quadratic complete intersections associated with the action of the symmetric group (Q5965360): Difference between revisions

One of the main results of this paper is the following: Theorem. Assume that the characteristic of \(K\) is zero. Let \(I=\left(f_1,\dots,f_n\right)\) be a complete intersection ideal in \(R=K\left[x_1,x_2,\dots,x_n\right]\) which satisfies the conditions:{\parindent=6mm \begin{itemize}\item[(1)] \(\left(f_1,\dots,f_n\right)\) are quadrics. \item[(2)] \(\left(f_1,\dots,f_n\right)\) form a regular sequence. \item[(3)] For any \(\sigma\in S_n, f_i (x_{\sigma(1)},x_{\sigma(2)},\dots,x_{\sigma(n)})\) = \(f_{\sigma(i)} (x_1,x_2,\dots,x_n )\) for \(i=1,2,\dots,n\). \end{itemize}} Then \(A:= R/I\) has the strong Lefschetz property. In this theorem they prove that any quadratic complete intersection with a certain action of the symmetric group has the strong Lefschetz property over a field of characteristic zero. Furthermore, they prove that the ring of invariants of any complete intersection in this family by the action of any Young subgroup in \(S_n\) is a homogeneous complete intersection with a standard grading. A theorem of \textit{S. Goto} [Osaka J. Math. 15, 47--50 (1978; Zbl 0407.13017)] says that the ring of invariants of a complete intersection is again a complete intersection if the group is generated by pseudo-reflections and its order is invertible in the ground field. They construct a set of uniform generators for all invariant subrings in the family.