Poincare-Birkoff-Witt theorem

Lie algebra に関する重要な定理として, Poincaré-Birkoff-Witt の定理がある。これについては, Bergman の [Ber78] を見るとよい。より一般的な, free associative algebra での cancellation に関する命題 “Diamond Lemma” の応用として述べてある。 次数付きでない場合しか扱っていないし, restricted Lie algebra の場合は Exercise になっているが, 次数付きの場合と restricted Lie algebra の場合を自分で考えるのはよい練習問題である。 それが面倒な人は, May と Ponto の [MP12] の Chapter 22 と 23 を見るとよい。

  • Lie algebra に対する Poincaré-Birkoff-Witt の定理
  • graded Lie algebra に対する Poincaré-Birkoff-Witt の定理
  • restricted Lie algebra に対する Poincaré-Birkoff-Witt の定理

Poincaré-Birkoff-Witt の定理と関連した Poincaré の仕事について, [TT99] に歴史的な考察がある。それによると, 一般の理解より Poincaré の役割は大きかったようである。

拡張や類似の定理は様々な代数的構造に対して証明されている。 そこで使われているテクニックなどについては, Shepler と Witherspoon の [SW15] にまとめられている。

まず, Lie algebraの 一般化として考えるべきなのは, quantum group だろう。これについては, 以下のような試みがある。

  • \(q\)-deformed universal enveloping algebra に対する Poincaré-Birkhoff-Witt theorem (Rosso の [Ros89], Yamane の [Yam89], Lusztig の [Lus90], R. Berger の [Ber92] など)

より一般の Hopf algebra に対しても, 色々調べられている。Helbig の [Hel] によると, pointed Hopf algebra に対しては, Kharchenko の [Kha99] がある。 Ion の [Ion12] は central Hopf algebra coradical を持つ Hopf algebra に対する Poincaré-Birkhoff-Witt を得ている。Loday と Ronco [LR06] は cofree Hopf algebra への Poincaré-Birkoff-Witt と Milnor-Moore theorem の拡張を得ている。

Operad を用いた “generalized bialgebra” に対する formulation もある。Loday の [Lod08] や Leroux の [Ler] など。

Braided bialgebra については, Ardizzoni の [Ard11; Ard12] がある。最近では, Westerland [Wes] が braided operad を導入し, braided Hopf algebra の Poincaré-Birkhoff-Witt theorem を証明している。Westerland は Milnor-Moore theorem についても考えている。

Lie algebroid の inclusion に関する relative Poincaré-Birkoff-Witt とも言えるものを考えているのは, Calaque の [Cal14] である。

圏論的な枠組みとしては, まず Mikhalev と Shestakov の [MS14], そして, それを元にした Dotsenko と Tamaroff [DT21] がある。

Dotsenko は, その枠組みを用いて [Dot20] で tridendriform algebrapost-Lie algebra の場合を証明している。

Tamaroff は Khoroshkin と共に [KT23] で \(L_{\infty }\)-algebra の文脈での Poincaré-Birkhoff-Witt theorem も示している。

References

[Ard11]

Alessandro Ardizzoni. “A Milnor-Moore type theorem for primitively generated braided bialgebras”. In: J. Algebra 327 (2011), pp. 337–365. arXiv: 1003.1085. url: http://dx.doi.org/10.1016/j.jalgebra.2010.07.031.

[Ard12]

Alessandro Ardizzoni. “Universal enveloping algebras of PBW type”. In: Glasg. Math. J. 54.1 (2012), pp. 9–26. arXiv: 1008.4523. url: http://dx.doi.org/10.1017/S0017089511000310.

[Ber78]

George M. Bergman. “The diamond lemma for ring theory”. In: Adv. in Math. 29.2 (1978), pp. 178–218. url: http://dx.doi.org/10.1016/0001-8708(78)90010-5.

[Ber92]

Roland Berger. “The quantum Poincaré-Birkhoff-Witt theorem”. In: Comm. Math. Phys. 143.2 (1992), pp. 215–234. url: http://projecteuclid.org/euclid.cmp/1104248954.

[Cal14]

Damien Calaque. “A PBW theorem for inclusions of (sheaves of) Lie algebroids”. In: Rend. Semin. Mat. Univ. Padova 131 (2014), pp. 23–47. arXiv: 1205.3214. url: https://doi.org/10.4171/RSMUP/131-3.

