[論文レビュー] Generalized Brotbek's symmetric differential forms and applications

Song‐Yan Xie|arXiv (Cornell University)|Jan 19, 2016

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

ひとこと要約

本稿は、任意の特徴標数の代数閉体上での滑らかで射影的な多様体内の完全交差に対して、一般化された対称微分形式を形式的行列と除法装置を用いて導入し、ほぼ比例する非常に幅広い線分束の下で移動係数法（MCM）を適用することで、一般 Debarre 擬似性予想を確立する。$ c \geq N/2 $ 個の次数 $ d_i \geq N^{N^2} $ の一般な超曲面に対して、完全交差の余接 bundle が非常に幅広いことを証明し、すべての線分束が等しい場合に明示的な有効な下界を与える。

ABSTRACT

Over an algebraically closed field $\mathbb{K}$ with any characteristic, on an $N$-dimensional smooth projective $\mathbb{K}$-variety $\mathbf{P}$ equipped with $c\geqslant N/2$ very ample line bundles $\mathcal{L}_1,\dots,\mathcal{L}_c$, we study the General Debarre Ampleness Conjecture, which expects that for all large degrees $d_1,\dots,d_c\geqslant d_0\gg 1$, for generic $c$ hypersurfaces $ H_1\in \big|\mathcal{L}_1^{\,\otimes\,d_1}\big|$, $\dots$, $H_c\in \big|\mathcal{L}_c^{\,\otimes\,d_c}\big|$, the complete intersection $X:=H_1 \cap \cdots \cap H_c$ has ample cotangent bundle $Ω_X$. First, we introduce a notion of formal matrices and a dividing device to produce negatively twisted symmetric differential forms, which extend the previous constructions of Brotbek and the author. Next, we adapt the moving coefficients method (MCM), and we establish that, if $\mathcal{L}_1,\dots,\mathcal{L}_c$ are almost proportional to each other, then the above conjecture holds true. Our method is effective: for instance, in the simple case $\mathcal{L}_1=\cdots=\mathcal{L}_c$, we provide an explicit lower degree bound $d_0=N^{N^2}$.

研究の動機と目的

• 任意の特徴標数の代数閉体上での滑らかで射影的な多様体に対して、一般 Debarre 擬似性予想を確認すること。
• 形式的行列と除法装置を用いて Brotbek の対称微分形式を一般化し、負にねじれた対称微分形式を構成すること。
• 移動係数法（MCM）を適応し、ほぼ比例する非常に幅広い線分束の下で余接 bundle の擬似性を証明すること。
• すべての線分束が等しい場合に明示的な有効な次数下限 $ d = N^{N^2} $ を提供すること。
• 従来の結果を射影空間から、複数の非常に幅広い線分束を備えた任意の滑らかで射影的な多様体へ一般化すること。

提案手法

• 形式的行列と除法装置を導入し、負にねじれた対称微分形式を体系的に生成する概念を定義し、Brotbek の以前の構成を一般化する。
• 移動係数法（MCM）を適応し、特にほぼ比例する線分束の下で、完全交差上の対称微分形式の大量な供給を実現する。
• コア補題を用いて、射影化された余接 bundle における基底集合の codimension を推定し、一般的な選択のもとで基底集合が離散的または空であることを保証する。
• 積のカップ技術を用いて、次数 $ d_1, \dots, d_c $ が等しくない場合でも、すべての大きな次数において非常に幅広い例を生成する。
• スキーム的および幾何的アプローチを用いて、座標超平面との交差における隠れた対称微分形式を構成する。
• 体 $ \mathbb{K} $ 上のベクトル空間におけるベクトル系のランク不等式を活用し、基底集合を制御し、$ \Omega_X $ の擬似性を保証する。

実験結果

リサーチクエスチョン

• RQ1 線分束 $ \mathscr{L}_1, \dots, \mathscr{L}_c $ がどのような条件下で、完全交差 $ X = H_1 \cap \cdots \cap H_c $ の余接 bundle が非常に幅広くなるか？
• RQ2 Debarre 擬似性予想は、射影空間を越えて、任意の特徴標数の代数閉体上での滑らかで射影的な多様体へ一般化可能か？
• RQ3 次数 $ d_i $ の有効な下限は何か？ これにより、完全交差における $ \Omega_X $ の擬似性が保証されるか？
• RQ4 どのようにして対称微分形式を体系的に構成し、負にねじって基底集合を制御し、擬似性を証明できるか？
• RQ5 移動係数法（MCM）は、線分束が同一ではないがほぼ比例する場合に、どの程度まで拡張可能か？

主な発見

• 線分束 $ \mathscr{L}_1, \dots, \mathscr{L}_c $ がほぼ比例するとき、一般 Debarre 擬似性予想は成り立つ。これは、アーモニック錐内での角度に関する明確な定量的条件を伴う。
• 線分束 $ \mathscr{L}_1 = \cdots = \mathscr{L}_c = \mathscr{L} $ の場合、明示的な有効な下限 $ \texttt{d} = N^{N^2} $ が与えられ、すべての $ d_i \geq N^{N^2} $ に対して完全交差の余接 bundle が非常に幅広いことを保証する。
• 一般的な選択のもとで、対称微分形式の線形系の基底集合が離散的または空であることが示され、これは $ \Omega_X $ の擬似性を証明するために不可欠である。
• コア補題により $ \operatorname{codim} \mathscr{M}_b^a \geq a + b - 1 $ が成立し、基底集合の codimension を制御し、関連する開集合でその空集合性を保証する。
• 形式的行列と除法装置による対称微分形式の構成は、Brotbek の以前の結果をうまく一般化し、任意の滑らかで射影的な多様体への拡張を可能にする。
• この手法は有効的かつ構成的である：明示的な次数下限を導出し、射影空間のケースにとどまらず、正の特徴標数の状況にも応用可能な枠組みを提供する。