[论文解读] 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) 的全域變形空間 Def(X, L)，其中 X 為不可約辛流形，L 為各向同性線叢。
• 將可移動區域定義為 Def(X, L) 中第一陳類屬於雙有理凱勒錐的點的集合。
• 將有理拉格朗日子纖化區域定義為全域線叢定義有理拉格朗日子纖化的點的集合。
• 應用變形理論與貝烏維爾-波戈莫洛夫形式的性質，比較有理拉格朗日子纖化區域與可移動區域。
• 運用 q-Zariski 分解與上同調連續性分析變形空間中線叢的行為。
• 利用希爾伯特樣本與推廣庫默爾簇在變形空間中之稠密性結果，推導出全局性結論。

实验结果

研究问题

• RQ1 在何種條件下，不可約辛流形 X 上的各向同性線叢 L 會定義有理拉格朗日子纖化？
• RQ2 配對 (X, L) 的全域變形空間中，有理拉格朗日子纖化區域與可移動區域之間有何關係？
• RQ3 有理拉格朗日子纖化區域是否總是等於可移動區域，還是可能為空？
• RQ4 當 L 為各向同性且 c₁(L) 屬於雙有理凱勒錐時，變形空間 Def(X, L) 的結構為何？

主要发现

• 有理拉格朗日子纖化區域在 (X, L) 的全域變形空間中，要麼為空，要麼恰好等於可移動區域。
• 當非空時，實際拉格朗日子纖化族 (V_reg) 是 Def(X, L) 的一個稠密開子集。
• V_reg 在 Def(X, L) 中的補集包含於可數個超曲面的並集中，顯示其為一個小的例外集合。
• 非可移動區域的閉包是 Def(X, L) 的一個真閉子集，暗示可移動區域是稠密的。
• 此結果支持赫布雷希特與索恩的猜想：位於雙有理凱勒錐內的各向同性線叢會定義有理拉格朗日子纖化。
• 證明依賴於 K3^[n]-型與推廣庫默爾簇在變形空間中的稠密性，以及大且肥沃線叢的上同調性質。