多重ループ空間のホモロジー

任意の \(n\) と \(k\) に対し, \(\Omega ^kS^{n+k}\) の mod \(2\) ホモロジーを決定したのは, Kudo と Araki [KA56b; KA56a] であり, 奇素数の場合は Dyer と Lashof [DL62] である。Kudo と Araki および Dyer と Lashof は 多重ループ空間のホモロジーを記述するために, Steenrod operation と類似のホモロジー作用素を導入した。

一般の基点付き空間 \(X\) に対し, \(\Omega ^n\Sigma ^n X\) の mod \(p\) ホモロジーは, その configuration space model (little cube model) を用いて Fred Cohen [CLM76] により決定された。 もちろん, その記述もホモロジー作用素を用いたものである。

Deligne conjecture により, Hochschild homology は \(2\)重ループ空間のホモロジーとよく似た構造を持つことが分っている。 実際に Hochschild homology に Dyer-Lashof operation の類似を定義したのは, Turchin (Tourtchine) [Tou06] である。

Suspension の無い多重ループ空間のホモロジーは, 難しい。\(X\) の homology から \(\Omega ^n X\) の homology に収束する spectral sequence を Smirnov [Smi02] が構成している。例として, stunted projective space の多重ループ空間のホモロジーが計算されている。

  • Smirnov spectral sequence

Kuhn は, [Kuh08] で \(\Sigma ^{\infty }\Omega ^nX\) の Goodwillie tower を用いて, 同様の spectral sequence を構成している。更に, [KM13] では spectrum \(X\) に対し \(\Sigma ^{\infty }\Omega ^{\infty }X\) の Goodwillie tower による spectral sequence を用いて \(\Omega ^{\infty }X\) のホモロジーを \(X\) のホモロジーから復元する問題を考えている。

Kaledin [Kal12] は, 無限ループ空間が Segal machine (special \(\Gamma \)-space) からできている場合に, その情報を用いて, その無限ループ空間に対応する connective spectrum のホモロジーの記述を発見した。元々は Pirashvili [Pir00] によるものらしいが。

無限ループ空間とスペクトラムのホモロジーの関係については, より古くは Haynes Miller による spectral sequence の構成 [Mil78] がある。 スペクトラム \(E\) に対し, \(E^2\)-term が associated infinite loop space \(\Omega ^{\infty } E\) のホモロジーと Dyer-Lashof algebra の作用で記述され, \(E\) のホモロジーに収束する spectral sequence が構成されている。

  • Miller spectral sequence

その dual のような spectral sequence が Haugseng と Miller [HM16] により構成されている。そこでは \(E_2\)-term が \(E\)のコホモロジーとその上への Steenrod algebra の作用で記述され, \(\Omega ^{\infty } E\) のコホモロジーに収束する spectral sequence が構成されている。

Steenrod algebra 上の module の destabilization functor との関係を, Powell [Pow] が調べている。

\(2\)重ループ空間の場合, Hess と Levi による chain algebra model [HL07] も興味深い。

\(X\) が \(n\)重ループ空間の category での cosimplicial object のとき, \(\mathrm {Tot}(X)\) のホモロジーに収束する spectral sequence があるが, その上の homology operation については, Turner [Tur98] や Hackney [Hac13a; Hac13b] が調べている。

Knudsen [Knu18] は \(n\)重ループ空間の singular chain complex の持つ \(E_n\)-algebra としての構造を, Lie algebra の “higher universal enveloping algebra” とみなすことを提案している。彼は, \(k\)-linear stable, locally presentable, symmetric monoidal \((\infty ,1)\)-category での Lie algebra object \(L\) に対し \(E_n\)-algebra を対応させる functor \(U_n(L)\) を構成し, その性質を調べている。

References

[CLM76]

Frederick R. Cohen, Thomas J. Lada, and J. Peter May. The homology of iterated loop spaces. Lecture Notes in Mathematics, Vol. 533. Berlin: Springer-Verlag, 1976, pp. vii+490.

[DL62]

Eldon Dyer and R. K. Lashof. “Homology of iterated loop spaces”. In: Amer. J. Math. 84 (1962), pp. 35–88. url: https://doi.org/10.2307/2372804.

[Hac13a]

