[论文解读] Cohen-Macaulayness of absolute integral closures

Bhargav Bhatt|arXiv (Cornell University)|Aug 18, 2020

Algebraic Geometry and Number Theory参考文献 36被引用 18

一句话总结

该论文证明了在任意特征混合的优美诺特域模 $p$ 的任意幂下，其绝对积分闭包是科恩-麦克aul伊的。通过使用对数棱锥上同调和 $p$-进黎曼-希尔伯特函子，作者在有限覆盖下建立了混合特征情形下的科伊法-范性定理的类比，解决了同调代数与 $F$-奇点理论中长期存在的问题。

ABSTRACT

We prove that, modulo any power of a prime $p$, the absolute integral closure of an excellent noetherian domain is Cohen-Macaulay. A graded analog is also established, yielding variants of Kodaira vanishing "up to finite covers" in mixed characteristic. Our main tools are (log) prismatic cohomology (which yields a Frobenius action in mixed characteristic) and the $p$-adic Riemann-Hilbert functor for constructible étale $\mathbf{F}_p$-sheaves on varieties over a $p$-adic field (which almost controls perfectified prismatic cohomology).

研究动机与目标

• 证明优美诺特域 $R$ 的 $R^+/p^nR^+$ 具有科恩-麦克aul伊性质，将已知的相等特征 $p$ 情形结果推广至混合特征情形。
• 提供一种构造性、显式的方法来生成弱函子性科恩-麦克aul伊代数，解决安德烈与加布里埃尔提出的问题。
• 建立局部科恩-麦克aul伊结果的全局几何变体，从而得到至有限覆盖的混合特征科伊法-范性定理类比。
• 统一并推广霍赫斯特-哈努克与海特曼在 $F$-奇点与三维情形几乎消失定理方面的结果。
• 将 $p$-进黎曼-希尔伯特函子与棱锥上同调理论扩展，以控制混合特征情形下的局部上同调与上同调群中的挠结构。

提出的方法

• 使用对数棱锥上同调构造混合特征情形下的弗罗贝尼乌斯作用，从而控制上同调消失性。
• 将 $p$-进黎曼-希尔伯特函子应用于 $p$-进代数簇上的 $\mathbf{F}_p$-层，其几乎控制了完全化后的棱锥上同调。
• 通过导出范畴与局部上同调，将问题约化为 ind-科恩-麦克aul伊复形，利用 $R^+$-模的结构。
• 通过使用绝对积分闭包与 $R^+$ 中 Picard 群的唯一可除性，构造有限覆盖，将问题约化至充分线丛情形。
• 应用定理 3.12，构造有限覆盖以消除负度与正度中多余的上同调类。
• 利用博克施泰因序列与一致上同调幅度，将 $H^d(X, L^b)$ 中的挠结构与 $H^{d-1}(X_{p=0}, L^b)$ 关联，确保挠结构的消失。

实验结果

研究问题

• RQ1 在混合特征下，优美诺特域的绝对积分闭包 $R^+$ 模 $p^n$ 是否为科恩-麦克aul伊？
• RQ2 在混合特征下，科伊法-范性定理是否可在有限覆盖下恢复，特别是对半充分线丛与大线丛？
• RQ3 在混合特征下，能否显式构造弱函子性科恩-麦克aul伊代数，避免使用间接存在性证明？
• RQ4 $R^+/p^nR^+$ 的上同调性质在多大程度上反映了原环 $R$ 的几何结构？
• RQ5 如何利用棱锥上同调与 $p$-进黎曼-希尔伯特函子控制混合特征下的挠结构与局部上同调？

主要发现

• 对任意优美诺特域 $R$，对所有 $n \geq 1$，$R/p^nR$-模 $R^+/p^nR^+$ 均为科恩-麦克aul伊，解决了同调代数中的一个关键问题。
• 对任意局部优美诺特域 $R$，其 $p$-进完备化 $\widehat{R^+}$ 作为 $R$-代数是科恩-麦克aul伊，即使不假设完备性也成立。
• 存在有限的满射映射 $\pi: Y \to X$，使得上同调挠结构的拉回映射 $H^*(X, L^b)_{\text{tors}} \to H^*(Y, \pi^*L^b)_{\text{tors}}$ 在 $b < 0$ 时为零映射，从而在有限覆盖下建立了混合特征科伊法-范性定理。
• 对 $X/V$ 满足关于 $p$-赫斯曼离散赋值环 $V$ 的正规平坦态射，且 $L$ 为半充分与大线丛的情形，存在有限覆盖 $Y \to X$，使得对所有 $b < 0$，有 $H^{<d}(X_{p^n=0}, L^b) \to H^{<d}(Y_{p^n=0}, \pi^*L^b)$ 为零映射，其中 $d = \dim(X_{p^n=0})$。
• 弱函子性科恩-麦克aul伊代数的构造被显式化与有效化，为混合特征情形下的同调猜想提供了新证明。
• 该结果可推广至 $V$ 上任意有限表示代数 $T$ 的相对情形，后经逼近方法进一步推广至所有 $p$-赫斯曼优美诺特域。