Dold-Thomの定理

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

ホモトピー論的に代数的トポロジーを学ぼうと思ったら, 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 が [Sch]で対称積によるfiltration を調べている。 HausmannとOstermayr [HO] は, Arone-Leshのfiltrationの equivariant版を調べている。

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

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

無限対称積のequivariant versionとも言うべき構成が, Lima-Filho [Lim97], Nie [Nie], 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.

[GG]

Sergey Gorchinskiy and Vladimir Guletskii. Symmetric powers in abstract homotopy categories. arXiv: 0907.0730.

[HO]

Markus Hausmann and Dominik Ostermayr. Filtrations of global equivariant \(K\)-theory. arXiv: 1510.04011.

[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.

[Nie]

Zhaohu Nie. A Functor Converting Equivariant Homology to Homotopy. arXiv: math/0603455.

[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.

[Sch]

Stefan Schwede. Equivariant properties of symmetric products. arXiv: 1403.1355.

[Tri]

Arnav Tripathy. The symmetric power and étale realisation functors commute. arXiv: 1502.01104.