論文要約：対数モチビックホモトピー理論におけるポアンカレ双対性

論文タイトル: POINCARÉ DUALITY IN LOGARITHMIC MOTIVIC HOMOTOPY THEORY
著者: Doosung Park
日付: 2026 年 2 月 17 日（arXiv 提出日）

1. 背景と問題設定

モチビックホモトピー理論におけるポアンカレ双対性は、滑らかな射 $f: X \to S$ に対して、モチブ $M_S(X)$ が双対可能であり、その双対が $\text{Th}^{-1}_X(\Omega^1_f)$（$\Omega^1_f$ に付随する Thom 空間の逆）で与えられることを主張する重要な定理である。

従来の研究（Voevodsky, Ayoub, Cisinski-Dégise など）は、通常のスキームの圏や $\mathbb{A}^1$-ホモトピー不変な理論（SH や DM）において確立されている。しかし、**対数幾何（Log Geometry）**の文脈、特に $\mathbb{A}^1$-不変ではないコホモロジー理論（ホッジコホモロジー、位相的巡回ホモロジー、プリズムコホモロジーなど）を扱う「対数モチビックホモトピー理論（logSH）」においては、この双対性が未解決であった。

特に、Annala-Hoyois-Iwasa による $\infty$-圏 MS における結果は、Tang の Gysin 写像の自然性という未解決な仮定に依存していた。対数設定では、Tang の Gysin 写像の代わりに、Binda-Park-Østvær によって構築された**対数 Gysin 写像（log Gysin morphisms）**が利用可能であるが、その自然性の性質が異なるため、既存の証明手法をそのまま適用することはできない。

本研究の目的は、対数 Gysin 写像を用いて、対数モチビックホモトピー理論（logSH）におけるポアンカレ双対性を確立し、その応用として対数コンパクト化のクリスタリンコホモロジーの独立性を証明することである。

2. 手法とアプローチ

著者は、Annala-Hoyois-Iwasa の証明構成を対数設定に適合させることで、以下の手法を用いた。

1. 公理的枠組みの構築:
   具体的な logSH だけでなく、対数滑らかかつ飽和（saturated）な射に対して基底変換公式、射影公式、$\mathbb{P}^1$-安定性、$\square$-不変性、div-不変性などを満たす一般的な公理的な $\infty$-圏 $T$ 上で議論を行う。これにより、結果の一般性を担保している。

2. 対数 Gysin 写像の性質の再構築:

   • 対数 Gysin 系列の強化: 基底 $S$ が対数スキームである場合に対数 Gysin 系列を構成し、自然変換として定式化した（Theorem 4.2）。
   • 合成との整合性: Dégise の $\mathbb{A}^1$-不変な場合の手法を模倣しつつ、$\mathbb{A}^1$-不変性を仮定せずに、対数 Gysin 写像の合成に関する弱めの自然性を証明した（Theorem 5.5）。これは Tang の Gysin 写像の完全な自然性が利用できない対数設定において不可欠なステップである。
   • 評価写像（Evaluation morphism）の構成: 滑らかな射 $f: X \to S$ に対して、双対性を示すための評価写像 $\text{ev}$ と比較写像 $\text{comp}$ を構成し、これが同型であることを示した（Proposition 7.4, 7.9）。

3. 吹上げ（Blow-up）と双対性の伝播:
   滑らかな吹上げの四角形（blow-up square）において、3 つの頂点でポアンカレ双対性が成り立てば、残りの頂点でも成り立つことを示す定理（Theorem 9.3）を証明した。これにより、射影的射への帰着が可能となった。

3. 主要な結果

定理 A: 射影的射に対するポアンカレ双対性

$f: X \to S$ をスキームの射影的射とするとき、対数モチビックホモトピー圏 logSH において、以下の自然同型が成立する（Theorem 8.2）。
$$f^\sharp \xrightarrow{\simeq} f_* \Sigma \Omega^1_f : \text{logSH}(X) \to \text{logSH}(S)$$
ここで、$\Sigma \Omega^1_f := \otimes_X \text{Th}_X(\Omega^1_f)$ である。
この結果は、$\mathbb{A}^1$-不変ではないが対数拡張を持つコホモロジー理論（ホッジコホモロジー、プリズムコホモロジーなど）に対してもポアンカレ双対性が成立することを意味する。

定理 B: 境界を持つ場合のレフシェッツ双対性

$Z \hookrightarrow X$ を滑らかな射影的スキームの閉埋め込みとする。このとき、対数スキーム $(X, Z)$（境界 $Z$ を持つ）に対応する $\Sigma^\infty X/Z$ は双対可能であり、その双対は $\text{Th}^{-1}_{(X,Z)}(\Omega^1_{(X,Z)/S})$ で与えられる（Theorem 8.3）。
これは、多様体におけるレフシェッツ双対性（Lefschetz duality）のモチビック版に対応する。

定理 C: 対数コンパクト化の独立性とクリスタリンコホモロジー

標数 $p > 0$ の完全体 $k$ 上のスキームの圏において、以下の性質を持つ cdh 層 $R\Gamma^{\text{lc}}_{\text{crys}}$ が存在する（Theorem 10.7）。
任意の射影的対数滑らかな対数スキーム $X$ に対して、
$$R\Gamma^{\text{lc}}_{\text{crys}}(X - \partial X) \simeq R\Gamma_{\text{crys}}(X)$$
が成立する。
これは、$X - \partial X$（対数構造を取り除いた部分）のクリスタリンコホモロジーが、その対数コンパクト化 $X$ の選び方に依存しないことを示している。この証明には、対数設定におけるクリノトミック・トレース（log cyclotomic trace）の構成と、ポアンカレ双対性を用いた $\omega^*1$-加群としての構造の確立が用いられた。

局所化性質の反例（Proposition 11.2）

対数モチビックホモトピー理論において、閉埋め込み（開埋め込みでない場合）に対する局所化性質（localization property）は一般には成立しないことを示した。これは、logSH が $\mathbb{A}^1$-不変ではないコホモロジー理論（例：ホッジコホモロジー）を含むためであり、そのような理論は零浸入（nil-immersion）に対して不変ではないことに起因する。

4. 意義と貢献

1. 対数モチビックホモトピー理論の基礎的構造の確立:
   対数幾何の文脈において、ポアンカレ双対性が成立することを初めて証明した。これにより、logSH が well-behaved な $\infty$-圏であることが示され、非 $\mathbb{A}^1$-不変な理論を統一的に扱う強力な枠組みが提供された。

2. Gysin 写像の対数設定への適応:
   Tang の Gysin 写像の自然性が利用できない状況下で、対数 Gysin 写像の性質を巧みに制御し、双対性を導出する技術的ブレイクスルーを達成した。

3. クリスタリンコホモロジーの新しい定式化:
   対数コンパクト化の独立性を、モチビック双対性とモジュール構造を用いて証明した。これは、Ertl-Shiho-Sprang や Merici による先行研究（特異点解消や弱因数分解を仮定したもの）を、より一般的な設定（対数幾何の枠組み内での自然な導出）で再確認・一般化したものである。

4. 応用範囲の拡大:
   この結果は、ホッジコホモロジー、位相的巡回ホモロジー（TC）、プリズムコホモロジー、シントミックコホモロジーなど、従来のモチビック理論では扱えなかった重要な数論的・幾何的コホモロジー理論に対して、双対性の原理を適用可能にする。

総じて、本論文は対数幾何とモチビックホモトピー理論の融合をさらに推し進め、現代代数幾何学におけるコホモロジー理論の統一的理解に重要な寄与を果たしている。