[論文レビュー] HyperKähler Potentials in Cohomogeneity Two

Piotr Kobak, Andrew Swann|ArXiv.org|Jan 5, 2000

Geometry and complex manifolds被引用数 6

ひとこと要約

この論文は、複素単純リー代数における余次元2の冪零軌道に対して、Calabiの方法を用いて超ケーラー潜在関数を明示的に計算し、そのような潜在関数が大多数の場合は存在し、一意的であることを示している。特定の状況では、Eguchi-Hanson計量を一般化する1パラメータ族の計量に位置し、すべての余次元2軌道に一様な構成法を提供し、次に最小の軌道に関する既知の結果を拡張している。

ABSTRACT

A hyperKähler potential is a function rho that is a Kähler potential for each complex structure compatible with the hyperKähler structure. Nilpotent orbits in a complex simple Lie algebra are known to carry hyperKähler metrics admitting such potentials. In this paper, we explicitly calculate the hyperKähler potential when the orbit is of cohomogeneity two. In some cases, we find that this structure lies in a one-parameter family of hyperKähler metrics with Kähler potentials, generalising the Eguchi-Hanson metrics in dimension four.

研究の動機と目的

• 複素単純リー代数における余次元2の冪零軌道の超ケーラー潜在関数を明示的に計算すること。
• これらの軌道上で、G-不変な超ケーラー計量が潜在関数を備える場合の存在および一意性を特定すること。
• 4次元のEguchi-Hanson計量を、1パラメータ族を用いて高次元の余次元2軌道へ一般化すること。
• 他の構成法が失敗する場合を含め、すべての余次元2冪零軌道に適用可能な一様な方法を提供すること。
• 先行研究と組み合わせることで、次に最小の軌道の超ケーラー潜在関数の分類を完了すること。

提案手法

• 著者たちは、超ケーラー族における各複素構造に対してケーラー的である潜在関数を用いて超ケーラー計量を構成するCalabiの方法を適用する。
• 接空間上でほぼ複素構造JがJ² = -1を満たすという条件から、潜在関数ρに関する偏微分方程式系を導出する。
• 各軌道元がso(4,ℂ) ≅ sl(2,ℂ) ⊕ sl(2,ℂ)に同型なランク2の実部分代数に属することを利用し、問題を積分構造に還元する。
• 導関数ρ_sおよびρ_tを含む偏微分方程式系を解くことにより、潜在関数ρがρ = 8√(s² + 9t²)（符号を除き）として明示的に得られる。
• 潜在関数の一意性は、潜在関数を部分軌道O_Δに制限することで確立され、O_Δは2つのsl(2,ℂ)-軌道の積O₁ × O₂であり、それぞれが一意な超ケーラー潜在関数を持つ。
• 本構成は、半単純軌道および超ケーラー商に関するBiquard-Gauduchonの研究と整合することが示された。

実験結果

リサーチクエスチョン

• RQ1 複素単純リー代数における余次元2の冪零軌道の超ケーラー潜在関数の明示的形は何か？
• RQ2 どの状況で、これらの潜在関数がケーラー潜在関数を備えた1パラメータ族の超ケーラー計量に属するか？
• RQ3 このような潜在関数の存在が、特にso(4,ℂ)に注目した軌道の幾何学およびその部分代数とどのように関係するか？
• RQ4 超ケーラー商や極限構成法が失敗する場合を含め、すべての余次元2冪零軌道に一様な方法を適用可能か？
• RQ5 1パラメータ族の計量の出現に、条件𝔤(1) = 0が果たす役割は何か？

主な発見

• 余次元2の冪零軌道の超ケーラー潜在関数は、ρ = 8√(s² + 9t²)として明示的に計算され、正の符号が正定値計量を保証する。
• E_+ ≅ ℂ^s ⊗ S⁻¹である場合、潜在関数は1パラメータ族の超ケーラー計量に位置し、4次元のEguchi-Hanson計量を一般化する。
• 各軌道に対して潜在関数は一意的であり、それはO_Δ ≅ O₁ × O₂という積部分軌道に制限された一意な超ケーラー潜在関数に一致しなければならない。
• 他の方法（超ケーラー商や極限）が失敗する場合でさえ、本構成はすべての余次元2冪零軌道に一貫して適用可能である。
• 1パラメータ族の計量は、Beauville bundleが余接 bundle T*ℱと一致する場合、すなわち𝔤(1) = 0のときに正確に出現する。
• 本方法により、次に最小の軌道の超ケーラー潜在関数が完全に特定され、このクラスにおける分類が完了した。