Poincaré duality in logarithmic motivic homotopy theory

这是一份关于 Doosung Park 论文《对数动机同伦论中的庞加莱对偶性》（Poincaré Duality in Logarithmic Motivic Homotopy Theory）的详细技术总结。

1. 研究背景与问题 (Problem)

背景：
动机同伦论（Motivic Homotopy Theory）旨在为代数几何中的各种上同调理论提供一个统一的框架。经典的庞加莱对偶性（Poincaré Duality）断言，对于光滑射影态射 $f: X \to S$，其动机 $M_S(X)$ 是可对偶的，其对偶由切丛的 Thom 空间给出。这一结果在经典的 $\mathbb{A}^1$-同伦论（如 Voevodsky 的 $SH$ 范畴）中已得到广泛研究。

核心问题：

1. 非 $\mathbb{A}^1$-不变性理论的缺失： 许多重要的上同调理论（如 Hodge 上同调、拓扑循环同调、棱镜上同调等）不是 $\mathbb{A}^1$-不变的，因此无法在经典的 $SH$ 范畴中良好表示。Annala-Hoyois-Iwasa 在 $\infty$-范畴 $MS$ 中尝试建立庞加莱对偶，但该范畴缺乏自然的 Gysin 态射（Gysin morphisms），导致证明受阻。
2. 对数几何中的对偶性： 对数动机同伦论（Logarithmic Motivic Homotopy Theory, $logSH$）引入了“带边界的流形”概念（即对数光滑概形）。虽然 Binda-Park-Østvær 在 $logSH$ 中建立了 Gysin 态射，但尚未证明针对光滑射影态射的庞加莱对偶性。
3. 结晶上同调的独立性： 在特征 $p>0$ 的域上，如何证明光滑概形的结晶上同调（Crystalline cohomology）不依赖于其“对数紧化”（log compactification）的选择？这需要一种能够处理非 $\mathbb{A}^1$-不变理论的动机框架。

2. 方法论 (Methodology)

作者采用了一套公理化且技术性的方法，主要基于 Binda-Park-Østvær 建立的 $logSH$ 框架，并进行了以下关键改进：

• 公理化设置： 作者在一个满足特定条件的 $\infty$-范畴 $T$（包含 $logSH$）中工作，该范畴具备严格 Nisnevich 拓扑、$\mathbb{P}^1$-稳定性、$\square$-不变性（$\square = (\mathbb{P}^1, \infty)$）以及对数光滑态射的基变换公式。
• 利用对数 Gysin 态射： 与 Annala-Hoyois-Iwasa 在 $MS$ 中因缺乏自然 Gysin 态射而受阻不同，本文充分利用了 $logSH$ 中已有的对数 Gysin 态射（Log Gysin morphisms）。
• 弱化自然性条件： 由于对数 Gysin 态射不具备 Tang 提出的那种强自然性，作者通过模仿 Dégline 在经典情形下的论证，证明了对数 Gysin 态射在复合下的弱自然性（Theorem 5.5），这足以推导庞加莱对偶。
• ** Thom 空间与对偶构造：**
  • 推广了 Thom 空间的定义到任意对数基概形。
  • 构造了评估态射（Evaluation morphism） $ev: M_S(X) \otimes Th^{-1}(\Omega^1_f) \to 1_S$。
  • 利用对数紧化（log compactification）的概念，即 $(X, Z)$ 表示带有边界 $Z$ 的对数光滑概形，构造了比较态射（Comparison morphism）。
• 爆破方块的传递性： 利用光滑爆破（smooth blow-up）方块，证明了如果庞加莱对偶在三个角成立，则第四个角也成立（Theorem 9.3）。这允许通过归纳法从 $\mathbb{P}^n$ 推广到一般的光滑射影态射。

3. 主要贡献与结果 (Key Contributions & Results)

A. 庞加莱对偶性的建立 (Theorem A & 8.2)

作者证明了对于任意对数光滑射影态射 $f: X \to S$，存在自然同构：
$$f^\sharp \xrightarrow{\sim} f_* \Sigma \Omega^1_f : logSH(X) \to logSH(S)$$
其中 $\Sigma \Omega^1_f$ 是切丛的 Thom 空间。

