[論文レビュー] On the parametrized Tate construction and two theories of real $p$-cyclotomic spectra

J. D. Quigley, Jay Shah|arXiv (Cornell University)|Sep 9, 2019

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

ひとこと要約

本稿は、真の C2-スペクトルとパラメータ付きTate再構成 (−)tC2 µp を用いた p-典型的な実トポロジカル循環ホモロジーの新しい定式化を提示する。これは、以前の等変双対的スクリーブスペクトルに基づく手法を置き換えるもので、有界下の条件下でBorel型と真の実 p-巡回的スペクトル理論の同値性を確立する。また、ニコラウスとショルツェの p-巡回的スペクトルのファイバー列式を実設定へと拡張する。

ABSTRACT

We give a new formula for $p$-typical real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for $p$-typical topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real $p$-cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate construction $(-)^{t_{C_2} μ_p}$ associated to the dihedral group $D_{2p} = μ_p times C_2$. We then define a $p$-typical and $\infty$-categorical version of Høgenhaven's $O(2)$-orthogonal cyclotomic spectra, construct a forgetful functor relating the two theories, and show that this functor restricts to an equivalence between full subcategories of appropriately bounded below objects.

研究の動機と目的

• 双対的群 D2p = µp ⋊ C2 に対するパラメータ付きTate再構成 (−)tC2 µp を用いて、真の p-巡回的スペクトルの ∞-圏を再定式化すること。
• ホーゲンハーベンの O(2)-直交的巡回的スペクトルの p-典型的かつ ∞-圏的バージョンを構成すること。
• Borel 型と真の実 p-巡回的スペクトル理論の間の忘却関手を構成し、有界下の対象において同値を誘導することを証明すること。
• トポロジカル循環ホモロジーのファイバー列式を実設定へと拡張し、ニコラウスとショルツェの研究を実 p-巡回的スペクトルへと拡張すること。
• 幾何的固定点の情報を保持し、実 K-理論におけるトレース法を支援する、実トポロジカル循環ホモロジーの計算フレームワークを提供すること。

提案手法

• 双対的群 D2p = µp ⋊ C2 に対するパラメータ付きTate再構成 (−)tC2 µp を含む lax 等化子を用いて、真の p-巡回的スペクトルの ∞-圏を定義する。
• パラメータ付きTate再構成と再構成技術（recollement）を用いて、真の実 p-巡回的スペクトルから Borel 実 p-巡回的スペクトルへの忘却関手を構成する。
• ∞-圏の再構成理論を用い、特に D2p 内の正規部分群 C2 に関して、SpG 及びその部分圏の構造を分析する。
• バーチャルセミディアン分割と局所コカートェシアン押し出しを用いて、パラメータ付き ∞-圏の文脈における lax 限界および右 lax 図式を分析する。
• パラメータ付き設定における固定点と幾何的固定点を比較するための双対的Tate軌道補題を確立する。
• 関手圏における点ごとのモノイド構造を用いて、パラメータ付き構成の対称モノイド的性質を扱う。

実験結果

リサーチクエスチョン

• RQ1 パラメータ付きTate再構成 (−)tC2 µp は、真の双対的スクリーブスペクトルに依存しない方法で、真の p-巡回的スペクトル理論を再定式化するためにどのように利用可能か？
• RQ2 Borel 型と真の実 p-巡回的スペクトル理論の間の関係は何か？また、どのような条件下でそれらは同値となるか？
• RQ3 ニコラウスとショルツェの p-巡回的スペクトルのファイバー列式は、パラメータ付きTate再構成を用いて実設定へと拡張可能か？
• RQ4 有界下の条件は、Borel 型と真の実 p-巡回的スペクトル理論の同値性にどのように影響するか？
• RQ5 双対的群 D2p = µp ⋊ C2 は、パラメータ付きTate再構成を介して、真の p-巡回的スペクトルの構造をどのように整理するか？

主な発見

• 本稿は、Nikolaus と Scholze の公式を実設定に一般化した、p-典型的な実トポロジカル循環ホモロジーの新しい公式を確立する。具体的には、TC(X, p) ≃ fib(XhC2, (XtC2)hC2) が成り立つ。
• 真の実 p-巡回的スペクトルから Borel 実 p-巡回的スペクトルへの忘却関手は、有界下の対象の全部分圏において同値を誘導する。
• パラメータ付きTate再構成 (−)tC2 µp は、真の双対的スクリーブスペクトルを定義の代替として自然に提供する。
• 双対的Tate軌道補題が証明され、パラメータ付き設定における固定点と幾何的固定点の比較に用いられる。
• 再構成と lax 限界技術を用いて、ホーゲンハーベンの O(2)-直交的巡回的スペクトルの p-典型的かつ ∞-圏的バージョンが構成された。
• 理論は、奇素数 p における定数 mod p マッケイ関手の TC(R) を特別な場合として回復し、既知の計算と整合性を確認した。