Global splittings and super Harish-Chandra pairs for affine supergroups

Author:
Fabio Gavarini

Journal:
Trans. Amer. Math. Soc. **368** (2016), 3973-4026

MSC (2010):
Primary 14M30, 14A22; Secondary 17B20

DOI:
https://doi.org/10.1090/tran/6456

Published electronically:
September 24, 2015

MathSciNet review:
3453363

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

This paper dwells upon two aspects of affine supergroup theory, investigating the links among them.

First, the “splitting” properties of affine supergroups are discussed, i.e., special kinds of factorizations they may admit — either globally, or pointwise. Almost everything should be more or less known, but seems to be not as clear in the literature (to the author’s knowledge) as it ought to.

Second, a new contribution to the study of affine supergroups by means of super Harish-Chandra pairs is presented (a method already introduced by Koszul, and later extended by other authors). Namely, a new functorial construction $\Psi$ is provided which, with each super Harish-Chandra pair, associates an affine supergroup that is always *globally strongly split* (in short, *gs-split*) — thus setting a link with the first part of the paper. One knows that there exists a natural functor $\Phi$ from affine supergroups to super Harish-Chandra pairs. Then we show that the new functor $\Psi$ — which goes the other way round — is indeed a quasi-inverse to $\Phi$, provided we restrict our attention to the subcategory of affine supergroups that are gs-split. Therefore, (the restrictions of) $\Phi$ and $\Psi$ are equivalences between the categories of gs-split affine supergroups and of super Harish-Chandra pairs. Such a result was known in other contexts, such as the smooth differential or the complex analytic one, via different approaches. Nevertheless, the novelty in the present paper lies in the construction of a *different* functor $\Psi$ and thus extends the result to a much larger setup, with a totally different, more geometrical method. In fact, this method (very concrete, indeed) is universal and characteristic-free and is presented here for the algebro-geometric setting, but actually it can be easily adapted to the frameworks of differential or complex analytic supergeometry.

The case of *linear* supergroups is treated also as an intermediate, inspiring step.

Some examples, applications and further generalizations are presented at the end of the paper.