• 意义： 这意味着在 $logSH$中，光滑射影态射的动机是可对偶的。这一结果适用于所有在$logSH$中可表示的上同调理论，包括非$\mathbb{A}^1$-不变的理论（如 Hodge 上同调、拓扑循环同调 $logTC$、棱镜上同调等）。

B. 勒夫谢茨对偶性 (Theorem B & 8.3)

对于光滑射影概形的闭浸入 $Z \hookrightarrow X$，作者建立了动机版本的勒夫谢茨对偶（Lefschetz duality）：
$$\Sigma^\infty X/Z \in logSH(S) \text{ 是可对偶的，其对偶为 } Th^{-1}_{(X,Z)}(\Omega^1_{(X,Z)/S})$$
这里 $(X, Z)$ 被视为带有边界 $Z$ 的对数光滑概形。这一结果是处理爆破方块和对数紧化的关键工具。

C. 结晶上同调的独立性 (Theorem C & 10.7)

作为庞加莱对偶的应用，作者证明了：
对于特征 $p>0$ 的完美域 $k$，存在一个 $cdh$层复形$R\Gamma^{lc}_{crys}$，使得对于任意射影对数光滑概形$X$，有：
$$R\Gamma^{lc}_{crys}(X - \partial X) \simeq R\Gamma_{crys}(X)$$

• 突破： 这证明了光滑概形的结晶上同调不依赖于其“对数紧化”的选择。
• 技术难点： 为了在对数设置下复现 Annala-Hoyois-Iwasa 的论证，作者引入了对数循环迹（log cyclotomic trace）（由 Park 等人先前构造），证明了结晶上同调谱是 $\mathbb{A}^1$-局部化球谱的模。

D. 局部化性质的失效 (Proposition 11.2)

作者指出，$logSH$ 中的**局部化性质（Localization property）**对于非开浸入的闭浸入并不总是成立。

• 原因： $logSH$包含非$\mathbb{A}^1$-不变的上同调理论（如 Hodge 上同调），这些理论对“零浸入”（nil-immersion）不不变。这解释了为什么 $logSH$不能像经典$SH$ 那样拥有完美的局部化序列。

4. 技术细节与证明逻辑

1. 对数 Gysin 序列的升级： 将经典的 Gysin 序列推广到对数基概形，并证明其在自然变换层面的相容性（Theorem 4.2, 5.5）。
2. 评估态射的构造： 通过对角线态射和对数 Gysin 序列，构造了从 $M_S(X) \otimes Th^{-1}(\Omega^1_f)$ 到单位对象的态射。
3. 对偶性的验证： 利用 Proposition 7.8，证明评估态射是同构等价于比较态射是同构。通过归纳法（基于 $\mathbb{P}^n$ 的分解），证明了对于 $\mathbb{P}^n$ 该性质成立，进而通过爆破方块推广到一般情形。
4. $\omega^*1$-模的应用： 利用 $logSH$到$SH$的$\mathbb{A}^1$-局部化函子$\omega^*$，将$logSH$中的对象视为$\omega^*1$-模，从而利用已知的$SH$ 中的结晶上同调表示理论。

5. 意义与影响 (Significance)

1. 统一框架： 该论文成功地将庞加莱对偶性扩展到了对数动机同伦论中，填补了 $MS$和$logSH$ 之间在理论完备性上的空白。
2. 非 $\mathbb{A}^1$-不变理论的处理： 为研究 Hodge 上同调、拓扑循环同调、棱镜上同调等非 $\mathbb{A}^1$-不变理论提供了强有力的动机工具。这些理论在算术几何和 $p$-进霍奇理论中至关重要。
3. 结晶上同调的几何解释： 通过证明结晶上同调不依赖于对数紧化的选择，为理解特征 $p$ 下代数簇的上同调性质提供了几何上的不变性解释，解决了长期存在的理论障碍。
4. 方法论的示范： 展示了如何在缺乏强自然性条件（如 Tang 的 Gysin 态射）的情况下，通过构造弱自然性和利用对数几何特有的结构（如对数紧化、对数 Gysin 序列）来推进动机同伦论的发展。

综上所述，Doosung Park 的这项工作不仅解决了对数动机同伦论中的核心对偶性问题，还通过应用该理论解决了结晶上同调的独立性问题，极大地推动了算术几何与动机同伦论的交叉研究。