String group やさらにその高次化

直交群 \(\mathrm{O}(n)\) と \(\mathrm{SO}(n)\) は次の完全列を成す: \[ 1 \rarrow{} \mathrm{SO}(n) \rarrow{} \mathrm{O}(n) \rarrow{\det } \{\pm 1\} \rarrow{} 1. \] 分類空間のレベルでは, fibration \[ B\mathrm{SO}(n) \longrightarrow B\mathrm{O}(n) \rarrow{w_1} K(\Z /2\Z ,1) \] となる。\(n\ge 3\) ならば, \(\pi _1(\mathrm{SO}(n)) \cong \Z /2\Z \) なので, \(\mathrm{SO}(n)\) の double cover を \(\mathrm{Spin}(n)\) と定義すると, 次の fibration を得る: \[ \mathrm{Spin}(n) \longrightarrow \mathrm{SO}(n) \rarrow{} K(\Z /2\Z ,1). \] 分類空間のレベルでは, 次の fibration となる: \[ B\mathrm{Spin}(n) \longrightarrow B\mathrm{SO}(n) \rarrow{w_2} K(\Z /2\Z ,2). \]

有限次元単連結単純Lie群 \(G\) の一般論として \(G\) は2連結であり, \(\pi _3(G)\cong \Z \) であることはよく知られている。よって, \[ [G,K(\Z ,3)]\cong H^3(G;\Z ) \cong \Hom (H_3(G;\Z ),\Z ) \cong \Hom (\pi _3(G),\Z ) \cong \Z \] である。その生成元の homotopy fiber を \(\widetilde{G}\) と表すと, fibration \[ \widetilde{G} \longrightarrow G \longrightarrow K(\Z ,3) \] を得る。この \(\widetilde{G}\) を \(G\) の string group と呼ぶようである。 特に, \(G=\Spin (n)\) のときは, \(\mathrm{String}(n)\) と書かれ, 単に string group と呼べば, これを指すようである。

名前は “string group” であるが, このようなホモトピー論的な構成では位相群として構成するのは難しい。 Hopf 空間の構造を持つことは, すぐに分かるが。

そこで, 様々な人が, \(\mathrm{String}(n)\) の構成を考えている。C.L. Douglas と Henriques と Hill の [DHH11] や Schommer-Pries の [Sch11] などに書いてあるが, まだまだ他にもありそうである。

この Oberwolfach のレポートも見るとよい。

Waldorf [Walb]は, 多様体 \(M\) がstring structure を持つことと, その free loop space \(LM\) が spin structure を持つことが, 同値になるように free loop space の spin structure を定義している。

Satiと Schreiber と Stasheff の [SSS] によると, string structure の次の段階, fivebrane structure を表わす \(\mathrm{Fivebrane}(n)\) は “smooth 6-group” として実現するのがよいらしい。

より高次の connective cover も考えられている。Sati の [Sat] など。 それらも, 無限次元Lie群高次のLie 群として構成できるのだろうか。



Matthew Ando, Michael J. Hopkins, and Neil P. Strickland. “The sigma orientation is an \(H_{\infty }\) map”. In: Amer. J. Math. 126.2 (2004), pp. 247–334. arXiv: math/0204053. url:


John C. Baez, Danny Stevenson, Alissa S. Crans, and Urs Schreiber. “From loop groups to 2-groups”. In: Homology, Homotopy Appl. 9.2 (2007), pp. 101–135. arXiv: math/0504123. url:


J.-L. Brylinski and D. A. McLaughlin. “The geometry of degree-four characteristic classes and of line bundles on loop spaces. I”. In: Duke Math. J. 75.3 (1994), pp. 603–638. url:


Christopher L. Douglas, André G. Henriques, and Michael A. Hill. “Homological obstructions to string orientations”. In: Int. Math. Res. Not. IMRN 18 (2011), pp. 4074–4088. arXiv: 0810.2131. url:


André Henriques. “Integrating \(L_{\infty }\)-algebras”. In: Compos. Math. 144.4 (2008), pp. 1017–1045. arXiv: math/0603563. url:


Branislav Jurco. Crossed Module Bundle Gerbes; Classification, String Group and Differential Geometry. arXiv: math/0510078.


Michael Murray, David Michael Roberts, and Christoph Wockel. Quasi-periodic paths and a string 2-group model from the free loop group. arXiv: 1702.01514.


Thomas Nikolaus, Christoph Sachse, and Christoph Wockel. A Smooth Model for the String Group. arXiv: 1104.4288.


Hisham Sati. Ninebrane structures. arXiv: 1405.7686.


Christopher J. Schommer-Pries. “Central extensions of smooth 2-groups and a finite-dimensional string 2-group”. In: Geom. Topol. 15.2 (2011), pp. 609–676. arXiv: 0911.2483. url:


Hisham Sati, Urs Schreiber, and Jim Stasheff. Twisted differential String and Fivebrane structures. arXiv: 0910.4001.


Stephan Stolz and Peter Teichner. “What is an elliptic object?” In: Topology, geometry and quantum field theory. Vol. 308. London Math. Soc. Lecture Note Ser. Cambridge: Cambridge Univ. Press, 2004, pp. 247–343.


Stephan Stolz. “A conjecture concerning positive Ricci curvature and the Witten genus”. In: Math. Ann. 304.4 (1996), pp. 785–800. url:


Konrad Waldorf. A Construction of String 2-Group Models using a Transgression-Regression Technique. arXiv: 1201.5052.


Konrad Waldorf. Spin structures on loop spaces that characterize string manifolds. arXiv: 1209.1731.