[논문 리뷰] Cohomology of compact hyperkaehler manifolds

Misha Verbitsky|ArXiv.org|1995. 01. 03.

Geometry and complex manifolds참고 문헌 5인용 수 17

한 줄 요약

이 논문은 컴actsimple hyperkähler 다양체의 코homology ring이 Lie 대수 $\gothesis{so}(n-2,4)$의 작용을 지닌다는 것을 증명하며, 여기서 $n$은 두 번째 Betti 수이며, $H^2(M)$에 의해 생성되는 부분환 $A^r$가 이 대수의 비가역 표현임을 보여준다. 이는 $A^r$의 Hodge 성분의 명시적 계산을 이끌어내며, 분할 함수를 포함한 조합적 공식을 통해 정확한 차원을 드러낸다.

ABSTRACT

Let M be a compact simply connected hyperkähler (or holomorphically symplectic) manifold, \dim H^2(M)=n. Assume that M is not a product of hyperkaehler manifolds. We prove that the Lie algebra so(n-3,3) acts by automorphisms on the cohomology ring H^*(M). Under this action, the space H^2(M) is isomorphic to the fundamental representation of so(n-3,3). Let A^r be the subring of H^*(M) generated by H^2(M). We construct an action of the Lie algebra so(n-2,4) on the space A, which preserves A^r. The space A^r is an irreducible representation of so(n-2,4). This makes it possible to compute the ring A^r explicitely.

연구 동기 및 목표

• 콤팩트 hyperkähler 다양체 $M$의 코homology 링 $H^*(M)$의 구조를 이해하는 것.
• 코homology에 작용하는 Lie 대수를 식별하고, $H^2(M)$에 의해 생성되는 부분환 $A^r$를 유지하는 것.
• $A^r$ 내의 Hodge 성분 $\bar{H}^{p,q}(M)$의 차원을 명시적으로 계산하는 것.
• $A^r$이 $\gothesis{so}(n-2,4)$의 비가역 표현임을 확립하여 구조적 분류를 가능하게 하는 것.
• 정규화된 Hodge-Riemann 쌍선이 변형 계열에 대해 변형 불변인 위상적 불변량임을 보이는 것.

제안 방법

• Torelli 정리와 변형 이론을 사용하여 hyperkähler 다양체의 주기 매핑과 모듈리 공간의 구조를 규명한다.
• $H^2(M,\mathbb{R})$ 위에 체적 정규화를 사용하여 정규화된 Hodge-Riemann 쌍선 $(\cdot,\cdot)_{\mathcal{H}}$를 정의한다.
• 동일한 변형 계열에 속한 서로 다른 복소 구조에 대해 Hodge-Riemann 형식이 서로 비례하며, 정규화 시 등호가 성립함을 증명한다.
• $H^2(M)$에 의해 생성되는 부분환 $A^r \subset H^*(M)$에 대해 Lie 대수 $\gothesis{so}(n-2,4)$의 작용을 구성한다.
• $V = H^2(M)$에 대해 대칭 거듭제곱 $S^m V$의 $SO(V)$-표현으로의 분해를 사용하여 Hodge 성분을 계산한다.
• Euler의 분할 수 생성 함수를 적용하여 $\bar{H}^{p,q}(M)$의 차원 공식을 유도한다.

실험 결과

연구 질문

• RQ1 콤팩트 hyperkähler 다양체의 코homology 링 $H^*(M)$는 복소 구조의 변형에 따라 어떻게 변하는가?
• RQ2 어떤 Lie 대수적 구조가 코homology 링에 작용하며, 이는 $H^2(M)$에 의해 생성되는 부분환 $A^r$를 어떻게 유지하는가?
• RQ3 $A^r$ 내의 Hodge 성분 $\bar{H}^{p,q}(M)$는 명시적으로 계산할 수 있는가?
• RQ4 $A^r$은 알려진 Lie 대수의 비가역 표현인가?
• RQ5 정규화된 Hodge-Riemann 쌍선은 변형 계열의 위상적 불변량인가?

주요 결과

• 정규화된 Hodge-Riemann 쌍선 $(\cdot,\cdot)_{\mathcal{H}}$는 콤팩트 hyperkähler 다양체의 변형 계열에 대해 위상적 불변량이다.
• $\gothesis{so}(n-2,4)$는 $H^2(M)$에 의해 생성되는 부분환 $A^r \subset H^*(M)$에 작용하며, 각 차수의 부분공간 $A^{r}$를 유지한다.
• $A^r$은 $\gothesis{so}(n-2,4)$의 비가역 표현이며, $H^2(M)$은 기본 표현이다.
• $\bar{H}^{2i}(M)$의 차원은 $i \leq d$일 때 $p(n,i)$이고, $i \geq d$일 때는 $p(n,2d-i)$이다. 여기서 $d = \dim_{\mathbb{C}} M / 2$이다.
• $p+q \leq 2d$ 이며 $p \leq q$일 때, $\bar{H}^{p,q}(M)$의 차원은 $p_2(n-2,p)$이다. 여기서 $p_2(n-2,p)$는 차수 1인 $n-2$개의 변수와 차수 2인 하나의 변수를 가진 동차 다항식의 수이다.
• Hodge 성분은 대칭성 $\dim\bar{H}^{p,q}(M) = \dim\bar{H}^{2d-p,2d-q}(M)$을 만족하며, 이는 코homology 링의 쌍대성 반영한다.