[論文レビュー] Calculating with topological André-Quillen theory, I: Homotopical properties of universal derivations and free commutative $S$-algebras

Andrew Baker|ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)|Aug 9, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 8

ひとこと要約

この論文は、トポロジカル・アンドレ＝クィルン理論を用いて、普遍導分と自由な可換 $S$-代数のホモトピー的性質を発展させ、特に乗法的ホモロジー理論におけるそれらの振る舞いに焦点を当てる。特に、$\widetilde{\mathbb{P}}_R$ として知られる削減された自由代数函手を介して、可換 $S$-代数の mod $p$ ホモロジーにおけるダイヤー＝ラシオフ作用素を含む公式を確立し、安定化に基づく手法とは対照的に、代数的トポロジーにおける計算の直接的アプローチを提供する。

ABSTRACT

We adopt the viewpoint that topological Andé-Quillen theory for commutative $S$-algebras should provide usable (co)homology theories for doing calculations in the sense traditional within Algebraic Topology. Our main emphasis is on homotopical properties of universal derivations, especially their behaviour in multiplicative homology theories. There are algebraic derivation properties, but also deeper properties arising from the homotopical structure of the free algebra functor $\mathbb{P}_R$ and its relationship with extended powers of spectra. In the connective case in ordinary $\bmod{\,p}$ homology, this leads to useful formulae involving Dyer-Lashof operations in the homology of commutative $S$-algebras. Although many of our results could no doubt be obtained using stabilisation, our approach seems more direct. We also discuss a reduced free algebra functor $ ilde{\mathbb{P}}_R$.

研究の動機と目的

• 可換 $S$-代数の文脈における普遍導分のホモトピー的理解を発展させること。
• 自由代数函手 $\mathbb{P}_R$ 及びその削減版 $\widetilde{\mathbb{P}}_R$ を、ホモトピー的構造およびべき演算構造を用いて分析すること。
• 特に連結な場合に限って、可換 $S$-代数のホモロジーにおけるダイヤー＝ラシオフ作用素の明示的公式を提供すること。
• 将来のスペクトル系列計算におけるトポロジカル・アンドレ＝クィルン理論の基盤的ツールを構築すること。
• トポロジカル・アンドレ＝クィルンホモロジーにおける計算のための、安定化に基づく手法とは対照的な直接的代替手法を提供すること。

提案手法

• ホモトピー的枠組みの中心的対象として、導来余接複体 $\Omega_A(B)$ と普遍導分 $\delta_{(B,A)}$ を用いる。
• $M$ とのテンソル積および $F_B(-,M)$ への写像を介して、$\operatorname{TAQ}_*$ および $\operatorname{TAQ}^*$ ホモロジーおよびコホモロジー理論を適用する。
• cofibrant な置換を伴う $R$-加群上で定義された削減された自由代数函手 $\widetilde{\mathbb{P}}_R$ を用い、Quillen の随伴関係を確立する。
• 自由代数函手とスペクトルの拡張冪との関係を活用し、ホモトピー的性質を導出する。
• $H_*(-;\mathbb{F}_p)$ におけるダイヤー＝ラシオフ作用素を用いて、$H_*(MU)$ の生成子、特に $b_n$ における作用を計算する。
• 素数 $p$ における二項係数の合同関係を用いて、ダイヤー＝ラシオフ作用素の非消滅条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 乗法的ホモロジー理論、特に mod $p$ ホモロジーにおいて、普遍導分はどのように振る舞うか？
• RQ2 自由可換 $S$-代数函手 $\mathbb{P}_R$ 及びその削減版 $\widetilde{\mathbb{P}}_R$ のホモトピー的構造は何か？
• RQ3 トポロジカル・アンドレ＝クィルン理論を用いて、可換 $S$-代数のホモロジーにおけるダイヤー＝ラシオフ作用素を明示的に計算できるか？
• RQ4 スペクトルの拡張冪は、導分のホモトピー的性質を決定づける役割を果たすか？
• RQ5 素数 $p$ における二項係数の合同関係は、ホモロジー生成子におけるダイヤー＝ラシオフ作用素の非消滅をどのように決定づけるか？

主な発見

• 奇素数 $p$ に対して、$\operatorname{Q}^r b_n \approx (-1)^{r+n+1}(n,r-n-1)b_{n+r(p-1)}$ が $H_*(MU;\mathbb{F}_p)$ で成り立つ。
• $p=2$ の場合、$\operatorname{Q}^{2r} b_n \approx (n,r-n-1)b_{n+r}$ が $H_*(MU;\mathbb{F}_2)$ で成り立つ。
• 分解不能商 $\mathrm{Q}_{\mathrm{DL}}H_*(MU)$ は、$p \nmid n$ かつ $p$ 進桁に特定の制約を満たす $b_{np^t}$ の基底を持つ。
• $p=2$ の場合、$\mathrm{Q}_{\mathrm{DL}}H_*(MU)$ の基底は $t \geq 0$ に対して $b_{2^t}$ で与えられ、ダイヤー＝ラシオフの分解不能性を示している。
• 奇素数 $p$ に対して、$p$ 進展開で $n_s \neq 0$, $n_{s+t} \neq 0$, $t > 0$ を満たす $n$ に対して、$\operatorname{Q}^{n - n_s p^s} b_{n_s p^s} \not\approx 0$ が $H_*(MU;\mathbb{F}_p)$ で成り立つ。これは $p$ を法として非消滅する二項係数によるものである。
• 同様に、$p=2$ の場合、$n$ が $2$ 進展開で $n_s \neq 0$, $n_{s+t} \neq 0$, $t > 0$ を満たすとき、$\operatorname{Q}^{2n - 2^{s+1}} b_{2^s} \not\approx 0$ が成り立つ。これは $2$ を法として非消滅する二項係数によるものである。