[论文解读] On minimal varieties growing from quasismooth weighted hypersurfaces

Meng Chen, Chen Jiang+1 more|arXiv (Cornell University)|May 20, 2020

Algebraic Geometry and Number Theory参考文献 35被引用 4

一句话总结

本文為在擬光滑加權超曲面之上進行的加權爆破的 canonical 除數建立了新的 nefness 條件，進而實現了 59 個最小 3- 維流形的一般類型家族的構造，數個 Kodaira 維度 2 的 3- 維流形無窮系列，以及接近 Noether 線的範例。該方法對 canonical 維度為 $ n-1 $ 或 $ n-2 $ 的 $ n $- 維流形的一般類型，提供了有效的 canonical 体積下界，並在維度 ≤5 時證明其為最佳下界。

ABSTRACT

This paper concerns the construction of minimal varieties with small canonical volumes. The first part devotes to establishing an effective nefness criterion for the canonical divisor of a weighted blow-up over a weighted hypersurface, from which we construct plenty of new minimal $3$-folds including $59$ families of minimal $3$-folds of general type, several infinite series of minimal $3$-folds of Kodaira dimension $2$, $2$ families of minimal $3$-folds of general type on the Noether line, and $12$ families of minimal $3$-folds of general type near the Noether line. In the second part, we prove effective lower bounds of canonical volumes of minimal $n$-folds of general type with canonical dimension $n-1$ or $n-2$. Examples are provided to show that the theoretical lower bounds are optimal in dimension less than or equal to $5$ and nearly optimal in higher dimensions.

研究动机与目标

• 為在單一非標準奇點的擬光滑加權超曲面之上的加權爆破的 canonical 除數建立有效的 nefness 條件。
• 利用此條件構造新的最小 3- 維流形一般類型家族與 Kodaira 維度 2 之家族。
• 建立最小 $ n $- 維流形一般類型、canonical 維度為 $ n-1 $ 或 $ n-2 $ 者之 canonical 体積的有效下界。
• 證明理論下界在維度至多為 5 時為最佳，且在更高維度時近乎最佳。
• 提供具體範例以實現理論下界，特別是在維度 3 時接近 Noether 線。

提出的方法

• 於良好形式的擬光滑加權超曲面 $ X o ext{Proj}(b{C}[x_1, ext{...},x_{n+2}]) $ 在非標準循環商奇點 $ Q $ 處進行加權爆破，其權重為 $ (b_1, ext{...},b_{n+2}) $。
• 透過涉及度數 $ d $、權重 $ b_j $ 及奇點不變量 $ r, e_j $ 的不等式，推導出爆破後流形 $ Y $ 上 canonical 除數 $ K_Y $ 為 nef 的充分條件。
• 利用 $ ext{Vol}(Y) o ext{Vol}(X) imes ext{爆破之調整係數} $ 估算 canonical 体積，方法為交集理論。
• 運用數值條件 $ (K_Y imes C) < 0 $ 在假設下導出矛盾，進而證明 $ K_Y $ 為 nef。
• 利用例外除數 $ E_1, E_2 $ 的結構及其與超平面截痕的嚴格提升之交點，驗證 $ K_Y^{n-1} imes E_1 $ 的正性。
• 驗證 $ b{P}(b_n, b_{n+1}, b_{n+2}) $ 中一般超曲面的無可約性，以及加權射影空間 $ b{P}(e_1, ext{...},e_n) $ 的良好形式，以確保幾何一致性。

实验结果

研究问题

• RQ1 能否透過在擬光滑加權超曲面之上進行加權爆破，系統性地構造最小 3- 維流形的一般類型？
• RQ2 何種條件可確保爆破後流形的 canonical 除數仍為 nef？
• RQ3 對於 canonical 維度為 $ n-1 $ 或 $ n-2 $ 的最小 $ n $- 維流形一般類型，其 canonical 体積之有效下界為何？
• RQ4 這些理論下界在低維與高維中是否為最佳或近乎最佳？
• RQ5 能否構造出在變形不變量與 Picard 數上與已知範例不同的新最小 3- 維流形家族？

主要发现

• 本文構造了 59 個新的最小 3- 維流形一般類型家族，所有家族之 Picard 數至少為 2，且與 Iano-Fletcher 的清單不同。
• 提供了數個最小 3- 維流形 Kodaira 維度 2 的無窮系列，其來自擬光滑超曲面奇點處的加權爆破。
• 兩個最小 3- 維流形一般類型家族恰好位於 Noether 線上，達成該界下最小可能的 canonical 体積。
• 額外再構造了十二個接近 Noether 線的最小 3- 維流形一般類型家族，逼近理論最小體積。
• 證明了最小 $ n $- 維流形一般類型、canonical 維度為 $ n-1 $ 或 $ n-2 $ 者之 canonical 体積的有效下界，並在維度 ≤5 時證明其為最佳。
• 構造出實現理論下界的範例，確認其在維度至多為 5 時為緊緻，且在更高維度時近乎最佳。