Dold-Kan Correspondence

Simplicial Abelian group に対し, その normalized chain complex を対応させることにより, simplicial Abelian group の圏と bounded below chain complex の圏は同値になる。より一般に simplicial \(R\)-module の圏と \(R\) 上の bounded below chain complex の圏も同値になる。 この対応は Dold-Kan correspondence と呼ばれる。

元の文献は, Dold の [Dol58], Dold と Puppe の [DP61], そして Kan の [Kan58] であるが, Goerss と Jardine の本 [GJ09] や Weibel の本 [Wei94] で解説されているので, まずはこれらの本を読むのが良いだろう。Normalized chain complex を対応させることの逆, つまり bounded below chain complex から simplicial Abelian group を作ることについては, これらの本にも記述があるが, Castiglioni と Ladra の [CL] にも具体的な記述がある。

一般化や類似の対応も色々知られている。

まず, cosimplicial 版がある。例えば, Weibel の本 [Wei94] に Corollary/Definition 8.4.3 として述べられている。

  • Cosimplicial Abelian group に対しその normalized cochain complex を取るという対応で, cosimplicial Abelian group の圏と bounded below cochain complex の圏は同値になる。

Cochain complex の場合は積を持つことが多いことから, このdual Dold-Kan correspondence から simplicial ring と differential graded ring の間の対応を作ろうというのは自然なアイデアである。実際 Castiglioni と Cortinas [CC04] は次を証明している。

  • Dual Dold-Kan correspondence の拡張により cosimplicial ring の圏のホモトピー圏と differential graded ring の圏のホモトピー圏の同値を与える

残念ながら, 圏の同値ではなくホモトピー圏の同値であるが。 よって model category を用いる必要がある。

Simplicial ring と differential graded ring の対応への一般化, そしてそれの更なる一般化は, Schwede と Shipley が [SS03] で行なっている。

Schwede と Shipley の結果は, より一般の monoidal model category に関するものであるが, Shoikhet [Sho] が言っているように, Dold-Kan correspondence の双方の functor は strict monoidal ではない。Shoikhet は, Dold-Kan correspondence の場合を含めるように条件を弱めることを考えている。 ただ, その version 2 の arXiv での comment によると, それは既に Aguiar と Mahajan の本 [AM10] の §5.4 で考えられていたことのようである。

Simplicial coalgebra と dg coalgebra の間の Dold-Kan correspondence の類似については, Soré [Sor] が調べている。

Gutiérrez と Lukacs と Weiss [GLW] は dendroidal Abelian group への一般化を考えている。

Strict \(\omega \)-category での Abelian group object への拡張を考えている人 [Mil] もいる。

Dyckerhoff [Dyc21] は, “categorification” の存在を証明している。Waldhausen \(S\)-construction の一般化になっているようである。

  • categorified Dold-Kan correspondence

応用としては, Kauffman [Kau] が link homology の研究に使うことを提案している。 鎖複体を simplicial object に変換するのでホモトピー論的に扱えるから, というのが提案の動機らしい。 Khovanov homotopy type との関連はどうなっているのだろう?

References

[AM10]

Marcelo Aguiar and Swapneel Mahajan. Monoidal functors, species and Hopf algebras. Vol. 29. CRM Monograph Series. With forewords by Kenneth Brown and Stephen Chase and André Joyal. Providence, RI: American Mathematical Society, 2010, pp. lii+784. isbn: 978-0-8218-4776-3.

[CC04]

José Luis Castiglioni and Guillermo Cortiñas. “Cosimplicial versus DG-rings: a version of the Dold-Kan correspondence”. In: J. Pure Appl. Algebra 191.1-2 (2004), pp. 119–142. arXiv: math/0306289. url: http://dx.doi.org/10.1016/j.jpaa.2003.11.009.

[CL]

J. L. Castiglioni and M. Ladra. Peiffer Elements in Simplicial Groups and Algebras. arXiv: math/0501260.

[Dol58]

Albrecht Dold. “Homology of symmetric products and other functors of complexes”. In: Ann. of Math. (2) 68 (1958), pp. 54–80. url: https://doi.org/10.2307/1970043.

[DP61]

Albrecht Dold and Dieter Puppe. “Homologie nicht-additiver Funktoren. Anwendungen”. In: Ann. Inst. Fourier Grenoble 11 (1961), pp. 201–312.

[Dyc21]

Tobias Dyckerhoff. “A categorified Dold-Kan correspondence”. In: Selecta Math. (N.S.) 27.2 (2021), Paper No. 14, 35. arXiv: 1710.08356. url: https://doi.org/10.1007/s00029-021-00618-5.

[GJ09]

Paul G. Goerss and John F. Jardine. Simplicial homotopy theory. Modern Birkhäuser Classics. Reprint of the 1999 edition [MR1711612]. Birkhäuser Verlag, Basel, 2009, pp. xvi+510. isbn: 978-3-0346-0188-7. url: https://doi.org/10.1007/978-3-0346-0189-4.

[GLW]

Javier J. Gutiérrez, Andor Lukacs, and Ittay Weiss. Dold-Kan correspondence for dendroidal abelian groups. arXiv: 0909.3995.

[Kan58]

Daniel M. Kan. “Functors involving c.s.s. complexes”. In: Trans. Amer. Math. Soc. 87 (1958), pp. 330–346. url: https://doi.org/10.2307/1993103.

[Kau]

Louis H Kauffman. Simplicial Homotopy Theory, Link Homology and Khovanov Homology. arXiv: 1701.04886.

[Mil]

Brett Milburn. Abelian Groups in omega-categories. arXiv: 1106.5434.

[Sho]

Boris Shoikhet. A bialgebra axiom and the Dold-Kan correspondence. arXiv: 1109.5441.

[Sor]

Hermann Soré. The Dold-Kan Correspondence and Coalgebra Structures. arXiv: 1110.5193.

[SS03]

Stefan Schwede and Brooke Shipley. “Equivalences of monoidal model categories”. In: Algebr. Geom. Topol. 3 (2003), 287–334 (electronic). arXiv: math/0209342. url: http://dx.doi.org/10.2140/agt.2003.3.287.

[Wei94]

Charles A. Weibel. An introduction to homological algebra. Vol. 38. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1994, pp. xiv+450. isbn: 0-521-43500-5; 0-521-55987-1. url: https://doi.org/10.1017/CBO9781139644136.