[Dot20]

Vladimir Dotsenko. “Functorial PBW theorems for post-Lie algebras”. In: Comm. Algebra 48.5 (2020), pp. 2072–2080. arXiv: 1903.04435. url: https://doi.org/10.1080/00927872.2019.1710173.

[DT21]

Vladimir Dotsenko and Pedro Tamaroff. “Endofunctors and Poincaré-Birkhoff-Witt theorems”. In: Int. Math. Res. Not. IMRN 16 (2021), pp. 12670–12690. arXiv: 1804.06485. url: https://doi.org/10.1093/imrn/rnz369.

[Hel]

Michael Helbig. A PBW basis criterion for pointed Hopf algebras. arXiv: 1011.0140.

[Ion12]

Bogdan Ion. “A Poincaré-Birkhoff-Witt theorem for Hopf algebras with central Hopf algebra coradical”. In: J. Lie Theory 22.1 (2012), pp. 291–300. arXiv: 0905.2335.

[Kha99]

V. K. Kharchenko. “A quantum analogue of the Poincaré-Birkhoff-Witt theorem”. In: Algebra Log. 38.4 (1999), pp. 476–507, 509. arXiv: math/0005101. url: http://dx.doi.org/10.1007/BF02671731.

[KT23]

Anton Khoroshkin and Pedro Tamaroff. “Derived Poincaré-Birkhoff-Witt theorems”. In: Lett. Math. Phys. 113.1 (2023). With appendix by Vladimir Dotsenko, Paper No. 15, 20. arXiv: 2003.06055. url: https://doi.org/10.1007/s11005-022-01617-z.

[Ler]

Philippe Leroux. Infinitesimal or cocommutative dipterous bialgebras and good triples of operads. arXiv: 0803.1421.

[Lod08]

Jean-Louis Loday. “Generalized bialgebras and triples of operads”. In: Astérisque 320 (2008), pp. x+116. arXiv: math/0611885.

[LR06]

Jean-Louis Loday and María Ronco. “On the structure of cofree Hopf algebras”. In: J. Reine Angew. Math. 592 (2006), pp. 123–155. arXiv: math/0405330. url: http://dx.doi.org/10.1515/CRELLE.2006.025.

[Lus90]

G. Lusztig. “Canonical bases arising from quantized enveloping algebras”. In: J. Amer. Math. Soc. 3.2 (1990), pp. 447–498. url: http://dx.doi.org/10.2307/1990961.

[MP12]

J. P. May and K. Ponto. More concise algebraic topology. Chicago Lectures in Mathematics. Localization, completion, and model categories. Chicago, IL: University of Chicago Press, 2012, pp. xxviii+514. isbn: 978-0-226-51178-8; 0-226-51178-2.

[MS14]

Alexander A. Mikhalev and Ivan P. Shestakov. “PBW-pairs of varieties of linear algebras”. In: Comm. Algebra 42.2 (2014), pp. 667–687. url: https://doi.org/10.1080/00927872.2012.720867.

[Ros89]

Marc Rosso. “An analogue of P.B.W. theorem and the universal \(R\)-matrix for \(U_{h}\mathrm {sl}(N+1)\)”. In: Comm. Math. Phys. 124.2 (1989), pp. 307–318. url: http://projecteuclid.org/getRecord?id=euclid.cmp/1104179147.

[SW15]

Anne V. Shepler and Sarah Witherspoon. “Poincaré-Birkhoff-Witt theorems”. In: Commutative algebra and noncommutative algebraic geometry. Vol. I. Vol. 67. Math. Sci. Res. Inst. Publ. Cambridge Univ. Press, New York, 2015, pp. 259–290. arXiv: 1404.6497.

[TT99]

Tuong Ton-That and Thai-Duong Tran. “Poincaré’s proof of the so-called Birkhoff-Witt theorem”. In: Rev. Histoire Math. 5.2 (1999), 249–284 (2000). arXiv: math/9908139.

[Wes]

Craig Westerland. Structure theorems for braided Hopf algebras. arXiv: 2406.13874.

[Yam89]

Hiroyuki Yamane. “A Poincaré-Birkhoff-Witt theorem for quantized universal enveloping algebras of type \(A_N\)”. In: Publ. Res. Inst. Math. Sci. 25.3 (1989), pp. 503–520. url: http://dx.doi.org/10.2977/prims/1195173355.