[論文レビュー] 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

ひとこと要約

本稿では、$K3^{[n]}$、$Π_{n}$、および例外的 $ÓG6$ と $ÓG10$ 型を含む、既知のすべてのコンpakto hyper-Kähler多様体のコhomologyのLooijenga–Lunts–Verbitsky（LLV）分解を、生成関数を用いたLLV表現の形式的特徴標の計算により決定する。また、LLV分解における重みに関する一般予想を提示し、第二ベッチ数 $b_2(X)$ に対する強い上限を示す。さらに、すべての既知の事例においてNagaiのモノドロミー予想を証明し、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.

研究の動機と目的

• 既知のすべてのコンパクト hyper-Kähler多様体のコhomologyの完全なLooijenga–Lunts–Verbitsky（LLV）分解を同定すること。
• LLV分解に現れる重みに関する一般予想を提示し、第二ベッチ数 $b_2(X)$ を制約すること。
• すべての既知の hyper-Kähler変形型に対してNagaiのモノドロミー予想を確立すること。
• $ÓG6$ および $ÓG10$ 型の例外的多様体に対する既存のコhomological結果をLLVフレームワークを用いて精緻化すること。
• Nagaiの予想を拡張するがより一般なモノドロミー行動に関する新しい予想を提示し、検証すること。

提案手法

• 著者たちは、Beauville–Bogomolov–Fujiki形式と双曲平面を用いて $H^2(X, \mathbb{R})$ のMukai完備化から構成されるLLV代数 $σο(4, b_2(X) - 2)$ を用いる。
• 最高重量 $\mu$ で添え字付けられたLLV代数の非可約表現を分析することでLLV分解を計算し、部分代数への分解に分岐則を適用する。
• $K3^{[n]}$ および $\u03a0_{n}$ の場合、LLV表現の形式的特徴標の生成関数を導出し、Betti数およびホッジ数に対するGöttscheの公式を一般化する。
• $\mathfrak{so}(2r) \subset \mathfrak{so}(2r+1)$ および $\mathfrak{so}(2r-1) \subset \mathfrak{so}(2r)$ の分岐則を適用し、$H^2(X)$ の部分空間に対応する部分代数への表現の分解を行う。
• $ÓG6$ および $ÓG10$ 型の場合、LLV分解を明示的に計算することで、既存のコhomological結果を精緻化し、$ÓG10$ 型多様体のホッジ数に対する簡単な証明をもたらす。
• 退化の分析によりNagaiのモノドロミー予想を検証し、すべての既知のhyper-Kähler型に成立する精緻化された予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 既知のすべてのコンパクト hyper-Kähler多様体、$K3^{[n]}$、$\u03a0_{n}$、および例外的 $ÓG6$ および $ÓG10$ 型を含む、コhomologyの完全なLLV分解は何か？
• RQ2 LLV分解における重みを支配する一般的パターンは何か？ そして、第二ベッチ数 $b_2(X)$ にどのような制約をもたらすか？
• RQ3 Nagaiのモノドロミー予想は、すべての既知のhyper-Kähler変形型に対して成立するか？
• RQ4 LLV分解は、$ÓG10$ 型多様体の例における既知のホッジ数の計算を再導出または簡略化するための統一的枠組みを提供できるか？
• RQ5 Nagaiの予想を包含するがより一般的で自然なモノドロミー行動に関する新しい予想は存在するか？ そして、すべての既知のhyper-Kähler型に成立するか？

主な発見

• 著者たちは、$K3^{[n]}$ および $\u03a0_{n}$ 型に対して完全なLLV分解を計算し、関連するLLV表現の形式的特徴標の生成関数を提供する。これは、Göttscheの公式を一般化するものである。
• $ÓG6$ および $ÓG10$ 型の場合、LLV分解によりホッジ数の簡単な証明が得られ、[MRS18]および[dCRS19]の先行結果を確認・精緻化する。
• 本稿では、LLV分解における重みに関する一般予想を提示し、第二ベッチ数 $b_2(X)$ に対する強い上界を示す。これは、[KL20]の結果を拡張する。
• Nagaiのモノドロミー予想は、$K3^{[n]}$、$\u03a0_{n}$、$ÓG$ 型を含む、すべての既知のhyper-Kähler変形型に対して検証された。
• 著者たちは、Nagaiの予想を拡張するがより一般なモノドロミー予想を提示し、すべての既知のhyper-Kähler多様体に対して証明した。
• $H^*(X)$ のLLV分解における唯一の重複度1の非可約成分である、$n$-次の $H^2(X)$ の対称冪に対応するVerbitsky成分 $V_{n\varpi_1}$ が示された。