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 と \(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 の表現の共通の一般化になっているからである。
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
がある。
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.
|