[论文解读] Generic positivity and applications to hyperbolicity of moduli spaces

Benoît Claudon, Stefan Kebekus+1 more|arXiv (Cornell University)|Oct 31, 2016

Algebraic Geometry and Number Theory参考文献 26被引用 17

一句话总结

本文對卡姆帕納與帕恩關於對數 canonical 對上對數微分形式的通用半正定定理提供了全面的闡述，確立了證明維赫韋格雙曲猜想所不可或缺的基本正定性性質。透過利用分數階葉狀結構與乘子理想技術，將米亞oka的半正定性推廣至對數對，作者證明了 canonically polarized 流形族的相對對偶化叢是通用半正定的，進而導出模空間的雙曲性。

ABSTRACT

The proof of the celebrated Viehweg's hyperbolicity conjecture is a consequence of two remarkable results: Viehweg and Zuo's existence results for global pluri-differential forms induced by variation in a family of canonically po-larised manifolds and Campana and Pǎun's vast generalisation of Miyaoka's generic semipositivity result for non-uniruled varieties to the context of pairs. The aim of this chapter is an exposition of Campana-Pǎun's generic semipositivity theorem .

研究动机与目标

• 提供卡姆帕納與帕恩關於對數 canonical 對上對數微分形式之通用半正定定理的詳細闡述。
• 建立 canonically polarized 流形族中相對對偶化叢的通用半正定性。
• 建立證明模空間上維赫韋格雙曲猜想所必需的分析與代數基礎工具。
• 將米亞oka的通用半正定性結果推廣至具有分數階極點的對數對情境。
• 證明在這些族中存在全局 pluridifferential 形式，可導致基底模空間的布羅迪雙曲性。

提出的方法

• 透過沿具有有理係數的除子對切叢進行飽和，引入分數階切向量與葉狀結構。
• 透過沿具有有理係數的除子對微分形式叢進行飽和，定義具有分數階極點的對數微分形式叢。
• 透過飽和葉狀結構的葉子空間，從代數多樣體 X 到一正常射影多樣體 Z 建構有理映射 ψ: X ⇢ Z。
• 應用扎里斯基主定理，證明葉子空間上誘導的映射為開嵌入，確保等維性。
• 利用可移動曲線上的交點理論，比較纖化叢的切叢與邊界除子水平部分的次數。
• 透過證明相對對偶化叢非通用半正定的假設會導致與可移動曲線的負交點，進而與已知的相對對偶化叢正定性矛盾，從而導出矛盾。

实验结果

研究问题

• RQ1 如何將米亞oka的通用半正定性定理推廣至具有有理係數邊界除子的對數 canonical 對？
• RQ2 在 canonically polarized 流形族中，何種條件可確保相對對偶化叢的通用半正定性？
• RQ3 在族中存在全局 pluridifferential 形式，與基底模空間的雙曲性有何關係？
• RQ4 能否利用對數 canonical 對上的飽和葉狀結構，構造一個控制正定性的有理纖化？
• RQ5 邊界除子 Δ 分解為水平與垂直部分的結構，在證明正定性結果中扮演何種角色？

主要发现

• 具有分數階極點的對數微分形式叢在對數 canonical 對上是通用半正定的。
• 透過利用可移動曲線的反證法，證明了 canonically polarized 流形族的相對對偶化叢是通用半正定的。
• 由具有 ample 限制切叢的曲線族所產生的飽和葉狀結構，會誘導出到一正常多樣體的支配有理映射，其纖為代數葉。
• 交點數 $ C_{γ} ⋂ [\gamma^{[*]}\scr{T}_{X/Z}] $ 嚴格大於 $ C_{γ} ⋂ [\gamma^{*}\Delta^{\text{trans}}] $，暗示纖化叢的切叢具有正定性。
• 當假設相對對偶化叢非通用半正定時會產生矛盾，因其會導致與可移動曲線的負交點，違反定理 7.1 所建立的正定性。
• 通用半正定性的證明依賴於分解 $ \Delta = \Delta^{\text{horiz}} + \Delta^{\text{vert}} $，其中 $ \Delta^{\text{horiz}} $ 對應邊界除子的水平部分，其與可移動曲線的交點控制正定性。