[論文レビュー] Singular divisors and syzygies of polarized abelian threefolds

Victor Lozovanu|arXiv (Cornell University)|Mar 23, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用数 9

ひとこと要約

本稿では、還元技法、ニュートン–オクウンコフ体、付加的反転の技法を用いて、極分類されたアーベル3次元多様体 $(A,L)$ が性質 $(N_p)$ を満たし、$d \geq 2$ のとき $K_{p,1}(A,L;dL)$ のコホロロジー群が消えるための数値的条件を確立する。主な結果は、$(L^3) > 59(p+2)^3$、すべてのアーベル曲面 $S \subset A$ に対して $(L^2 \cdot S) > 4(p+2)^2$、すべての楕円曲線 $C \subset A$ に対して $(L \cdot C) > 2(p+2)$ が成り立つならば、$(A,L)$ は $(N_p)$ を満たし、$K_{p,1}$ の消滅も成り立つことである。これは3次元における予想を裏付けるものである。

ABSTRACT

We provide numerical conditions for a polarized abelian threefold $(A,L)$ to have simple syzygies, in terms of property $(N_p)$ and the vanishing of Koszul cohomology groups $K_{p,1}$. We rely on a reduction method of Lazarsfeld-Pareschi-Popa, convex geometry of Newton-Okounkov bodies, inversion of adjunction techniques from work on Fujita's conjecture, and the use of differentiation by Ein-Lazarsfeld-Nakamye. As a by-product, we construct effective divisors in any ample class of high self-intersetion, whose singularities are all concentrated on an abelian subvariety. This can be seen as the dual picture considered by Ein-Lazarsfeld for theta divisors.

研究の動機と目的

• 部分多様体の数値的不変量を用いて、極分類されたアーベル3次元多様体のシジジー的性質に関する予想を検証すること。
• 3次元において、性質 $(N_p)$ および $K_{p,1}(A,L;dL)$ の消滅の十分条件を確立すること。
• 自己交差が大きなアーベル部分多様体に集中する特異点を持つ、豊富な有理的クラス内の有効的除集合を構成し、イェイン–ラザルフェルトのテータ除集合に関する研究とは双対的な図像を提供すること。
• ラザルフェルト–パルシエ–ポーパ、イェイン–ラザルフェルト–ナカマエ、およびニュートン–オクウンコフ体の凸幾何学の技法を統合し、シジジー解析に応用すること。

提案手法

• ラザルフェルト–パルシエ–ポーパの還元法を採用し、グローバルなシジジー的性質を有効的除集合上の局所的特異点条件に翻訳すること。
• ニュートン–オクウンコフ体の凸幾何学を応用し、豊富なクラス内の除集合の体積および特異点を分析すること。
• 付加的反転の技法を用いて、除集合の対数正則中心をアーベル部分多様体の幾何に結びつけること。
• イェイン–ラザルフェルト–ナカマエの微分技法を用いて、除集合の重複度および特異点を評価すること。
• フィビニの定理とニュートン–オクウンコフ体上の体積計算を組み合わせ、仮定された反例のもとで矛盾を導出すること。
• 多重次数付き線形系列および漸近的不変量を用いて、さまざまな部分多様体にわたる特異点の振る舞いを制御すること。

実験結果

リサーチクエスチョン

• RQ1 $(A,L)$ に対してどのような数値的条件が、$p \geq -1$ のとき性質 $(N_p)$ を満たすか？
• RQ2 $d \geq 2$ のとき、コホロロジー群 $K_{p,1}(A,L;dL)$ がいつ消えるか？
• RQ3 自己交差が大きなアーベル部分多様体に特異点が集中する、豊富な有理的クラス内の有効的除集合は存在するか？
• RQ4 豊富なクラス内の除集合の特異点は、周囲の3次元多様体内のアーベル部分多様体の幾何とどのように関係するか？
• RQ5 イェイン–ラザルフェルトのテータ除集合特異点に関する研究とは双対的に、特異点が部分多様体に集中するような図像は存在するか？

主な発見

• $(L^3) > 59(p+2)^3$、すべてのアーベル曲面 $S \subset A$ に対して $(L^2 \cdot S) > 4(p+2)^2$、すべての楕円曲線 $C \subset A$ に対して $(L \cdot C) > 2(p+2)$ が成り立つならば、$(A,L)$ は性質 $(N_p)$ を満たし、すべての $d \geq 2$ に対して $K_{p,1}(A,L;dL) = 0$ である。
• イトとロゾヴァヌの極分類されたアーベル3次元多様体における性質 $(N_p)$ に関する予想は、$p \geq -1$ に対して確認され、特に基点自由性（$p = -1$）を含む。
• 任意の豊富な有理的クラス $B$ に対して、$(B^3) > 40$ を満たす有効的除集合 $D \equiv B$ が存在し、その対数正則中心がアーベル部分多様体に含まれる。これは予想0.3を支持する。
• 証明では、このような除集合が1次元の対数正則局所 $C_t$ を持つならば、$B - S$ が豊富でない限り $(B \cdot C_t) \geq 5$ であることが示され、体積の上限のもとで矛盾が生じる。
• ニュートン–オクウンコフ体上の体積計算を通じて、特異点が部分多様体に集中しない除集合の存在を仮定すると、期待される上限を超える体積が得られ、矛盾が導かれる。
• 解析により、自己交差が大きなクラス内の除集合の最大重複度局所はアーベル部分多様体でなければならないことが確認され、体積および特異点に関する明確な評価が得られた。