[論文レビュー] Base divisors of big and nef line bundles on irreducible symplectic varieties

Ulrike Rieß|arXiv (Cornell University)|Jul 13, 2018

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

ひとこと要約

この論文は、変形型条件の下で、非特異シンプレクティック多様体上の大きな・フェイブルな線束の基本的除数を特徴づけ、それらが常に非可約かつ非重複であることを証明する。このような基本的除数が存在するのは、$H = mL + F$ と分解する場合に限られ、ここで $m \geq 2$、$L$ は $q(L) = 0$ を満たす原始的可動的で、$F$ は負の平方を持つ非可約かつ非重複な除数であり、$(L, F)_q > 0$ を満たし、$h^0(H) = \binom{m+n}{n}$ である。主な貢献は、基本的除数の構造的分類と、すべての大きな・フェイブルな $H$ に対して $2H$ が基点をもたないことを示したことであり、これは K3 表面の結果を高次元のシンプレクティック多様体へと拡張するものである。

ABSTRACT

Under some conditions on the deformation type, which we expect to be satisfied for arbitrary irreducible symplectic varieties, we describe which big and nef line bundles on irreducible symplectic varieties have base divisors. In particular, we show that such base divisors are always irreducible and reduced. This is applied to understand the behaviour of divisorial base components of big and nef line bundles under deformations and for K3$^{[n]}$-type and Kum$^n$-type.

研究の動機と目的

• 非特異シンプレクティック多様体上の大きな・フェイブルな線束のうち、非自明な基本的除数を持つものを分類すること。
• 変形型条件の下で、このような基本的除数の幾何学的・コホロロジー的構造を特定すること。
• 古典的な K3 表面の結果（例えばメイヤーの定理）を、高次元の非特異シンプレクティック多様体へと拡張すること。
• 特に K3[n]-型および Kumn-型多様体において、除的基点集合の変形における挙動を分析すること。
• $2H$ がすべての大きな・フェイブルな線束 $H$ に対して基点をもたないことを証明すること。これはフジタ型予想と整合する。

提案手法

• 線束の幾何学的解析に、$H^2(X, \mathbb{Z})$ 上のブルヴィル・ボゴモロフ・フジキの二次形式 $q$ を用いる。
• 非特異シンプレクティック多様体に対するリーマン・ロッホの公式を適用し、$h^0(H)$ を計算し、$h^0(H) = \binom{m+n}{n}$ という条件と結びつける。
• ベイユの双有理的ケーラー円板と素イェクセプショナル除数における反射理論を用いて、基点集合の構造を制御する。
• 変形論を適用し、$H$ が除的基点集合を獲得する多様体の集合が、ノイター＝レフシェッツ除数の互いに素な和集合であることを示す。
• 下半連続性とベッチ＝キューネンケン分解を用い、ファミリーにおける特別なファイバーから一般のファイバーへのコホロロジー的条件の持ち上げを実行する。
• K3[n]-型（$\chi(H) = \binom{\frac{1}{2}q(H) + n + 1}{n}$）および Kumn-型（$\chi(H) = (n+1)\binom{\frac{1}{2}q(H) + n}{n}$）に特有のリーマン・ロッホの公式を適用し、明示的な特徴づけを導出する。

実験結果

リサーチクエスチョン

• RQ1 非特異シンプレクティック多様体上の大きな・フェイブルな線束が非自明な基本的除数を持つのはどのような条件下か？
• RQ2 このような基本的除数の正確な幾何学的構造は何か――具体的には、それが非可約かつ非重複であるか？
• RQ3 多様体の変形において、大きな・フェイブルな線束の基点集合はどのように振る舞うか？
• RQ4 K3[n]-型および Kumn-型多様体において、$h^0(H) = \binom{m+n}{n}$ という条件を用いて、基本的除数を分類できるか？
• RQ5 K3 表面の場合と同様に、すべての大きな・フェイブルな線束 $H$ に対して $2H$ が基点をもたないか？

主な発見

• 非特異シンプレクティック多様体上の大きな・フェイブルな線束 $H$ が非自明な基本的除数を持つのは、$H = mL + F$ と分解する場合に限られ、ここで $m \geq 2$、$L$ は $q(L) = 0$ を満たす原始的可動的で、$F$ は非可約かつ非重複、負の平方、$(L, F)_q > 0$ を満たし、$h^0(H) = \binom{m+n}{n}$ である。
• 基本的除数 $F$ は常に非可約かつ非重複であり、これは一般の多様体には見られない強い構造的制約である。
• K3[n]-型多様体では、$h^0(H) = \binom{m+n}{n}$ は $(L, F)_q = 1$ と同値であり、これにより $q(F) = -2$ が強制される。
• Kumn-型多様体では、固定除数をもつような $H$ は存在しないため、$H$ は常に可動的である。これは $m \geq 2$ のときリーマン・ロッホの公式に矛盾を生じさせることにより示される。
• 変形ファミリーにおいて、$H$ が除的基点集合を獲得する集合は、ノイター＝レフシェッツ除数の互いに素な和集合である。これは基点集合条件の代数的性質を反映している。
• この結果により、すべての大きな・フェイブルな $H$ に対して $2H$ が基点をもたないことが示され、この文脈でフジタ予想の強い形が確認された。