On Cohen-Macaulayness of algebras generated by generalized power sums. With an appendix by Misha Feigin (Q328186)

From MaRDI portal
Revision as of 14:27, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On Cohen-Macaulayness of algebras generated by generalized power sums. With an appendix by Misha Feigin
scientific article

    Statements

    On Cohen-Macaulayness of algebras generated by generalized power sums. With an appendix by Misha Feigin (English)
    0 references
    20 October 2016
    0 references
    Let \(a_{ij}\in \mathbb{C}\), \(i\geq 1\), \(1\leq j\leq N\), be nonzero complex numbers. Polynomials \(Q_i=Q_i(x_1,\ldots,x_N) =\sum^N_{j=1}a_{ij}x^i_j\) are called generalized power sums. The main question studied in this paper is when the algebra generated by \(Q_i\), \(i\geq 1\) inside \(\mathbb{C}[x_1,\ldots,x_N]\) is Cohen-Macaulay (shortly, \(CM\)). Specifically, following [\textit{A. Brookner} et al., ``On Cohen-Macaulayness of \(S^n\)-invariant subspace arrangements'', Preprint, \url{arXiv:1410.5096}], for various collections of positive integers \((r_1,\ldots,r_k)\) with \(\sum r_i = N\), the authors study the \(CM\) property of algebras of generalized power sums with symmetry type \((r_1,\ldots,r_k)\) (i.e.\ symmetric in the first \(r_1\) variables, the next \(r_2\) variables, etc.). Using representation theoretic results and deformation theory, the authors establish Cohen-Macaulayness of the algebra of \(q,t\)-deformed power sums defined by \textit{A. N. Sergeev} and \textit{A. P. Veselov} [Commun. Math. Phys. 245, No. 2, 249--278 (2004; Zbl 1062.81097)] and of some generalizations of this algebra, proving a conjecture of A.\ Brookner, D.\ Corwin, P.\ Etingof, S.\ Sam. Representation-theoretic techniques are also applied to studying \(m\)-quasi-invariants of deformed Calogero-Moser systems. In an appendix to this paper, M.\ Feigin uses representation theory of \textit{I. Cherednik} algebras [Prog. Math. 243, 79--95 (2006; Zbl 1097.20007)] to compute Hilbert series for such quasi-invariants, and shows that in the case of one light particle, the ring of quasi-invariants is Gorenstein.
    0 references
    Cherednik algebra
    0 references
    Cohen-Macaulay property
    0 references
    deformation theory
    0 references
    Gorenstein ring
    0 references
    Hilbert series
    0 references
    generalized power sum
    0 references
    quasi-invariant
    0 references
    representation theory
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references