[論文レビュー] On the ampleness of the cotangent bundles of complete intersections

Song‐Yan Xie|arXiv (Cornell University)|Oct 21, 2015

Algebraic Geometry and Number Theory参考文献 28被引用数 7

ひとこと要約

この論文は、複素射影空間内の一般な完全交差に対してDebarreの余接 bundle の正則性に関する予想を、新規の「可動係数法」とCramerの公式を用いて構成された明示的な対称微分形式により証明する。$ c \geq N/2 $ 個の次数 $ d_i \geq N^{N^2} $ の超曲面に対して、交差 $ X $ は $ \Omega_X $ を正則に持つことが示され、さらに $ \mathsf{Sym}^\kappa\,\Omega_X $ がすべての $ \kappa \geq 64\left(\sum d_i\right)^2 $ に対して非常に正則であることも示している。

ABSTRACT

Based on a geometric interpretation of Brotbek's symmetric differential forms, for the intersection family $\mathcal{X}$ of generalized Fermat-type hypersurfaces in $\mathbb{P}_{\mathbb{K}}^N$ defined over any field $\mathbb K$, we reconstruct explicit symmetric differential forms by applying Cramer's rule, skipping cohomology arguments, and we further exhibit unveiled families of lower degree symmetric differential forms on all possible intersections of $\mathcal{X}$ with coordinate hyperplanes. Thereafter, we develop what we call the `moving coefficients method' to prove a conjecture made by Olivier Debarre: for generic $c\geqslant N/2$ hypersurfaces $H_1,\dots,H_c\subset \mathbb{P}_{\mathbb C}^N$ of degrees $d_1,\dots,d_c$ sufficiently large, the intersection $X:=H_1 \cap \cdots \cap H_c $ has ample cotangent bundle $Ω_X$, and concerning effectiveness, the lower bound $ d_1,\dots,d_c\geqslant N^{N^2} $ works. Lastly, thanks to known results about the Fujita Conjecture, we establish the very-ampleness of $\mathsf{Sym}^κ\,Ω_X$ for all $κ\geqslant 64\, \Big( \sum_{i=1}^c\, d_i \Big)^2 $.

研究の動機と目的

• 複素射影空間 $ \mathbb{P}^N_{\mathbb{C}} $ 内の一般な完全交差における余接 bundle の正則性に関する長年の予想に取り組むこと、特に $ c \geq N/2 $ 個の超曲面に対して。
• $ \Omega_X $ の正則性を保証する次数 $ d_i $ の有効な下界を提供し、複素双曲幾何学および算術幾何学における重要な未解決問題を解決すること。
• 対称冪 $ \mathsf{Sym}^\kappa\,\Omega_X $ の有効な非常に正則性の境界を確立し、Fujitaの予想および幾何的安定性と関連付けること。
• 従来のコホモロジー的議論を回避し、明示的に対称微分形式を構成できる新しい「可動係数法」を開発すること。
• 結果を任意の標数 0 の体 $ \mathbb{K} $ に一般化し、算術的双曲幾何学および有理点への応用を示すこと。

提案手法

• コホモロジー的手法を避けて、Cramerの公式を用いて完全交差上での明示的な対称微分形式を構成すること。
• ベース・ロケイリスおよびファイバー次元を制御するための「可動係数法」を導入し、有効な正則性証明を可能にする。
• ファイバー次元推定とコア・レームを用いて、対称微分形式のジェット写像および評価写像を分析すること。
• ガウスの消去法を用いて、座標超平面との交差上における対称微分形式の線型系を体系的に分析すること。
• Fujitaの予想と、射影接バンドル上でのラインバンドルの非常に正則性に関する既知の結果を組み合わせ、有効な境界を導出すること。
• $ \mathscr{O}_{\mathbb{P}(\mathrm{T}_V|_X)}(\kappa) \otimes \pi_2^*\mathscr{O}_{\mathbb{P}^N}(\star) $ が十分大きな $ \kappa $ に対して非常に正則であることを示し、$ \kappa_0 $ の有効な境界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 $ \mathbb{P}^N_{\mathbb{C}} $ 内の一般な完全交差に対して、Debarreの正則性予想は $ c \geq N/2 $ の場合に証明可能か？ また、$ \Omega_X $ の正則性を保証する次数 $ d_i $ の有効な下界は何か？
• RQ2 コホモロジー的道具を用いずに、どのように対称微分形式を明示的に構成できるか？ それらは正則性の証明において果たす役割は何か？
• RQ3 このような完全交差に対して、 $ \mathsf{Sym}^\kappa\,\Omega_X $ が非常に正則となる最小の $ \kappa $ は何か？
• RQ4 「可動係数法」を用いて、対称微分形式のベース・ロケイリスおよびファイバー次元を有効に境界づけられるか？
• RQ5 $ \mathbb{C} $ を超える標数 0 の体 $ \mathbb{K} $ に対しても、 $ \mathsf{Sym}^\kappa\,\Omega_X $ の非常に正則性は拡張可能か？ どのような条件下で成立するか？

主な発見

• Debarreの正則性予想が証明された：一般な $ c \geq N/2 $ 個の超曲面が $ \mathbb{P}^N_{\mathbb{C}} $ 内に存在するとき、すべての次数 $ d_i \geq N^{N^2} $ ならば、交差 $ X $ は正則な余接 bundle $ \Omega_X $ を持つ。
• 本論文は、Cramerの公式を用いて、完全交差およびそれらの座標超平面との交差上での明示的な対称微分形式を構成した。
• 「可動係数法」は、コホモロジー的議論を代替し、ベース・ロケイリスおよびファイバー次元を有効に制御するのに成功した。
• 有効な非常に正則性の境界が確立された： $ \mathsf{Sym}^\kappa\,\Omega_X $ はすべての $ \kappa \geq 64\left(\sum_{i=1}^c d_i\right)^2 $ に対して非常に正則である。これはFujita型の結果から導出された。
• 非常に正則性の結果は、Fujita予想が $ \mathbb{K} $ 上で成立する限り、任意の標数 0 の体 $ \mathbb{K} $ に拡張可能であり、基底変換の不変性によって保証される。
• 明示的な $ \ell_0(N) = 3 $ が得られ、 $ \mathscr{O}_{\mathbb{P}(\mathrm{T}_{\mathbb{P}^N})}(1) \otimes \pi_0^*\mathscr{O}_{\mathbb{P}^N}(\ell) $ が $ \ell \geq 3 $ のとき非常に正則であることが示された。これは有効な境界を支持する。