[논문 리뷰] The LLV decomposition of hyper-Kaehler cohomology

Mark Green, Yoon-Joo Kim외 2명|arXiv (Cornell University)|2019. 06. 08.

Algebraic Geometry and Number Theory참고 문헌 47인용 수 16

한 줄 요약

이 논문은 생성함수를 통해 LLV 표현의 형식적 특징을 계산하여, $K3^{[n]}$, $Π_{n}$, 그리고 예외적인 $ÓG6$ 및 $ÓG10$ 유형을 포함한 모든 알려진 컴acts hyper-Kähler 다양체의 cohomology에 대한 Looijenga–Lunts–Verbitsky (LLV) 분해를 결정한다. 이는 제안된 일반적 추측을 통해 LLV 분해에 나타나는 가중치에 대한 일반적인 패턴을 제시하며, 이는 제2 베텨 수 $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.

연구 동기 및 목표

• 모든 알려진 컴팩트 hyper-Kähler 다양체에 대해 cohomology의 완전한 Looijenga–Lunts–Verbitsky (LLV) 분해를 결정하는 것.
• LLV 분해에 나타나는 가중치에 대한 일반적 추측을 제안하여 제2 베텸 수 $b_2(X)$를 제약하는 것.
• 모든 알려진 hyper-Kähler 변형 유형에 대해 Nagai의 단조성 추측을 확립하는 것.
• LLV 프레임워크를 사용하여 예외적인 $ÓG6$ 및 $ÓG10$ 다양체에 대한 기존의 코homological 결과를 정교화하는 것.
• Nagai의 추측을 일반화하고 모든 알려진 hyper-Kähler 유형에 대해 성립하는 더 일반적인 단조성 행동에 대한 새로운 추측을 도입하고 검증하는 것.

제안 방법

• 저자들은 $H^2(X, \mathbb{R})$의 Mukai 완성과 Beauville–Bogomolov–Fujiki 형식, 그리고 하이퍼볼릭 평면을 사용하여 $σο(4, b_2(X) - 2)$의 LLV 대수를 구성한다.
• 최고 무게 $\mu$로 인덱싱된 LLV 대수의 기약 표현을 분석하여 LLV 분해를 계산하며, 부분대수에 대한 분해를 위해 분해 규칙을 적용한다.
• $K3^{[n]}$ 및 $\u03a0_{n}$ 유형의 경우, LLV 표현의 형식적 특징을 위한 생성함수를 유도하며, Betti 수와 Hodge 수에 대한 Göttsche의 공식을 일반화한다.
• $\mathfrak{so}(2r) \subset \mathfrak{so}(2r+1)$ 및 $\mathfrak{so}(2r-1) \subset \mathfrak{so}(2r)$에 대한 분해 규칙을 적용하여 $H^2(X)$의 부분공간에 대응하는 부분대수에 대한 표현을 분해한다.
• $ÓG6$ 및 $ÓG10$ 유형의 경우, 기존의 코homological 결과를 명시적인 LLV 분해를 계산하여 정교화하며, 이는 $ÓG10$ 유형 다양체의 Hodge 수에 대한 간단한 증명을 제공한다.
• 퇴적 분석을 통해 Nagai의 단조성 추측을 검증하며, 모든 알려진 hyper-Kähler 유형에 대해 성립하는 보다 정교한 추측을 증명한다.

실험 결과

연구 질문

• RQ1 모든 알려진 컴팩트 hyper-Kähler 다양체, 즉 $K3^{[n]}$, $\u03a0_{n}$, 그리고 예외적인 $ÓG6$ 및 $ÓG10$ 유형에 대해 cohomology의 완전한 LLV 분해는 무엇인가?
• RQ2 LLV 분해에 나타나는 가중치를 지배하는 일반적인 패턴은 무엇이며, 이는 제2 베텸 수 $b_2(X)$에 어떻게 제약을 가하는가?
• RQ3 모든 알려진 hyper-Kähler 변형 유형에 대해 Nagai의 단조성 추측이 성립하는가?
• RQ4 LLV 분해는 $ÓG10$ 유형 다양체의 경우와 같이 기존의 Hodge 수 계산을 재구성하거나 단순화하는 데 통일된 프레임워크를 제공할 수 있는가?
• RQ5 Nagai의 추측을 포함하고 모든 알려진 hyper-Kähler 유형에 대해 성립하는 더 일반적이고 자연스러운 단조성 행동에 대한 새로운 추측은 존재하는가?

주요 결과

• 저자들은 $K3^{[n]}$ 및 $\u03a0_{n}$ 유형에 대해 전체 LLV 분해를 계산하며, 관련된 LLV 표현의 형식적 특징을 위한 생성함수를 제공한다. 이는 Göttsche의 공식을 일반화한다.
• $ÓG6$ 및 $ÓG10$ 유형의 경우, LLV 분해는 Hodge 수에 대한 단순한 증명을 제공하며, [MRS18] 및 [dCRS19]에서 이전에 얻어진 결과를 확인하고 정교화한다.
• 논문은 LLV 분해에 나타나는 가중치에 대한 일반적 추측을 제안하며, 이는 $b_2(X)$에 대한 강력한 상계를 암시하며, [KL20]의 결과를 확장한다.
• 모든 알려진 hyper-Kähler 변형 유형에 대해 Nagai의 단조성 추측이 검증되었으며, 이는 $K3^{[n]}$, $\u03a0_{n}$ 및 $ÓG$ 유형을 포함한다.
• 저자들은 Nagai의 추측을 일반화하고 모든 알려진 hyper-Kähler 다양체에 대해 성립하는 보다 정교하고 일반적인 단조성 추측을 도입하고 증명한다.
• 제2 cohomology $H^2(X)$의 $n$제곱에 해당하는 $V_{n\varpi_1}$인 Verbitsky 성분은 $H^*(X)$의 LLV 분해에서 유일하게 중복도가 1인 기약 성분임을 보였다.