Thom Spectrum

Thom spectrum は, 最初, vector bundle に Pontrjagin-Thom construction を行ってできた空間の列として定義され, spectrum の定義の原型となった。

その Thom spectrum の構成は, 現在では大幅に修正されたものとなっている。

まず, vector bundle は spherical fibration に一般化された。更に, 構成される Thom spectrum を近代的な spectrum の1つである symmetric spectrum の枠組みの中で行なおうというのが, Schlichtkrull の [Sch09] である。

また, vector bundle からの Thom spectrum の構成は, 写像 \[ X \rarrow {} \mathrm {BO} \simeq B\GL _{\infty }(\R ) \] から spectrum を構成することと考えられるが, \(\mathrm {BO}\) を \(BF\) に変えたのが spherical fibration に対する Thom spectrum の構成である。 更に, \(E_{\infty }\)-ring spectrum \(R\) に対し, 写像 \[ f : X \rarrow {} B\GL _{1}(R) \] からの spectrum \(M(f)\) の構成へ拡張しているのが, Ando, Blumberg, Gepner, Hopkins, Rezk の [And+; And+14b; And+14a] である。 その一つの利点として, twisted cohomology と統一されることがある。 その元になっているは, May 達の仕事 [May77; Lew+86] であり, twisted (co)homology についても parametrized (co)homology として May と Siguardsson [MS06] により考えられている。

より正確には, Klang の [Kla] の Introduction に書かれているように, \(X\) が \(n\)-fold loop space で \(f\) が \(n\)-fold loop map ならば \(M(f)\) は \(E_n\)-ring spectrum になる。特に, \(f\)が infinite loop map ならば \(M(f)\) は \(E_{\infty }\)-ring spectrum となる。

Ando 等は, 最終的には [And+14a] で quasicategory を用いた構成を提案している。 そして, それ以前の [And+] での構成との比較も行なっている。

別の Thom spectrum の構成の一般化として, Sagave と Schlichtkrull [SS19] によるものがある。彼等は, ある topological category \(\mathcal {W}\) から位相空間の category への functor を考え, Thom spectrum の構成をそのような functor から orthogonal spectrum を作る構成とみなしている。

また, 彼等は Basu と一緒に, [BSS] で symmetric spectrum に対応する構成も考えている。そこで使われているのは, FI-space (彼等の言葉では \(\mathcal {I}\)-space) の理論である。

多様体 \(M\) に対しては \(M^{-TM}\) は Atiyah dual と呼ばれる。Loop manifold に対して Atiyah dual を定義しようとした試みが, Kitchloo と Morava の [KM07] である。

一方, Pontrjagin-Thom construction を使わない spectrum の構成が Quinn [Qui95] により提案されている。Quinn の目的は surgery theory であったが。

• Quinn spectrum

それを symmetric spectrum で行なったものとして Laures と McClure の [LMb] がある。彼らは, associative ring spectrum の構造を持つための条件について考えている。その続編 [LMa] では, commutative ring spectrumの構造を持つための条件について考えている。 Baas と Laures [BL] は manifold with singularity に拡張している。

References

[And+]

Matthew Ando, Andrew J. Blumberg, David J. Gepner, Michael J. Hopkins, and Charles Rezk. Units of ring spectra and Thom spectra. arXiv: 0810.4535.

[And+14a]

Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, and Charles Rezk. “An \(\infty \)-categorical approach to \(R\)-line bundles, \(R\)-module Thom spectra, and twisted \(R\)-homology”. In: J. Topol. 7.3 (2014), pp. 869–893. arXiv: 1403.4325. url: http://dx.doi.org/10.1112/jtopol/jtt035.

[And+14b]

Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, and Charles Rezk. “Units of ring spectra, orientations and Thom spectra via rigid infinite loop space theory”. In: J. Topol. 7.4 (2014), pp. 1077–1117. arXiv: 1403.4320. url: http://dx.doi.org/10.1112/jtopol/jtu009.

[BL]

Nils A. Baas and Gerd Laures. Singularities and Quinn spectra. arXiv: 1304.3593.

[BSS]

Samik Basu, Steffen Sagave, and Christian Schlichtkrull. Generalized Thom spectra and their topological Hochschild homology. arXiv: 1608.08388.

[Kla]

Inbar Klang. The factorization theory of Thom spectra and twisted non-abelian Poincaré duality. arXiv: 1606.03805.

[KM07]

Nitu Kitchloo and Jack Morava. “Thom prospectra for loopgroup representations”. In: Elliptic cohomology. Vol. 342. London Math. Soc. Lecture Note Ser. Cambridge: Cambridge Univ. Press, 2007, pp. 214–238. arXiv: math / 0404541. url: http://dx.doi.org/10.1017/CBO9780511721489.011.

[Lew+86]

L. G. Lewis Jr., J. P. May, M. Steinberger, and J. E. McClure. Equivariant stable homotopy theory. Vol. 1213. Lecture Notes in Mathematics. With contributions by J. E. McClure. Springer-Verlag, Berlin, 1986, pp. x+538. isbn: 3-540-16820-6.

[LMa]

Gerd Laures and James E. McClure. Commutativity properties of Quinn spectra. arXiv: 1304.4759.

[LMb]

Gerd Laures and James E. McClure. Multiplicative properties of Quinn spectra. arXiv: 0907.2367.

[May77]

J. Peter May. \(E_{\infty }\) ring spaces and \(E_{\infty }\) ring spectra. Lecture Notes in Mathematics, Vol. 577. With contributions by Frank Quinn, Nigel Ray, and Jørgen Tornehave. Berlin: Springer-Verlag, 1977, p. 268.

[MS06]

J. P. May and J. Sigurdsson. Parametrized homotopy theory. Vol. 132. Mathematical Surveys and Monographs. Providence, RI: American Mathematical Society, 2006, pp. x+441. isbn: 978-0-8218-3922-5; 0-8218-3922-5.

[Qui95]

Frank Quinn. “Assembly maps in bordism-type theories”. In: Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach, 1993). Vol. 226. London Math. Soc. Lecture Note Ser. Cambridge: Cambridge Univ. Press, 1995, pp. 201–271. url: http://dx.doi.org/10.1017/CBO9780511662676.011.

[Sch09]

Christian Schlichtkrull. “Thom spectra that are symmetric spectra”. In: Doc. Math. 14 (2009), pp. 699–748. arXiv: 0811. 0592.

[SS19]

Steffen Sagave and Christian Schlichtkrull. “Virtual vector bundles and graded Thom spectra”. In: Math. Z. 292.3-4 (2019), pp. 975–1016. arXiv: 1410.4492. url: https://doi.org/10.1007/s00209-018-2131-0.