Here we present, via generators and relations, degree-one PBW deformations of the skew group algebras S(W∗⊕W)#Sn and S(h∗⊕h)#Sn that result from Theorems 4.1, 5.9, and 6.4when n≥3. This facilitates comparison with degree-zero deformations (i.e., rational Cherednik alge-bras) and with the PBW deformations of S(W)#Sn in [8]. The classifications are summarized in Tables 2 and 3. We reiterate that the case when n= 2 can be analyzed in similar fashion, but involves some differences in the dimensions of spaces of pre-Drinfeld orbifold algebra maps and in the parameter relations required in order to satisfy the PBW conditions.
7.1 Algebras for the doubled permutation representation
First, the Lie orbifold algebra maps involving 17 parameters classified in Theorem 4.1 yield a variety controlling the Lie orbifold algebras that deformS(W∗⊕W)#Snin degree one. Based on representative calculations in Macaulay2 [14] we conjecture that this projective variety is of dimension seven. Some subvarieties of potential interest are indicated in Table1in Section4.
WhenκL1 ≡0 these Lie orbifold algebras specialize to rational Cherednik algebras corresponding to the parameter c and the general G-invariant skew-symmetric bilinear form κC1 involving α and β (because W is decomposable — see [6, proof of Theorem 1.3]).
Theorem 7.1 (Lie orbifold algebras for doubled permutation representation overC[t]). Let Sn (n≥3) act onV =W∗⊕W with basis B={x1, . . . , xn, y1, . . . , yn} by the doubled permutation representation. Fora1, . . . , a7, b1, . . . , b7, α, β, c∈Csubject to conditions (4.1),(4.2), and (4.3), define κL=κL1 and κC =κC1 +κCref to be the linear and constant cochains such that for 1≤i6=
j≤n,
κL(xi, xj) = (a1(xi−xj) +b1(yi−yj)), κC(xi, xj) = 0, κL(yi, yj) = (a2(xi−xj) +b2(yi−yj)), κC(yi, yj) = 0,
κL(xi, yi) = (a3xi+a4x[n]+b3yi+b4y[n]), κC(xi, yi) =α+cX
k6=i
(ik), κL(xi, yj) = (a5xi+a6xj +a7x[n]+b5yi+b6yj+b7y[n]), κC(xi, yj) =β−c(ij).
Then the quotient Hκ,t of T(V)#Sn[t]by the ideal generated by uv−vu−κL(u, v)t−κC(u, v)t2 |u, v∈ B
is a Lie orbifold algebra over C[t]. In fact, the algebras Hκ,1 are precisely the Drinfeld orbifold algebras such that κL is supported only on the identity.
Table 2. Classification of Drinfeld orbifold algebra maps for Sn acting onW∗⊕W. Linear partκL Constant partκC Parameter relations Reference
κL1 0 (4.1) Theorem4.1
κC1 (4.1)–(4.2)
κC1 +κCref withκCref 6≡0 (4.4)–(4.17)
κLref κC3-cyc none Theorem5.9
κC3-cyc+κCref none
κC3-cyc+κCref +κC1 (5.3)–(5.4)
κL1 +κLref κC3-cyc+κCref +κC1 Theorem5.10(1)–(3) Theorem5.10
? ?
0 κC1 +κCref none
When the indicated parameter relations are satisfied, the mapκ=κL+κC is a Drinfeld orbifold algebra map. The question marks indicate there could be further maps withκL=κL1 +κLref.
Second, forκLsupported only off the identity, Theorem 5.9shows that by comparison there is only a seven-parameter family of Drinfeld orbifold algebra maps and these are controlled by a projective variety which, according to a few representative calculations in Macaulay2 [14], appears to be four-dimensional. The resulting algebras also specialize to rational Cherednik algebras parametrized by α,β, andc when κLref =κC3-cyc≡0.
Theorem 7.2 (Drinfeld orbifold algebras for doubled permutation representation over C[t]).
Let Sn (n ≥ 3) act on V = W∗ ⊕W with basis B = {x1, . . . , xn, y1, . . . , yn} by the doubled permutation representation. Suppose a, a⊥, b, b⊥, c, α, β ∈C satisfy conditions (5.3) and (5.4).
Define κL=κL1 and κC =κC1 +κCref +κC3-cyc to be the cochains such that for 1≤i6=j≤n, κL(xi, xj) =κL(yi, yj) = 0,
κL(xi, yi) = P
k6=i
a−a⊥
xi,k+a⊥x[n]+ b−b⊥
yi,k+b⊥y[n]
⊗(ik), κL(xi, yj) =− a−a⊥
xi,j+a⊥x[n]+ b−b⊥
yi,j+b⊥y[n]
⊗(ij) and
κC(xi, yj) =β−c(ij)− a−a⊥
b−b⊥ P
k6=i,j
(ijk)−(kji), κC(xi, xj) = b−b⊥2 P
k6=i,j
(ijk)−(kji), κC(yi, yj) = a−a⊥2 P
k6=i,j
(ijk)−(kji), κC(xi, yi) =α+cP
k6=i
(ik).
Then the quotient Hκ,t of T(V)#Sn[t]by the ideal generated by uv−vu−κL(u, v)t−κC(u, v)t2 |u, v∈ B
is a Drinfeld orbifold algebra over C[t]. Further, the algebras Hκ,1 are precisely the Drinfeld orbifold algebras such thatimκLg ⊆Vg for eachg∈Sn andκL is supported only off the identity.
An analogous statement may be made for algebras constructed from the family of lifts of κL1 +κLref described in Theorem 5.10but is omitted here.
Table 3. Classification of Drinfeld orbifold algebra maps forSn acting onh∗⊕h.
Linear part κL Constant partκC Parameter relations Reference
κLref κC3-cyc 2a+ (n−2)a⊥= 0 Theorem6.4
2b+ (n−2)b⊥ = 0 κC3-cyc+κCref 2a+ (n−2)a⊥= 0 2b+ (n−2)b⊥ = 0
0 κCref none Remark6.5
κC1 α+ (n−1)β= 0
κC1 +κCref α+ (n−1)β= 0
When the parameter relations hold, the mapκ=κL+κC is a Drinfeld orbifold algebra map.
7.2 Algebras for the doubled standard representation
By Theorem 6.3the only Lie orbifold algebras forSn acting onh∗⊕hby the doubled standard representation are the known rational Cherednik algebrasHnβ,c. However, by Theorem6.4there is in this case a three-parameter family of Drinfeld orbifold algebras which are not graded Hecke algebras, but which specialize whena⊥=b⊥= 0 to the rational Cherednik algebrasH0,cforSn. Theorem 7.3(Drinfeld orbifold algebras for doubled standard representation overC[t]). LetSn
(n≥3) act on h∗⊕h by the doubled standard representation. For a⊥, b⊥, c ∈C and x¯i and y¯i as in (3.1) define κL andκC as in Theorem 6.4. Then the quotient Hκ,t of T(h∗⊕h)#Sn[t]by the ideal generated by
u¯¯v−¯v¯u−κL(¯u,v)t¯ −κC(¯u,v)t¯ 2 |u,¯ v¯∈B¯
is a Drinfeld orbifold algebra ofS(h∗⊕h)#Sn overC[t]. Further, the algebrasHκ,1 are precisely the Drinfeld orbifold algebras such that imκLg ⊆(h∗⊕h)g for each g∈ Sn and κL is supported only off the identity. Specializing a⊥=b⊥= 0 yields the rational Cherednik algebra H0,c. Acknowledgements
We thank the referees for helpful suggestions and questions that improved the writing of the paper, particularly those that prompted us to add Proposition 6.1, improve Section 4.5, and reorganize overall. We also thank Lily Silverstein for helpful conversations related to Section4.5.
References
[1] Bergman G.M., The diamond lemma for ring theory,Adv. Math.29(1978), 178–218.
[2] Braverman A., Gaitsgory D., Poincar´e–Birkhoff–Witt theorem for quadratic algebras of Koszul type,J. Al-gebra 181(1996), 315–328,arXiv:hep-th/9411113.
[3] Cherednik I., A unification of Knizhnik–Zamolodchikov and Dunkl operators via affine Hecke algebras, Invent. Math.106(1991), 411–431.
[4] Drinfel’d V.G., Degenerate affine Hecke algebras and Yangians,Funct. Anal. Appl.20(1986), 58–60.
[5] Etingof P., Calogero–Moser systems and representation theory,Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Z¨urich, 2007.
[6] Etingof P., Ginzburg V., Symplectic reflection algebras, Calogero–Moser space, and deformed Harish-Chandra homomorphism,Invent. Math.147(2002), 243–348,arXiv:math.AG/0011114.
[7] Farinati M., Hochschild duality, localization, and smash products, J. Algebra 284 (2005), 415–434, arXiv:math.KT/0409039.
[8] Foster-Greenwood B., Kriloff C., Drinfeld orbifold algebras for symmetric groups, J. Algebra 491(2017), 573–610,arXiv:1611.00410.
[9] Gan W.L., Ginzburg V., Almost-commuting variety,D-modules, and Cherednik algebras (with an appendix by Ginzburg),Int. Math. Res. Pap.2006(2006), 26439, 1–54,arXiv:math.RT/0409262.
[10] Gerstenhaber M., Schack S.D., Algebraic cohomology and deformation theory, in 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, 11–264.
[11] Ginzburg V., Kaledin D., Poisson deformations of symplectic quotient singularities,Adv. Math.186(2004), 1–57,arXiv:math.AG/0212279.
[12] Gordon I.G., Symplectic reflection alegebras, in Trends in Representation Theory of Algebras and Related Topics,EMS Ser. Congr. Rep.,Eur. Math. Soc., Z¨urich, 2008, 285–347,arXiv:0712.1568.
[13] Gordon I.G., Rational Cherednik algebras, in Proceedings of the International Congress of Mathematicians, Vol. III,Hindustan Book Agency, New Delhi, 2010, 1209–1225.
[14] Grayson D.R., Stillman M.E., Macaulay2, a software system for research in algebraic geometry, available at http://www.math.uiuc.edu/Macaulay2/.
[15] Lusztig G., Cuspidal local systems and graded Hecke algebras. I,Inst. Hautes ´Etudes Sci. Publ. Math. 67 (1988), 145–202.
[16] Ram A., Shepler A.V., Classification of graded Hecke algebras for complex reflection groups, Comment.
Math. Helv.78(2003), 308–334,arXiv:math.GR/0209135.
[17] Shepler A.V., Witherspoon S., Hochschild cohomology and graded Hecke algebras,Trans. Amer. Math. Soc.
360(2008), 3975–4005,arXiv:math.RA/0603231.
[18] Shepler A.V., Witherspoon S., Drinfeld orbifold algebras, Pacific J. Math. 259 (2012), 161–193, arXiv:1111.7198.
[19] S¸tefan D., Hochschild cohomology on Hopf Galois extensions,J. Pure Appl. Algebra 103(1995), 221–233.