[論文レビュー] Rings of power operations for Morava E-theories are Koszul

Charles Rezk|arXiv (Cornell University)|Apr 21, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 29

ひとこと要約

本稿では、任意の高さ-$n$ モラバ $E$-理論の冪作用素の環がコシュール的であることを証明しており、対称群の分類空間におけるブレドンホモロジー計算を通じて、長さ $n+1$ のコシュール分解を確立している。主な結果は、加法的冪作用素の次数付き環 $\Delta$ がコシュール的であり、群の指数未満の次数で高次ホモロジーが消えることから、環上の加群に対して有限で構造的な分解が得られることである。

ABSTRACT

We show that the ring of power operations for any Morava E-theory is Koszul.

研究の動機と目的

• モラバ $E$-理論の冪作用素環のコシュール的性質を確立すること。
• $K(n)$-局所的 $E$-代数の分解不能商の $\pi_0$ 上の加法的冪作用素の環 $\Delta$ の構造を分析すること。
• 関連するフォーマル群の高さ $n$ に対して、$\Gamma$（$\Delta$ と同型）のコシュール分解の長さが有限で $n+1$ であることを証明すること。
• $\Delta$ のホモロジー的性質と対称群の表現論、およびねじれ係数を伴うブレドンホモロジーとの関係を結ぶこと。

提案手法

• $\Gamma \cong \Delta$ の同型を用いて、問題を $E$-代数の接空間上の加法的冪作用素の環 $\Delta$ の研究に還元すること。
• バー複体 $\overline{\mathcal{B}}(\Delta)[m]$ を構成し、そのホモロジーを $\widetilde{H}_*^{\Sigma_m}(\overline{P}_m; Q)$ と同定すること。ここで $Q$ は推移的ホモロジー・マッケイ関手である。
• アロン、ドワイヤー、レシュによるブレドンホモロジーの消える結果を適用し、$H_q(\overline{\mathcal{B}}(\Delta)[m]) = 0$ が $q < m$ のとき成り立つことを示し、これによりコシュール的性質が得られることを示すこと。
• $\Delta[k] \cong \operatorname{Cok}(\bigoplus_{0<j<p^k} E^\wedge_0 B(\Sigma_j \times \Sigma_{p^k-j}) \to E^\wedge_0 B\Sigma_{p^k})$ であるという事実を活用して、次数付き構造を分析すること。
• ランクの公式 $\sum_{k=0}^\infty \operatorname{rank} C[k] \cdot T^k = (1+T)(1+pT)\cdots(1+p^{n-1}T)$ を用いて、$\operatorname{rank} C[k] = 0$ が $k > n$ のとき成り立つことを示し、分解の長さが $n+1$ であることを証明すること。
• ホモロジー的性質を持つマッケイ関手 $Q$ と空間 $\overline{P}_m$ の構造から、$H_q(\overline{\mathcal{B}}(\Delta)[m])$ が $q < m$ で消えることが導かれる。

実験結果

リサーチクエスチョン

• RQ1 モラバ $E$-理論の冪作用素環はコシュール的か？
• RQ2 冪作用素環 $\Gamma$ 上の加群の最小自由分解の長さは何か？
• RQ3 対称群の分類空間のブレドンホモロジーは、$\Delta$ のコシュール的性質とどのように関係するか？
• RQ4 $\Gamma$ のコシュール分解における $k$ 番目の項の正確なランクは何か？
• RQ5 $\widetilde{H}_*^{\Sigma_m}(\overline{P}_m; Q)$ のホモロジーの消える性質を用いてコシュール的性質を確立できるか？

主な発見

• 高さ-$n$ モラバ $E$-理論の加法的冪作用素の環 $\Delta$ はコシュール的である。
• $\Gamma$（$\Delta$ と同型）のコシュール分解は有限長 $n+1$ を持ち、$n$ は関連するフォーマル群の高さである。
• コシュール分解の各項のランクはガウスの二項係数で与えられる：$\operatorname{rank} C[k] = \binom{n}{k}_p$ は、$\mathbb{F}_p^n$ の $k$ 次元部分空間の数に等しい。
• $H_q(\overline{\mathcal{B}}(\Delta)[m])$ が $q < m$ で消えることは、ブレドンホモロジーとマッケイ関手 $Q$ のホモロジー的性質により確立され、これは非推移的商で消えることによる。
• $\Gamma \cong \Delta$ の同型により、$\Delta$ からのコシュール的性質が $\Gamma$、つまり冪作用素の全環へと移行できる。
• 分解長さ $n+1$ は鋭いものであり、$\operatorname{rank} C[k] = 0$ が $k > n$ のとき成り立ち、ランクの母関数は $\prod_{i=0}^{n-1} (1 + p^i T)$ である。