[論文レビュー] Elementary deformations and the hyperKähler-quaternionic Kähler correspondence

Óscar Maciá, Andrew Swann|arXiv (Cornell University)|Apr 4, 2014

Geometry and complex manifolds参考文献 8被引用数 3

ひとこと要約

この論文は、ねじり構成と基本的変形の組み合わせとして解釈することにより、超ケーラー／クaternion的ケーラー対応の一意性を確立する。この対応には唯一の自由度しかなく、c-写像の構成を全球的に実現するフレームワークを適用し、フェララとサバールワールの知られた例（例えば、リー群構造を備えたねじった空間上）を検証する。

ABSTRACT

The hyperKähler-quaternionic Kähler correspondence constructs quaternionic Kähler metrics from hyperKähler metrics with a rotating circle symmetry. We discuss how this may be interpreted as a combination of the twist construction with the concept of elementary deformation, surveying results of our forthcoming paper. We outline how this leads to a uniqueness statement for the above correspondence and indicate how basic examples of c-map constructions may be realised in this context.

研究の動機と目的

• ねじり構成と基本的変形を用いて、超ケーラー／クaternion的ケーラー対応の背後にある幾何的メカニズムを明確化すること。
• この対応が唯一の自由度しかも持たないことを証明し、一意性の定理を確立すること。
• 回転する円周対称性を有する超ケーラー計量の文脈において、c-写像構成を全球的かつ計算可能に実現するフレームワークを提供すること。
• 特に剛体的c-写像に由来するクaternion的ケーラー計量の既知の例（例えば、フェララとサバールワールの例）を、ねじりと変形手順によって構成し、検証すること。
• 得られたねじった計量が完全で、可解リー群上に左不変構造を備えていることを示すこと。

提案手法

• 回転する円周対称性を有する超ケーラー多様体にねじり構成を適用し、ねじりデータ (M, X, F, a) を用いる。ここで X は円周作用を生成し、F は X-不変な整形式2形式であり、a は da = -X⌟F を満たす。
• 接続形式および曲率を調整することで基本的変形を導入し、ねじりの下でも幾何的構造を保存する。特に、ねじり後にケーラー形式が閉じたまま保たれることを保証する。
• H-関連するテンソルを用いて、元の多様体からの不変構造をねじった多様体へと写像する。ねじった空間上の微分形式の外微分を支配する重要な公式が存在する。
• 曲率 F が複素構造 I に関して (1,1) 型であることを利用し、ねじったほぼ複素構造の積分可能性を保証する。
• c-写像の例では、射影的特殊ケーラー多様体（例えば、ℝH(2)）から出発し、平坦なシンプレクティック接続を持つコーン計量へと上げる。その後、余接 bundle 上に超ケーラー計量を構成する。
• 上げた回転対称性を用いてねじりを実行し、ねじり関数を -t²/2 + c と選ぶ。これにより、ねじった空間上で全球的で完全なクaternion的ケーラー計量が得られる。

実験結果

リサーチクエスチョン

• RQ1 超ケーラー／クaternion的ケーラー対応を定義するのに必要な最小限のデータは何か。また、それは一意的か？
• RQ2 ねじり構成と基本的変形をどのように組み合わせれば、対応に必要な幾何的構造を保存できるか？
• RQ3 非コンパクトな対称空間のケースにおいて、c-写像構成がねじりと変形フレームワークを用いて完全に実現可能で、検証可能か？
• RQ4 ねじり後のクaternion的ケーラー計量の全球的構造は何か。また、リー群構造を備えているか？
• RQ5 どのような条件下でねじりが完全で正定値計量を生成するか。また、構造定数を用いてこれをどのように確認できるか？

主な発見

• 超ケーラー／クaternion的ケーラー対応が唯一の自由度しかも持たないことが示され、この構成の一意性が確立された。
• 回転する円周対称性を有する超ケーラー多様体のねじりに加え、基本的変形を適用するとクaternion的ケーラー計量が得られ、この構成はねじり関数の選択を除いて一意的である。
• λ² = 4 の剛体的c-写像例では、得られたねじった計量は対称空間 Gr₂(ℂ²²) に等長であり、可解リー群上の左不変計量として実現される。
• λ² = 4/3 の場合、ねじった空間の普遍被覆は G₂*/SO(4) として特定され、対応する対称空間の計量構造が確認された。
• ねじった空間上のクaternion的ケーラー計量は完全で、正定値であり、元の超ケーラー構造と H-関連する coframe において定数係数を持つ。
• H-関連する coframe の構造関数は定数であり、ねじった空間が左不変計量を備えたリー群構造を有することを確認した。