2次以上の morphism が可逆な高次の圏

Lurie [Lur09] のおかげで, 高次の圏も一般的になってきた。

かつて, 圏論の研究者が考えていた高次の圏は, bicategorytricategory のように, 高次の morphism を持ち, それらの合成の結合法則や単位元の条件が up to isomorphism で成り立つように弱められ, 更にそれらの isomorphism がある coherence condition を満し, というようなものだった。Object (\(0\)-morphism) と morphism (\(1\)-morphism) に \(2\)-morphism, \(3\)-morphism と追加していって \(n\)-morphism まで考え, それらがどのような条件を満すべきかが重要な問題だった。

一方, Joyal らが考え, Lurieにより一般的になった \((\infty ,1)\)-category は, 全ての\(n\)に対し \(n\)-morphism が存在するが, \(n\ge 2\) 以上 の \(n\)-morphism は全て可逆であると仮定されるものである。 Lurie は, 単に \(\infty \)-category と呼んでいるが, 正確には \((\infty ,1)\)-category と呼ぶべきだろう。

文献としては, まず Lurie の本 [Lur09] を挙げるべきだろうが, 最近は他にも色々解説が書かれている。 Bergner の解説 [Ber10], Camarena の [Cam], Riehl と Verity の lecture note [RV20], Hinich の lecture note [Hin], Riehl の essay [Rie] など。

現代数学では同型なものを同一視するのが基本だから, その意味では本質的なのは \(1\)-morphism (の同型類) であり, 一般の \(n\)-category より, 通常の圏に近いものである。

そのような \((\infty ,1)\)-category の model としては, 最も有名なのは quasicategory だろう。他にも, simplicial setenrich された圏である simplicial category や, Segal category, そして complete Segal space などがある。

これらは, quasicategory も含め model category として全て同値であることが知られている。最初の3つと quasicategory の関係については, Bergner の解説 [Ber10] をみるとよい。 Camarena の \((\infty ,1)\)-category についての survey [Cam] にもまとめられている。

Simplcial set でできることは, 基本的には cubical set でもできるはずであるが, 実際そのようなモデルもある。例えば, [Doh+] では, cubical quasicategory が使われている。定義は46ページにある。

  • cubical quasicategory

Cubical model を用いたものとしては, Hackney と Rovelli が [HR] で考えているものもある。

位相空間の圏と simplicial set の圏は model category として同値なので, 位相空間の圏で enrich された圏である topological category も同じ目的で使えるのは, 当然と言えば当然である。例えば, Lurie の本 [Lur09] でも登場する。 Topological category の category の model structure の構成と他のモデルとの関係については, Amrani の [Amr15] で調べられている。 最後のものについては, Horel の [Hor15] で model structure が定義され, 他の model と Quillen 同値であることが示されている。

これらを統一的に扱うために, Riehl と Verity [RV] は \(\infty \)-cosmos という概念を導入した。これは simplicially enriched category で, ある条件をみたすものとして定義される。その object が \((\infty ,1)\)-category と呼ばれるべきものである。 上記のものの成す圏は全て \(\infty \)-cosmos になる, らしい。

  • \(\infty \)-cosmos

Lurieは, 例えば [Lurc] で, \((\infty ,1)\)-category の応用として sheaf cohomology と cohomology のホモトピー集合としての表示の関係の一般化を考えている。 [Lura] では, ホモロジー代数に現れる \((\infty ,1)\)-category, つまり chain complex の圏からできる \((\infty ,1)\)-category の一般化を考えている。 ホモトピー圏を取ると triangulated category になるものなので, いわゆる enhanced triangulated category の一つのモデルとなっている。

Enhanced triangulated category として良く使われるのは, (pretriangulated) dg category であるが, dg category から \((\infty ,1)\)-category を作ることもできる。Lurie の [Lurb] にも登場するが, Dyckerhoff, Kapranov, Soibelman の [DKS] によると, Hinich と Schechtman [HS87] により simplicial set として定義されたのが最初のようである。Dyckerhoff らは dg nerve と呼んでいる。 その \(A_{\infty }\)-版が, Foante の [Fao17] で導入されている。

  • dg nerve
  • \(A_{\infty }\)-nerve

