[論文レビュー] Quaternion-Kahler spaces, hyperkahler cones, and the c-map

M. Roček, Cumrun Vafa+1 more|ArXiv.org|Mar 2, 2006

Advanced Differential Geometry Research参考文献 24被引用数 10

ひとこと要約

本稿では、特殊カーラー幾何からc-写像を用いて得られるクaternionケーラー多様体の上に、ハイパーケーラー錐（スワンバンドル）を構成する。ハイパーケーラー汎関数をプレポテンシャル $F(X)$ の言語で明示的に導出し、得られるHKCが $n+2$ 個の可換な三複素構造的等長変換を備えていることを示し、これにより $F$ に関連する同次関数 $H$ の輪郭積分を用いたレジェンドル変換記述が可能になる。主な結果は、c-写像の出力が、明示的な汎関数とツイスター空間構造を伴うハイパーケーラー錐としての直接的な幾何的実現である。

ABSTRACT

Under the action of the c-map, special Kahler manifolds are mapped into a class of quaternion-Kahler spaces. We explicitly construct the corresponding Swann bundle or hyperkahler cone, and determine the hyperkahler potential in terms of the prepotential of the special Kahler geometry.

研究の動機と目的

• 特殊カーラー幾何からc-写像を用いて得られるクaternionケーラー多様体の上に、スワンバンドル（ハイパーケーラー錐）を構成すること。
• 特殊カーラー多様体の正則プレポテンシャル $F(X)$ の言語でハイパーケーラー汎関数を決定すること。
• 得られるハイパーケーラー錐が $n+2$ 個の可換な三複素構造的等長変換を備えていることを示し、それらがクaternion次元に一致することを確認すること。
• ハイパーケーラー汎関数を、$F$ に関連する同次関数 $H$ の輪郭積分を用いたレジェンドル変換記述として確立すること。
• ハイパーケーラー錐のツイスター空間を、$\mathcal{O}(2)$ バンドルの断面としての言語で幾何的実現すること。

提案手法

• 実次元 $2n$ の射影的特殊カーラー多様体に $G$-バンドル（座標 $\phi, \sigma, A^I, B_I$ を持つ）と半直積群作用を用いてc-写像を適用する。
• プレポテンシャル $F$ を用いて、$\mathcal{N} + \bar{\mathcal{N}}$ の逆行列により定義される $W^I$ を用いて、クaternionケーラー計量を $G$-不変計量として明示的に構成する。
• レジェンドル変換構造を満たす座標 $w_0, w_I$ を導入し、ハイパーケーラー汎関数 $\chi$ を $\chi = K(X, \bar{X})$ として導出する。ここで $X^I$ はツイスター変数で表される。
• ツイスター空間は $G^{\hat{I}}$ 変数を用いて記述され、$2A^I = G^I / G^0$ および $4e^{\phi} = K(v, \bar{v}) / (G^0)^2$ という関係により、QK座標とツイスター情報が結びつけられる。
• $H(\eta)$ を $H(\eta^I, \eta^0) = F[X^I(\eta^I, \eta^0)]$ と定義し、ここで $X^I = \eta^I / \sqrt{\eta^0}$ である。この関数が一次同次であることを示す。
• ハイパーケーラー汎関数が元の特殊カーラー幾何のケーラー汎関数 $K(X, \bar{X})$ に等しいことを示し、構成の幾何的整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 c-写像を用いて特殊カーラー幾何から得られるクaternionケーラー多様体の上に、スワンバンドル（ハイパーケーラー錐）をどのように明示的に構成できるか？
• RQ2 特殊カーラー多様体のプレポテンシャル $F(X)$ の言語で、ハイパーケーラー汎関数の明示的形は何か？
• RQ3 得られるハイパーケーラー錐の等長変換はクaternion次元とどのように関係し、汎関数の構造にどのような意味を持つのか？
• RQ4 ハイパーケーラー汎関数はレジェンドル変換と輪郭積分を用いて記述可能か？この記述における関数 $H$ の役割は何か？
• RQ5 ハイパーケーラー錐のツイスター空間は、元の特殊カーラーデータの言語でどのように幾何的解釈できるか？

主な発見

• スワンバンドルのハイパーケーラー汎関数 $\chi$ は、元の特殊カーラー幾何のケーラー汎関数 $K$ を用いて、$\chi(v, \bar{v}, w, \bar{w}) = K(X^I, \bar{X}^I)$ と明示的に与えられる。
• 得られるハイパーケーラー錐は $n+2$ 個の可換な三複素構造的等長変換を備え、それらはクaternion次元に一致しており、これによりレジェンドル変換記述が可能になる。
• $H(\eta)$ は一次同次関数であり、$H(\eta^I, \eta^0) = F[X^I(\eta^I, \eta^0)]$ と与えられ、ここで $X^I = \eta^I / \sqrt{\eta^0}$ である。この関数は直接的にプレポテンシャル $F$ に関連しており、ハイパーケーラー錐の特徴を特定する。
• ハイパーケーラー錐のツイスター空間は、$n+2$ 個の $\mathcal{O}(2)$ ラインバンドルの断面として記述され、元の $A^I, \phi, \sigma$ と関係式 $2A^I = G^I / G^0$ および $4e^{\phi} = K(v, \bar{v}) / (G^0)^2$ を通じて結びつけられる。
• クaternionケーラー空間の計量は、ハイパーケーラー錐計量の $-1/8$ スケーリングと座標の同一視により回復され、c-写像の構成と整合的であることが確認された。
• $F(X) = d_{ABC} X^A X^B X^C / X^1$ の例において、得られるハイパーケーラー錐は対称空間 $SO(n+1,4)/(SO(n+1) \times SO(4))$ に一致し、幾何的分類が確認された。