[论文解读] 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$-不变的斯坦域的复杂版本科斯塔nt非线性凸性定理，证明了伊wasawa投影 $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.

研究动机与目标

• 在斯坦对称空间的背景下，建立科斯塔nt非线性凸性定理的复版本。
• 在复冠 $\Xi = G\exp(i\Omega)K_\mathbb{C}/K_\mathbb{C}$ 内构造一类广义的 $G$-不变斯坦子域。
• 通过水平筒和伊wasawa投影来刻画这些域的几何结构。
• 通过证明 $\Xi = \Xi_I$ 并利用斯坦域的交集来证明斯坦性，从而解决关于 $\Xi$ 是否为斯坦域的长期悬而未决的问题。

提出的方法

• 将伊wasawa投影 $a: G \to A$ 解析延拓至 $G\exp(i\Omega)K_\mathbb{C}/K_\mathbb{C}$。
• 证明对于 $X \in \Omega$，有 $a(G\exp(iX)) \subseteq A\exp(i\operatorname{conv}(\mathcal{W}X))$，从而确立复凸性定理。
• 对开、凸且 $\mathcal{W}$-不变的 $\omega \subseteq \Omega$，定义 $\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 伊wasawa投影在 $\Xi(\omega)$ 上的像是否能通过威尔群轨道的凸包来描述？
• RQ3 $\Xi$ 的 $G$-不变斯坦子域能否被表征为水平筒的交集？
• RQ4 伊wasawa投影虚部的边界行为如何刻画 $\Xi(\omega)$ 的边界？
• RQ5 复凸性定理是否能将科斯塔nt原始结果推广到非紧致复情形？

主要发现

• 复凸性定理成立：对所有 $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)$ 提供了几何表征，即其为水平筒交集的连通分支。
• 伊wasawa投影的像满足 $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$ 是斯坦域。