Voevodsky motives and motives with modulus in positive characteristic

論文の技術的概要

1. 研究の背景と問題設定

• 背景: 正標数 $p > 0$ の完全体 $k$ において、Voevodsky の三角圏 $DM^{eff}(k)$（滑らかな多様体から構成される）を拡張する「モジュラス付きモチーフ（Motives with Modulus）」の三角圏 $MDM^{eff}(k)$ が、Kahn, Miyazaki, Saito, Yamazaki によって構成されている。$MDM^{eff}(k)$ は、モジュラス対（多様体と有効カルティエ因子の対）から構成され、$\mathbb{A}^1$-不変性を持たないコホモロジー理論（例：コヒーレントコホモロジー）を記述する枠組みとして導入された。
• 問題: モジュラス付きモチーフの圏における射群（Hom-groups）は、Binda と Saito によって導入された「モジュラス付き高次 Chow 群」で記述されるはずだと予想されている。しかし、モジュラス条件の方向性が逆であるため、直接的な比較は困難であった。
• 核心的な問い: 正標数において、モジュラスの重み（multiplicities）を有理数係数（$\mathbb{Q}$）で扱う場合、モジュラスの重みは本質的に「見えなくなる」のか？すなわち、モジュラス付きモチーフの圏 $MDM^{eff}(k, \mathbb{Q})$ と Voevodsky のモチーフの圏 $DM^{eff}(k, \mathbb{Q})$ は同値になるのか？
• 制約: この論文は、特異点解消（resolution of singularities）を仮定せずに結果を得ることを目指している。

2. 主要な結果（Main Results）

