[論文レビュー] Hyperkaehler manifolds with torsion, supersymmetry and Hodge theory

Misha Verbitsky|ArXiv.org|Dec 20, 2001

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多様体上の正規化された canonical バンドル平方根 $ K^{1/2} $ のコホモロジーに対して、ハード・リーマン同型とセレール双対性を確立すること。
• 調和スピン角空間が、四元数的三重 $ I,J,K $ 内の複素構造の選び方に依存しないことの証明。
• ケーラーの場合に類似した、HKT多様体上でのスーパーサイミメトリ・代数の幾何的実現を提供すること。

提案手法

• ハイパーコンプレックス・ヘルミート構造から誘導される、$ (M,I) $ 上の標準的 $ (2,0) $-形式 $ \Omega $ を定義する。
• 複素形式 $ \Lambda^{p,0}(M) \otimes K^{1/2} $ 上に正規化されたドルベール微分 $ {}^n\partial $ を導入し、複体 (10.5) を形成する。
• 正規化されたラプラシアン $ {}^n\Delta = \{{}^n\partial, \partial^*\} $ を構成し、そのコホモロジーが調和スピン角に一致することを示す。
• 正規化されたラプラシアンと可換な $ \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} $ のコホモロジーに標準的 $ \mathfrak{sl}(2) $-作用が存在するか？
• RQ3 HKT多様体上の canonical バンドル平方根のコホモロジーに対して、ハード・リーマン同型が成立するか？
• RQ4 HKT多様体上の調和スピン角空間は、四元数的三重内の複素構造の選び方にどのように依存するか？
• RQ5 ケーラー多様体のスーパーサイミメトリ・代数は、Lie超代数作用を介してHKT幾何に拡張可能か？

主な発見

• 正規化されたドルベール複体のコホモロジー $ 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}) $ の空間は、四元数的三重 $ I,J,K $ 内の複素構造 $ I $ の選び方に依存せず、したがって内在的に定義される。