[論文レビュー] Cohomological rank functions and Syzygies of abelian varieties

Zhi Jiang|arXiv (Cornell University)|Oct 20, 2020

Algebraic Geometry and Number Theory参考文献 9被引用数 6

ひとこと要約

本稿は、コhomological rank関数を用いて、アーベル多様体上の非常に正則な線分束の基本点自由性およびシンジーガー的性質の新基準を確立する。任意のアーベル部分多様体 $B \subset A$ に対して、線分束 $L$ の自己交差が $(L^{\dim B} \cdot B) > (2(p+2)\dim B)^{\dim B}$ を満たすならば、$\beta(L) < \frac{1}{p+2}$ が成り立ち、これにより $L$ は性質 $(N_p)$ を満たすことが示され、特殊な場合に予想を解決する。

ABSTRACT

We study syzygies of abelian varieties via the methods of Caucci and Ito based on computations of cohomological rank functions. We provide some strong evidences to a conjecture of Ito and Lozovanu.

研究の動機と目的

• アーベル多様体上の非常に正則な線分束が性質 $(N_p)$ を満たすための鋭い条件を確立すること。これはフジタ型の予想を一般化する。
• アーベル多様体およびその部分多様体の幾何と関連して、cohomological rank関数 $\beta(L)$ の振る舞いを調査すること。
• ItoおよびCaucciの予想、特に部分多様体上の交差理論的境界のもとで $\beta(L) < \frac{1}{p+2}$ が成り立つことの確認。
• 特に一般および非常に一般な設定において、アーベル多様体の $N_p$-予想の有効範囲を既知の事例を超えて拡張すること。

提案手法

• 基本点自由性の閾値 $\beta(L)$ を、cohomological rank関数 $h^{1}_{\mathscr{I}_o, L}(t)$ が消える最小の有理数 $t$ として定義する。
• 乗数イデアルおよびNadelの消去定理を用いて、$\beta(L)$ を原点に孤立した非klt中心を持つ $\mathbb{Q}$-有効な除集合の存在と関連付ける。
• 次元に関する帰納法を用い、Poincaréの還元定理を応用してアーベル多様体を積に分解し、問題を低次元の場合に還元する。
• 理想層でねじれた canonical sheaf の GV-層性質を活用し、消去定理を用いて cohomological rank を制御する。
• Künnethの公式および引き戻し技術を用いて、商多様体から元のアーベル多様体への cohomological 條件を移行する。
• 部分多様体 $B \subset A$ に対する交差理論的境界を確立し、$\beta(L) < \frac{1}{p+2}$ を保証する。特に不等式 $(L^{\dim B} \cdot B) > (2(p+2)\dim B)^{\dim B}$ が鍵となる。

実験結果

リサーチクエスチョン

• RQ1 部分多様体 $B \subset A$ に対して、どのような交差理論的条件が成り立つと、cohomological rank関数 $\beta(L)$ が $\beta(L) < \frac{1}{p+2}$ を満たすか？
• RQ2 ItoおよびCaucciの $N_p$-性質に関する予想が、$L^{\dim B} \cdot B$ の境界によって確認可能か？
• RQ3 $\beta(L)$ の振る舞いは、最小の lc 中心およびアーベル部分多様体上の乗数イデアルとどのように関係するか？
• RQ4 非常に一般なアーベル多様体に対して、$\beta(L)$ の正確な閾値は、極性型および交差数にどのように依存するか？
• RQ5 完全なグローバル分解情報が得られない状況でも、部分多様体の交差データのみを用いて $\beta(L)$ をどの程度制御できるか？

主な発見

• すべての正次元のアーベル部分多様体 $B \subset A$ に対して $(L^{\dim B} \cdot B) > (2(p+2)\dim B)^{\dim B}$ が成り立つならば、$\beta(L) < \frac{1}{p+2}$ が成り立ち、これにより $L$ は性質 $(N_p)$ を満たす。
• タイプ $(1,\ldots,1,\delta_g)$ の非常に一般な極性付きアーベル多様体に対して、$(L^g) > ((p+2)g)^g$ が成り立つならば、$\beta(L) < \frac{1}{p+2}$ が成り立ち、この場合に予想が確認される。
• 不等式 $(L^{\dim B} \cdot B) > (2(p+2)\dim B)^{\dim B}$ は、$\beta(L) < \frac{1}{p+2}$ を保証するのに十分であり、以前の予想的境界を改善する。
• 証明は、理想層でねじれた canonical sheaf の GV-層性質と、cohomological rank を制御するための乗数イデアルの使用に依存している。
• Poincaré分解を用いて問題を低次元に還元し、Künnethの公式を用いて cohomological 消去条件を元の多様体に移行する。
• 結果として、本稿の予想1.4が一般および非常に一般な極性付きアーベル多様体において確認され、Itoの結果が高次元へ拡張される。