[论文解读] Local Strong Factorization of birational maps

Kalle Karu|ArXiv.org|Mar 12, 2003

Algebraic Geometry and Number Theory参考文献 3被引用 8

一句话总结

本文證明了在特徵零域上，光滑代數簇之間的有理映射的局部強分解猜想，顯示任何兩個被賦值控制的正則局部環均可透過沿該賦值的冪零變換序列變得同構。關鍵結果透過 тор幾何與冪零化方法建立此類分解的可行性，並透過將n維情形的猜想簡化為具有有理獨立向量的非奇異單純錐體的星形剖分，從而解決了一個長期存在的猜想。

ABSTRACT

The strong factorization conjecture states that a proper birational map between smooth algebraic varieties over a field of characteristic zero can be factored as a sequence of smooth blowups followed by a sequence of smooth blowdowns. We prove a local version of the strong factorization conjecture for toric varieties. Combining this result with the monomialization theorem of S.D.Cutkosky, we obtain a strong factorization theorem for local rings dominated by a valuation.

研究动机与目标

• 證明在特徵零下，被賦值控制的正則局部環的局部強分解猜想。
• 建立任何兩個此類局部環均可透過沿賦值的冪零變換序列變得同構。
• 透過 тор方法將 Christensen 的三維結果推廣至任意維度。
• 透過結合定理 0.2（局部 тор幾何分解）與 Cutkosky 的冪零化定理，提供定理 0.1 的完整證明。
• 彌補先前文獻中的漏洞，以直接的 тор幾何論證取代對不完整全局強分解證明的依賴。

提出的方法

• 透過將正則局部環對應至非奇異有理錐體，將局部分解問題簡化為一個 тор幾何問題。
• 使用沿具有有理獨立坐標的向量的錐體星形剖分，以模擬沿賦值的冪零變換。
• 透過將格點的低維商體投影，進行維數上的歸納，並保持錐體結構的不變性。
• 應用 Cutkosky 的冪零化定理，將一個環的參數表示為另一個環參數的冪函數，且指數矩陣為單模。
• 將中心為 (x_i, x_j) 的冪零變換轉換為沿賦值向量 v 在 u_i + u_j 處的錐體星形剖分。
• 利用單模變換保持錐體非奇異性的事實，並透過有限序列的此類運算使指數矩陣收斂至單位矩陣。

实验结果

研究问题

• RQ1 在特徵零域上，光滑簇之間的正則有理映射是否可在局部設定下，透過一系列光滑爆破與爆破反向操作分解？
• RQ2 是否可透過沿共同賦值的冪零變換，將兩個被同一賦值控制的正則局部環分解至一個共同的精細化？
• RQ3 當限制於 тор簇與具有有理獨立坐標的有理向量時，局部強分解猜想是否在任意維度下成立？
• RQ4 全局強分解猜想是否可簡化為涉及錐體星形剖分的局部 Toro 問題？
• RQ5 冪零化在透過連續冪零變換構造共同精細化過程中發揮何種作用？

主要发现

• 對於特徵零域上被賦值控制的優良正則局部環，局部強分解猜想成立。
• 可透過沿共同賦值 ν 的冪零變換序列，從 R 和 S 建構出局部環 T，從而證明定理 0.1。
• 對於任意兩個包含具有有理獨立坐標向量 v 的非奇異錐體 σ 和 τ，存在一個透過沿 v 的連續光滑星形剖分所得到的共同非奇異錐體 ρ，從而證明定理 0.2。
• 透過冪零化定理將一般情形簡化至 Toro 設定，使一個環的參數可表示為另一個環參數的冪函數，且指數矩陣為單模。
• 冪零變換與星形剖分之間的對應關係，使代數變換具有幾何解釋，確保指數矩陣有限收斂至單位矩陣。
• 該方法透過基於錐體剖分與維數歸納的直接構造論證，避開了對有缺陷的全局強分解證明的依賴。