[论文解读] The LLV decomposition of hyper-Kaehler cohomology

Mark Green, Yoon-Joo Kim+2 more|arXiv (Cornell University)|Jun 8, 2019

Algebraic Geometry and Number Theory参考文献 47被引用 16

一句话总结

本文通过生成函数计算LLV表示的正式特征标，确定了所有已知紧致超凯勒流形（包括$K3^{[n]}$、$Π_{n}$以及例外的$ÓG6$和$ÓG10$类型）的Looijenga–Lunts–Verbitsky（LLV）上同调分解。论文提出了一个关于LLV分解中权重的普遍猜想，该猜想蕴含了对第二贝蒂数$b_2(X)$的强约束，并在所有已知情形下证明了Nagai关于单值性的猜想，进一步提出了一个在所有已知类型中均成立的改进猜想。

ABSTRACT

Looijenga--Lunts and Verbitsky showed that the cohomology of a compact hyper-Kähler manifold $X$ admits a natural action by the Lie algebra $\mathfrak{so} (4, b_2(X)-2)$, generalizing the Hard Lefschetz decomposition for compact Kähler manifolds. In this paper, we determine the Looijenga--Lunts--Verbitsky (LLV) decomposition for all known examples of compact hyper-Kähler manifolds, and propose a general conjecture on the weights occurring in the LLV decomposition, which in particular determines strong bounds on the second Betti number $b_2(X)$ of hyper-Kähler manifolds. Specifically, in the $K3^{[n]}$ and $\mathrm{Kum}_n$ cases, we give generating series for the formal characters of the associated LLV representations, which generalize the well-known Göttsche formulas for the Euler numbers, Betti numbers, and Hodge numbers for these series of hyper-Kähler manifolds. For the two exceptional cases of O'Grady we refine the known results on their cohomology. In particular, we note that the LLV decomposition leads to a simple proof for the Hodge numbers of hyper-Kähler manifolds of O'Grady 10 type. In a different direction, for all known examples of hyper-Kähler manifolds, we establish the so-called Nagai's conjecture on the monodromy of degenerations of hyper-Kähler manifolds. More consequentially, we note that Nagai's conjecture is a first step towards a more general and more natural conjecture, that we state here. Finally, we prove that this new conjecture is satisfied by the known types of hyper-Kähler manifolds.

研究动机与目标

• 确定所有已知紧致超凯勒流形的完整Looijenga–Lunts–Verbitsky（LLV）上同调分解。
• 提出一个关于LLV分解中出现的权重的普遍猜想，该猜想对第二贝蒂数$b_2(X)$构成约束。
• 在所有已知的超凯勒形变类型中确立Nagai关于单值性的猜想。
• 利用LLV框架对例外的$ÓG6$和$ÓG10$流形的已知上同调结果进行改进。
• 提出并验证一个关于单值性行为的更普遍的新猜想，该猜想推广了Nagai的猜想。

提出的方法

• 作者使用从$H^2(X, \mathbb{R})$的Mukai完备化（结合Beauville–Bogomolov–Fujiki形式与一个双曲平面）构造的LLV代数$σο(4, b_2(X) - 2)$。
• 通过分析LLV代数的不可约表示（以最高权$\mu$为指标），并利用分支法则在子代数下分解表示，来计算LLV分解。
• 对于$K3^{[n]}$和$\u03a0_{n}$，他们推导出LLV表示的正式特征标的生成函数，推广了Göttsche对贝蒂数和霍奇数的公式。
• 应用分支法则$\mathfrak{so}(2r) \subset \mathfrak{so}(2r+1)$和$\mathfrak{so}(2r-1) \subset \mathfrak{so}(2r)$，在对应于$H^2(X)$子空间的子代数下分解表示。
• 对于$ÓG6$和$ÓG10$类型，他们通过显式计算LLV分解，改进了现有的上同调结果，为$ÓG10$类型流形的霍奇数提供了一个简洁的证明。
• 通过分析退化情形，验证了Nagai关于单值性的猜想，并证明了一个在所有已知超凯勒类型中均成立的改进猜想。

实验结果

研究问题

• RQ1 所有已知紧致超凯勒流形（包括$K3^{[n]}$、$\u03a0_{n}$以及例外的$ÓG6$和$ÓG10$类型）的完整LLV分解是什么？
• RQ2 LLV分解中的权重遵循何种普遍规律？该规律如何约束第二贝蒂数$b_2(X)$？
• RQ3 Nagai关于单值性的猜想是否对所有已知的超凯勒形变类型均成立？
• RQ4 LLV分解能否提供一个统一框架，以重新推导或简化已知的霍奇数计算（如$ÓG10$类型流形）？
• RQ5 是否存在一个更普遍且自然的单值性行为猜想，能够涵盖Nagai的猜想，并在所有已知超凯勒类型中成立？

主要发现

• 作者计算了$K3^{[n]}$和$\u03a0_{n}$类型的完整LLV分解，提供了相关LLV表示的正式特征标的生成函数，该结果推广了Göttsche的公式。
• 对于$ÓG6$和$ÓG10$类型，LLV分解为霍奇数提供了一个简洁的证明，确认并改进了[ MRS18 ]和[ dCRS19 ]中的早期结果。
• 本文提出了一个关于LLV分解中权重的普遍猜想，该猜想蕴含了对第二贝蒂数$b_2(X)$的强上界，扩展了[ KL20 ]的结果。
• Nagai关于单值性的猜想在所有已知的超凯勒形变类型中均得到验证，包括$K3^{[n]}$、$\u03a0_{n}$以及$ÓG$类型。
• 作者提出了一个改进的、更具普遍性的单值性猜想，并在所有已知超凯勒流形中得到证明。
• 与$H^2(X)$的$n$次对称幂对应的Verbitsky分量$V_{n\varpi_1}$被证明是$H^*(X)$的LLV分解中唯一具有重数为一的不可约分量。