Central extensions of smooth 2–groups and a finite-dimensional string 2–group

Schommer-Pries, Christopher J¹

¹ Department of Mathematics, Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge MA 02139-4307, USA

Geometry & topology, Tome 15 (2011) no. 2, pp. 609-676.

Résumé

We provide a model of the String group as a central extension of finite-dimensional $2$–groups in the bicategory of Lie groupoids, left-principal bibundles, and bibundle maps. This bicategory is a geometric incarnation of the bicategory of smooth stacks and generalizes the more naive $2$–category of Lie groupoids, smooth functors, and smooth natural transformations. In particular this notion of smooth $2$–group subsumes the notion of Lie $2$–group introduced by Baez and Lauda [Theory Appl. Categ. 12 (2004) 423–491]. More precisely we classify a large family of these central extensions in terms of the topological group cohomology introduced by Segal [Symposia Mathematica, Vol. IV (INDAM, Rome, 1968/69), Academic Press, London (1970) 377–387], and our String $2$–group is a special case of such extensions. There is a nerve construction which can be applied to these $2$–groups to obtain a simplicial manifold, allowing comparison with the model of Henriques [arXiv:math/0603563]. The geometric realization is an $A_{\infty }$–space, and in the case of our model, has the correct homotopy type of String(n). Unlike all previous models, our construction takes place entirely within the framework of finite-dimensional manifolds and Lie groupoids. Moreover within this context our model is characterized by a strong uniqueness result. It is a canonical central extension of Spin(n).

Détail

DOI : 10.2140/gt.2011.15.609

Keywords: $2$–group, stack, central extension, string group, gerbe

Bibliographie

[1] M Ando, M J Hopkins, C Rezk, Multiplicative orientations of KO–theory and of the spectrum of topological modular forms, preprint (2010)

[2] M Ando, M J Hopkins, N P Strickland, Elliptic spectra, the Witten genus and the theorem of the cube, Invent. Math. 146 (2001) 595

[3] P Aschieri, L Cantini, B Jurčo, Nonabelian bundle gerbes, their differential geometry and gauge theory, Comm. Math. Phys. 254 (2005) 367

[4] J C Baez, A E Hoffnung, Convenient categories of smooth spaces

[5] J C Baez, A D Lauda, Higher-dimensional algebra. V. $2$–groups, Theory Appl. Categ. 12 (2004) 423

[6] J C Baez, M Neuchl, Higher-dimensional algebra. I. Braided monoidal $2$–categories, Adv. Math. 121 (1996) 196

[7] J C Baez, D Stevenson, A S Crans, U Schreiber, From loop groups to $2$–groups, Homology, Homotopy Appl. 9 (2007) 101

[8] I Baković, Bigroupoid $2$–torsors, PhD thesis, Ludwig-Maximilians-Universität München (2008)

[9] T Bartels, Higher gauge theory I: 2–Bundles

[10] K Behrend, P Xu, Differentiable stacks and gerbes

[11] R Blackwell, G M Kelly, A J Power, Two-dimensional monad theory, J. Pure Appl. Algebra 59 (1989) 1

[12] J L Brylinski, Differentiable cohomology of gauge groups

[13] T Buehler, Exact categories

[14] D Carchedi, Compactly generated stacks: A Cartesian-closed theory of topological stacks

[15] A L Carey, S Johnson, M K Murray, D Stevenson, B L Wang, Bundle gerbes for Chern–Simons and Wess–Zumino–Witten theories, Comm. Math. Phys. 259 (2005) 577

[16] B Day, R Street, Monoidal bicategories and Hopf algebroids, Adv. Math. 129 (1997) 99

[17] W T Van Est, Group cohomology and Lie algebra cohomology in Lie groups. I, II, Nederl. Akad. Wetensch. Proc. Ser. A. \bf56 = Indag. Math. 15 (1953) 484, 493

[18] W T Van Est, On the algebraic cohomology concepts in Lie groups. I, II, Nederl. Akad. Wetensch. Proc. Ser. A. \bf58 = Indag. Math. 17 (1955) 225, 286

[19] E M Friedlander, Étale homotopy of simplicial schemes, Annals of Math. Studies 104, Princeton Univ. Press (1982)

[20] J Giraud, Cohomologie non abélienne, Die Grund. der math. Wissenschaften 179, Springer (1971)

[21] P G Goerss, J F Jardine, Simplicial homotopy theory, Progress in Math. 174, Birkhäuser Verlag (1999)

[22] R Gordon, A J Power, R Street, Coherence for tricategories, Mem. Amer. Math. Soc. 117 no. 558 (1995)

[23] A Henriques, Integrating L-infinity algebras

[24] A Henriques, Lecture by Michael Hopkins: the string orientation of tmf

[25] G Hochschild, G D Mostow, Cohomology of Lie groups, Illinois J. Math. 6 (1962) 367

[26] M J Hopkins, Topological modular forms, the Witten genus, and the theorem of the cube, from: "Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994)" (editor S D Chatterji), Birkhäuser (1995) 554

[27] M J Hopkins, Algebraic topology and modular forms, from: "Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002)" (editor T T Li), Higher Ed. Press (2002) 291