これらの様々な \((\infty ,1)\)-category のモデルの特徴付けとして, Toën [Toë05] は, model category が complete Segal space の成す model category と Quillen 同値になるための7つの公理を発見した。つまり, これらの7つの公理をみたす model category は, 全て \((\infty ,1)\)-category の category のモデルと考えられるということである。

\((\infty ,1)\)-category に対し, monoidal structure などの通常のcategory theory の概念を拡張することは, 当然考えられている。

\((\infty ,1)\)-category は, \(2\)次元以上の morphism が up to homotopy で inverse を持つものであるが, 高次の圏のモデルとして, \((n+1)\) 次元以上の morphism を invertible にした \((\infty ,n)\)-category も考えられている。

\(\infty \) までいかず, また \(1\) よりも上の次元の morphism が invertible であるもの, つまり \((n+k,k)\)-category については, Rezk が [Rez10] で考えている。そこでは Joyal の \(\Theta _n\) が使われている。\(k=1\) で \(n=-1\) のとき, つまり \((0,1)\)-category は poset とみなすべきもののようである。

Simplicial setcubical set にしたモデルは, Kachour [Kac14] により考えられている。\((\infty ,n)\)-category のモデルも導入されている。

  • cubical weak \((\infty ,n)\)-category

Simplicial setdendroidal set に変えること により, multicategory の \(\infty \) 版も考えられている。Cisinski と Moerdijk の [CT12] である。 \(\infty \)-multicategory よりも \(\infty \)-operad という用語の方が一般的なようである。

  • dendroidal Segal space
  • dendroidal Segal category

更に, properad への一般化も Hackney, Robertson, Yau [HRY15] により考えられている。

  • \(\infty \)-properad

応用は多岐にわたるが, 有名なのは extended TQFT, derived algebraic geometry, homotopy type theory などだろう。 より幾何学的な応用として, Savelyev の [Sava; Savb] などがある。 確率論 [Gaua] や 低次元トポロジー [Gaub] に使おうとしている人もいるが, 普及するだろうか。

群論を連結な基点つき \((\infty ,1)\)-groupoid に拡張しようという人 [PS17] もいる。Sylow の定理の類似などが考えられている。

References

[Amr15]

Ilias Amrani. “Model structure on the category of small topological categories”. In: J. Homotopy Relat. Struct. 10.1 (2015), pp. 63–70. arXiv: 1110.2695. url: https://doi.org/10.1007/s40062-013-0041-8.

[Ber10]

Julia E. Bergner. “A survey of \((\infty ,1)\)-categories”. In: Towards higher categories. Vol. 152. IMA Vol. Math. Appl. New York: Springer, 2010, pp. 69–83. arXiv: math/0610239. url: http://dx.doi.org/10.1007/978-1-4419-1524-5_2.

[Cam]

Omar Antolín Camarena. A Whirlwind Tour of the World of \((\infty ,1)\)-categories. arXiv: 1303.4669.

[CT12]

Denis-Charles Cisinski and Gonçalo Tabuada. “Symmetric monoidal structure on non-commutative motives”. In: J. K-Theory 9.2 (2012), pp. 201–268. arXiv: 1010 . 4956. url: http://dx.doi.org/10.1017/is011011005jkt169.

[DKS]

Tobias Dyckerhoff, Mikhail Kapranov, and Yan Soibelman. Perverse sheaves on Riemann surfaces as Milnor sheaves. arXiv: 2012.11388.

[Doh+]

Brandon Doherty, Chris Kapulkin, Zachery Lindsey, and Christian Sattler. Cubical models of \((\infty , 1)\)-categories. arXiv: 2005.04853.

[Fao17]

