Regular sequences of symmetric polynomials

From MaRDI portal
Publication:2389062



Abstract: Denote by p_k the k-th power sum symmetric polynomial n variables. The interpretation of the q-analogue of the binomial coefficient as Hilbert function leads us to discover that n consecutive power sums in n variables form a regular sequence. We consider then the following problem: describe the subsets n powersums forming a regular sequence. A necessary condition is that n! divides the product of the degrees of the elements. To find an easily verifiable sufficient condition turns out to be surprisingly difficult already in 3 variables. Given positive integers a<b<c with GCD(a,b,c)=1, we conjecture that p_a, p_b, p_c is a regular sequence for n=3 if and only if 6 divides abc. We provide evidence for the conjecture by proving it in several special instances.


Summary: A set of \(n\) homogeneous polynomials in \(n\) variables is a regular sequence if the associated polynomial system has only the obvious solution \((0,0,\dots,0)\). Denote by \(p_k(n)\) the power sum symmetric polynomial in \(n\) variables \(x^k_1+x^k_2+\cdots +x^k_n\). The interpretation of the \(q\)-analogue of the binomial coefficient as Hilbert function leads us to discover that \(n\) consecutive power sums in \(n\) variables form a regular sequence. We consider then the following problem: describe the subsets \(A\subset \mathbb N^*\) of cardinality \(n\) such that the set of polynomials \(p_a(n)\) with \(a\in A\) is a regular sequence. We prove that a necessary condition is that \(n!\) divides the product of the elements of \(A\). To find an easily verifiable sufficient condition turns out to be surprisingly difficult already for \(n=3\). Given positive integers \(a<b<c\) with \(\text{gcd}(a,b,c)=1\), we conjecture that \(p_a(3),p_b(3),p_c(3)\) is a regular sequence if and only if \(abc\equiv 0\pmod 6\). We provide evidence for the conjecture by proving it in several special instances.




Cited in
(27)








This page was built for publication: Regular sequences of symmetric polynomials

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