[论文解读] Resolution of Singularities of Arithmetical Threefolds II

Vincent Cossart, Olivier Piltant|arXiv (Cornell University)|Dec 2, 2014

Algebraic Geometry and Number Theory参考文献 47被引用 14

一句话总结

本文證明了在任意特徵下，三維擬優 scheme 的奇點解析化之格羅滕迪克猜想，透過一種基於投影數、首一展開式與爆破下不變量的新穎演算法，確立了良好解析化的存在性。關鍵結果為：存在一個正規、雙有理、射影的態射，能解析奇點，同時保持正則性，並使奇點局部為簡單交叉正規除子。

ABSTRACT

We prove Grothendieck's Conjecture on Resolution of Singulari-ties for quasi-excellent schemes X of dimension three and of arbitrary characteristic. This applies in particular to X = SpecA, A a reduced complete Noetherian local ring of dimension three and to algebraic or arithmetical varieties of dimension three. Similarly, if F is a number field, a complete discretely valued field or more generally the quotient field of any excellent Dedekind domain O, any regular projective sur-face X/F has a proper and flat model X over O which is everywhere regular.

研究动机与目标

• 在任意特徵下解析三維擬優 scheme 的奇點，確認格羅滕迪克長期以來的猜想。
• 構造一個良好解析化（對數解析化），使得總拉回為簡單交叉正規除子。
• 將解析理論推廣至非相等特徵零的範疇，並延伸至具有不等殘留特徵的算術三維流形。
• 提供一個構造性、函子性的解析化演算法，避免依賴喜龍保的可允許中心。
• 建立在優秀 Dedekind 環上正則射影曲面的正則、正規、平坦模型的存在性。

提出的方法

• 證明使用投影數 κ(x) ∈ {1,2,3,4} 的分類，此分類主導局部不變量的結構與解析過程。
• 引入一組新的不變量系統，包含 ω(x)、ε(x) 與 A_i(x)，用以衡量奇點的嚴重程度，並指引爆破中心的選擇。
• 演算法依賴局部坐標下定義方程的首一展開式，特別是在純不可分或伽羅瓦擴張的假設下。
• 透過沿特定不變量（例如 V ∈ Vdir(x)）的零點所定義的中心進行爆破，以降低奇點的複雜度。
• 方法採用對 A₁(x)、A₂(x) 與 d₁, d₂ 等不變量的遞降歸納法，並仔細追蹤爆破下的變動。
• 解析透過遞迴地簡化至較簡單的情形達成，利用投影定理與對橫向／切向行為的案例分析。

实验结果

研究问题

• RQ1 格羅滕迪克的奇點解析化猜想能否推廣至任意特徵下的三維流形，包含正特徵與混合特徵？
• RQ2 是否存在一個構造性、函子性的解析化演算法，適用於三維擬優 scheme，且無需假設相等特徵零？
• RQ3 能否在正特徵下，為優秀 Dedekind 環上的正則射影曲面構造出正則、正規、平坦模型？
• RQ4 如何運用 ω(x)、ε(x) 與投影數 κ(x) 等不變量，來引導混合特徵下解析過程的進行？
• RQ5 在何種條件下，可確保奇點的總拉回在解析後成為簡單交叉正規除子？

主要发现

• 本文證明定理 1.1：每一個維度 ≤3 的簡約、分離、擬優 scheme，皆可透過正規、雙有理、射影態射實現良好解析化，且在正則局部為同構。
• 對於任一維度為三的簡約完備諾特局部環 A，Spec A 皆存在射影良好解析化，如推論 1.2 所述。
• 解析過程不依賴喜龍保的可允許中心，而是改用新不變量系統與首一展開式。
• 該演算法透過將所有情形 κ(x) = 1, 2, 3, 4 降低至首一展開式，並對不變量進行歸納下降，從而解決奇點。
• 該方法確保例外除子為簡單交叉正規除子，符合對數解析化的條件。
• 結果可推廣至算術概形與形式完成，包括優秀 Dedekind 環上的正則射影曲面，如推論 1.3 所示。