[論文レビュー] Asymptotic Syzygies in the Setting of Semi-Ample Growth

Juliette Bruce|arXiv (Cornell University)|Apr 9, 2019

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

ひとこと要約

本稿は、半アーメル線束 $ one{O}(d_1,d_2)$ を用いた $\mathbb{P}^{n_1} \times \mathbb{P}^{n_2}$ の埋め込みにおける、コホーマロジーの漸近的性質を調査し、Ein, Erman, Lazarsfeld による単項式手法を一般化する。半アーメルな状況下で、グレード付きベッチ数の非消滅に関する明示的かつ非自明な境界を確立し、アーメルの場合と比較してより洗練され複雑な構造を明らかにする。その根拠は、単項式イデアルのヒルベルト関数の推定に基づく。

ABSTRACT

We study the asymptotic non-vanishing of syzygies for products of projective spaces. Generalizing the monomial methods of Ein, Erman, and Lazarsfeld \cite{einErmanLazarsfeld16} we give an explicit range in which the graded Betti numbers of $\mathbb{P}^{n_1} imes \mathbb{P}^{n_2}$ embedded by $\mathcal{O}_{\mathbb{P}^{n_1} imes\mathbb{P}^{n_2}}(d_1,d_2)$ are non-zero. These bounds provide the first example of how the asymptotic syzygies of a smooth projective variety whose embedding line bundle grows in a semi-ample fashion behave in nuanced and previously unseen ways.

研究の動機と目的

• 埋め込み線束がアーメルではなく半アーメルの方向に成長する『半アーメル成長設定』における漸近的シンジーキーの研究を開始すること。
• 滑らかな射影的代数多様体のシンジーキーの非消滅パターンが、半アーメル状況下でアーメルの場合とどのように異なるかを理解すること。
• $\mathbb{P}^{n_1} \times \mathbb{P}^{n_2}$ に対して $\mathcal{O}(d_1,d_2)$-埋め込みの下で、グレード付きベッチ数が非ゼロとなる範囲について、明示的かつ定量的な境界を提供すること。
• 古典的な非消滅定理（Ein, Lazarsfeld など）が、半アーメル設定におけるシンジーキー挙動の全貌を捉えていないことを示すこと。

提案手法

• Ein, Erman, Lazarsfeld が開発した単項式技法を一般化し、多重グレード付きコシュール複体を用いて、半アーメル状況下でのシンジーキーを分析する。
• 単項式 $\overline{S}(\mathbf{b};\mathbf{d})$ に関連する複体における微分写像 $\overline{\partial}_\delta$ の核と余核を用いて、非自明なシンジーキーを構成する。
• 単項式イデアル $\langle x_0,\dots,x_{q-k-1}, y_0,\dots,y_{k-1}\rangle \overline{S}$ のヒルベルト関数を用いて、独立なシンジーキーの数を推定する。
• 補題 8.2 を適用し、追加の単項式とウェッジ積を取ることで、帰納的に新たな非自明なシンジーキーを生成し、それらが高次の微分の像の外にあることを保証する。
• 命題 6.11 を用いて、重要な単項式 $f_{q,k,\mathbf{b}}$ の annihilator を同定し、シンジーキーが $\overline{\partial}_\delta$ の核に属することを保証する。
• 二項係数の漸近展開と全次数 $r_{\mathbf{n},\mathbf{d}} = \dim H^0(\mathcal{O}(\mathbf{d}))$ を用いて、ベッチ数 $\rho_q(\mathbf{n};\mathbf{d})$ の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 埋め込み線束がアーメルではなく半アーメルの方向に成長する場合、$\mathbb{P}^{n_1} \times \mathbb{P}^{n_2}$ の漸近的シンジーキーのパターンは、アーメルの場合とどのように異なるか？
• RQ2 単項式手法を用いて、半アーメル状況下でグレード付きベッチ数の非消滅に関する明示的かつ非自明な境界を確立できるか？
• RQ3 古典的なシンジーキー非消滅定理は、半アーメル状況下での真の挙動をどの程度まで捉えていないか？
• RQ4 多重度単項式イデアルのヒルベルト関数は、非消滅シンジーキーの範囲を決定する上で果たす役割は何か？
• RQ5 二項係数の漸近的性質と全次数 $r_{\mathbf{n},\mathbf{d}}$ は、非消滅ベッチ数の密度にどのように影響を与えるか？

主な発見

• 本稿は、$\mathcal{O}(d_1,d_2)$-埋め込み下での $\mathbb{P}^{n_1} \times \mathbb{P}^{n_2}$ のグレード付きベッチ数が非ゼロとなる範囲を明示的に特定し、$\delta + t \leq r_{\mathbf{n},\mathbf{d}} - \binom{d_1 + n_1 - (q-k)}{n_1 - (q-k)} \binom{d_2 + n_2 - k}{n_2 - k} - (|\mathbf{n}| + 1)$ で与えられる。
• 半アーメル状況下でのシンジーキーの非消滅は、特定の単項式イデアルのヒルベルト関数によって支配され、コシュール複体内の独立生成元の数を制御する。
• $d_1 > q$ かつ $d_2 > q$ のとき、$q$-番目のシンジーキーの非消滅割合は $\rho_q(\mathbf{n};\mathbf{d}) \geq 1 - \sum_{i+j=q} \frac{\binom{d_1 + n_1 - i}{n_1 - i}\binom{d_2 + n_2 - j}{n_2 - j} + \binom{d_1 + i}{i}\binom{d_2 + j}{j}}{r_{\mathbf{n},\mathbf{d}}}} - \frac{|\mathbf{n}| - q - 1}{r_{\mathbf{n},\mathbf{d}}}$ を満たし、$d_1, d_2 \to \infty$ のとき漸近的に 1 に近づく。
• 非自明なシンジーキーの構成は、特定の次数-$\mathbf{d}$ イデアル内の単項式 $m_1, \dots, m_\delta$ および $n_1, \dots, n_t$ に依存し、それらが $\overline{S}$ 内で線形独立である場合に非消滅が保証される。
• 本手法により、$\zeta \in \bigwedge^\delta \overline{S}_{\mathbf{d}} \otimes \overline{S}_{q\mathbf{d} + \mathbf{b}}$ が非自明なシンジーキーであるための十分条件は、$\ker \overline{\partial}_\delta$ に属し、かつ $\operatorname{im} \overline{\partial}_{\delta+1}$ の外にあることである。これはアニュレーター条件により検証される。
• 結果として、半アーメル状況下での漸近的シンジーキー挙動は、従来のアーメルケースの定理が示唆するよりもはるかに複雑であり、非消滅パターンは以前の理論では捉えきれないことが示された。