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

DOI10.1007/S00220-016-2657-0MaRDI QIDQ328186zbMATH OpenOpenAlexFDO

Publication date 20 October 2016

Published in Communications in Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.07485

Cherednik algebra Cohen-Macaulay property deformation theory generalized power sum Gorenstein ring Hilbert series quasi-invariant representation theory

Mathematics Subject Classification ID

Cohen-Macaulay modules (13C14) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05) Homological conditions on associative rings (generalizations of regular, Gorenstein, Cohen-Macaulay rings, etc.) (16E65)

Abstract: Generalized power sums are linear combinations of i-th powers of coordinates. We consider subalgebras of the polynomial algebra generated by generalized power sums, and study when such algebras are Cohen-Macaulay. It turns out that the Cohen-Macaulay property of such algebras is rare, and tends to be related to quantum integrability and representation theory of Cherednik algebras. Using representation-theoretic results and deformation theory, we establish Cohen-Macaulayness of the algebra of

q, t

-deformed power sums defined by Sergeev and Veselov, and of some generalizations of this algebra, proving a conjecture from arXiv:1410.5096. We also apply representation-theoretic techniques to studying m-quasi-invariants of deformed Calogero-Moser systems. In an appendix to this paper, M. Feigin uses representation theory of Cherednik algebras to compute Hilbert series for such quasi-invariants, and show that in the case of one light particle, the ring of quasi-invariants is Gorenstein.

Review text

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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: On Cohen-Macaulayness of algebras generated by generalized power sums. With an appendix by Misha Feigin

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