[論文レビュー] On univalence of equivariant Riemann domains over the complexification of a non-compact, Riemannian symmetric space

Laura Geatti, Andrea Iannuzzi|ArXiv.org|Dec 6, 2006

Advanced Algebra and Geometry参考文献 17被引用数 4

ひとこと要約

本稿は、非コンパクトでランク1のリーマン対称空間 $G^\mathbb{C}/K^\mathbb{C}$ の複素化上における、全純的分離可能で $G$-不変なリーマン被覆域が、$G$ が $SL(2,\mathbb{R})$ の被覆でない限り、一価的であることを確立する。証明は、$G^\mathbb{C}/K^\mathbb{C}$ の $G$-不変な複素幾何学を分析し、そのシュタイン $G$-不変部分域を分類し、軌道構造とモノドロミーの制御を通じて、被覆写像の単射性を示すことにも依存する。

ABSTRACT

Let G/K be a non-compact, rank-one, Riemannian symmetric space and let G^C be the universal complexification of G. We prove that a holomorphically separable, G-equivariant Riemann domain over G^C / K^C is necessarily univalent, provided that G is not a covering of SL(2, R). As a consequence of the above statement one obtains a univalence result for holomorphically separable, G x K -equivariant Riemann domains over G^C. Here G x K acts on G^C by left and right translations. The proof of such results involves a detailed study of the G-invariant complex geometry of the quotient G^C / K^C, including a complete classification of all its Stein G-invariant subdomains.

研究の動機と目的

• $G^\mathbb{C}/K^\mathbb{C}$ 上の $G$-不変リーマン被覆域が一価的（つまり単射的）であるための条件を同定すること。
• 特に非コンパクトでランク1の対称空間の場合に、全純的分離可能で $G$-不変なリーマン被覆域の単価性問題を解決すること。
• $G^\mathbb{C}/K^\mathbb{C}$ のすべてのシュタイン $G$-不変部分域を分類し、それらを用いて単価性の結果を導出すること。
• $K$-軌道の非自明な被覆が関与する既知の反例があるため、$SL(2,\mathbb{R})$ 及びその被覆を例外として除外すること。

提案手法

• $G^\mathbb{C}/K^\mathbb{C}$ の $G$-軌道構造、特に主軌道および特異軌道の位相を分析すること。
• $G \times K$-不変な被覆域を $G^\mathbb{C}$ 上で、$G$-不変な被覆域を $G^\mathbb{C}/K^\mathbb{C}$ 上で関連付けるために、カテゴリー的 $K$-還元を用いること。
• 特に主軌道に対して、位相的および複素幾何学的議論を通じて、各 $G$-軌道上で被覆写像の単射性を確立すること。
• 局所的スライスの上昇と特異軌道回りのモノドロミーの制御により、軌道ごとの単射性を全被覆域に拡張すること。
• カテゴリー的商の結果（例えばヘインツナーの定理）を適用し、商被覆域がシュタインのままであることを保証すること。
• $G$-軌道上のリーマン形式を用いて曲率と定符号性を分析し、シュタイン被覆域の境界挙動の分類に役立てる。

実験結果

リサーチクエスチョン

• RQ1 全純的分離可能で $G$-不変なリーマン被覆域が $G^\mathbb{C}/K^\mathbb{C}$ 上で一価的であるための条件は何か？
• RQ2 $G = \widetilde{SL}(2,\mathbb{R})$ の場合に単価性が成立しない理由は何か？他の非コンパクト対称空間とはどのように異なるか？
• RQ3 $G^\mathbb{C}/K^\mathbb{C}$ 上の $G$-軌道構造とリーマン形式が、不変被覆域の単価性にどのように影響するか？
• RQ4 $G^\mathbb{C}$ 上の $G \times K$-不変被覆域の単価性は、$G^\mathbb{C}/K^\mathbb{C}$ 上の $G$-不変被覆域の単価性に還元可能か？
• RQ5 $G^\mathbb{C}/K^\mathbb{C}$ のシュタイン $G$-不変部分域の完全な分類は何か？そしてそれは単価性とどのように関係するか？

主な発見

• $G$ が $SL(2,\mathbb{R})$ の被覆でない限り、全純的分離可能で $G$-不変なリーマン被覆域は $G^\mathbb{C}/K^\mathbb{C}$ 上で一価的であり、単価性の鋭い例外が特定された。
• カテゴリー的 $K$-還元を用いることで、$G^\mathbb{C}$ 上の $G \times K$-不変リーマン被覆域の単価性結果が保たれ、単射性が保存される。
• $G^\mathbb{C}/K^\mathbb{C}$ の $G$-軌道構造が完全に分析され、主軌道が被覆写像のもとで単射であることが示された。
• 特異 $G$-軌道回りのモノドロミー障害は、1次元の局所的スライスの上昇と、非シュタイン被覆域の複素幾何学的性質の使用により克服された。
• $G$-軌道上のリーマン形式は、$\mathfrak{g} = \mathfrak{su}(n,1)$ の場合に定符号であり、$\mathfrak{g} = \mathfrak{sp}(n,1)$ または $\mathfrak{f}_4^*$ の場合には不定符号である。これはシュタイン被覆域の境界挙動を決定づける。
• $G^\mathbb{C}/K^\mathbb{C}$ 上のすべてのシュタインで $G$-不変なリーマン被覆域は、$G^\mathbb{C}/K^\mathbb{C}$ の $G$-不変なシュタイン部分域として実現され、幾何学的埋め込みの可能性が確認された。