[论文解读] Compact tori associated to hyperkaehler manifolds of Kummer type

Kieran G. O’Grady|arXiv (Cornell University)|May 30, 2018

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

一句话总结

本文建立了Kummer型超凯勒流形与其中间雅可比簇之间的几何与霍奇理论联系，表明4维中间雅可比簇 $J^3(X)$ 以更小、更易处理的形式实现了库加-萨塔克构造。证明了当 $X$ 是射影的时，$J^3(X)$ 是一个韦伊型阿贝尔四倍体，且与库加-萨塔克簇 $
\mathrm{KS}(X,L)$ 同源，并提供了从 $X$ 的上同调构造其霍奇结构的显式方法，从而为通过韦伊型阿贝尔四倍体构造Kummer型超凯勒流形族提供了新途径。

ABSTRACT

Let X be a hyperkaehler manifold of Kummer type. We study the 4 dimensional intermediate Jacobian J^3(X) constructed out of the 3rd cohomology of X, motivated by the desire to understand the Kuga-Satake torus associated to X. We prove that there is an embedding of Hodge structures of H^2(X) into H^2(J^3(X)). It follows that if X is projective with polarization L, the projective Kuga-Satake torus of (X,L) is isogenous to the fourth power of J^3(X). By studying the cohomology ring of X, we find that there is a natural smooth quadric Q(X) in the projectivization of H^3(X), with a natural choice of one of the two irreducible components of the variety parametrizing maximal linear subspaces of Q(X). Let Q^{+}(X) be the chosen irreducible component; then it is a smooth quadric in the projectivization of S^{+}(X), one of the two spinor representations of Spin H^3(X), where H^3(X) is equipped with the quadratic form whose zero locus is Q(X). Gauss-Manin parallel transport identifies the set of projectivizations of H^{2,1}(Y), for Y a deformation of X, with an open subset of a linear section of Q^{+}(X). This amounts to an effective description of the intermediate Jacobian J^3(X) in terms of the H.S. on H^2(X). A simple consequence is a new proof of a result of Mongardi giving (necessary) conditions for the action of monodromy on H^2(X). Lastly, we show that if X is projective, then J^3(X) is an abelian fourfold of Weil type.

研究动机与目标

• 理解超凯勒流形的库加-萨塔克环面，这些流形是维度为 $2n$（$n \geq 2$）的广义Kummer簇的形变。
• 表明中间雅可比簇 $J^3(X)$（一个4维紧复环面）在以更小、更几何直观的形式实现库加-萨塔克霍奇结构方面起着核心作用。
• 建立当 $X$ 是射影的时，$J^3(X)$ 是韦伊型阿贝尔四倍体，且其极化来自贝乌莱夫-波戈莫洛夫-富士基形式。
• 提供从 $H^2(X)$ 上的权重2霍奇结构显式构造 $J^3(X)$ 上权重1霍奇结构的积分霍奇理论配方。

提出的方法

• 通过与 $\overline{q}_X^{n-2}$ 的上积定义映射 $\phi: \bigwedge^2 H^3(X) \to H^2(X)^\vee$，其中 $\overline{q}_X = 2(n+1)q^\vee_X$ 是一个整类。
• 证明 $\phi$ 是满射，因此其转置诱导出积分霍奇结构的包含关系 $H^2(X) \subset \bigwedge^2 H^1(J^3(X))$，将 $X$ 的上同调与 $J^3(X)$ 的霍奇结构联系起来。
• 证明映射 $\phi$ 失去满射性的类的集合 $\mathbf{Q}(X) \subset \mathbb{P}(H^3(X))$ 是一个光滑的三维二次曲面。
• 将 $\mathbb{P}(H^{2,1}(X))$ 识别为 $\mathbf{Q}(X)$ 的极大线性子空间，并定义 $\mathbf{Q}^+(X)$ 为包含它的不可约分支。
• 构造一个同构 $\varphi: J_{[\sigma(X)]}(\vartheta) \xrightarrow{\sim} J^3(X)$，其中 $[\sigma(X)]$ 是 $X$ 的周期点，$\vartheta = \vartheta(\overline{q}_X^{n-2})$，将 $J^3(X)$ 与韦伊型阿贝尔四倍体的模理论构造联系起来。
• 利用 $\mathrm{KS}(X,L)$ 与 $J^3(X)^4$ 之间的同源性，证明 $J^3(X)$ 是韦伊型，并证明 $\varphi^*\Theta_L \equiv c\Theta_{[\sigma]}(\vartheta)$ 对某个 $c \in \mathbb{Q}_+$ 成立，从而确立极化关系。

实验结果

研究问题

• RQ1 能否通过中间雅可比簇几何地实现Kummer型超凯勒流形的库加-萨塔克构造？
• RQ2 Kummer型超凯勒流形的中间雅可比簇 $J^3(X)$ 是否为韦伊型阿贝尔四倍体，且其极化是否与贝乌莱夫-波戈莫洛夫-富士基形式相关？
• RQ3 能否通过自然映射 $\phi: \bigwedge^2 H^3(X) \to H^2(X)^\vee$ 显式地从 $X$ 的上同调重构 $J^3(X)$ 上的霍奇结构？
• RQ4 中间雅可比簇 $J^3(X)$ 是否提供了库加-萨塔克环面 $\mathrm{KS}(X,L)$ 的更小、更几何直观的替代形式，且是否与 $J^3(X)^4$ 同源？
• RQ5 能否从韦伊型阿贝尔四倍体的局部完全族构造出极化Kummer型超凯勒流形的族？

主要发现

• 映射 $\phi: \bigwedge^2 H^3(X) \to H^2(X)^\vee$ 是满射，其转置诱导出积分霍奇结构的包含关系 $H^2(X) \subset \bigwedge^2 H^1(J^3(X))$，为 $X$ 与 $J^3(X)$ 之间提供了直接的霍奇理论联系。
• 映射 $\phi$ 失去满射性的类的集合 $\mathbf{Q}(X) \subset \mathbb{P}(H^3(X))$ 是一个光滑的三维二次曲面。
• $\mathbb{P}(H^{2,1}(X))$ 位于 $\mathbf{Q}(X)$ 的极大线性子空间中，且 $\mathbf{Q}^+(X)$ 是包含它的不可约分支。
• 对于Kummer型射影超凯勒流形 $X$，$J^3(X)$ 是一个韦伊型阿贝尔四倍体，且当 $(X,L)$ 在具有固定离散不变量的完全族中变化时，对应的 $J^3(X)$ 扫过具有相同不变量的极化韦伊型阿贝尔四倍体的完全族。
• 库加-萨塔克簇 $\mathrm{KS}(X,L)$ 与 $J^3(X)^4$ 同源，表明 $J^3(X)$ 是库加-萨塔克构造的一个更小、更几何可处理的实现。
• 当 $n=2$ 时，$J^3(X)$ 上的极化 $\Theta_L$ 与 $\Theta_{[\sigma]}(\vartheta)$ 线性等价；当 $n>2$ 时，$\varphi^*\Theta_L \equiv c\Theta_{[\sigma]}(\vartheta)$ 对某个 $c \in \mathbb{Q}_+$ 成立，确认了极化的相容性。