[28] M J Hopkins, I M Singer, Quadratic functions in geometry, topology, and M–theory, J. Differential Geom. 70 (2005) 329

[29] S T Hu, Cohomology rings of compact connected groups and their homogeneous spaces, Ann. of Math. $(2)$ 55 (1952) 391

[30] S T Hu, Cohomology theory in topological groups, Michigan Math. J. 1 (1952) 11

[31] K Iwasawa, On some types of topological groups, Ann. of Math. $(2)$ 50 (1949) 507

[32] A Joyal, R Street, Braided tensor categories, Adv. Math. 102 (1993) 20

[33] B Jurco, Crossed module bundle gerbes; classification, string group and differential geometry

[34] M Kapranov, V Voevodsky, $2$–categories and Zamolodchikov tetrahedra equations, from: "Algebraic groups and their generalizations: quantum and infinite-dimensional methods (University Park, PA, 1991)" (editors W J Haboush, B J Parshall), Proc. Sympos. Pure Math. 56, Amer. Math. Soc. (1994) 177

[35] M Kapranov, V Voevodsky, Braided monoidal $2$–categories and Manin–Schechtman higher braid groups, J. Pure Appl. Algebra 92 (1994) 241

[36] T P Killingback, World-sheet anomalies and loop geometry, Nuclear Phys. B 288 (1987) 578

[37] E Lerman, Orbifolds as stacks?

[38] G Lewis, The stable category and generalized Thom spectra, PhD thesis, University of Chicago (1978)

[39] J Lurie, Derived algebraic geometry II: Noncommutative algebra

[40] J Lurie, Higher topos theory, Annals of Math. Studies 170, Princeton Univ. Press (2009)

[41] A Malcev, On the theory of the Lie groups in the large, Rec. Math. [Mat. Sbornik] N. S. 16 (58) (1945) 163

[42] A Malcev, Corrections to the paper “On the theory of the Lie groups in the large.”, Rec. Math. [Mat Sbornik] N. S. 19 (61) (1946) 523

[43] J P May, The geometry of iterated loop spaces, Lectures Notes in Math. 271, Springer (1972)

[44] E Meinrenken, The basic gerbe over a compact simple Lie group, Enseign. Math. $(2)$ 49 (2003) 307

[45] M K Murray, Bundle gerbes, J. London Math. Soc. $(2)$ 54 (1996) 403

[46] B Noohi, Mapping stacks of topological stacks

[47] D A Pronk, Etendues and stacks as bicategories of fractions, Compositio Math. 102 (1996) 243

[48] D Quillen, Higher algebraic $K$–theory. I, from: "Algebraic $K$–theory, I: Higher $K$-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972)" (editor H Bass), Lecture Notes in Math. 341, Springer (1973) 85

[49] C Redden, Canonical metric connections associated to string structures, PhD thesis, University of Notre Dame (2006)

[50] C Rezk, Are finite colimits of topological spaces stable under pull-back?, Website entry (2010)

[51] H Sati, U Schreiber, J Stasheff, Differential twisted string and Fivebrane structures

[52] H Sati, U Schreiber, J Stasheff, $L_\infty$–algebra connections and applications to String– and Chern–Simons $n$–transport, from: "Quantum field theory" (editors B Fauser, J Tolksdorf, E Zeidler), Birkhäuser (2009) 303

[53] C J Schommer-Pries, Higher homological algebra, in preparation

[54] C J Schommer-Pries, The classification of two-dimensional extended topological field theories, PhD thesis, University of California, Berkeley (2009)

[55] G Segal, Classifying spaces and spectral sequences, Inst. Hautes Études Sci. Publ. Math. (1968) 105

[56] G Segal, Cohomology of topological groups, from: "Symposia Mathematica, Vol. IV (INDAM, Rome, 1968/69)", Academic Press (1970) 377

[57] G Segal, A classifying space of a topological group in the sense of Gel'fand–Fuks, Funkcional. Anal. i Priložen. 9 (1975) 48

[58] S Stolz, A conjecture concerning positive Ricci curvature and the Witten genus, Math. Ann. 304 (1996) 785

[59] S Stolz, Private communicaton (2009)

[60] S Stolz, P Teichner, What is an elliptic object?, from: "Topology, geometry and quantum field theory", London Math. Soc. Lecture Note Ser. 308, Cambridge Univ. Press (2004) 247

[61] S Stolz, P Teichner, The spinor bundle on loop space, preprint (2005)

[62] R Street, Fibrations in bicategories, Cahiers Topologie Géom. Différentielle 21 (1980) 111

[63] R Street, Correction to: “Fibrations in bicategories” \rm\citeStreet80, Cahiers Topologie Géom. Différentielle Catég. 28 (1987) 53

[64] K Waldorf, String connections and Chern–Simons theory

[65] E Witten, The index of the Dirac operator in loop space, from: "Elliptic curves and modular forms in algebraic topology (Princeton, NJ, 1986)" (editor P S Landweber), Lecture Notes in Math. 1326, Springer (1988) 161

[66] C Wockel, Categorified central extensions, étale Lie $2$–groups and Lie's Third Theorem for locally exponential Lie algebras