Philip Hackney. “Operations in the homology spectral sequence of a cosimplicial infinite loop space”. In: J. Pure Appl. Algebra 217.7 (2013), pp. 1350–1377. arXiv: 1101 . 3798. url: https://doi.org/10.1016/j.jpaa.2012.10.002.

[Hac13b]

Philip Hackney. “Spectral sequence operations converge to Araki-Kudo operations”. In: J. Pure Appl. Algebra 217.9 (2013), pp. 1716–1739. arXiv: 1101.5395. url: https://doi.org/10.1016/j.jpaa.2012.12.001.

[HL07]

Kathryn Hess and Ran Levi. “An algebraic model for the loop space homology of a homotopy fiber”. In: Algebr. Geom. Topol. 7 (2007), pp. 1699–1765. arXiv: math / 0410503. url: http://dx.doi.org/10.2140/agt.2007.7.1699.

[HM16]

Rune Haugseng and Haynes Miller. “On a spectral sequence for the cohomology of infinite loop spaces”. In: Algebr. Geom. Topol. 16.5 (2016), pp. 2911–2947. arXiv: 1302 . 1816. url: https://doi.org/10.2140/agt.2016.16.2911.

[KA56a]

Tatsuji Kudo and Shôrô Araki. “On \(H_{*}(\Omega ^{N}(S^{n});\;\Z _{2})\)”. In: Proc. Japan Acad. 32 (1956), pp. 333–335.

[KA56b]

Tatsuji Kudo and Shôrô Araki. “Topology of \(H_n\)-spaces and \(H\)-squaring operations”. In: Mem. Fac. Sci. Kyūsyū Univ. Ser. A. 10 (1956), pp. 85–120.

[Kal12]

Dmitry Kaledin. “Homology of infinite loop spaces”. In: Derived categories in algebraic geometry. EMS Ser. Congr. Rep. Eur. Math. Soc., Zürich, 2012, pp. 111–121. arXiv: 1412.1981.

[KM13]

Nicholas Kuhn and Jason McCarty. “The mod 2 homology of infinite loopspaces”. In: Algebr. Geom. Topol. 13.2 (2013), pp. 687–745. arXiv: 1109.3694. url: https://doi.org/10.2140/agt.2013.13.687.

[Knu18]

Ben Knudsen. “Higher enveloping algebras”. In: Geom. Topol. 22.7 (2018), pp. 4013–4066. arXiv: 1605.01391. url: https://doi.org/10.2140/gt.2018.22.4013.

[Kuh08]

Nicholas Kuhn. “Topological nonrealization results via the Goodwillie tower approach to iterated loopspace homology”. In: Algebr. Geom. Topol. 8.4 (2008), pp. 2109–2129. arXiv: 0806.3281. url: http://dx.doi.org/10.2140/agt.2008.8.2109.

[Mil78]

Haynes Miller. “A spectral sequence for the homology of an infinite delooping”. In: Pacific J. Math. 79.1 (1978), pp. 139–155. url: http://projecteuclid.org/euclid.pjm/1102805992.

[Pir00]

Teimuraz Pirashvili. “Hodge decomposition for higher order Hochschild homology”. In: Ann. Sci. École Norm. Sup. (4) 33.2 (2000), pp. 151–179. url: http://dx.doi.org/10.1016/S0012-9593(00)00107-5.

[Pow]

Geoffrey Powell. Algebraic infinite delooping and derived destabilization. arXiv: 1701.06405.

[Smi02]

Vladimir A. Smirnov. “The homology of iterated loop spaces”. In: Forum Math. 14.3 (2002). With an appendix by Francis Sergeraert, pp. 345–381. url: http://dx.doi.org/10.1515/form.2002.016.

[Tou06]

Victor Tourtchine. “Dyer-Lashof-Cohen operations in Hochschild cohomology”. In: Algebr. Geom. Topol. 6 (2006), 875–894 (electronic). arXiv: math/0504017. url: http://dx.doi.org/10.2140/agt.2006.6.875.

[Tur98]

James M. Turner. “Operations and spectral sequences. I”. In: Trans. Amer. Math. Soc. 350.9 (1998), pp. 3815–3835. url: http://dx.doi.org/10.1090/S0002-9947-98-02254-5.