- Felix Alexandrovich Berezin,
*Introduction to superanalysis*, Mathematical Physics and Applied Mathematics, vol. 9, D. Reidel Publishing Co., Dordrecht, 1987. Edited and with a foreword by A. A. Kirillov; With an appendix by V. I. Ogievetsky; Translated from the Russian by J. Niederle and R. Kotecký; Translation edited by Dimitri Leĭtes. MR**914369**, DOI 10.1007/978-94-017-1963-6 - Yuri A. Bahturin, Alexander A. Mikhalev, Viktor M. Petrogradsky, and Mikhail V. Zaicev,
*Infinite-dimensional Lie superalgebras*, De Gruyter Expositions in Mathematics, vol. 7, Walter de Gruyter & Co., Berlin, 1992. MR**1192546**, DOI 10.1515/9783110851205 - Helmut Boseck,
*Affine Lie supergroups*, Math. Nachr.**143**(1989), 303–327. MR**1018250**, DOI 10.1002/mana.19891430123 - Helmut Boseck,
*Lie superalgebras and Lie supergroups. I*, Sem. Sophus Lie**1**(1991), no. 2, 109–122. Seminar Sophus Lie (Darmstadt, 1991). MR**1158499** - Helmut Boseck,
*Lie superalgebras and Lie supergroups. II*, Sem. Sophus Lie**2**(1992), no. 1, 3–9. MR**1188627** - Claudio Carmeli, Lauren Caston, and Rita Fioresi,
*Mathematical foundations of supersymmetry*, EMS Series of Lectures in Mathematics, European Mathematical Society (EMS), Zürich, 2011. MR**2840967**, DOI 10.4171/097 - Claudio Carmeli and Rita Fioresi,
*Superdistributions, analytic and algebraic super Harish-Chandra pairs*, Pacific J. Math.**263**(2013), no. 1, 29–51. MR**3069075**, DOI 10.2140/pjm.2013.263.29 - Michel Demazure and Pierre Gabriel,
*Groupes algébriques. Tome I: Géométrie algébrique, généralités, groupes commutatifs*, Masson & Cie, Éditeur, Paris; North-Holland Publishing Co., Amsterdam, 1970 (French). Avec un appendice*Corps de classes local*par Michiel Hazewinkel. MR**0302656** - Pierre Deligne and John W. Morgan,
*Notes on supersymmetry (following Joseph Bernstein)*, Quantum fields and strings: a course for mathematicians, Vol. 1, 2 (Princeton, NJ, 1996/1997) Amer. Math. Soc., Providence, RI, 1999, pp. 41–97. MR**1701597** - R. Fioresi and F. Gavarini,
*Chevalley supergroups*, Mem. Amer. Math. Soc.**215**(2012), no. 1014, vi+64. MR**2918543**, DOI 10.1090/S0065-9266-2011-00633-7 - R. Fioresi and F. Gavarini,
*On the construction of Chevalley supergroups*, Supersymmetry in mathematics and physics, Lecture Notes in Math., vol. 2027, Springer, Heidelberg, 2011, pp. 101–123. MR**2906339**, DOI 10.1007/978-3-642-21744-9_{5} - F. Gavarini,
*Chevalley supergroups of type $D(2,1;a)$*, Proc. Edinb. Math. Soc. (2)**57**(2014), no. 2, 465–491. MR**3200319**, DOI 10.1017/S0013091513000503 - Fabio Gavarini,
*Algebraic supergroups of Cartan type*, Forum Math.**26**(2014), no. 5, 1473–1564. MR**3334037**, DOI 10.1515/forum-2011-0144 - V. G. Kac,
*Lie superalgebras*, Advances in Math.**26**(1977), no. 1, 8–96. MR**486011**, DOI 10.1016/0001-8708(77)90017-2 - Bertram Kostant,
*Graded manifolds, graded Lie theory, and prequantization*, Differential geometrical methods in mathematical physics (Proc. Sympos., Univ. Bonn, Bonn, 1975) Springer, Berlin, 1977, pp. 177–306. Lecture Notes in Math., Vol. 570. MR**0580292** - J.-L. Koszul,
*Graded manifolds and graded Lie algebras*, Proceedings of the international meeting on geometry and physics (Florence, 1982) Pitagora, Bologna, 1983, pp. 71–84. MR**760837** - Yuri I. Manin,
*Gauge field theory and complex geometry*, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 289, Springer-Verlag, Berlin, 1988. Translated from the Russian by N. Koblitz and J. R. King. MR**954833** - Akira Masuoka,
*The fundamental correspondences in super affine groups and super formal groups*, J. Pure Appl. Algebra**202**(2005), no. 1-3, 284–312. MR**2163412**, DOI 10.1016/j.jpaa.2005.02.010 - Akira Masuoka,
*Harish-Chandra pairs for algebraic affine supergroup schemes over an arbitrary field*, Transform. Groups**17**(2012), no. 4, 1085–1121. MR**3000482**, DOI 10.1007/s00031-012-9203-8 - Akira Masuoka and T. Shibata,
*Algebraic supergroups and Harish-Chandra pairs over a commutative ring*, electronic preprint arXiv:1304.0531 [math.RT] (2013), to appear in Trans. Amer. Math. Soc. - E. G. Vishnyakova,
*On complex Lie supergroups and split homogeneous supermanifolds*, Transform. Groups**16**(2011), no. 1, 265–285. MR**2785503**, DOI 10.1007/s00031-010-9114-5 - V. S. Varadarajan,
*Supersymmetry for mathematicians: an introduction*, Courant Lecture Notes in Mathematics, vol. 11, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2004. MR**2069561**, DOI 10.1090/cln/011

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2010):
14M30,
14A22,
17B20

Retrieve articles in all journals with MSC (2010): 14M30, 14A22, 17B20

Additional Information

**Fabio Gavarini**

Affiliation:
Dipartimento di Matematica, Università di Roma “Tor Vergata”, via della ricerca scientifica 1, I-00133 Roma, Italy

Email:
gavarini@mat.uniroma2.it

Received by editor(s):
September 14, 2013

Received by editor(s) in revised form:
April 1, 2014, and April 3, 2014

Published electronically:
September 24, 2015

Additional Notes:
The author thanks A. D’Andrea, M. Duflo and R. Fioresi for their priceless suggestions, and most of all, in particular, A. Masuoka for his many valuable comments and remarks.

Article copyright:
© Copyright 2015
American Mathematical Society