Dold-Thom の定理

Dold-Thom の定理 [DT58] とは, 無限 対称積のホモトピー群が (整係数 reduced) ホモロジー群になるという事実である。 その元になっているのは, quasifibration に関する Dold-Thom criterion である。

• quasifibration
• Dold-Thom criterion

ホモトピー論的に代数的トポロジーを学ぼうと思ったら, Dold-Thom の定理により無限対称積のホモトピー群をホモロジーの定義にしてしまうのも一つの手で はある。実際にそのアプローチをとった教科書としては [AGP02]がある。Dold と Thom の論文はドイツ語なので, ちょっと手を出しづらいが, 幸い, この本には Dold-Thom の定理の証明が英語で書いてあるので非常に助かる。

スペクトラム レベルでは, Dold-Thom の定理は球面 spectrum の無限対称積が, 整係数 Eilenberg-Mac Lane spectrum \(H\Z \) になるということを意味するので, \(n\)次対称積 \(\mathrm {SP}^n(S)\) はその中間段階を与えることになる。Arone と Lesh は, [AL07] で connective complex K-theory spectrum と sphere spectrum の中間段階を表わす spectrum を構成し, [AL10] でその性質を調べている。 これは, 対称積の \(K\)-theory版と考えてよいのだろうか。空間レベルでは, Segal の \(K\)-homologyと関係がありそうである。

群の作用があるときには, Schwede が [Sch17]で対称積によるfiltration を調べている。 HausmannとOstermayr [HO20] は, Arone-Leshのfiltrationの equivariant版を調べている。

Dold-Thom の定理の類似は, Voevodsky により \(\mathbb {A}^1\)-homotopy theory の文脈でも考えられている。より一般にはGorchinskiyとGuletskiiの [GG16]がある。

Étale homotopy theoryでの Dold-Thom の定理は Tripathy [Tri16] により得られている。

無限対称積の equivariant version とも言うべき構成が, Lima-Filho [Lim97], Nie [Nie07], dos Santos [San03], Aguilar と Prieto [AP11] などにより考えられている。

References

[AGP02]

Marcelo Aguilar, Samuel Gitler, and Carlos Prieto. Algebraic topology from a homotopical viewpoint. Universitext. Translated from the Spanish by Stephen Bruce Sontz. New York: Springer-Verlag, 2002, pp. xxx+478. isbn: 0-387-95450-3.

[AL07]

Gregory Arone and Kathryn Lesh. “Filtered spectra arising from permutative categories”. In: J. Reine Angew. Math. 604 (2007), pp. 73–136. url: http://dx.doi.org/10.1515/CRELLE.2007.020.

[AL10]

Gregory Z. Arone and Kathryn Lesh. “Augmented \(\Gamma \)-spaces, the stable rank filtration, and a \(bu\) analogue of the Whitehead conjecture”. In: Fund. Math. 207.1 (2010), pp. 29–70. arXiv: 0902.2564. url: http://dx.doi.org/10.4064/fm207-1-3.

[AP11]

Marcelo A. Aguilar and Carlos Prieto. “Equivariant Dold-Thom topological groups”. In: J. Homotopy Relat. Struct. 6.2 (2011), pp. 183–209. arXiv: 1101.5724.

[DT58]

Albrecht Dold and René Thom. “Quasifaserungen und unendliche symmetrische Produkte”. In: Ann. of Math. (2) 67 (1958), pp. 239–281. url: https://doi.org/10.2307/1970005.

[GG16]

S. Gorchinskiy and V. Guletskiı̆. “Symmetric powers in abstract homotopy categories”. In: Adv. Math. 292 (2016), pp. 707–754. arXiv: 0907.0730. url: https://doi.org/10.1016/j.aim.2016.01.011.

[HO20]

Markus Hausmann and Dominik Ostermayr. “Filtrations of global equivariant \(K\)-theory”. In: Math. Z. 295.1-2 (2020), pp. 161–210. arXiv: 1510.04011. url: https://doi.org/10.1007/s00209-019-02338-1.

[Lim97]

P. Lima-Filho. “On the equivariant homotopy of free abelian groups on \(G\)-spaces and \(G\)-spectra”. In: Math. Z. 224.4 (1997), pp. 567–601. url: http://dx.doi.org/10.1007/PL00004297.

[Nie07]

Zhaohu Nie. “A functor converting equivariant homology to homotopy”. In: Bull. Lond. Math. Soc. 39.3 (2007), pp. 499–508. arXiv: math/0603455. url: https://doi.org/10.1112/blms/bdm029.

[San03]

Pedro F. dos Santos. “A note on the equivariant Dold-Thom theorem”. In: J. Pure Appl. Algebra 183.1-3 (2003), pp. 299–312. url: http://dx.doi.org/10.1016/S0022-4049(03)00029-X.

[Sch17]

Stefan Schwede. “Equivariant properties of symmetric products”. In: J. Amer. Math. Soc. 30.3 (2017), pp. 673–711. arXiv: 1403.1355. url: https://doi.org/10.1090/jams/879.

[Tri16]

Arnav Tripathy. The Symmetric Power and Etale Realization Functors Commute. Thesis (Ph.D.)–Stanford University. ProQuest LLC, 2016, 46 pp. isbn: 979-8662-54897-8. arXiv: 1502.01104.