[論文レビュー] Generalized Kaehler geometry of instanton moduli spaces

Henrique Bursztyn, Gil R. Cavalcanti+1 more|arXiv (Cornell University)|Mar 11, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 11

ひとこと要約

この論文は、コンpactな偶数次元一般化Kähler多様体上のインスタントンモジュライ空間に生じる一般化Kähler構造が、一般化Kähler還元によって生じることを確立している。ゲージ作用をCourant代数ダルブに持ち上げ、そのモーメント写像が自己双対曲率に値をとることで、著者たちはモジュライ空間がCourant還元を通じて一般化Kähler構造を引き継ぐことを示し、Hitchinの結果を統一的な枠組みで再構成するとともに、Donaldsonのμ写像が3次に果たす役割を明らかにした。

ABSTRACT

We prove that Hitchin's generalized Kaehler structure on the moduli space of instantons over a compact, even generalized Kaehler four-manifold may be obtained by generalized Kaehler reduction, in analogy with the usual Kaehler case. The underlying reduction of Courant algebroids is a realization of Donaldson's $μ$-map in degree three.

研究の動機と目的

• インスタントンモジュライ空間の一般化Kähler還元フレームワークを提供し、Hitchinが提起したより深い幾何的メカニズムの解明に寄与すること。
• モジュライ空間上の一般化Kähler構造が、接続空間のCourant還元によって生じることを示すこと。
• 3次のDonaldsonのμ写像を一般化幾何学におけるモーメント写像として実現すること。
• 古典的Kähler還元の枠組みをCourant代数ダルブ還元を用いて一般化Kähler構造へと拡張すること。
• 特にホフ・サーフェスにおいて、モジュライ空間上の一般化複素構造のタイプの変化を分析すること。

提案手法

• 閉3形式$ H $を用いて、接続空間上の無限小ゲージ作用をCourant代数ダルブ$ T\mathcal{A} \oplus T^*\mathcal{A} $への写像に持ち上げる。
• 各接続に対して自己双対曲率$ F^A_+ $を割り当てるモーメント写像$ \mu: \mathcal{A} \to \Omega^2_+(M, \mathfrak{g}_E) $を定義する。
• 持ち上げた作用とモーメント写像を用いて、$ \mathcal{A} $上の自明なCourant代数ダルブのCourant還元を実行し、$ \mathcal{M} $上に還元されたCourant代数ダルブを得る。
• モジュライ空間$ \mathcal{M} $上の一般化Kähler構造が、還元データと整合する、$ \mathcal{A} $上の整合性のある一般化Kähler構造の対から誘導されることを示す。
• 一般化Kähler還元フレームワークを用いて、偶数次元一般化Kähler四次元多様体上のインスタントンモジュライ空間に関してHitchinの結果を再現する。
• ホフ・サーフェスの例を分析し、楕円曲線上のコホロロジー的メソッドを用いて、モジュライ空間に誘導される一般化複素構造のタイプを計算する。

実験結果

リサーチクエスチョン

• RQ1 インスタントンモジュライ空間上の一般化Kähler構造は、一般化Kähler還元手続きによって導出可能か？
• RQ2 一般化Kähler還元フレームワークは、3次のDonaldsonのμ写像をどのように実現するか？
• RQ3 特に退化点集合の存在下で、モジュライ空間上の一般化複素構造のタイプの挙動はいかなるものか？
• RQ4 接続空間上の一般化Kähler還元は、Kählerの場合の古典的Kähler還元とどのように関係するか？
• RQ5 ホフ・サーフェス上の$ SU(2) $インスタントンのモジュライ空間における、一般化複素構造の正確なタイプ変化は何か？

主な発見

• インスタントンモジュライ空間上の一般化Kähler構造は、一般化Kähler還元によって得られ、Hitchinの結果が統一的な還元機構を通じて裏付けられた。
• Courant還元のモーメント写像は、自己双対曲率$ \mu(A) = F^A_+ $で与えられ、$ \Omega^2_+(M, \mathfrak{g}_E) $に値をとり、3次のDonaldsonのμ写像を実現する。
• ホフ・サーフェスでは、モジュライ空間$ \mathcal{M}_k $上の一般化複素構造$ \mathcal{J}_1 $のタイプは1から$ 2k+1 $の間を変動し、$ \mathrm{type}(\mathcal{J}_1) + \mathrm{type}(\mathcal{J}_2) \leq 2(k+1) $が成り立つ。
• $ SU(n) $インスタントンでは、モジュライ空間上の一般化複素構造のタイプは少なくとも$ n-1 $であり、滑らかな除数上の一般な安定バンドルでは等号が成立する。
• $ \mathcal{M}_k $上の正則ポisson構造のランクは$ 4k - \dim H^0(D, \mathrm{End}_0(\mathbf{E}|_D)) $に一致し、Moraruの計算と整合する。
• 還元プロセスは、ゲージ作用をCourant代数ダルブに持ち上げ、モーメント写像および一般化複素構造と整合性を保つことで、一般化Kähler構造を保存する。