[論文レビュー] On a conjecture of Matsushita

Bert van Geemen, Claire Voisin|arXiv (Cornell University)|Mar 25, 2015

Geometry and complex manifolds参考文献 7被引用数 4

ひとこと要約

本稿は、ハイパーケーラー多様体のラグランジュ被覆に関する松下の予想の弱化形を証明する。トランスセンドental格子のランクが5以上であるという条件下で、固定されたネロン＝セベリ群を保つ非常に一般な変形において、モジュライ写像が一般に最大ランクであるか定数であるかのいずれかとなる。この結果は、Kuga-Satakeの構成と、トランスセンドentalコホロロジー上での完全な特殊直交群としてのムーディ・タート群に依存している。

ABSTRACT

We prove a weak version of a conjecture of Matsushita saying that for a Lagrangian fibration on a hyper-Kaehler manifold $X$, the moduli map for the fibers is either generically of maximal rank or constant. Assuming the base is smooth and $b_2(X)-ρ(X)\geq5$, we prove the conjecture for a very general deformation of $X$ with constant Néron-Severi group.

研究の動機と目的

• ハイパーケーラー多様体上のラグランジュ被覆のモジュライ写像に関する松下の予想の弱化版を証明すること。
• モジュライ写像が一般に最大ランクであるか定数であるかの条件を確立すること。
• ネロン＝セベリ群を固定する変形におけるモジュライ写像の振る舞いを分析すること。
• Kuga-Satakeの構成とムーディ・タート群の構造を用いて、可能な被覆を制約すること。

提案手法

• 固定されたネロン＝セベリ群をもつマーク付き変形の普遍族 $\mathcal{M}_P$ を用いて、三重組 $(X,f,B)$ の変形を研究する。
• 非常に一般な点が、$H^2(X,\mathbb{Q})_{tr}$ 上で完全な特殊直交群をムーディ・タート群として実現することを応用する。
• Kuga-Satakeの構成を用いて、トランスセンドentalホッジ構造を重み1のホッジ構造のテンソル積に埋め込む。
• Kuga-Satake構成の普遍性を用いて、完全なムーディ・タート群条件の下で、このような重み1ホッジ構造が有限個しか存在しないことを示す。
• 全空間のネロン＝セベリ群を用いた背理法を適用し、非等質な被覆が線形独立な除数類を生じさせることで、$\mathrm{NS}(X_V/V)=\mathbb{Z}$ を破ることを示す。
• 重み1ホッジ構造 $H_1$ の連続族を構成し、$H \subset H_1 \otimes H_2$ が成り立つことを示し、ムーディ・タート群の仮定の必要性を示す。

実験結果

リサーチクエスチョン

• RQ1 ハイパーケーラー多様体上のラグランジュ被覆のモジュライ写像が最大ランクであるか定数であるかの条件は何か？
• RQ2 トランスセンドentalコホロロジーのムーディ・タート群が、被覆およびそのモジュライ写像の幾何にどのように影響を与えるか？
• RQ3 Kuga-Satakeの構成を用いて、非等質な被覆の存在を制約できるか？
• RQ4 トランスセンドental格子のランクは、松下の予想の妥当性にどのような役割を果たすか？
• RQ5 仮定 $b_{2,tr}(X) \geq 5$ は本質的か、あるいは弱めることができるか？

主な発見

• 次元 $2n$ の複素射影的ハイパーケーラー多様体 $X$ とラグランジュ被覆 $f:X\to B$ に対して、$b_{2,tr}(X) \geq 5$ ならば、$\mathcal{M}_P$ 内の非常に一般な変形において、モジュライ写像 $m':B'\dashrightarrow \mathcal{A}_{n,\alpha}$ は定数または一般に最大ランク $n$ である。
• ホッジ構造 $H^2(X,\mathbb{Q})_{tr}$ のムーディ・タート群が完全な $SO(H^2(X,\mathbb{Q})_{tr}, q)$ であるという条件は、松下の予想が成立することを示唆する。
• ムーディ・タート群が完全な $SO$ であるとき、$H \subset H_1 \otimes H_2$ を満たす非可約重み1ホッジ構造 $H_1$ の集合は有限であるが、この条件が成立しない場合には連続的になり得る。
• 証明により、モジュライ写像のファイバーが正次元をもつならば、被覆は等質的でなければならないことが示され、$\mathrm{NS}(X_V/V)$ に2つの独立な除数類が存在することと矛盾する。
• 重み1ホッジ構造 $H_1$ の連続族を構成し、$H \subset H_1 \otimes H_2$ が成り立つことを示し、ムーディ・タート群の仮定が本質的であることを示している。
• この結果は、変形空間 $\mathcal{M}_P$ において、ある稠密なザリスキ開集合が最大ランクのモジュライ写像を満たすか、すべての点が定数写像を満たすかのいずれかであることを示している。