安定ホモトピー論でのスペクトラム

スペクトラムという用語は, 数学の様々な分野で全く異なる意味で使われている。 ここでは, 安定ホモトピー論の基本的な研究対象である, スペクトラムを考える。

Pontryagin-Thom construction により, コボルディズム群はある空間列の ホモトピー群の極限 (colimit) と同一視できる。 その際にスペクトラムという概念を用いると, Thom spectrum のホモトピー群としてすっきりと表わすことができる。 この素朴なスペクトラムの定義は, Lima により導入された [Lim58; Lim59] ものである。

スペクトラムについては, 私は Adams の [Ada74] で学んだ。 今でも, とりあえず最初はこの Adams の本を読むのが良いように思う。 日本語だと荒木の [荒木捷75] や河野と玉木の [河玉08] ぐらいしかない。

空間レベルで考えるときには, 無限ループ空間との対応が基本的である。 よって無限ループ空間が作れれば, スペクトラムが作れたことになる。1970年代には, そのための infinite loop machine が各種開発された。

ただし, 古典的な空間列としてのスペクトラムでは色々不都合な点があるので, 現代の安定ホモトピー論では, Elmendorf-Kriz-Mandell-May の spectrumsymmetric spectrum などのモデルが使われている。ただ, その構成は Lima による素朴なものよりかなり複雑になっている。

このように, symmetric monoidal category として spectrum の圏を構築できると, それにより enrich された small category を考えることができるようになる。それを, spectral category と呼ぶ。 Chain complex の圏で enrich された small category, つまり dg category は, 現代のホモロジー代数で重要な役割を果しているが, その精密化のために spectral category を用いることもできるようになった。

(コ)ホモロジー論には, equivariant 版twisted 版などの変種があるが, それらについても対応する spectrum がある。 Pro-object は pro-spectrum と呼ばれ, 例えば, Kronheimerと Manolescu の [KM] などで使われている。

鎖複体に対し, double chain complex あるいは bicomplex があるように, spectrum に対して2重次数付きの bispectrum を考えることもできる。Garkushaと Neshitov の [GN] で使われている。

References

[Ada74]

J. F. Adams. Stable homotopy and generalised homology. Chicago, Ill.: University of Chicago Press, 1974, p. x 373.

[GN]

Grigory Garkusha and Alexander Neshitov. Fibrant resolutions for motivic Thom spectra. arXiv: 1804.07621.

[KM]

Peter B. Kronheimer and Ciprian Manolescu. Periodic Floer pro-spectra from the Seiberg-Witten equations. arXiv: math/0203243.

[Lim58]

Elon Lages Lima. DUALITY AND POSTNIKOV INVARIANTS. Thesis (Ph.D.)–The University of Chicago. ProQuest LLC, Ann Arbor, MI, 1958, (no paging).

[Lim59]

Elon L. Lima. “The Spanier-Whitehead duality in new homotopy categories”. In: Summa Brasil. Math. 4 (1959), 91–148 (1959).

[河玉08]

河野明 and 玉木大. 一般コホモロジー. 東京: 岩波書店, 2008, p. 246.

[荒木捷75]

荒木捷朗. 一般コホモロジー. Vol. 4. 紀伊國屋数学叢書. 東京: 紀伊國屋書店, 1975.