[論文レビュー] Comodule categories and the geometry of the stack of formal groups

Niko Naumann|ArXiv.org|Mar 15, 2005

Algebraic structures and combinatorial models参考文献 10被引用数 6

ひとこと要約

この論文は形式的群の代数的スタックを構成し、HoveyとStricklandのLandweber完全な代数の余モジュール圏に関する結果を幾何学的に解釈する。同じ高さを持つLandweber完全な代数が同じスタック（特に開部分スタック $τ^n$）を定義することを示すことにより、余モジュール圏の同値性をテンソルアーベル圏として確立し、従来の結果を一般化するとともに、チロノミックホモトピー理論のより深い幾何的理解を提供する。

ABSTRACT

We generalise recent results of M. Hovey and N. Strickland on comodule categories for Landweber exact algebras using the formalism of algebraic stacks.

研究の動機と目的

• 形式的群のスタックを代数的トポロジーにおいて厳密に確立する。これはその中心的役割にもかかわらず、幾何的構成が欠落していたためである。
• 平坦なホップアーベイドと代数的スタックの関係を明確にし、余モジュール圏が関連するスタックにのみ依存することを示す。
• HoveyとStricklandの結果（同じ高さのLandweber完全な代数の余モジュール圏の同値性）を幾何学的に説明する。
• HoveyとStricklandの元の設定を超えて、開部分スタック $τ^n - τ^{n+k}$ へと余モジュール圏の同値性を一般化する。
• 形式的群のスタックのピック群を計算し、$ℤ$ に同型であり、標準的ラインバンドルによって生成されることを示す。

提案手法

• ホップアーベイド $({\mathrm{MU}}_*, {\mathrm{MU}}_*{\mathrm{MU}})$ を用いた表示により、形式的群のスタックを構成し、形式的アフィン直線の平坦な形に関する問題を解決する。
• $({\mathrm{BP}}_*, {\mathrm{BP}}_*{\mathrm{BP}})$ に付随するスタックが、モジュライ空間 $X$ 上の $τ_m$-トーラスであることを示し、ユニット $u$ のコアクションを介して降下と次数を可能にする。
• スタックの高さによる層化を用いて、部分スタック $τ^n$ と $τ^n = \pi^{-1}(U^n)$ を定義する。ここで $U^n$ は高さが少なくとも $n$ の形式的群の集合である。
• 高さ $n$ のLandweber完全な $R$ の余モジュール圏が $τ^n$ 上の準連接層の圏に同値であることを証明し、スタックの同型から同値性が導かれる。
• fpqc降下と、$τ_m$-作用を介した $ℤ$-次数付き ${\mathrm{MU}}_*{\mathrm{MU}}$-余モジュールと $ℤ$-次数付き ${\mathrm{MU}}_*{\mathrm{MU}}$-余モジュールの間の同値性を活用する。
• 形式的群のスタックのピック群を $ℤ$ として計算し、標準的ラインバンドル $ω$ によって生成されることを示し、$ω^k$ のコホモロジー群と余モジュール圏内のExt群との関係を特定する。

実験結果

リサーチクエスチョン

• RQ1 形式的群のスタックを、ホップアーベイドに付随するスタックとしてではなく、幾何的にどのように構成できるか。
• RQ2 平坦なホップアーベイドとそれらが提示する代数的スタックの正確な関係は何か。また、これにより余モジュール圏にどのような影響があるか。
• RQ3 なぜ同じ高さのLandweber完全な代数の余モジュール圏が同値となるのか。これは幾何学的にどのように理解できるか。
• RQ4 HoveyとStricklandの元の設定を超えて、より一般の開部分スタックへと余モジュール圏の同値性を拡張できるか。
• RQ5 形式的群のスタックのピック群は何か。また、これはラインバンドルの幾何とコホモロジーの関係においてどのように関連するか。

主な発見

• 形式的群のスタックは、モジュライ空間 $X$ 上の $τ_m$-トーラスとして構成され、形式的アフィン直線の平坦な形に関する問題が解決された。
• 高さ $n$ のLandweber完全な $R$ の余モジュール圏は、開部分スタック $τ^n$ 上の準連接層の圏に同値であり、このような代数の余モジュール圏の同値性が説明される。
• 形式的群のスタックのピック群は $ℤ$ に同型であり、標準的ラインバンドル $ω$ によって生成される。
• $\mathrm{H}^n(X, \omega^{\bigotimes k})$ は $\mathrm{Ext}^{n,2k}_{{\mathrm{MU}}_*{\mathrm{MU}}}({\mathrm{MU}}_*, {\mathrm{MU}}_*)$ に同型であり、$k < 0$ のときは消える。
• 複素K理論に対しては、$|\mathrm{H}^1(U^1, \omega^{\bigotimes k})| = 2 \cdot \mathrm{denominator}(\zeta(1-k))$ が成り立ち、算術と安定ホモトピー論の間の関係が示される。
• 結果はすべてのスタック $τ^n - τ^{n+k}$ へ一般化され、余モジュール圏がアーベル圏だけでなくテンソルアーベル圏としても同値であることが示された。