[논문 리뷰] Hyperkaehler manifolds with torsion, supersymmetry and Hodge theory

Misha Verbitsky|ArXiv.org|2001. 12. 20.

Advanced Topics in Algebra인용 수 12

한 줄 요약

이 논문은 비켈러 설정으로까지 일반화된 고전적 켈러 슈퍼대수를 초켈러-데 라무 슈퍼대수로 확장하여 HKT-다양체 위에 초켈러-데 라무 슈퍼대수의 구조를 수립한다. 정규화된 도르베올 복합체를 통한 SL(2)-작용을 통해 조화 스핀어의 공간에 대해 자연스러운 동형사상 $ H^i(K^{1/2}) \cong H^i(K^{1/2})^* $ 와 하드 레프셰츠 정리를 증명하며, 토르션을 가진 초복소 헤르미트 다양체로의 호지 이론을 일반화한다.

ABSTRACT

Let M be a hypercomplex Hermitian manifold, (M,I) the same manifold considered as a complex Hermitian with a complex structure I induced by the quaternions. The standard linear-algebraic construction produces a canonical nowhere degenerate (2,0)-form on (M,I). It is well known that M is hyperkaehler if and only if the form Ωis closed with respect to the de Rham differential. The M is called HKT (hyperkaehler with torsion) if this form is closed with respect to the Dolbeault differential (this condition is weaker. Conjecturally, all compact hypercomplex manifolds admit an HKT-metrics. We exploit a remarkable analogy between the de Rham DG-algebra of a Kaehler manifold and the Dolbeault DG-algebra of an HKT-manifold. The supersymmetry of a Kaehler manifold is given by an action of an 8-dimensional Lie superalgebra on its de Rham algebra, containing the Lefschetz SL(2)-triple, the Laplacian and the de Rham differential. We establish the action of this superalgebra on the Dolbeault DG-algebra of an HKT-manifold. This is used to construct a canonical Lefschetz-type SL(2)-action on the space of harmonic spinors of M.

연구 동기 및 목표

• 비켈러 설정으로까지 일반화된 고전적 켈러 슈퍼대수와 호지 이론을 토르션을 가진 비켈러 초복소 헤르미트 다양체(HKT-다양체)로 확장하는 것.
• 정규화된 도르베올 복합체를 사용하여 조화 스핀어 공간에 대한 자연스러운 $ \mathfrak{sl}(2) $-작용을 구성하는 것.
• 콤���크트 HKT-다양체에서 캐논컬 번들 제곱근 $ K^{1/2} $의 코homology에 대해 하드 레프셰츠 동형사상과 세르 쌍대성을 수립하는 것.
• 조화 스핀어 공간이 4원수 삼중체 $ I,J,K $ 내의 복소構조의 선택과 무관하다는 것을 보이는 것.
• 켈러 경우와 유사하게 HKT-기하학에서 초대칭 대수의 기하적 실현을 제공하는 것.

제안 방법

• 초복소 헤르미트 구조에 의해 유도된 $ (M,I) $ 위의 캐논컬 $ (2,0) $-형식 $ \Omega $ 를 정의한다.
• 복합체 (10.5)를 형성하는 $ \Lambda^{p,0}(M) \otimes K^{1/2} $ 위에 정규화된 도르베올 미분 $ {}^n\partial $ 를 도입한다.
• 코homology 가 조화 스핀어와 일치하는 정규화된 라플라시안 $ {}^n\Delta = \{{}^n\partial, \partial^*\} $ 를 구성한다.
• 정규화된 라플라시안과 가환하는 코homology 위에 작용하는 $ \mathfrak{sl}(2) $-삼중체 $ \langle L\_\Omega, \Lambda\_\Omega, H\_\Omega \rangle $ 를 수립한다.
• 이 $ \mathfrak{sl}(2) $-작용을 이용하여 하드 레프셰츠 동형사상 $ L\_\Omega^{n-i}: H^i(K^{1/2}) \to H^{2n-i}(K^{1/2}) $ 를 증명한다.
• 쌍대성을 실현하는 쌍대화 $ \langle \eta, \eta' \rangle = L\_\Omega^{n-i}(\eta \wedge J_c(\eta')) \in \mathbb{C} $ 를 정의한다.

실험 결과

연구 질문

• RQ1 고전적 켈러 슈퍼대수와 호지 이론은 비켈러 HKT-다양체로 일반화될 수 있는가?
• RQ2 콤팩트 HKT-다양체에서 $ K^{1/2} $ 의 코homology 에 대해 자연스러운 $ \mathfrak{sl}(2) $-작용이 존재하는가?
• RQ3 HKT-다양체에서 캐논컬 번들 제곱근의 코homology 에 대해 하드 레프셰츠 동형사상이 존재하는가?
• RQ4 HKT-다양체에서 조화 스핀어 공간은 4원수 삼중체 내의 복소構조의 선택과 어떻게 관련되어 있는가?
• RQ5 켈러 다양체의 초대칭 대수는 리 슈퍼대수 작용을 통해 HKT 기하학으로 확장될 수 있는가?

주요 결과

• 정규화된 도르베올 복합체의 코homology $ H^*(K^{1/2}) $ 는 HKT-다양체 위의 조화 스핀어 공간과 캐논컬하게 동형이다.
• $ \mathfrak{sl}(2) $-삼중체 $ \langle L\_\Omega, \Lambda\_\Omega, H\_\Omega \rangle $ 는 정규화된 라플라시안 $ {}^n\Delta $ 와 가환하므로 하드 레프셰츠 동형사상이 가능하다.
• 하드 레프셰츠 정리가 성립한다: 모든 $ i \leq n $ 에 대해 $ L\_\Omega^{n-i}: H^i(K^{1/2}) \to H^{2n-i}(K^{1/2}) $ 는 동형사상이다.
• 세르 쌍대성은 $ \mathfrak{sl}(2) $-작용에 의해 유도된 자연스러운 동형사상 $ H^i(K^{1/2}) \cong H^i(K^{1/2})^* $ 으로 실현된다.
• $ H^i(K^{1/2}) \times H^i(K^{1/2}) $ 위의 쌍대화는 명시적으로 $ \langle \eta, \eta' \rangle = L\_\Omega^{n-i}(\eta \wedge J_c(\eta')) \in \mathbb{C} $ 로 주어진다.
• $ H^*(K^{1/2}) $ 는 4원수 삼중체 $ I,J,K $ 내의 복소構조 $ I $ 의 선택과 무관하며, 따라서 본질적으로 정의된 공간이다.