[論文レビュー] On the Structure of Complex Homogeneous Supermanifolds

Elizaveta Vishnyakova|ArXiv.org|Nov 16, 2008

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

ひとこと要約

本稿では、任意の複素同次超多様体が、複素リー超群の閉じたリー超部分群による商として得られることを確立している。これは、複素多様体における古典的結果を一般化したものである。層論的技法と超多様体の微分幾何学を用いて、$G$-同変な同型写像 $\beta: (G/H, \mathcal{O}_{G/H}) \to (M, \mathcal{O}_M)$ の存在を証明し、これにより、同種の対象が同次超コセット空間によって分類されることを示している。

ABSTRACT

For a Lie group $G$ and a closed Lie subgroup $H\subset G$, it is well known that the coset space $G/H$ can be equipped with the structure of a manifold homogeneous under $G$ and that any $G$-homogeneous manifold is isomorphic to one of this kind. An interesting problem is to find an analogue of this result in the case of supermanifolds. In the classical setting, $G$ is a real or a complex Lie group and $G/H$ is a real and, respectively, a complex manifold. Now, if $G$ is a real Lie supergroup and $H\subset G$ is a closed Lie subsupergroup, there is a natural way to consider $G/H$ as a supermanfold. Furthermore, any $G$-homogeneous real supermanifold can be obtained in this way, see \cite{Kostant}. The goal of this paper is to give a proof of this result in the complex case.

研究の動機と目的

• 複素同次多様体の古典的分類（$G/H$ としての表現）を超幾何的設定に拡張すること。
• 任意の複素 $G$-同次超多様体が、閉じたリー超部分群 $H\subset G$ に対する超コセット空間 $G/H$ に同型であることを確立すること。
• この分類を、複素解析的超多様体フレームワークにおいて、層論的および微分幾何学的証明により厳密に示すこと。
• 文献[1]における実超多様体の結果を複素ケースに一般化し、超同次空間理論におけるギャップを埋めること。

提案手法

• ベルステスト＝ロイテンバーグの意味における複素解析的超多様体の枠組みを用い、超代数の層と超多様体の準同型を扱う。
• 乗法、逆元、単位元の準同型が超設定における群公理を満たす、リー超群の理論を適用する。
• 作用 $\mu_x$ と射影 $p$ によって誘導される層同型 $\beta_2$ を用いて、$G$-同変同型写像 $\beta: (G/H, \mathcal{O}_{G/H}) \to (M, \mathcal{O}_M)$ を構成する。
• 恒等元における作用の微分 $d\mu_x$ を用い、全射性と非退化性を示し、超ドメイン間の局所同型を確立する。
• 左平行移動 $\widetilde{l}_g$ と作用 $\mu$ を含む可換図式を用いて、構成された同型写像の $G$-同変性を証明する。
• 定理1（$\mu|_S$ の局所同型）と微分 $d\mu_x$ の性質に依拠し、$\beta_2$ が適切に定義されかつ可逆であることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の複素 $G$-同次超多様体は、閉じたリー超部分群 $H\subset G$ に対する商 $G/H$ として実現可能か？
• RQ2 リー超群作用を用いて、複素同次多様体の古典的分類をどのように超設定に拡張できるか？
• RQ3 複素リー超群の閉じた部分群による商 $G/H$ が、群作用と整合する自然な超多様体構造を持つための条件は何か？
• RQ4 任意の $G$-同次超多様体 $M$ と $G/H$ の間に $G$-同変同型写像が存在するか？
• RQ5 作用準同型を介して、$G/H$ の層論的構造を $M$ のものに一致させることは可能か？

主な発見

• 任意の複素 $G$-同次超多様体は、閉じたリー超部分群 $H\subset G$ に対する超コセット空間 $G/H$ に同型である。
• 同型写像 $\beta: (G/H, \mathcal{O}_{G/H}) \to (M, \mathcal{O}_M)$ は、作用 $\mu_x$ によって誘導される層同型 $\beta_2$ を用いて明示的に構成される。
• 構成された同型写像 $\beta$ は $G$-同変である。これは図式(10)の可換性を意味し、群作用と整合することを保証する。
• 作用の微分 $d\mu_x$ は、推移性により全射であり、非退化性のおかげで $\mu|_S$ が $M$ 内の超ドメインに局所同型であることが保証される。
• 局所的に、層 $p_2(\mathcal{O}_{G/H})$ と $\mu_{x,2}(\mathcal{O}_M)$ が一致する。これは、全域的に一致することを意味し、したがって逆層準同型 $\beta_2$ の存在が保証される。
• 証明は、図式(13)の平行移動の可換性に依拠しており、これにより層構造が左乗法および作用準同型の下で保存されることが保証される。