Motivic real topological Hochschild spectrum

題名: モチビック実位相的ホッチシルトスペクトル (Motivic Real Topological Hochschild Spectrum)
著者: Doosung Park
出典: arXiv:2305.04150v3 [math.KT]

問題設定

位相的ホッチシールドホモロジー (THH) および、サイクロトミック・トレースを介して代数K理論の計算に中心的な役割を果たす位相的サイクロトミックホモロジー (TC) などの変種は、$\mathbb{A}^1$-不変性を欠いている。これは、正則スキームにおいてさえも成立しており、古典的なモチビックホモトピー論（MorelとVoevodskyによって開始されたもの）をTHHに直接適用することを妨げている。一方で、非$\mathbb{A}^1$-不変な理論（THHやTCなど）を扱うために、区間 $\mathbb{A}^1$ を対 $(\mathbb{P}^n, \mathbb{P}^{n-1})$ に置き換える対数的モチビックホモトピー論 (logSH) が開発されてきたが、「実（Real）」の類似理論である実位相的ホッチシールドホモロジー (THR) および実位相的サイクロトミックホモロジー (TCR) は、未だこの枠組みの中に体系的に統合されていなかった。

本論文は、$\mathbb{Z}/2$-等変対数的モチビック圏において生きる「モチビック実位相的ホッチシールドスペクトル」を定義するという課題に取り組んでいる。具体的には、対を持つ対数スキームに対するTHRを定義し、モチビック表現可能性に必要な不変性を確立し、関連するモチビックスペクトルを構成することを目指している。

手法

著者は、既存の定義を対数的および等変的な設定へと拡張し、その後にモチビック表現可能性に必要とされる特定の不変性を証明するという戦略を採用している。

1. 双角型リピート・バー構成 (Dihedral Replete Bar Constructions):
   本論文は、対数環に対するRognesのリピート・バー構成の精緻化から始まる。著者は、対を持つ可換モノイドのための双角型リピート・バー構成 ($B_{drep}$) および双角型神経 (dihedral nerves) ($N_{di}$) を導入する。これには、$\mathbb{Z}/2$-等変構造を扱うために、実単体的集合および双角型集合（交差単体的群）の理論を利用することが含まれる。

2. THRおよびTCRの定義:

   • THR: 対を持つ対数環に対するノルム代数 ($NAlg_{\mathbb{Z}/2}$) の$\infty$-圏における余積として定義される：
     $$THR(A, P) := THR(A) \wedge_{S[B_{di}P]} S[B_{drep}P]$$
   • スキームへの拡張: THRは、厳密な等変エタール・トポロジー (strict isovariant étale topology) における層化として定義することで、対を持つ分離対数スキームへと拡張される。
   • TCR: QuigleyとShahの研究に従い、著者は実サイクロトミックスペクトルを定義し、得られたTHRオブジェクトの、実位相的サイクロトミックホモロジーとしてTCRを構成する。

3. モチビック不変性と降下 (Descent):
   核心となる技術的な取り組みは、定義されたTHRが以下の性質を満たすことを証明することである：

   • 等変エタール降下 (isovariant étale descent)。
   • 関連する対数構造への移行に対する不変性。
   • $(\mathbb{P}^n, \mathbb{P}^{n-1})$-不変性: これがモチビック表現可能性のための極めて重要なステップである。著者は、$\infty$-圏におけるキューブを用いて $THR(\mathbb{P}^n, \mathbb{P}^{n-1})$ を明示的に計算し、写像 $THR(X) \to THR(X \times (\mathbb{P}^n, \mathbb{P}^{n-1}))$ が同値であることを示す。

4. モチビックスペクトルの構成:
   $\mathbb{P}^1 \wedge \mathbb{P}^\sigma$ （ここで $\mathbb{P}^\sigma$ は、$[x:y] \mapsto [y:x]$ という対を持つ $\mathbb{P}^1$ である）に関するTHRの周期性を用いて、著者は前対数的モチビック $\mathbb{Z}/2$-スペクトル ($prelogSH^{\mathbb{Z}/2}(S)$) の$\infty$-圏を構成する。この圏の中で、モチビック実位相的ホッチシールドスペクトル ($THR$) およびモチビック実位相的サイクロトミックスペクトル ($TCR$) は、$(\mathbb{P}^1 \wedge \mathbb{P}^\sigma)$-スペクトルとして定義される。

主要な貢献と結果

• 対数スキームに対するTHRの定義: 本論文は、対数構造と対の相互作用を扱うために双角型リピート・バー構成を利用して、対を持つ分離対数スキームに対するTHRの厳密な定義を提供する。
• モチビック表現可能性: 主要な結果は、THRがすべての $n \geq 1$ に対して $(\mathbb{P}^n, \mathbb{P}^{n-1})$-不変 であることの証明である。これにより、THRは対数的モチビック圏における対象として表現されることが可能となる。
• 局所化とブローアップ列:
  • 定理 1.1: 滑らかなスキームの閉埋め込みに関連する、正規束のThom空間とブローアップを含むTHRおよびTCRのファイバー列を確立する。これはTHRの局所化列として機能する。
  • 定理 1.2: 滑らかな中心に沿ったブローアップによって誘導される正方形が、THRおよびTCRの両方に対してカルテジアンであることを証明する。
• 等変モチビックスペクトル: 著者は $\infty$-圏 $prelogSH^{\mathbb{Z}/2}(S)$ を構成し、周期的なスペクトルである $THR$と$TCR$ をその中で定義する。
• 古典的理論との関係:
  • 命題 6.17: 「忘却」ファンクタ $i^*$ （対を持つ trivial なスキームへの制限）が、モチビック実スペクトルを古典的なモチビックスペクトルへと写すことを示す：$i^*THR \simeq THH$ および $i^*TCR \simeq TC$。
  • 系 4.9: モチビック実スペクトルの固定点が、古典的なモチビックTHHを回収することを確立する：$THR(i^\sharp X)^{\mathbb{Z}/2} \simeq THH(X)$。

意義

本論文は、実位相的ホッチシールドホモロジーを対数的モチビックホモトピー論の枠組みへと統合することに成功した。必要な不変性を確立することにより、実K理論およびエルミートK理論に対して、実トレース法を介したモチビック手法（純粋性、Gysin列、ブローアップ公式など）を適用することを可能にする。

この研究は、導入部でHarpaz, Nikolaus, および Shahによる今後の研究として示唆されているように、Dundas-Goodwillie-McCarthy定理の「実的な洗練（real refinement）」への基礎を築くものである。本論文は、代数K理論に対してTHHやTCが用いられるのと同様に、実およびエルミートK理論をモチビック手法を用いて計算するために必要なテクニカルなインフラストラクチャ（モチビックスペクトル $THR$および$TCR$）を提供する。本論文は、特定のK群の計算を解くことを主張しているのではなく、そのような計算をモチビックの枠組み内で実行可能にする、表現可能な対象と構造定理（局所化、ブローアップ不変性）を提供している。