[論文レビュー] Relative Clifford inequality for varieties fibered by curves

Tong Zhang|arXiv (Cornell University)|Jun 20, 2017

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

ひとこと要約

本稿は、曲線に沿ってファイバー化された多様体上のネフで数値的に $f$-特別な因子に対して鋭い相対クリフォード不等式を確立し、古典的クリフォード不等式を族へ一般化する。一般型の多様体で曲線に沿ってアーベル多様体にファイバー化される場合の地理的不等式を証明し、ホリカワ・パーソン・ショウの結果を任意次元へ拡張する。また、ネフ因子の新規な木構造フィルトレーションとしきい値積の推定を用いて、アーベル多様体およびトーリック・ファノ多様体上への族に対するスロープ不等式を導出する。

ABSTRACT

We prove a sharp relative Clifford inequality for relatively special divisors on varieties fibered by curves. It generalizes the classical Clifford inequality about a single curve to a family of curves. It yields a geographical inequality for varieties of general type and Albanese-fibered by curves, extending the work of Horikawa, Persson, and Xiao in dimension two to arbitrary dimensions. We also apply it to deduce a slope inequality for some arbitrary dimensional families of curves. It sheds light on the existence of a most general Cornalba-Harris-Xiao type inequality for families of curves. The whole proof is built on a new tree-like filtration for nef divisors on varieties fibered by curves. One key ingredient of the proof is to estimate the sum of all admissible products of nef thresholds with respect to this filtration.

研究の動機と目的

• 曲線に対する古典的クリフォード不等式を、基底多様体に沿ってファイバー化された曲線の族へ一般化すること。
• $n$ 次元の一般型多様体で、 genus $g \geq 2$ の曲線に沿ってアーベル多様体にファイバー化される多様体 $X$ に対して地理的不等式を確立すること。
• アーベル多様体、トーリック・ファノ多様体、およびそれらの被覆上での半安定な曲線族に対するスロープ不等式を導出すること。
• ファイバー化多様体上のネフ因子に対して、新たな木構造フィルトレーションを構築し、適切なネフ閾値の積の推定を可能にすること。
• 連続ランクと体積推定を用いて、高次元におけるコルナラバ＝ハリス＝ショウ型不等式の存在を調査すること。

提案手法

• 曲線に沿ってファイバー化された多様体上のネフ因子に対して、新たな木構造フィルトレーションを導入し、除数類の階層的分解を可能にする。
• このフィルトレーションに関して、すべての適切なネフ閾値の積の和を推定し、連続ランク $h^0_f(X, \mathcal{O}_X(L))$ を制御する。
• フィルトレーションを適用して、$f$-連続ランクと $L$ の体積の関係を示す相対クリフォード不等式を導出する。
• アーベル多様体上の連続ランクと体積の上限に関する [5] および [6] の主定理を用い、$m \to \infty$ の極限において不等式を導出する。
• シュタイン因子分解と基本変換の技術を用いて、アーベル多様体写像とファイブレーション $f: X \to Y$ を関連付ける。
• 線形系によって誘導される写像の有理型性を分析し、次数制約を用いて不等式における等号を強制し、ファイブレーションに関する構造的結論を導く。

実験結果

リサーチクエスチョン

• RQ1 1 つの曲線に対する古典的クリフォード不等式は、基底多様体に沿ってファイバー化された曲線族へ一般化可能か？
• RQ2 一般型多様体で genus $g$ の曲線に沿ってファイバー化される多様体 $X$ に対して、$K_X^n \geq a_g \chi(X, \omega_X)$ という地理的不等式が任意次元で成立するか？
• RQ3 曲線族に対するコルナラバ＝ハリス＝ショウ型スロープ不等式の高次元版が存在するか？
• RQ4 ファイバー化多様体上の数値的に $f$-特別な因子に対して鋭い相対クリフォード不等式を確立できるか？
• RQ5 相対クリフォード不等式またはスロープ不等式において等号が成立する場合、どのような構造的制約が生じるか？

主な発見

• 鋭い相対クリフォード不等式が証明された：曲線の genus $g \geq 2$ をもつ多様体 $X$ 上のネフで数値的に $f$-特別な因子 $L$ に対して、$L^n \geq (n-1)! \, h^0_f(X, \mathcal{O}_X(L))$ が成り立つ。
• $n$ 次元の最小一般型多様体 $X$ で、曲線の genus $g \geq 2$ をもつアーベル多様体に沿ってファイバー化される場合、不等式 $K_X^n \geq 2n! \left(\frac{g-1}{g+n-2}\right) \chi(X, \omega_X)$ が成り立つ。
• $g \geq n$ のとき、不等式は $K_X^n \geq n! \, \chi(X, \omega_X)$ に簡略化され、最大でないアーベル多様体次元へのセベリの不等式の拡張が得られる。
• スロープ不等式 $L^n \geq (n-1)! \, h^0_f(X, \mathcal{O}_X(L))$ は鋭く、等号成立のとき $d=1$ かつ $Y$ が次元 $n-1$ のアーベル多様体に有理同型であることを意味する。
• 証明により、すべての不等式が極限で等号に近づき、写像 $\phi_{L_{[k]}}$ がファイバーを分離し、アーベル多様体への有理写像を誘導することが示される。
• 結果は、アーベル多様体およびトーリック・ファノ多様体上への曲線族に対して、一般化されたコルナラバ＝ハリス＝ショウ型不等式の存在を確認し、体積と連続ランクに対する明示的な上限を与える。