[論文レビュー] Cyclonic spectra, cyclotomic spectra, and a conjecture of Kaledin

Clark Barwick, Saul Glasman|arXiv (Cornell University)|Feb 5, 2016

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

ひとこと要約

本稿は、有限部分群に関する円対称的スペクトルである『サイクロニック対象』を用いて、代数的かつホモトピー論的枠組みを用いてサイクロトミックスペクトルを構成する。2-圏の$\epsilon$-集合上のスパンの$\infty$-圏を用い、Kaledinの予想を証明する。$N$-コサイクロトミック対象を$\Phi_N$-固定点上のホモトピー余極限として構成し、非可換アフィンスキーム上の加群圏とサイクロトミックスペクトルの間の対称モノイダル同値を確立する。

ABSTRACT

With an explicit, algebraic indexing $(2,1)$-category, we develop an efficient homotopy theory of cyclonic objects: circle-equivariant objects relative to the family of finite subgroups. We construct an $\infty$-category of cyclotomic spectra as the homotopy fixed points of an action of the multiplicative monoid of the natural numbers on the category of cyclonic spectra. Finally, we elucidate and prove a conjecture of Kaledin on cyclotomic complexes.

研究の動機と目的

• 等化的直交スペクトルやスミッシュ積を持つ関手に依存せずに、純粋に代数的な枠組みでサイクロトミックスペクトルを構成すること。
• 有理回転を2-同型として持つ$\epsilon$-集合の2-圏上でのスペクトルマッケイ関手としてサイクロニックスペクトルを形式化すること。
• 非可換ブレイブ・ニューサーベイ・スキームの文脈でKaledinの予想を解決するため、$\Phi_N$-作用のホモトピー固定点を用いて$N$-コサイクロトミック対象を構成すること。
• 非可換アフィンスキーム上の加群圏とサイクロトミックスペクトルの間の対称モノイダル同値を確立すること。
• $h\mathbf{Sp}_{Φ_N}$上の三角的テンソル圏構造を、安定的かつ生成的で、対称モノイダルな$\infty$-圏$\mathbf{Sp}_{Φ_N}$へ一般化すること。

提案手法

• $\mathbf{Q}/\mathbf{Z}$-集合に有理回転に対応する2-同型を付加することで、サイクロニック集合の2-圏$\mathbf{F}_{Ω}$を構成する。
• スパンの$A^{\text{eff}}(\mathbf{F}_{Ω})$からスペクトルの$\infty$-圏$\mathbf{Sp}$へのスペクトルマッケイ関手としてサイクロニックスペクトルを定義する。
• 乗法モノイド$\mathbf{N}$がサイクロニックスペクトルに作用することを定義し、サイクロトミックスペクトルをそのホモトピー固定点として定義する。
• 生成的で対称モノイダルな$\infty$-圏の理論を用いて、$\Phi_N$-固定点構成を$\mathbf{Sp}_{Φ_N}$上に安定的かつ対称モノイダル構造へ上昇させる。
• $\mathbf{A}_{\Psi_N} = ((\mathbf{A}^{\text{op}})_{\Phi_N})^{\text{op}}$として$N$-コサイクロトミック対象を定義し、サイクロトミック構造を双対化する。
• $\mathbf{Pr}^{L}_{\text{st}}$における余極限と極限の構成を用いて、$\mathbf{A}_{\Phi_N} \simeq \operatorname{Fun}^L(\mathbf{Sp}_{\Psi_N}, \mathbf{A})$の主要な同値を確立する。

実験結果

リサーチクエスチョン

• RQ1 等化的直交スペクトルに依存せずに、直交スペクトルを用いずに純粋に代数的かつ非等化的枠組みでサイクロトミックスペクトルを構成できるか？
• RQ2 有理回転データを備えたサイクロニック対象—すなわち、2圏的スパンを介してサイクロトミック構造を符号化する方法は何か？
• RQ3 非可換スキームの文脈において、$N$-コサイクロトミック対象と$\Phi_N$-固定点構成との正確な関係は何か？
• RQ4 非可換アフィンスキームの引き戻し正方形に関するKaledinの予想が、$\infty$-圏上の加群圏の同値へと拡張可能か？
• RQ5 $h\mathbf{Sp}_{Φ_N}$上の三角的テンソル圏構造を、安定的かつ生成的で、対称モノイダルな$\infty$-圏へ強化できるか？

主な発見

• $\infty$-圏としてのサイクロトミックスペクトルは、サイクロニックスペクトルの$\mathbf{N}$作用のホモトピー固定点として実現される。
• $\mathbf{Sp}_{\Phi_N}^\otimes$の構成により、生成的で、対称モノイダルで、安定な$\infty$-圏が得られ、Cary Malkiewichの$h\mathbf{Sp}_{\Phi_N}$上の三角的テンソル構造を上昇させる。
• $N$-コサイクロトミック対象$\mathbf{A}_{\Psi_N}$は$\mathbf{A}_{\Phi_N} \simeq \operatorname{Fun}^L(\mathbf{Sp}_{\Psi_N}, \mathbf{A})$を満たし、サイクロトミックとコサイクロトミック構造の双対性を確立する。
• $\mathbf{Pr}^{L}_{\text{st}}$において$\mathbf{A}_{\Psi_N} \simeq \mathbf{A} \otimes \mathbf{Sp}_{\Psi_N}$が成り立ち、$\mathbf{Sp}_{\Psi_N}$が普遍的な$N$-コサイクロトミック生成子として機能することが示される。
• Kaledinの予想が証明された：$\operatorname{Spec}\mathbf{A}_{\Psi_N} \simeq \operatorname{Spec}\mathbf{A} \times \operatorname{Spec}\mathbf{Sp}_{\Psi_N}$であり、$\mathbf{Mod}(\operatorname{Spec}\mathbf{A}_{\Psi_N}) \simeq \mathbf{Mod}(\operatorname{Spec}\mathbf{A})_{\Phi_N}$が成り立つ。
• $\mathbf{Pr}^{L}_{\text{st}}$における$\infty$-圏的極限と余極限の完全な構成を用いて、同値$\mathbf{A}_{\Phi_N} \simeq \mathbf{A} \otimes \mathbf{Sp}_{\Psi_N}$を導出し、予想の証明を完了する。