[論文レビュー] Invariant Stein domains in Stein symmetric spaces and a non-linear complex convexity theorem

Simon Gindikin, Bernhard Kroetz|ArXiv.org|Oct 17, 2001

Advanced Algebra and Geometry参考文献 3被引用数 5

ひとこと要約

本稿は、シュタイン対称空間内の $G$-不変なシュタイン領域について、コスタントの非線形凸性定理の複素版を確立する。具体的には、アイワサ投影 $a: \Xi(\omega) \to A_\mathbb{C}$ の像が $A\exp(i\operatorname{conv}(\mathcal{W}X))$ に含まれることを証明する。主な貢献は、$G$-不変なシュタイン領域 $\Xi(\omega)$ が水平超曲面チューブの共通部分集合の連結成分として特徴づけられることを示し、そのシュタイン性を確立するとともに、境界挙動の幾何的記述を提供することにある。

ABSTRACT

We prove a complex version of Kostant's non-linear convexity theorem. Applications to the construction of G-invariant Grauert tubes of non-compact Riemannian symmetric G/K spaces are given.

研究の動機と目的

• シュタイン対称空間の文脈において、コスタントの非線形凸性定理の複素版を確立すること。
• 複素クラウン $\Xi = G\exp(i\Omega)K_\mathbb{C}/K_\mathbb{C}$ 内に広範な $G$-不変シュタイン部分領域を構成すること。
• 水平超曲面チューブとアイワサ投影を用いて、これらの領域の幾何的性質を特徴づけること。
• 長年の未解決問題であった $\Xi$ がシュタイン領域かどうかを解消し、$\Xi = \Xi_I$ を示し、シュタイン性をシュタイン領域の共通部分集合によって証明すること。

提案手法

• アイワサ投影 $a: G \to A$ を $G\exp(i\Omega)K_\mathbb{C}/K_\mathbb{C}$ に正則に拡張する。
• 任意の $X \in \Omega$ に対して、$a(G\exp(iX))$ が $A\exp(i\operatorname{conv}(\mathcal{W}X))$ に含まれることを証明し、複素凸性定理を確立する。
• $\omega \subseteq \Omega$ を開かつ凸で $\mathcal{W}$-不変な集合とするとき、$\Xi(\omega) = G\exp(i\omega)K_\mathbb{C}/K_\mathbb{C}$ を定義する。
• 水平超曲面チューブ $T(g,\omega) = g(N_\mathbb{C} A\exp(i\omega)K_\mathbb{C}/K_\mathbb{C})$ をシュタイン領域として導入する。
• $\Xi(\omega) = \left(\bigcap_{g \in G} T(g,\omega)\right)_0$ を示し、領域を水平超曲面チューブの共通部分集合の連結成分と関連付ける。
• $K$ のコンパクト性を用いて、$\bigcap_{g \in G} T(g,\omega)$ が開集合であり、したがってシュタインであることを示し、$\Xi(\omega)$ がシュタインであることを示す。

実験結果

リサーチクエスチョン

• RQ1 複素クラウン $\Xi = G\exp(i\Omega)K_\mathbb{C}/K_\mathbb{C}$ はシュタイン領域か？
• RQ2 アイワサ投影の像は、ワイル群の軌道の凸包によって記述可能か？
• RQ3 $G$-不変シュタイン部分領域は、水平超曲面チューブの共通部分集合として特徴づけられるか？
• RQ4 アイワサ投影の虚部としての境界挙動はどのように記述できるか？
• RQ5 複素凸性定理は、非コンパクトかつ複素の設定においてコスタントの元の結果を一般化するか？

主な発見

• 複素凸性定理が成立する：任意の $X \in \Omega$ に対して $a(G\exp(iX)) \subseteq A\exp(i\operatorname{conv}(\mathcal{W}X))$ が成り立つ。
• $\Xi(\omega) = \left(\bigcap_{g \in G} T(g,\omega)\right)_0$ であり、これは $\Xi(\omega)$ の幾何的特徴づけを提供する。
• アイワサ投影の像は $a(\Xi(\omega)) = A\exp(i\omega)$ を満たし、複素凸性結果を精緻化する。
• 任意の開かつ凸で $\mathcal{W}$-不変な $\omega \subseteq \Omega$ に対して、$\Xi(\omega)$ はシュタイン領域である。これは、シュタイン領域の開集合の共通部分集合の連結成分であるためである。
• $\Xi(\omega)$ の境界は次のように特徴づけられる：$z_n \to z_0 \in \partial\Xi(\omega)$ ならば、$\operatorname{Im}\log a(z_n)$ は $\omega$ に含まれ、すべての集積点は $\partial\omega$ に属する。
• 長年の未解決問題であった $\Xi$ のシュタイン性が解決され、$\Xi = \Xi_I$ であり、したがって $\Xi$ はシュタイン領域である。