[論文レビュー] A curious example of two model categories and some associated differential graded algebras

Daniel Dugger, Brooke Shipley|arXiv (Cornell University)|Oct 16, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 10

ひとこと要約

本稿は、代数的K理論に依存せずに、ホモトピー自己準同型環スプライスを用いて、$ℚ/p^2$および$ℚ/p[\epsilon]/(\epsilon^2)$上の安定モジュールのモデルカテゴリがクィレン同値でないことを、より初等的な証明を提供する。2つの導来同値な微分付き代数の例を構成し、それらのモジュールモデルカテゴリがクィレン同値でないことを示し、導来同値だがK理論が同型でないペアの微分付き代数を提示する。

ABSTRACT

The paper gives a new proof that the model categories of stable modules for the rings Z/(p^2) and (Z/p)[ε]/(ε^2) are not Quillen equivalent. The proof uses homotopy endomorphism ring spectra. Our considerations lead to an example of two differential graded algebras which are derived equivalent but whose associated model categories of modules are not Quillen equivalent. As a bonus, we also obtain derived equivalent dgas with non-isomorphic K-theories.

研究の動機と目的

• モデルカテゴリ$ℜ = \mathrm{Stmod}(\mathbb{Z}/p^2)$および$ℜ_\epsilon = \mathrm{Stmod}(\mathbb{Z}/p[\epsilon]/(\epsilon^2))$がクィレン同値でないことを、複雑なK理論計算に依存せずに、より初等的な証明を提供すること。
• ホモトピー圏を超えた高次の不変量に注目し、これらのモデルカテゴリのホモトピー理論を詳細に探求すること。
• 導来同値であるが、それらに付随するモジュールのモデルカテゴリがクィレン同値でない2つの微分付き代数の例を構成すること。
• 導来同値であるがK理論が同型でない微分付き代数のペアを提示し、導来同値性を超えた代数的K理論の微妙な差を浮き彫りにすること。

提案手法

• 証明は、ホモトピー圏では見えないモデルカテゴリの高次のホモトピー構造の違いを検出するために、ホモトピー自己準同型環スプライスを用いる。
• 両モデルカテゴリが特定の微分付き代数上のモジュールとクィレン同値であるという事実を活用し、問題をdgaコホモロジーおよびK理論に翻訳する。
• インデックスカテゴリの${\mathbb{Z}}/p$-コホモロジー次元に依存する、図式カテゴリ内の写像空間の分析にスペクトル系列の議論を用いる。
• 低コホモロジー次元におけるスペクトル系列の収束を用いて、$\mathrm{Ho}({\mathcal{M}}^I)$と$\mathrm{Ho}({\mathcal{M}}_\epsilon^I)$の同型性を比較し、$\mathbb{Z}/p$-ベクトル空間としてのホモトピー群の同型を示す。
• ホモトピー可換図式から構成される二重複体の全複体における0-サイクルの存在を保証することで、ホモトピー圏内での写像の存在を示し、コホモロジー次元$\leq 1$に起因する消失する障害に依存する。
• 主な技術的道具は、$\mathcal{M}^I$および$\mathcal{M}_\epsilon^I$における写像空間のスペクトル系列の比較であり、$E_2$-項が同一で低次の収束を示し、結果としてホモトピー群が同型であることを導く。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー圏が同値であるにもかかわらず、モデルカテゴリ$\mathrm{Stmod}(\mathbb{Z}/p^2)$および$\mathrm{Stmod}(\mathbb{Z}/p[\epsilon]/(\epsilon^2))$はクィレン同値であるか？
• RQ2 代数的K理論、特に$K_4$計算を用いずに、非クィレン同値性を検出できるか？
• RQ3 導来同値であるが、それらに付随するモジュールのモデルカテゴリがクィレン同値でない微分付き代数のペアは存在するか？
• RQ4 導来同値であるがK理論が同型でない微分付き代数のペアを構成できるか？これにより、導来同値性を超えたより細かい不変量が明らかになる。

主な発見

• ホモトピー自己準同型環スプライスを用いた証明により、モデルカテゴリ$\mathcal{M} = \mathrm{Stmod}(\mathbb{Z}/p^2)$および$\mathcal{M}_\epsilon = \mathrm{Stmod}(\mathbb{Z}/p[\epsilon]/(\epsilon^2))$がクィレン同値でないことが示され、従来のK理論的議論よりもより初等的な証明が得られた。
• 導来同値であるが、それらに付随するモジュールのモデルカテゴリがクィレン同値でない2つの微分付き代数の例が存在し、導来同値性とクィレン同値性の間には明確な違いがあることを示している。
• $\mathbb{Z}/p^2$および$\mathbb{Z}/p[\epsilon]/(\epsilon^2)$に付随するdgaのK理論は同型でない：$K_4(\mathcal{M}) \cong \mathbb{Z}/p^2$および$K_4(\mathcal{M}_\epsilon) \cong \mathbb{Z}/p \oplus \mathbb{Z}/p$であり、K理論によって検出可能な差が確認された。
• $\mathbb{Z}/p$-コホモロジー次元$\leq 1$であるインデックスカテゴリについて、ホモトピー圏$\mathrm{Ho}({\mathcal{M}}^I)$および$\mathrm{Ho}({\mathcal{M}}_\epsilon^I)$は、三角的圏として同型であり、$\mathbb{Z}/p$-ベクトル空間としてのホモトピー群も同型である。
• $\mathcal{M}^I$および$\mathcal{M}_\epsilon^I$における写像空間を計算するスペクトル系列は、低コホモロジー次元のため$E_2$で収束し、$E_2$-項が同一であるため、ホモトピー群が同型である。
• ホモトピー可換図式から構成される二重複体の全複体における0-サイクルの存在により、$\mathrm{Ho}({\mathcal{M}}^I)$内の任意の図式が$k$-ベクトル空間の図式と弱同値であることが保証され、ホモトピー群の比較が可能になる。