Abstract
Generalized power sums are linear combinations of ith 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 of Brookner, Corwin, Etingof, and Sam. 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.
Similar content being viewed by others
References
Brookner, A., Corwin, D., Etingof, P., Sam, S.: On Cohen–Macaulayness of S n -invariant subspace arrangements. Int. Math. Res. Notices 2016(7), 2104–2126 (2016). arXiv:1410.5096
Berest, Yu., Etingof, P., Ginzburg, V.: Cherednik algebras and differential operators on quasi-invariants. Duke Math. J. 118(2), 279–337 (2003), corrected version arXiv:math/0111005v6
Chalykh O.A., Feigin M.V., Veselov A.P.: New integrable generalizations of Calogero–Moser quantum problem. J. Math. Phys. 39(2), 695–703 (1998)
Cherednik, I.: Double affine Hecke algebras. London Mathematical Society Lecture Note Series, vol. 319. Cambridge University Press, Cambridge (2006)
Chalykh O.: Macdonald polynomials and algebraic integrability. Adv. Math. 166, 193–259 (2002)
Eisenbud, D.: Commutative algebra with a view towards algebraic geometry. Grad. Texts Math. 150 (1994)
Etingof P., Ginzburg V.: On m-quasi-invariants of a Coxeter group. Mosc. Math. J. 2(3), 555–566 (2002)
Etingof, P., Gorsky, E., Losev, I.: Representations of rational Cherednik algebras with minimal support and torus knots. Adv. Math. 277, 124–180 (2015). arXiv:1304.3412
Feigin, M.: Generalized Calogero–Moser systems from rational Cherednik algebras. Select. Math. 18(1), 253–281 (2012). arXiv:0809.3487
Feigin, M., Veselov, A.: Quasi-invariants of Coxeter groups and m-harmonic polynomials. Int. Math. Res. Notices 2002(10), 521–545
Feigin, M., Veselov, A.P.: Quasi-invariants and quantum integrals of the deformed Calogero–Moser systems. Int. Math. Res. Notices 2003(46), 2487–2511 (2003). arXiv:math-ph/0303026
Johnston, D.: Quasi-invariants of hyperplane arrangements. PhD thesis, University of Glasgow (2011). http://theses.gla.ac.uk/3169/1/2011johnstonphd
Kirillov A.A.: Polynomial covariants of the symmetric group and some of its analogs. Funct. Anal. Appl. 18, 63–64 (1984)
Lin X.-S., Zheng H.: On the Hecke algebras and the colored HOMFLY polynomial. Trans. Am. Math. Soc. 362(1), 1–18 (2010)
Sergeev A., Veselov A.: Deformed quantum Calogero–Moser problems and Lie superalgebras. Comm. Math. Phys. 245, 249–278 (2004)
Sergeev A., Veselov A.: Deformed Macdonald–Ruijsenaars operators and super Macdonald polynomials. Comm. Math. Phys. 288, 653–675 (2009)
Shan P.: Crystals of Fock spaces and cyclotomic rational double affine Hecke algebras. Ann. Sci. Ecol. Norm. Super. 44(1), 147–182 (2011)
Stanley R.: Hilbert functions for graded algebras. Adv. Math. 28, 57–83 (1978)
Wilcox, S.: Supports of representations of the rational Cherednik algebra of type A. arXiv:1012.2585v2
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Borodin
To Sasha Veselov on his 60th birthday, with admiration.
Rights and permissions
About this article
Cite this article
Etingof, P., Rains, E. On Cohen–Macaulayness of Algebras Generated by Generalized Power Sums. Commun. Math. Phys. 347, 163–182 (2016). https://doi.org/10.1007/s00220-016-2657-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-016-2657-0