Crossed Modules and Related Topics

Crossed module は, J.H.C. Whitehead により[Whi49] で導入された概念である。 Wagemann の本 [Wag21] がある。

トポロジーにおける groupoid の最も基本的な例は, fundamental groupoid であるが, crossed module の基本的な例は, 連結準同型 \(\partial : \pi _2(X,A) \to \pi _1(A)\) である。

  • crossed module の定義
  • crossed module の分類空間
  • \(\pi _2(X,A)\) に関する van Kampenの定理の類似 [BH78]

Crossed module と本質的に同じ構造で, 別の名前で呼ばれているものが色々ある。 Baues と Muro は, [BM08] で類似の概念も含めて secondary group という言葉を使うことを提案している。彼らはこの論文で ホモトピー群の secondary version を定義している。

  • crossed module の成す category と double groupoid の成す category は同値 [BS76; BH81]
  • crossed module の成す \(2\)-category と strict \(2\)-group の成す \(2\)-category は, \(2\)-equivalent [Por]

Crossed module と \(2\)-group の関係, そしてそれらが連結な空間の homotopy \(2\)-type を表わすことについては, Noohi の [Noo07] にも解説されている.そこでは \(2\)-groupoid についても考察されている。

Crossed module の center は, Norrie [Nor90] により定義されたが, 最近 Pirashvili [Pir] により別の定義が提案された。 Pirashvili はその比較も行なっている。

ホモロジーについては, 分類空間を用いた Baues [Bau91] と Ellis [Ell92] によるものがある。その後, Carrasco と Cegarra と R.-Grandjeá́n [CCR02] により Barr-Beck monadic homology としての別の定義が提案された。 更に最近, Donadze と van der Linden [DV19] により, Baues-Ellis homology を一般化する新しいホモロジーが定義された。

元々の起源はホモトピー論にあったが, 最近では様々な分野で使われているようになっている。例えば, Maier と Schweigert の [MS11] にあるように, 有限群の Drinfel\('\)d double は crossed module とみなすことができる。よって crossed module の表現は, Drinfel\('\)d double の表現を一般化した構造を持つ, はずである。

