Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter July 4, 2014

Quantum binary polyhedral groups and their actions on quantum planes

  • Kenneth Chan EMAIL logo , Ellen Kirkman , Chelsea Walton and James J. Zhang

Abstract

We classify quantum analogues of actions of finite subgroups G of SL2(k) on commutative polynomial rings k[u,v]. More precisely, we produce a classification of pairs (H,R) where H is a finite-dimensional Hopf algebra that acts inner faithfully and preserves the grading of an Artin–Schelter regular algebra R of global dimension 2. Remarkably, the corresponding invariant rings RH share similar regularity and Gorenstein properties as the invariant rings k[u,v]G in the classical setting. We also present several questions and directions for expanding this work in noncommutative invariant theory.

Award Identifier / Grant number: DMS-1102548

Award Identifier / Grant number: DMS-0855743

Funding source: Simons Foundation

Award Identifier / Grant number: #208314

Funding statement: Chelsea Walton and James J. Zhang were supported by the US National Science Foundation: NSF grants DMS-1102548 and DMS-0855743, respectively. Ellen Kirkman was partially supported by grant #208314 from the Simons Foundation.

Acknowledgements

The authors are grateful to the referee for pointing out several typographical errors and for making suggestions that improved greatly the exposition of this manuscript. The authors also thank Jacques Alev, Jim Kuzmanovich, and Graham Leuschke for several useful discussions and valuable comments. We thank especially Michael Wemyss for pointing out corrections for Section 7.

References

[1] Artin M. and Schelter W. F., Graded algebras of global dimension 3, Adv. Math. 66 (1987), no. 2, 171–216. 10.1016/0001-8708(87)90034-XSearch in Google Scholar

[2] Artin M., Tate J. and Van den Bergh M., Some algebras associated to automorphisms of elliptic curves, The Grothendieck Festschrift. Vol. I, Progr. Math. 86, Birkhäuser-Verlag, Boston (1990), 33–85. 10.1007/978-0-8176-4574-8_3Search in Google Scholar

[3] Artin M., Tate J. and Van den Bergh M., Modules over regular algebras of dimension 3, Invent. Math. 106 (1991), no. 2, 335–388. 10.1007/BF01243916Search in Google Scholar

[4] Banica T. and Bichon J., Hopf images and inner faithful representations, Glasg. Math. J. 52 (2010), no. 3, 677–703. 10.1017/S0017089510000510Search in Google Scholar

[5] Bichon J. and Natale S., Hopf algebra deformations of binary polyhedral groups, Transform. Groups 16 (2011), no. 2, 339–374. 10.1007/s00031-011-9133-xSearch in Google Scholar

[6] Brown K. A. and Goodearl K. R., Homological aspects of Noetherian PI Hopf algebras of irreducible modules and maximal dimension, J. Algebra 198 (1997), no. 1, 240–265. 10.1006/jabr.1997.7109Search in Google Scholar

[7] Brown K. A. and Goodearl K. R., Lectures on algebraic quantum groups, Adv. Courses Math. CRM Barcelona, Birkhäuser-Verlag, Basel 2002. 10.1007/978-3-0348-8205-7Search in Google Scholar

[8] Chan K., Walton C. and Zhang J. J., Hopf actions and Nakayama automorphisms, J. Algebra 409 (2014), 26–53. 10.1016/j.jalgebra.2014.04.003Search in Google Scholar

[9] Etingof P. and Walton C., Semisimple Hopf actions on commutative domains, Adv. Math. 251 (2014), 47–61. 10.1016/j.aim.2013.10.008Search in Google Scholar

[10] Happel D., Preiser U. and Ringel C. M., Binary polyhedral groups and Euclidean diagrams, Manuscripta Math. 31 (1980), no. 1–3, 317–329. 10.1007/BF01303280Search in Google Scholar

[11] Jing N. and Zhang J. J., Gorensteinness of invariant subrings of quantum algebras, J. Algebra 221 (1999), no. 2, 669–691. 10.1006/jabr.1999.8023Search in Google Scholar

[12] Jørgensen P. and Zhang J. J., Gourmet’s guide to Gorensteinness, Adv. Math. 151 (2000), no. 2, 313–345. 10.1006/aima.1999.1897Search in Google Scholar

