[论文解读] Fibration of log-general type space over quasi-abelian varieties

Chuanhao Wei|arXiv (Cornell University)|Sep 10, 2016

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

一句话总结

本文利用 Higgs 簾和消去定理，證明了在 quasi-abelian 代數族上不存在 log-general type 代數簇的光滑纖化。本文建立了一個關於 log-general type 對中不存在全局 log-one-form 的猜想的兩個弱版本，依賴於 Koszul 复形與 Hodge 模理論。

ABSTRACT

We show that there exists no smooth fibration of a smooth complex quasi-projective variety of log-general type over a quasi-abelian variety. The proof uses M. Popa and C. Schnell's construction of Higgs bundle.

研究动机与目标

• 研究 log-general type 代數簇在 quasi-abelian 代數族上的光滑纖化是否存在。
• 證明關於 log-general type 對中不存在非零全局 log-one-form 的猜想的兩個弱版本。
• 將 Popa 和 Schnell 對一般型代數簇上全純 one-form 的消去結果推廣至對數設定。
• 利用 Hodge 模理論與 Higgs 簟構造分析 log-one-form 的零點集。
• 在假設存在一個处处非零的 log-one-form 時，透過 Serre 对偶與消去定理導出矛盾。

提出的方法

• 利用全局 log-one-form θ 建構 Koszul 复形，產生一列被 O_X(L - D) 扭轉的層 E^i。
• 應用 Akizuki-Kodaira-Nakano 消去定理，證明某些上同調群 H^{n-i+1}(Ω^i_X(log D)(L - D)) 為零。
• 利用長正合序列中連結映射的滿射性，推得 H^n(E^1(L - D)) = 0。
• 將 E^1(L - D) 與 ω_X(−E) 識別，並應用 Serre 對偶，得出 H^0(O_X(E)) = 0，與 E 為有效層矛盾。
• 利用基變換與歸一化，將纖化提升至光滑緊化形式，對誘導的態射 f': X' → P^{r,d} 應用 [10, Theorem 9.4]。
• 利用線叢 G 的大度與 H^0(B^k) 的非零性，透過 ω_{P^{r,d}}(D_f) 的 ample 性質導出矛盾。

实验结果

研究问题

• RQ1 是否存在一個 log-general type 代數簇在 quasi-abelian 代數族上的光滑纖化？
• RQ2 log-general type 對上的全局 log-one-form 是否可能恆等為零？
• RQ3 log-general type 對上任何全局 log-one-form 的零點集是否必然非空？
• RQ4 在 Hodge 理論消去性下，log-one-form 的非零性是否會導致矛盾？
• RQ5 能否透過基變換與 Hodge 模技術，將關於全局 log-one-form 不存在的猜想歸結為矛盾？

主要发现

• 在 quasi-abelian 代數族上，不存在光滑複射影對數一般型代數簇的光滑纖化。
• 對於任何滿足 ω_X(D) 包含一個 ample 線叢的 log-smooth 對 (X,D)，其每個全局 log-one-form 的零點集均非空。
• 若 (X,D) 是一個射影對數光滑對數一般型對，且 f: X∖D → T^{r,d} 是到 quasi-abelian 代數族的滿射射影態射，則 f 不可能是光滑的。
• 在態射 f: X → P^{r,d} 下，P^{r,d} 上一般 log-one-form 的拉回具有單極點，且在邊界除子 D 上不為零。
• 證明中的矛盾來自於 H^0(O_X(E)) = 0，而 E 為有效層，違反了截面的非零性。
• 即使纖不連通，[10, Theorem 9.4] 的應用依然有效，只要態射是滿射且滿足層條件。