Giovanni Faonte. “Simplicial nerve of an \(\cA _\infty \)-category”. In: Theory Appl. Categ. 32 (2017), Paper No. 2, 31–52. arXiv: 1312.2127.

[Gaua]

Renaud Gauthier. Algebraic Stochastic Calculus. arXiv: 1407.6784.

[Gaub]

Renaud Gauthier. Infinity Links \(L\), infinity-4-Manifolds \(M_L\) and Kirby Categories. arXiv: 1309.7514.

[Hin]

Vladimir Hinich. Lectures on infinity categories. arXiv: 1709.06271.

[Hor15]

Geoffroy Horel. “A model structure on internal categories in simplicial sets”. In: Theory Appl. Categ. 30 (2015), Paper No. 20, 704–750. arXiv: 1403.6873.

[HR]

Philip Hackney and Martina Rovelli. Induced model structures for higher categories. arXiv: 2102.01104.

[HRY15]

Philip Hackney, Marcy Robertson, and Donald Yau. Infinity properads and infinity wheeled properads. Vol. 2147. Lecture Notes in Mathematics. Springer, Cham, 2015, pp. xv+358. isbn: 978-3-319-20546-5; 978-3-319-20547-2. arXiv: 1410 . 6716. url: https://doi.org/10.1007/978-3-319-20547-2.

[HS87]

V. A. Hinich and V. V. Schechtman. “On homotopy limit of homotopy algebras”. In: \(K\)-theory, arithmetic and geometry (Moscow, 1984–1986). Vol. 1289. Lecture Notes in Math. Berlin: Springer, 1987, pp. 240–264. url: http://dx.doi.org/10.1007/BFb0078370.

[Kac14]

Camell Kachour. “Aspects of globular higher category theory”. In: Bull. Aust. Math. Soc. 90.1 (2014), pp. 172–173. arXiv: 1702.00336. url: https://doi.org/10.1017/S0004972714000288.

[Lura]

Jacob Lurie. Derived Algebraic Geometry I: Stable Infinity Categories. arXiv: math/0608228.

[Lurb]

Jacob Lurie. Higher Algebra. url: https://www.math.ias.edu/~lurie/papers/HA.pdf.

[Lurc]

Jacob Lurie. On Infinity Topoi. arXiv: math/0306109.

[Lur09]

Jacob Lurie. Higher topos theory. Vol. 170. Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925. isbn: 978-0-691-14049-0. url: http://dx.doi.org/10.1515/9781400830558.

[PS17]

Matan Prasma and Tomer M. Schlank. “Sylow theorems for \(\infty \)-groups”. In: Topology Appl. 222 (2017), pp. 121–138. arXiv: 1602.04494. url: https://doi.org/10.1016/j.topol.2017.03.004.

[Rez10]

Charles Rezk. “A Cartesian presentation of weak \(n\)-categories”. In: Geom. Topol. 14.1 (2010), pp. 521–571. arXiv: 0901.3602. url: http://dx.doi.org/10.2140/gt.2010.14.521.

[Rie]

Emily Riehl. Could \(\infty \)-category theory be taught to undergraduates? arXiv: 2302.07855.

[RV]

Emily Riehl and Dominic Verity. Fibrations and Yoneda’s lemma in an \(\infty \)-cosmos. arXiv: 1506.05500.

[RV20]

Emily Riehl and Dominic Verity. “Infinity category theory from scratch”. In: High. Struct. 4.1 (2020), pp. 115–167. arXiv: 1608. 05314.

[Sava]

Yasha Savelyev. Global Fukaya category and quantum Novikov conjecture I. arXiv: 1307.3991.

[Savb]

Yasha Savelyev. Global Fukaya category and the space of \(A_\infty \) categories II. arXiv: 1408.3250.

[Toë05]

Bertrand Toën. “Vers une axiomatisation de la théorie des catégories supérieures”. In: \(K\)-Theory 34.3 (2005), pp. 233–263. arXiv: math/ 0409598. url: http://dx.doi.org/10.1007/s10977-005-4556-6.