[论文解读] Minimal model program for projective morphisms between complex analytic spaces

Osamu Fujino|arXiv (Cornell University)|Jan 27, 2022

Homotopy and Cohomology in Algebraic Topology被引用 6

一句话总结

本文在适当的有限性與Stein空間條件下，為複解析空間之間的擬投影態射建立了極小模型程序（MMP），將Birkar–Cascini–Hacon–McKernan的結果推廣至解析設定。證明了對數終極模型的存在性、canonical bundles的半ample性，以及在Stein緊緻子集上canonical ring的有限生成性，將帶scaling的MMP與豐沛性猜想推廣至解析類別。

ABSTRACT

We discuss the minimal model program for projective morphisms of complex analytic spaces. Roughly speaking, we show that the results obtained by Birkar--Cascini--Hacon--M extsuperscript{c}Kernan hold true for projective morphisms between complex analytic spaces. We also treat some related topics.

研究动机与目标

• 將擬射影代數簇的極小模型程序（MMP）推廣至複解析空間之間的擬投影態射。
• 透過引入Stein緊緻子集的有限性條件，在複解析設定中制定MMP。
• 在$π$-偽有效與$π$-大假設下，證明對數終極模型與canonical模型的存在性。
• 在解析類別中建立canonical ring的有限生成性與canonical bundles的半ample性。
• 解決複解析類別中kawamata log terminal對的豐沛性猜想。

提出的方法

• 使用複解析空間之間的擬投影態射$π: X \to Y$，其中$Y$為Stein空間，且$W \subset Y$為具有有限連通分支的analytic subsets的Stein緊緻子集。
• 應用Cartan定理A以確保Stein空間上相干層的全域生成性，取代原始BCHM框架中的擬射影性。
• 將問題簡化至$K_X + \Delta$為$\mathbb{Q}$-Cartier的情況，並利用nef除子的有限線性組合證明半ample性。
• 使用Hironaka的平坦化定理與bimeromorphic變換構造一連串態射與meromorphic映射，進而得到半ample模型。
• 使用canonical ring $R(X/Y, K_X + \Delta)$，並透過簡化至nef且大除子的情況，證明其局部有限生成性。
• 應用穩定與增廣基底簇的理論，並利用存在fundamental system of Stein neighborhoods以確保有限性。

实验结果

研究问题

• RQ1 能否將帶scaling的極小模型程序推廣至複解析空間之間的擬投影態射？
• RQ2 在何種條件下，$\mathbb{Q}$-因子kawamata log terminal對在Stein緊緻子集上會存在對數終極模型？
• RQ3 在解析設定中，canonical ring $R(X/Y, K_X + \Delta)$是否作為$\mathcal{O}_Y$-代數而有限生成？
• RQ4 kawamata log terminal對在複解析類別中是否滿足豐沛性猜想？
• RQ5 能否在Stein緊緻子集的鄰域上建立$K_X + \Delta$的半ample性？

主要发现

• 當$Y$為Stein空間且$W \subset Y$為具有有限連通分支的analytic subsets的Stein緊緻子集時，複解析空間之間擬投影態射的MMP與scaling存在。
• canonical ring $R(X/Y, K_X + \Delta)$作為$\mathcal{O}_Y$-代數是局部有限生成的，推廣了代數設定下的有限生成結果。
• 若$K_X + \Delta$為$\pi$-偽有效且$\pi$-大，則$K_X + \Delta$在$Y$上存在對數終極模型。
• 在給定的有限性假設下，若$K_X + \Delta$為$\mathbb{Q}$-Cartier且在$W$上為nef，則$K_X + \Delta$在$W$的某個開鄰域上為半ample。
• 當$K_X + \Delta$為$\pi$-偽有效且$\pi$-大，且$K_X + \Delta$在$W$的鄰域上為半ample時，kawamata log terminal對在解析設定中滿足豐沛性猜想。
• 在有限性條件(P4)下，建立了解析pl-翻轉與對數終極模型的存在性，將代數MMP推廣至解析類別。