[论文解读] On a conjecture of Matsushita

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

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

一句话总结

本文證明了關於超凱勒流形拉格朗日纖維化的一個弱化形式的松下猜想：在傳導晶格的秩至少為5的條件下，具有固定尼侖-塞弗爾群的非常一般變形滿足該猜想——模空間映射至極化阿貝爾簇模空間的映射，要麼本質上為最大秩，要麼為常數。該結果依賴於庫加-佐藤構造與傳導上同調上的完整特殊正交群的穆爾福-泰特群。

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.

研究动机与目标

• 證明關於超凱勒流形上拉格朗日纖維化模空間映射的松下猜想之弱化版本。
• 建立模空間映射為最大秩或常數的條件。
• 分析在保持尼侖-塞弗爾群不變的變形下模空間映射的行為。
• 利用庫加-佐藤構造與穆爾福-泰特群結構來約束可能的纖維化。

提出的方法

• 使用具有固定尼侖-塞弗爾群的標記變形的普遍族 $\mathcal{M}_P$ 來研究三元組 $(X,f,B)$ 的變形。
• 應用非常一般點在 $\mathcal{M}_P$ 中實現傳導上同調 $H^2(X,\mathbb{Q})_{tr}$ 上的完整特殊正交群作為穆爾福-泰特群的事實。
• 利用庫加-佐藤構造將傳導霍奇結構嵌入到一組權-1霍奇結構的張量積中。
• 利用庫加-佐藤構造的普遍性質，證明在完整穆爾福-泰特群條件下，僅存在有限多個此類權-1霍奇結構。
• 使用總空間的尼侖-塞弗爾群的矛盾論證，表明非等軸纖維化會導致線性獨立的除子類，從而違反 $\mathrm{NS}(X_V/V)=\mathbb{Z}$。
• 構造一個連續族的權-1霍奇結構 $H_1$，使得 $H \subset H_1 \otimes H_2$ 成立，從而證明穆爾福-泰特群假設的必要性。

实验结果

研究问题

• RQ1 在何種條件下，超凱勒流形上拉格朗日纖維化的模空間映射具有最大秩或保持不變？
• RQ2 傳導上同調的穆爾福-泰特群如何影響纖維化及其模空間映射的幾何性質？
• RQ3 庫加-佐藤構造能否用來約束非等軸纖維化的存在？
• RQ4 傳導晶格的秩在松下猜想的有效性中扮演何種角色？
• RQ5 假設 $b_{2,tr}(X) \geq 5$ 是否為必要條件，還是可被放鬆？

主要发现

• 對於具有拉格朗日纖維化 $f:X\to B$ 且 $b_{2,tr}(X) \geq 5$ 的投影超凱勒流形 $X$（維數為 $2n$），在 $\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)$ 中存在兩個獨立除子類的假設矛盾。
• 構造了一個連續族的權-1霍奇結構 $H_1$，使得 $H \subset H_1 \otimes H_2$ 成立，從而證明穆爾福-泰特群假設的必要性。
• 結果表明，在變形空間 $\mathcal{M}_P$ 中，要麼存在一個稠密的扎里斯基開集滿足最大秩模空間映射，要麼所有變形均滿足常數映射。