[13] Kashina Y., Sommerhäuser Y. and Zhu Y., Self-dual modules of semisimple Hopf algebras, J. Algebra 257 (2002), no. 1, 88–96. 10.1016/S0021-8693(02)00034-0Search in Google Scholar

[14] Kirkman E., Kuzmanovich J. and Zhang J. J., Rigidity of graded regular algebras, Trans. Amer. Math. Soc. 360 (2008), no. 12, 6331–6369. 10.1090/S0002-9947-08-04571-6Search in Google Scholar

[15] Kirkman E., Kuzmanovich J. and Zhang J. J., Gorenstein subrings of invariants under Hopf algebra actions, J. Algebra 322 (2009), no. 10, 3640–3669. 10.1016/j.jalgebra.2009.08.018Search in Google Scholar

[16] Kirkman E., Kuzmanovich J. and Zhang J. J., Shephard–Todd–Chevalley theorem for skew polynomial rings, Algebr. Represent. Theory 13 (2010), no. 2, 127–158. 10.1007/s10468-008-9109-2Search in Google Scholar

[17] Larson R. G. and Radford D. E., Semisimple cosemisimple Hopf algebras, Amer. J. Math. 110 (1988), no. 1, 187–195. 10.2307/2374545Search in Google Scholar

[18] Leuschke G. J. and Wiegand R., Cohen–Macaulay representations, Math. Surveys Monogr. 181, American Mathematical Society, Providence 2012. 10.1090/surv/181Search in Google Scholar

[19] Malkin A., Ostrik V. and Vybornov M., Quiver varieties and Lusztig’s algebra, Adv. Math. 203 (2006), no. 2, 514–536. 10.1016/j.aim.2005.05.002Search in Google Scholar

[20] Masuoka A., Calculations of some groups of Hopf algebra extensions, J. Algebra 191 (1997), no. 2, 568–588. 10.1006/jabr.1996.6863Search in Google Scholar

[21] Masuoka A., Cocycle deformations and Galois objects for some cosemisimple Hopf algebras of finite dimension, New trends in Hopf algebra theory (La Falda 1999), Contemp. Math. 267, American Mathematical Society, Providence (2000), 195–214. 10.1090/conm/267/04271Search in Google Scholar

[22] Masuoka A., Hopf algebra extensions and cohomology, New directions in Hopf algebras, Math. Sci. Res. Inst. Publ. 43, Cambridge University Press, Cambridge (2002), 167–209. Search in Google Scholar

[23] Montgomery S., Hopf algebras and their actions on rings, CBMS Reg. Conf. Ser. Math. 82, American Mathematical Society, Providence 1993. 10.1090/cbms/082Search in Google Scholar

[24] Müller E., Finite subgroups of the quantum general linear group, Proc. Lond. Math. Soc. (3) 81 (2000), no. 1, 190–210. 10.1112/S002461150001248XSearch in Google Scholar

[25] Ştefan D., Hopf algebras of low dimension, J. Algebra 211 (1999), no. 1, 343–361. 10.1006/jabr.1998.7602Search in Google Scholar

[26] Stephenson D. R. and Zhang J. J., Growth of graded Noetherian rings, Proc. Amer. Math. Soc. 125 (1997), no. 6, 1593–1605. 10.1090/S0002-9939-97-03752-0Search in Google Scholar

[27] Suzuki M., Group theory. I, Grundlehren Math. Wiss. 247, Springer-Verlag, Berlin 1982. 10.1007/978-3-642-61804-8Search in Google Scholar

[28] Takeuchi M., Some topics on GLq(n), J. Algebra 147 (1992), no. 2, 379–410. 10.1016/0021-8693(92)90212-5Search in Google Scholar

[29] Wang D. G., Zhang J. J. and Zhuang G., Lower bounds of growth of Hopf algebras, Trans. Amer. Math. Soc. 365 (2013), no. 9, 4963–4986. 10.1090/S0002-9947-2013-05793-5Search in Google Scholar

[30] Watanabe K., Certain invariant subrings are Gorenstein. I, II, Osaka J. Math. 11 (1974), 1–8, 79–388. Search in Google Scholar

Received: 2013-9-5
Revised: 2014-3-21
Published Online: 2014-7-4
Published in Print: 2016-10-1

© 2016 by De Gruyter

Downloaded on 28.4.2024 from https://www.degruyter.com/document/doi/10.1515/crelle-2014-0047/html
Scroll to top button