定理 1.1（主定理）:
$k$ を標数 $p > 0$ の完全体とする。関手
$$\omega^{eff} : MDM^{eff}(k, \mathbb{Q}) \to DM^{eff}(k, \mathbb{Q})$$
は同値（equivalence）を誘導する。
$$MDM^{eff}(k, \mathbb{Q}) \simeq DM^{eff}(k, \mathbb{Q})$$
特に、$X$ を正規な固有多様体、$D, D'$ を $X$ 上の同じ台（support）を持つ有効カルティエ因子とし、$X \setminus |D|$ が $k$ 上で滑らかであるとき、$MDM^{eff}(k, \mathbb{Q})$ において以下の同型が成り立つ：
$$M(X, D)_{\mathbb{Q}} \simeq M(X, D')_{\mathbb{Q}}$$
これは、有理数係数においてモジュラスの重みが圏論的に無視可能であることを意味する。

定理 1.2（生成元に関する定理）:
三角圏 $MDM^{eff}(k, \mathbb{Q})$ は、対数滑らかなモジュラス対（log smooth modulus pairs）$M \in \mathbf{MSmls}$ に対する $M(M)_{\mathbb{Q}}$ によってコンパクトに生成される。同様に、固有な対数滑らかなモジュラス対によって $MDM^{eff}(k, \mathbb{Q})$ もコンパクトに生成される。

3. 手法と証明の戦略

この結果は、特異点解消を仮定しないという制約下で、以下の 3 つの主要な構成要素を組み合わせて証明されている。

1. 内側一般有限 $h$-被覆（Interior generically finite h-covering）の導入:

   • 著者は、Kelly-Miyazaki が導入した「モジュラス $qfh$被覆」よりも強い被覆概念である「内側一般有限$h$-被覆」を導入した。
   • この被覆の定義は、モジュラス対の「内側（interior: $M^\circ = M \setminus |M_\infty|$）」において有限全射となるような被覆を指す。
   • Proposition 3.2: 任意の滑らかなモジュラス対は、この内側一般有限 $h$-被覆によって、対数滑らかなモジュラス対（log smooth modulus pairs）で被覆できることを示した。

2. Bhatt-Snowden の改良された Alteration 定理の適用:

   • 特異点解消を仮定しない証明において、Bhatt と Snowden の「改良された Alteration 定理（Refined alteration theorem）」が鍵となる。
   • この定理を用いることで、滑らかな多様体の開集合を、特異点を持たない（滑らかな）多様体からなる有限被覆で近似できることを保証し、それをモジュラス対の文脈に適用した。

3. Kelly-Miyazaki のモジュラス $qfh$ 位相との関係:

   • Proposition 2.2 において、内側一般有限 $h$-被覆は、$\Sigma$（内側で同型となる固有写像の類）を反転した圏において、モジュラス $qfh$ 被覆によって細分（refine）できることを示した。
   • これにより、Kelly-Miyazaki が証明した等価性（$Shv_{Mqfh} \simeq Shv_{MNis}$）を流用し、任意の滑らかなモジュラス対 $M$ に対し、対数滑らかなモジュラス対の直和の直和因子として $M$ が現れることを示した（Proposition 3.3）。

4. 証明の論理構成

1. 生成元の簡約: 定理 3.6 により、$MDM^{eff}(k, \mathbb{Q})$ は対数滑らかなモジュラス対によって生成されることが示される。これは、任意の滑らかなモジュラス対が、対数滑らかなものによって「被覆」され、そのモチーフが直和因子として現れること（Proposition 3.3, 3.5）に基づく。
2. 随伴関手の性質: 関手 $\omega^{eff}: MDM^{eff} \to DM^{eff}$ は局所化関手であり、その右随伴 $\omega^{eff}$ は忠実かつ全射的（fully faithful）であることが既知。
3. 同値性の証明:
   • $\omega^{eff}$ が同値であることを示すには、生成元が $\omega^{eff}$ の像に含まれ、かつ $\omega^{eff}$ が全射的であることを示せばよい。
   • 固有な対数滑らかなモジュラス対 $(M, M_\infty)$ において、$M_\infty$ が既約（reduced）である場合、著者の先行研究 [8] により、$M(M, M_\infty) \simeq \omega^{eff}(M(M^\circ))$ が成り立つことが知られている。
   • 対数滑らかなモジュラス対は、その内側が滑らかであり、境界が厳密な正規交差（strict normal crossings）であるため、この同型が適用可能。
   • したがって、すべての生成元が $\omega^{eff}$ の像に含まれることが示され、$\omega^{eff}$ が同値であることが結論付けられる（Theorem 3.7）。

5. 意義と貢献

• 正標数におけるモジュラスの「可視性の消失」: 有理数係数において、正標数のモジュラス付きモチーフの圏が、従来の Voevodsky のモチーフの圏と完全に一致することを証明した。これは、正標数においてモジュラスの重み（multiplicities）が有理数係数では区別されないという直観的な予想を厳密に裏付けた。
• 特異点解消なしの証明: 従来の多くのモチーフ理論の結果は特異点解消の存在に依存していたが、本論文は Bhatt-Snowden の定理を用いることで、特異点解消を仮定せずにこの同値性を確立した。これは正標数幾何における重要な進展である。
• 圏論的構造の明確化: モジュラス付きモチーフの圏の構造を、対数滑らかなモジュラス対というより扱いやすい生成元によって記述し、その圏論的性質を解明した。
• 今後の展望: この結果は、モジュラス付き高次 Chow 群と Voevodsky の高次 Chow 群の間の関係性を、有理数係数において明確にする基礎となる。また、$\mathbb{A}^1$-不変性を持たないコホモロジー理論の理解を深める上で、有理数係数では標準的なモチーフ理論に帰着できるという知見は重要である。

結論

本論文は、正標数 $p>0$ において、有理数係数でモジュラス付きモチーフの圏 $MDM^{eff}(k, \mathbb{Q})$ が Voevodsky のモチーフの圏 $DM^{eff}(k, \mathbb{Q})$ と同値であることを、特異点解消を仮定せずに証明した画期的な成果である。この結果は、モジュラスの重みが有理数係数では圏論的に無視可能であることを示しており、正標数幾何におけるモチーフ理論の統合に寄与している。