Syntomic cohomology and real topological cyclic homology

技術要約：シントミック・コホモロジーと実的トポロジカル・サイクリック・ホモロジー

問題提起
本論文は、特に2が可逆でない状況におけるエルミートK理論および実的K理論の計算上のギャップに対処するものである。サイクロトミック・トレースおよびドンダス–グッドウィル・マッカーシーの定理は、トポロジカル・サイクリック・ホモロジー（TC）を代数K理論の計算のための強力なツールとして確立してきたが、実的K理論（$KR$）およびエルミートK理論に対する同様のツールは発展途上のままであった。シントミック・コホモロジーおよびプリズマティック・コホモロジー（Bhatt, Morrow, Scholze）における最近の進展は、$TC$に対するモチーフ的・フィルトレーションを提供し、その次数成分をシントミック・コホモロジー$\mathbb{Z}_p(i)$として特定している。しかし、実的トポロジカル・ホッチシールド・ホモロジー（$THR$）および実的トポロジカル・サイクリック・ホモロジー（$TCR$）に対する並行した構造的理解は欠けていた。本論文は、シントミック・コホモロジーと実的トポロジカル・サイクリック・ホモロジーの間の関係を確立することにより、シントミック・テクニックを実的およびエルミートK理論へ適用することを可能にすべく、このギャップを埋めることを目的としている。

手法
著者は、等変安定ホモトピー論、モチーフ的・フィルトレーション、および降下理論の組み合わせを用いている。核心となる手法の手順は以下の通りである：

1. 実的スペクトルのモチーフ的・フィルトレーション： 本論文は、$THR$、$TCR^-$、$TPR$、および$TCR$上のモチーフ的・フィルトレーションを定義する。これには、準シントミック環に対するこれらのスペクトル上の自然な完備・全単射な乗法的・フィルトレーションの構成が含まれる。
2. 強偶数的スペクトルとスライス・フィルトレーション： 重要な技術的要素として、$\mathbb{Z}/2$-スペクトルの圏（$Sp^{\mathbb{Z}/2}$）における「正則スライス・フィルトレーション」（Ullmanの研究に基づく）の導入がある。著者は、準正則セミパーフェクトイド環 $S$ に対して、$THR(S; \mathbb{Z}_p)$ が「強偶数的」であることを証明する。この性質は、スライス・フィルトレーションが予測可能な挙動を示し、非消滅するスライスが特定の次数にのみ存在することを意味し、次数成分の特定を可能にする。
3. 層の性質と降下： 実的ホッチシールド・ホモロジーとその随伴スペクトルの前層が準シントミック層であることを確立する。これにより、一般的な準シントミック環から、より扱いやすい準正則セミパーフェクトイド環への計算の削減が可能になる。
4. フィルトレーションの完備性： 特定の条件（例：相対フロベニウスの全射性）の下で、実的ホッチシールド–コステント–ローゼンベルク（HKR）フィルトレーションの完備性を証明し、これらのフィルトレーションに関連するスペクトル系列が強固に収束することを保証する。
5. スペクトル系列の計算： 確立されたフィルトレーションを用いて、特性2の完全体上の切断多項式代数 $k[x]/x^e$ などの特定の環に対する $TCR$のホモトピー群を計算するための$RO(\mathbb{Z}/2)$-次数付き乗法的スペクトル系列を構築する。

主要な貢献と結果

• 定理 1.1 (主要な構造的結果)： 捩れのない自明な対合を持つ準シントミック環 $A$ に対して、$THR(A; \mathbb{Z}_p)$、$TCR^-(A; \mathbb{Z}_p)$、$TPR(A; \mathbb{Z}_p)$、および $TCR(A; \mathbb{Z}_p)$ 上に自然な完備・乗法的・フィルトレーションが存在する。その $n$ 次の次数成分は、シントミック・コホモロジーおよび関連するプリズマティック対象の等変懸垂として以下のように特定される：

  • $gr_n THR(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota N_{<n} \widehat{\Delta}_A\{n\}$
  • $gr_n TCR^-(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota N_{\ge n} \widehat{\Delta}_A\{n\}$
  • $gr_n TPR(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota \widehat{\Delta}_A\{n\}$
  • $gr_n TCR(A; \mathbb{Z}_p) \simeq \Sigma^{n+n\sigma} \iota \mathbb{Z}_p(n)(A)$
    ここで、$\iota$ は固定点関手の左随伴であり、$\widehat{\Delta}$ はNygaard完備化されたプリズマティック・コホモロジーを表し、$\mathbb{Z}_p(n)$ はシントミック・コホモロジーである。

• 定理 1.2 (強偶数的性質)： 自明な対合を持つ準正則セミパーフェクトイド環 $S$ に対して、$THR(S; \mathbb{Z}_p)$ は強偶数的である。これは、$THR$のスライスと$THH$のホモトピー群を関連付ける自然な同値関係、具体的には$P^{2n}_{2n} THR(S; \mathbb{Z}p) \simeq \Sigma^{n+n\sigma} H\pi{2n} THH(S; \mathbb{Z}_p)$ および奇数次スライスの消滅を意味する。

• 定理 1.3 (層の性質)： 準シントミック環の反対圏上の前層 $THR(-; \mathbb{Z}_p)$、$TCR^-(-; \mathbb{Z}_p)$、および $TPR(-; \mathbb{Z}_p)$ は準シントミック層である。

• 定理 1.4 (明示的な計算)： 特性2の完全体 $k$ に対する $k[x]/x^e$ の $RO(\mathbb{Z}/2)$-次数付きホモトピー群 $\pi^{ \mathbb{Z}/2}_{s,w} TCR(k[x]/x^e; \mathbb{Z}_2)$ の詳細な計算を提供する。結果は、切断されたウィット・ベクトル、Verschiebung作用素、および定義された次数を持つ特定の生成元 ($\tau, \rho, \gamma, x_t, y$) を含む加群の直和として表現される。

• 系 10.4： Antieau, Krause, Nikolaus によるシントミック・コホモロジーの既知の計算を利用して、$\mathbb{Q}_p$ の有限次拡大の $\mathcal{O}_K/\omega^n$ に対する $\Sigma^{2\tau \ge 1} KR(\mathcal{O}_K/\omega^n; \mathbb{Z}_p)$ の等変スライスを計算する。

意義と主張
本論文は、シントミック・コホモロジーと実的トポロジカル・サイクリック・ホモロジーの間の基礎的な構造的連結を提供すると主張している。$THR$および$TCR$上に、次数成分がシントミック・コホモロジー（およびその変種）として特定されるモチーフ的・フィルトレーションを確立することにより、本研究は代数K理論（$TC$ を通じて）の領域から実的およびエルミートK理論への計算ツールの転送を可能にする。

著者は、これらの結果が「ドンダス–グッドウィル・マッカーシーの定理の実的な洗練」という、Harpaz, Nikolaus, および Shah による進行中の研究に依存していることを注記している。もしこの洗練が成立すれば、$TCR$の非負部分（$\tau_{\ge 0} TCR$）の計算されたホモトピー群は、直接的に実的K理論$KR$のホモトピー群を与えることになる。本論文は、ドンダス–グッドウィル・マッカーシーの洗練自体を証明することを主張しているのではなく、むしろそのような定理がいかに提供された計算を$KR$ に対して効果的なものにするかを実証している。

その意義は、2が可逆である場合に限定されがちな、エルミートおよび実的K理論に関する数少ない既知の計算を超えて、2が可逆でない環にも適用可能な一般的な枠組みへと移行することにある。これは、プリズマティックおよびシントミック・コホモロジーの力を利用するものである。