A Poincaré-Birkhoff-Witt theorem for quadratic algebras with group actions

Shepler, Anne; Witherspoon, Sarah

doi:10.1090/S0002-9947-2014-06118-7

A Poincaré-Birkhoff-Witt theorem for quadratic algebras with group actions
HTML articles powered by AMS MathViewer

by Anne V. Shepler and Sarah Witherspoon PDF

Trans. Amer. Math. Soc. 366 (2014), 6483-6506 Request permission

Abstract:

Braverman, Gaitsgory, Polishchuk, and Positselski gave necessary and sufficient conditions for a nonhomogeneous quadratic algebra to satisfy the Poincaré-Birkhoff-Witt property when its homogeneous version is Koszul. We widen their viewpoint and consider a quotient of an algebra that is free over some (not necessarily semisimple) subalgebra. We show that their theorem holds under a weaker hypothesis: We require the homogeneous version of the nonhomogeneous quadratic algebra to be the skew group algebra (semidirect product algebra) of a finite group acting on a Koszul algebra, obtaining conditions for the Poincaré-Birkhoff-Witt property over (nonsemisimple) group algebras. We prove our main results by exploiting a double complex adapted from Guccione, Guccione, and Valqui (formed from a Koszul complex and a resolution of the group), giving a practical way to analyze Hochschild cohomology and deformations of skew group algebras in positive characteristic. We apply these conditions to graded Hecke algebras and Drinfeld orbifold algebras (including rational Cherednik algebras and symplectic reflection algebras) in arbitrary characteristic, with special interest in the case when the characteristic of the underlying field divides the order of the acting group.

References

