Discrete Homotopy Theory

最近, 組み合せ論的な構造に, ホモトピーのアイデアや手法を適用することが盛んになっている。Barcelo らの discrete homotopy theory もその一つである。Barcelo と Smith の [BS08] によると, Kramer と Laubenbacher [KL98] により考えられた, 単体的複体に対する新しいホモトピー論である。 Barcelo, Kramer, Laubenbacher, Weaver の [Bar+01] が基本的な文献である。 上記の論文では, \(A\)-homotopy theory と呼ばれていたが, その後の [BSW11] では discrete homotopy theory と呼ばれているので, このページのタイトルもそれに従った。

• 有限次元単体的複体 \(K\) と \(0\le q \le \dim K\) に対し, \(K\) の \(n\) 次 \(q\)-connectivity discrete homotopy group \(A^q_n(K)\)
• 単体的複体の対に対する relative discrete homotopy group と long exact sequence
• グラフ \(\Gamma \) に対し, \(\Gamma \) の \(n\)次 \(A\)-homotopy group \(A_n(\Gamma )\)
• 単体的複体 \(K\) と \(0\le q\le \dim K\) に対し, その \(q\) 次元 connectivity graph \(\Gamma ^q(K)\)
• 単体的複体 \(K\) の connectivity \(q\) の \(A\)-homotopy group と \(\Gamma ^q(K)\) の graph としての \(A\)-homotopy group は同型になる。
• グラフ \(\Gamma \) に対し, \(A_n(\Gamma ) \cong \pi _n(X_{\Gamma })\) となる cell complex \(X_{\Gamma }\) の構成

Barcelo と Smith は, [BS08] で Boolean lattice の order complex の discrete fundamental group を計算している。\(3\)-equal arrangement と呼ばれる subspace arrangement の complement の基本群になっているようである。 Permutohedron の discrete fundamental group を計算していることにもなっているらしい。 Subspace arrangement の視点からの一般化が, Barcelo と Severs と White [BSW11] により得られている。一方で, convex polytope の視点から, 彼等は [BSW] で associahedron の discrete fundamental group を調べている。

対応するホモロジーについては, Barceloら が [BCW14] で構成している。Eilenberg-Steenrod の公理の類似や Hurewicz の定理の類似も成り立つようである。

• discrete homology

今後の課題としては, 以下の問題が考えられる。

• discrete homotopy group の同型を誘導する morphism を weak equivalence とする単体的複体の圏 (の拡張) の, model structure やその一般化による homotopy theory の枠組みの構築

Dochtermann の [Doc09] では, グラフの場合に, weak equivalence の定義が Hom-complex を用いて述べられている。 そして, それが 2-out-of-3 をみたし, retract で閉じていることが示されている。 かなり model category に近い構造を持っているようである。

References

[Bar+01]

Hélène Barcelo, Xenia Kramer, Reinhard Laubenbacher, and Christopher Weaver. “Foundations of a connectivity theory for simplicial complexes”. In: Adv. in Appl. Math. 26.2 (2001), pp. 97–128. url: http://dx.doi.org/10.1006/aama.2000.0710.

[BCW14]

Hélène Barcelo, Valerio Capraro, and Jacob A. White. “Discrete homology theory for metric spaces”. In: Bull. Lond. Math. Soc. 46.5 (2014), pp. 889–905. arXiv: 1306.3915. url: https://doi.org/10.1112/blms/bdu043.

[BS08]

Hélène Barcelo and Shelly Smith. “The discrete fundamental group of the order complex of \(B_n\)”. In: J. Algebraic Combin. 27.4 (2008), pp. 399–421. arXiv: 0711.0915. url: http://dx.doi.org/10.1007/s10801-007-0094-z.

[BSW]

Hélène Barcelo, Christopher Severs, and Jacob A. White. The Discrete Fundamental Group of the Associahedron, and the Exchange Module. arXiv: 1012.2810.

[BSW11]

Hélène Barcelo, Christopher Severs, and Jacob A. White. “\(k\)-parabolic subspace arrangements”. In: Trans. Amer. Math. Soc. 363.11 (2011), pp. 6063–6083. arXiv: 0909.0720. url: http://dx.doi.org/10.1090/S0002-9947-2011-05336-5.

[Doc09]

Anton Dochtermann. “Hom complexes and homotopy theory in the category of graphs”. In: European J. Combin. 30.2 (2009), pp. 490–509. arXiv: math/0605275. url: http://dx.doi.org/10.1016/j.ejc.2008.04.009.

[KL98]

Xenia H. Kramer and Reinhard C. Laubenbacher. “Combinatorial homotopy of simplicial complexes and complex information systems”. In: Applications of computational algebraic geometry (San Diego, CA, 1997). Vol. 53. Proc. Sympos. Appl. Math. Providence, RI: Amer. Math. Soc., 1998, pp. 91–118.