[論文レビュー] On isotropic divisors on irreducible symplectic manifolds

Daisuke Matsushita|arXiv (Cornell University)|Oct 3, 2013

Algebraic Geometry and Number Theory参考文献 12被引用数 17

ひとこと要約

この論文は、可換空間の変形空間を分析することによって、非可約シンプレクティック多様体上の等方的除集合を調査する。同論文は、(X, L) の普遍変形空間における有理ラグランジュ的ファイブレーションの集合が、空であるか、または移動可能領域と完全に一致することを証明し、等方的ラインバンドルを用いた有理ラグランジュ的ファイブレーションに関する予想を強く支持する。

ABSTRACT

Let X be an irreducible symplectic manifold and L a divisor on X. Assume that L is isotropic with respect to the Beauville-Bogomolov quadratic form. We define the rational Lagrangian locus and the movable locus on the universal deformation space of the pair (X, L). We prove that the rational Lagrangian locus is empty or coincide with the movable locus.

研究の動機と目的

• 非可約シンプレクティック多様体上の等方的除集合の幾何学的および変形理論的性質を調査すること。
• ペア (X, L) の普遍変形空間における有理ラグランジュ的領域と移動可能領域の関係を明確にすること。
• ビリアルケーラー領域内の等方的ラインバンドルが有理ラグランジュ的ファイブレーションを定義するという予想に証拠を提供すること。
• ベーリューヴ＝ボゴモロフ形式に関して L が等方的であるとき、(X, L) の変形空間の構造を確立すること。

提案手法

• X が非可約シンプレクティック多様体で、L が等方的ラインバンドルであるペア (X, L) の普遍変形空間 Def(X, L) を用いる。
• 移動可能領域を、普遍ラインバンドルの第一チャーン類がビリアルケーラー領域に属する点の集合として定義する。
• 有理ラグランジュ的領域を、普遍ラインバンドルが有理ラグランジュ的ファイブレーションを定義する点の集合として定義する。
• 変形理論およびベーリューヴ＝ボゴモロフ形式の性質を用いて、有理ラグランジュ的領域と移動可能領域を比較する。
• q-ザリスキ分解とコhomオロジー的連続性を用いて、変形空間内のラインバンドルの振る舞いを分析する。
• ヒルベルトスキームおよび一般化されたクマーマニフォールドの変形空間における稠密性に関する結果を用いて、グローバルな帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 非可約シンプレクティック多様体 X 上の等方的ラインバンドル L が、いつ有理ラグランジュ的ファイブレーションを定義するか。
• RQ2 ペア (X, L) の普遍変形空間における有理ラグランジュ的領域と移動可能領域の関係は何か。
• RQ3 有理ラグランジュ的領域は常に移動可能領域と等しいのか、あるいは空集合である可能性もあるか。
• RQ4 L が等方的で、c₁(L) がビリアルケーラー領域に属するとき、Def(X, L) の変形空間の構造は何か。

主な発見

• 有理ラグランジュ的領域は、空であるか、または (X, L) の普遍変形空間における移動可能領域と完全に一致する。
• 空でない場合、実際のラグランジュ的ファイブレーションの集合 (V_reg) は Def(X, L) の稠密な開部分集合である。
• Def(X, L) における V_reg の補集合は、可算個の超曲面の和集合に含まれており、これは小さな例外的集合であることを示している。
• 非移動可能領域の閉包は Def(X, L) の真の閉部分集合であるため、移動可能領域は稠密である。
• この結果は、ヒューブレヒトスとサーウォンの予想を支持する：ビリアルケーラー領域内の等方的ラインバンドルは、有理ラグランジュ的ファイブレーションを定義する。
• 証明は、K3^[n]-型および一般化されたクマーマニフォールドの変形空間における稠密性と、ビッグでネフなラインバンドルのコホモロジー的性質に依存している。