Martina Balagović and Harrison Chen, Representations of rational Cherednik algebras in positive characteristic, J. Pure Appl. Algebra 217 (2013), no. 4, 716–740. MR 2983846, DOI 10.1016/j.jpaa.2012.09.015
Yuri Bazlov and Arkady Berenstein, Braided doubles and rational Cherednik algebras, Adv. Math. 220 (2009), no. 5, 1466–1530. MR 2493618, DOI 10.1016/j.aim.2008.11.004
George M. Bergman, The diamond lemma for ring theory, Adv. in Math. 29 (1978), no. 2, 178–218. MR 506890, DOI 10.1016/0001-8708(78)90010-5
Alexander Beilinson, Victor Ginzburg, and Wolfgang Soergel, Koszul duality patterns in representation theory, J. Amer. Math. Soc. 9 (1996), no. 2, 473–527. MR 1322847, DOI 10.1090/S0894-0347-96-00192-0
Alexander Braverman and Dennis Gaitsgory, Poincaré-Birkhoff-Witt theorem for quadratic algebras of Koszul type, J. Algebra 181 (1996), no. 2, 315–328. MR 1383469, DOI 10.1006/jabr.1996.0122
José Bueso, José Gómez-Torrecillas, and Alain Verschoren, Algorithmic methods in non-commutative algebra, Mathematical Modelling: Theory and Applications, vol. 17, Kluwer Academic Publishers, Dordrecht, 2003. Applications to quantum groups. MR 2006329, DOI 10.1007/978-94-017-0285-0
V. G. Drinfel′d, Degenerate affine Hecke algebras and Yangians, Funktsional. Anal. i Prilozhen. 20 (1986), no. 1, 69–70 (Russian). MR 831053
Pavel Etingof and Victor Ginzburg, Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism, Invent. Math. 147 (2002), no. 2, 243–348. MR 1881922, DOI 10.1007/s002220100171
Marco Farinati, Hochschild duality, localization, and smash products, J. Algebra 284 (2005), no. 1, 415–434. MR 2115022, DOI 10.1016/j.jalgebra.2004.09.009
Murray Gerstenhaber, On the deformation of rings and algebras, Ann. of Math. (2) 79 (1964), 59–103. MR 171807, DOI 10.2307/1970484
M. Gerstenhaber and S. D. Schack, On the deformation of algebra morphisms and diagrams, Trans. Amer. Math. Soc. 279 (1983), no. 1, 1–50. MR 704600, DOI 10.1090/S0002-9947-1983-0704600-5
Murray Gerstenhaber and Samuel D. Schack, Algebraic cohomology and deformation theory, Deformation theory of algebras and structures and applications (Il Ciocco, 1986) NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 247, Kluwer Acad. Publ., Dordrecht, 1988, pp. 11–264. MR 981619, DOI 10.1007/978-94-009-3057-5_{2}
Edward L. Green, Idun Reiten, and Øyvind Solberg, Dualities on generalized Koszul algebras, Mem. Amer. Math. Soc. 159 (2002), no. 754, xvi+67. MR 1921583, DOI 10.1090/memo/0754
Stephen Griffeth, Towards a combinatorial representation theory for the rational Cherednik algebra of type $G(r,p,n)$, Proc. Edinb. Math. Soc. (2) 53 (2010), no. 2, 419–445. MR 2653242, DOI 10.1017/S0013091508000904
Jorge A. Guccione, Juan J. Guccione, and Christian Valqui, Universal deformation formulas and braided module algebras, J. Algebra 330 (2011), 263–297. MR 2774629, DOI 10.1016/j.jalgebra.2010.12.022
Gilles Halbout, Jean-Michel Oudom, and Xiang Tang, Deformations of orbifolds with noncommutative linear Poisson structures, Int. Math. Res. Not. IMRN 1 (2011), 1–39. MR 2755481, DOI 10.1093/imrn/rnq065
U. Krähmer, “Notes on Koszul algebras,” available at http:$\slash \slash$www.maths.gla.ac.uk/ $\sim$ukraehmer/$\#$research.
Huishi Li, Gröbner bases in ring theory, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2012. MR 2894019
Liping Li, A generalized Koszul theory and its application, Trans. Amer. Math. Soc. 366 (2014), no. 2, 931–977. MR 3130322, DOI 10.1090/S0002-9947-2013-05891-6
George Lusztig, Cuspidal local systems and graded Hecke algebras. I, Inst. Hautes Études Sci. Publ. Math. 67 (1988), 145–202. MR 972345, DOI 10.1007/BF02699129
George Lusztig, Affine Hecke algebras and their graded version, J. Amer. Math. Soc. 2 (1989), no. 3, 599–635. MR 991016, DOI 10.1090/S0894-0347-1989-0991016-9
L. E. Positsel′skiĭ, Nonhomogeneous quadratic duality and curvature, Funktsional. Anal. i Prilozhen. 27 (1993), no. 3, 57–66, 96 (Russian, with Russian summary); English transl., Funct. Anal. Appl. 27 (1993), no. 3, 197–204. MR 1250981, DOI 10.1007/BF01087537
Alexander Polishchuk and Leonid Positselski, Quadratic algebras, University Lecture Series, vol. 37, American Mathematical Society, Providence, RI, 2005. MR 2177131, DOI 10.1090/ulect/037
Arun Ram and Anne V. Shepler, Classification of graded Hecke algebras for complex reflection groups, Comment. Math. Helv. 78 (2003), no. 2, 308–334. MR 1988199, DOI 10.1007/s000140300013
Katsunori Sanada, On the Hochschild cohomology of crossed products, Comm. Algebra 21 (1993), no. 8, 2727–2748. MR 1222741, DOI 10.1080/00927879308824703
Anne V. Shepler and Sarah Witherspoon, Quantum differentiation and chain maps of bimodule complexes, Algebra Number Theory 5 (2011), no. 3, 339–360. MR 2833794, DOI 10.2140/ant.2011.5.339
Anne V. Shepler and Sarah Witherspoon, Drinfeld orbifold algebras, Pacific J. Math. 259 (2012), no. 1, 161–193. MR 2988488, DOI 10.2140/pjm.2012.259.161
Dragoş Ştefan, Hochschild cohomology on Hopf Galois extensions, J. Pure Appl. Algebra 103 (1995), no. 2, 221–233. MR 1358765, DOI 10.1016/0022-4049(95)00101-2
Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. MR 1269324, DOI 10.1017/CBO9781139644136
D. Woodcock, Cohen-Macaulay complexes and Koszul rings, J. London Math. Soc. (2) 57 (1998), no. 2, 398–410. MR 1644229, DOI 10.1112/S0024610798005717