[論文レビュー] Cohen-Macaulayness of absolute integral closures

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

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

ひとこと要約

本稿では、優れたネーター的領域の絶対整閉包を任意の素数 $p$ のべきで割ったものについて、それがコhen–マカウレイ的であることを確立している。対数プリズマティックコホロジーと $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^+$ がコhen–マカウレイ的であることを確立し、既知の等特徴値 $p$ の結果を混合特徴値へ拡張すること。
• アンドレとガブレが提起した問題を解決するため、弱くファンクター的なコhen–マカウレイ代数を構成的かつ明示的に生成する方法を提供すること。
• 局所的コhen–マカウレイ結果のグローバルな幾何的バージョンを確立し、有限被覆の意味での混合特徴値のコルマイヤー・ヴァンイッシングの類似を得ること。
• ホッチャー＝フーンケとハイトマンの $F$-特異点および次元 3 におけるほぼヴァンイッシング定理に関する結果を統一・一般化すること。
• $p$-進リーマン＝ヒルベルト関手およびプリズマティックコホロジーの理論を、混合特徴値における局所コホロジーとコホロジー群の torsion を制御するために拡張すること。

提案手法

• 混合特徴値における Frobenius 演算子の構成を可能にするために、対数プリズマティックコホロジーを用いることで、コホロジーの消滅を制御する。
• $p$-進多様体上の $\mathbf{F}_p$-層に $p$-進リーマン＝ヒルベルト関手を適用し、ほぼ完全化されたプリズマティックコホロジーを制御する。
• 導来カテゴリおよび局所コホロジーを用いて、$R^+$-加群の構造を活用し、問題を ind-コhen–マカウレイ複体に還元する。
• 絶対整閉包と $R^+$ における Picard 群の唯一の可除性を用いた有限被覆の議論により、アーマイルラインバンドルのケースに帰着する。
• 定理 3.12 を適用して、負の次数および正の次数における不自然なコホロジー類を自明化する有限被覆を構成する。
• ボックシュタイン系列と一様コホロジーの幅を用い、$H^d(X, L^b)$ の torsion と $H^{d-1}(X_{p=0}, L^b)$ を関連づけ、torsion の消滅を保証する。

実験結果

リサーチクエスチョン

• RQ1 優れたネーター的領域の絶対整閉包 $R^+$ は、混合特徴値において $p^n$ を法としてコhen–マカウレイ的か？
• RQ2 特に半アーマイルおよび大きなラインバンドルに対して、混合特徴値において有限被覆の意味でコルマイヤー・ヴァンイッシングが回復可能か？
• RQ3 混合特徴値において、間接的存在証明を避ける明示的かつ構成的な方法で弱くファンクター的なコhen–マカウレイ代数を構成可能か？
• RQ4 $R^+/p^nR^+$ のコホロジー的性質が、元の環 $R$ の幾何にどの程度反映されているか？
• RQ5 プリズマティックコホロジーと $p$-進リーマン＝ヒルベルト関手は、混合特徴値における torsion と局所コホロジーをどの程度制御できるか？

主な発見

• 任意の優れたネーター的領域 $R$ に対して、すべての $n \geq 1$ に対して $R/p^nR$-加群 $R^+/p^nR^+$ はコhen–マカウレイ的である。これは可換代数における重要な問題を解決する。
• 任意の局所的優れたネーター的領域 $R$ に対して、$p$-進完備化 $\widehat{R^+}$ は $R$ 上でコhen–マカウレイ的である。完備性の仮定がなくても成り立つ。
• 有限被覆の上での $\pi: Y \to X$ が存在し、$b < 0$ のとき、$H^*(X, L^b)_{\text{tors}} \to H^*(Y, \pi^*L^b)_{\text{tors}}$ が零写像である。これにより、有限被覆の意味での混合特徴値のコルマイヤー・ヴァンイッシングが確立される。
• $X/V$ が $p$-ヘンゼル的 DVR $V$ 上で固有かつ平坦であり、$L$ が半アーマイルかつ大きなラインバンドルであるとき、$H^{<d}(X_{p^n=0}, L^b) \to H^{<d}(Y_{p^n=0}, \pi^*L^b)$ がすべての $b < 0$ に対して零写像である有限被覆 $Y \to X$ が存在する。ここで $d = \dim(X_{p^n=0})$ である。
• 弱くファンクター的なコhen–マカウレイ代数の構成が明示的かつ有効的に行われ、混合特徴値におけるホモロジー的予想の新たな証明が得られた。
• 結果は、$V$ 上の任意の有限生成代数 $T$ における相対的状況へ拡張可能であり、後に近似を用いてすべての $p$-ヘンゼル的で優れたネーター的領域へ一般化された。