[論文レビュー] Siu-Yeung jet differentials on complete intersection surfaces X^2 in P^4(C)

Joël Merker|arXiv (Cornell University)|Dec 19, 2013

Meromorphic and Entire Functions参考文献 10被引用数 3

ひとこと要約

本稿は、1996年のSiou-Yeungの手法にインspiredされた外在的アプローチを用いて、$X^2 \subset \mathbb{P}^4(\mathbb{C})$ の完全交差表面に対して、明示的な正則ジュール微分形式を構成する。$d \geq 752$ かつ $e \leq \frac{1}{648}d^2$ のとき、$m = \lfloor d/12 \rfloor$ に対して、$\text{Sym}^m T_X^*$ の全局的切断の空間の次元が $\frac{1}{93312}d^3 - \frac{61}{7776}d^2 - \frac{17}{108}d - \frac{28}{27}$ 以上であることを証明し、超曲面を超える完全交差多様体におけるこのような切断の最初の有効な下界を与える。

ABSTRACT

On a generic complete intersection surface X^2 in P^4(C) having polynomial equations z^d = R(x,y) and t^e = S(x,y) with 752 <= d <= e <= d^2/648, there exist extrinsic meromorphic jet differentials of the form J(x,y,x',y') / [y^d z^{m(d-1)} t^{m(e-1)}] where J(x,y,x',y') = sum_{j+k+p+q=m} A_{j,k,p,q}(x,y) (x')^j (y')^k (R')^p (S')^q (R)^{m-p} (S)^{m-q} with the complex coefficients of the polynomials A_{j,k,p,q}(x,y) satisfying a certain system of linear equations depending explicitly on R, S, the restriction to X^2 of which provides nonzero intrinsic global holomorphic sections of the bundle of symmetric m-differentials Sym^m T_X^*.

研究の動機と目的

• $X^2 \subset \mathbb{P}^4(\mathbb{C})$ の完全交差表面に対して、座標に基づく外在的アプローチを用いて明示的な正則ジュール微分形式を構成すること。
• $\text{Sym}^m T_X^*$ の全局的切断の次元に対する有効で計算可能な下界を提供し、内在的アプローチの限界を克服すること。
• Siou-Yeungの外在的ジュール微分形式技法を、超曲面を超えてcodimension-2の完全交差に拡張すること。
• 定義方程式の次数と非自明な正則ジュール微分形式の存在との間の定量的関係を確立すること。
• $d \geq 752$ の十分に高い次数に対して、空間 $H^0(X, \text{Sym}^m T_X^*)$ が非自明であり、明確な次元推定値を持つことを示すこと。

提案手法

• $z^d = R(x,y)$, $t^e = S(x,y)$ で定義される $X^2$ 上のアフィン座標における、メロモーフィックジュール微分形式の外在的構成を用いる。
• 係数 $A_{j,k,p,q}(x,y)$ が次数 $\leq a \leq d - 4m$ であるような、$x'$, $y'$ に関する同次多項式としてのジュール微分形式 $\mathcal{J}(x,y,x',y')$ を定義する。
• 制限後に正則性を保証するため、分子が $y^d$ で割り切れるように制約を課し、係数 $A_{j,k,p,q}^{h,i}$ に対する線形系を得る。
• Brückmann (1997) のオイラー特性数の公式を適用し、$\chi(\text{Sym}^m T_X^*)$ を $m$ の三次多項式として計算する。その係数は $d$ と $e$ に依存する。
• 線形系の解空間の次元が正であることを保証するための十分条件の不等式を導出し、最終的な下界に至る。
• $m = \lfloor d/12 \rfloor$ と設定し、係数系における自由度の解析により次元の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 座標に基づく方法を用いて、$\mathbb{P}^4(\mathbb{C})$ 内の完全交差表面に対して明示的な正則ジュール微分形式を構成可能か？
• RQ2 $m = \lfloor d/12 \rfloor$ のとき、$H^0(X, \text{Sym}^m T_X^*)$ が非自明となる最小の次数 $d$ は何か？
• RQ3 定義方程式の次数 $d$ と $e$ が増加するにつれて、全局的ジュール微分形式の空間の次元はどのように増加するか？
• RQ4 超曲面を超える完全交差に対して、$\dim H^0(X, \text{Sym}^m T_X^*)$ の有効な下界を導出可能か？
• RQ5 外在的構成によって非自明な正則ジュール微分形式の存在を保証するための $d$ と $e$ の制約は何か？

主な発見

• $d \geq 752$ かつ $e \leq \frac{1}{648}d^2$ のとき、$m = \lfloor d/12 \rfloor$ に対して、空間 $H^0(X, \text{Sym}^m T_X^*)$ の次元は $\frac{1}{93312}d^3 - \frac{61}{7776}d^2 - \frac{17}{108}d - \frac{28}{27}$ 以上である。
• 構成法により、$y^d$ による可除性から導かれる方程式系を満たす係数 $A_{j,k,p,q}^{h,i}$ の線形系を通じて、$m$ 階の正則ジュール微分形式が得られる。
• 次元の下界は、解空間の三次的成長に関する十分条件から導出され、オイラー特性数の正の性質と非自明な切断の存在を保証する。
• 本手法は、$\mathbb{P}^4$ 内のcodimension-2の完全交差表面に対して、非自明な正則ジュール微分形式の最初の有効で明示的な構成を提供する。
• 結果として、完全交差における双曲的性質関連現象の定量的閾値が確立され、$d \geq 752$ が非自明な下界を得るための最小次数であることが判明する。
• 解析により、外在的ジュール微分形式構成法が、指定された次数範囲において $\text{Sym}^m T_X^*$ の非消滅切断をもたらすことが確認された。