では, crossed module の表現とは何だろうか? Maier と Schweigert は, Bantay が [Ban10]で述べている crossed module から構成した premodular tensor category のことを, その crossed module の表現と呼んでいる。 それが, 有限群の表現と有限群の Drinfel\('d\) double の表現の共通の一般化になっているからである。

  • crossed module の表現

Maier とSchweigert [MS11] は, Bruguières が [Bru00] で発見した premodular tensor category から modular tensor category を構成する方法を crossed module の表現の圏に適用したが, できたものは有限群の Drinfel\('\)d double の表現の圏と同値になってしまい, 新しい modular tensor category の例を構成するためには使えないようである。

Crossed module や関連した概念を高次元化したものについては, R. Brown の解説 [Bro] を見るとよい。Brown の目指しているのは, “nonabelian algebraic topology” の構築であり, それについては, Brown と Higgins と Sivera のそのタイトル の本 [BHS11] がある。

  • crossed 2-module
  • crossed groupoid
  • crossed complex
  • \(n\)-cat group あるいは \(\mathrm {cat}^{n}\)-group
  • crossed \(n\)-cube
  • crossed bimodule
  • pair algebra

Crossed \(2\)-module は, Jurco [Jur11] により nonabelian bundle \(2\)-gerbe を定義するのに使われている。そのホモトピー論が, Gohla と Martins [GF13] により 調べられている。

Crossed groupoid は, Yekutieli [Yek13] により, algebraic variety の deformation を調べるのに用いられている。

\(\mathrm {cat}^n\)-group は, Loday [Lod82] により \((n-1)\) 次までのホモトピー群しか持たない空間のモデルとして導入され, van Kampenの定理の一般化 [BL87b] などに応用された。 Loday は \(n\)-cat-group と呼んでいるが, 現在では \(\mathrm {cat}^{n}\)-group と呼ぶのが一般的なようである。 Loday の証明は, その後 [BCD93] により改良されている。

Crossed \(n\)-cube は, \(\mathrm {cat}^n\)-group と関連の深い概念であり, Brown と Loday [BL87a] による \(\mathrm {cat}^n\)-group を用いたホモトピー群の切除定理の証明を一般化するために, Ellis と Steiner [ES87] により導入された。実際, categorical group と crossed module は同等であり, \(\mathrm {cat}^n\)-group と crossed \(n\)-cube は同等な概念である。

  • \(\mathrm {cat}^n\)-group の圏と crossed \(n\)-cube の圏が同値であること。 [ES87]

これらは, 低次元トポロジーでも使われるようになった [Mar07] ようである。 Yetter [Yet92; Yet93] や Porter [Por98] らにより topological quantum field theory の構成にも用いられるようになってきた。

Pair algebra は crossed bimodule の graded version であり, Baues により secondary operation を扱うための代数的基礎として用いられている。Baues と Muro [BM11] は, ring spectrum のホモトピー群の secondary homotopy operation (Toda bracket など) を扱うために, secondary algebra を定義した。

高次元化ではない一般化として, Crans と Wagemann [CW14] により定義されている rack の crossed module がある。

  • rack の crossed module

References

[Ban10]

P. Bantay. “Characters of crossed modules and premodular categories”. In: Moonshine: the first quarter century and beyond. Vol. 372. London Math. Soc. Lecture Note Ser. Cambridge: Cambridge Univ. Press, 2010, pp. 1–11. arXiv: math/0512542.

[Bau91]

Hans Joachim Baues. Combinatorial homotopy and \(4\)-dimensional complexes. Vol. 2. De Gruyter Expositions in Mathematics. With a preface by Ronald Brown. Walter de Gruyter & Co., Berlin, 1991, pp. xxviii+380. isbn: 3-11-012488-2. url: https://doi.org/10.1515/9783110854480.

[BCD93]

M. Bullejos, A. M. Cegarra, and J. Duskin. “On \(\mathrm {cat}^{n}\)-groups and homotopy types”. In: J. Pure Appl. Algebra 86.2 (1993), pp. 135–154. url: http://dx.doi.org/10.1016/0022-4049(93)90099-F.

[BH78]

Ronald Brown and Philip J. Higgins. “On the connection between the second relative homotopy groups of some related spaces”. In: Proc. London Math. Soc. (3) 36.2 (1978), pp. 193–212.

[BH81]

Ronald Brown and Philip J. Higgins. “On the algebra of cubes”. In: J. Pure Appl. Algebra 21.3 (1981), pp. 233–260. url: http://dx.doi.org/10.1016/0022-4049(81)90018-9.

[BHS11]

Ronald Brown, Philip J. Higgins, and Rafael Sivera. Nonabelian algebraic topology. Vol. 15. EMS Tracts in Mathematics. Filtered spaces, crossed complexes, cubical homotopy groupoids, With contributions by Christopher D. Wensley and Sergei V. Soloviev. European Mathematical Society (EMS), Zürich, 2011, pp. xxxvi+668. isbn: 978-3-03719-083-8. url: https://doi.org/10.4171/083.

[BL87a]

Ronald Brown and Jean-Louis Loday. “Homotopical excision, and Hurewicz theorems for \(n\)-cubes of spaces”. In: Proc. London Math. Soc. (3) 54.1 (1987), pp. 176–192. url: http://dx.doi.org/10.1112/plms/s3-54.1.176.

[BL87b]

Ronald Brown and Jean-Louis Loday. “Van Kampen theorems for diagrams of spaces”. In: Topology 26.3 (1987). With an appendix by M. Zisman, pp. 311–335. url: http://dx.doi.org/10.1016/0040-9383(87)90004-8.

[BM08]

Hans-Joachim Baues and Fernando Muro. “Secondary homotopy groups”. In: Forum Math. 20.4 (2008), pp. 631–677. arXiv: math/ 0604029. url: http://dx.doi.org/10.1515/FORUM.2008.032.

[BM11]

Hans-Joachim Baues and Fernando Muro. “The algebra of secondary homotopy operations in ring spectra”. In: Proc. Lond. Math. Soc. (3) 102.4 (2011), pp. 637–696. arXiv: math/0610523. url: http://dx.doi.org/10.1112/plms/pdq034.

[Bro]

Ronald Brown. Nonabelian Algebraic Topology. arXiv: math / 0407275.

[Bru00]

Alain Bruguières. “Catégories prémodulaires, modularisations et invariants des variétés de dimension 3”. In: Math. Ann. 316.2 (2000), pp. 215–236. url: http://dx.doi.org/10.1007/s002080050011.

[BS76]

Ronald Brown and Christopher B. Spencer. “Double groupoids and crossed modules”. In: Cahiers Topologie Géom. Différentielle 17.4 (1976), pp. 343–362.

[CCR02]

P. Carrasco, A. M. Cegarra, and A. R.-Grandjeán. “(Co)homology of crossed modules”. In: J. Pure Appl. Algebra 168.2-3 (2002). Category theory 1999 (Coimbra), pp. 147–176. url: https://doi.org/10.1016/S0022-4049(01)00094-9.

[CW14]

Alissa S. Crans and Friedrich Wagemann. “Crossed modules of racks”. In: Homology Homotopy Appl. 16.2 (2014), pp. 85–106. arXiv: 1310. 4705. url: https://doi.org/10.4310/HHA.2014.v16.n2.a5.

[DV19]

Guram Donadze and Tim Van der Linden. “A comonadic interpretation of Baues-Ellis homology of crossed modules”. In: J. Homotopy Relat. Struct. 14.3 (2019), pp. 625–646. arXiv: 1805. 07748. url: https://doi.org/10.1007/s40062-018-0225-3.

[Ell92]

Graham J. Ellis. “Homology of \(2\)-types”. In: J. London Math. Soc. (2) 46.1 (1992), pp. 1–27. url: https://doi.org/10.1112/jlms/s2-46.1.1.

[ES87]

Graham Ellis and Richard Steiner. “Higher-dimensional crossed modules and the homotopy groups of \((n+1)\)-ads”. In: J. Pure Appl. Algebra 46.2-3 (1987), pp. 117–136. url: http://dx.doi.org/10.1016/0022-4049(87)90089-2.

[GF13]

Björn Gohla and João Faria Martins. “Pointed homotopy and pointed lax homotopy of 2-crossed module maps”. In: Adv. Math. 248 (2013), pp. 986–1049. arXiv: 1210 . 6519. url: https://doi.org/10.1016/j.aim.2013.08.020.

[Jur11]

Branislav Jurčo. “Nonabelian bundle 2-gerbes”. In: Int. J. Geom. Methods Mod. Phys. 8.1 (2011), pp. 49–78. arXiv: 0911.1552. url: https://doi.org/10.1142/S0219887811004963.

[Lod82]

Jean-Louis Loday. “Spaces with finitely many nontrivial homotopy groups”. In: J. Pure Appl. Algebra 24.2 (1982), pp. 179–202. url: http://dx.doi.org/10.1016/0022-4049(82)90014-7.

[Mar07]

João Faria Martins. “Categorical groups, knots and knotted surfaces”. In: J. Knot Theory Ramifications 16.9 (2007), pp. 1181–1217. url: http://dx.doi.org/10.1142/S0218216507005713.

[MS11]

Jennifer Maier and Christoph Schweigert. “Modular categories from finite crossed modules”. In: J. Pure Appl. Algebra 215.9 (2011), pp. 2196–2208. arXiv: 1003.2070. url: https://doi.org/10.1016/j.jpaa.2010.12.010.

[Noo07]

Behrang Noohi. “Notes on 2-groupoids, 2-groups and crossed modules”. In: Homology, Homotopy Appl. 9.1 (2007), pp. 75–106. arXiv: math/0512106. url: http://projecteuclid.org/euclid.hha/1175791088.

[Nor90]

Katherine Norrie. “Actions and automorphisms of crossed modules”. In: Bull. Soc. Math. France 118.2 (1990), pp. 129–146. url: http://www.numdam.org/item?id=BSMF_1990__118_2_129_0.

[Pir]

Mariam Pirashvili. On the centre of crossed modules of groups and Lie algebras. arXiv: 2109.00981.

[Por]

Sven-S. Porst. Strict 2-Groups are Crossed Modules. arXiv: 0812. 1464.

[Por98]

Tim Porter. “Topological quantum field theories from homotopy \(n\)-types”. In: J. London Math. Soc. (2) 58.3 (1998), pp. 723–732. url: http://dx.doi.org/10.1112/S0024610798006838.

[Wag21]

Friedrich Wagemann. Crossed modules. Vol. 82. De Gruyter Studies in Mathematics. De Gruyter, Berlin, [2021] ©2021, pp. xiv+393. isbn: 978-3-11-075076-8; 978-3-11-075095-9; 978-3-11-075099-7. url: https://doi.org/10.1515/9783110750959-201.

[Whi49]

J. H. C. Whitehead. “Combinatorial homotopy. II”. In: Bull. Amer. Math. Soc. 55 (1949), pp. 453–496. url: https://doi.org/10.1090/S0002-9904-1949-09213-3.

[Yek13]

Amnon Yekutieli. “Deformations of affine varieties and the Deligne crossed groupoid”. In: J. Algebra 382 (2013), pp. 115–143. arXiv: 1209.6243. url: https://doi.org/10.1016/j.jalgebra.2013.01.038.

[Yet92]

David N. Yetter. “Topological quantum field theories associated to finite groups and crossed \(G\)-sets”. In: J. Knot Theory Ramifications 1.1 (1992), pp. 1–20. url: http://dx.doi.org/10.1142/S0218216592000021.

[Yet93]

David N. Yetter. “TQFTs from homotopy \(2\)-types”. In: J. Knot Theory Ramifications 2.1 (1993), pp. 113–123. url: http://dx.doi.org/10.1142/S0218216593000076.