[論文レビュー] Characterization of cycle domains via Kobayashi hyperbolicity

Gregor Fels, Alan Huckleberry|ArXiv.org|Apr 29, 2002

Advanced Differential Equations and Dynamical Systems参考文献 13被引用数 4

ひとこと要約

本稿では、いくつかの例外的ケースを除き、複素半単純リー群の実形式 $G$ に対し、$G^\mathbb{C}$-フラット多様体内の開 $G$-軌道 $D$ に付随するすべてのウルフ周期的領域 $\Omega_W(D)$ が同一であり、明示的に計算可能な普遍的領域 $\Omega_{\rm AG}$ に等しいことを確立している。主な技術的道具は、群論的および複素幾何的手法を用いて、$\Omega_{\rm AG}$ がそれ自身を含む唯一の $G$-不変で、コバヤシ双曲的かつステイン領域であることを特徴づけるものである。

ABSTRACT

A real form $G$ of a complex semisimple Lie group $G^C$ has only finitely many orbits in any given $G^C$-flag manifold $Z=G^C/Q$. The complex geometry of these orbits is of interest, e.g., for the associated representation theory. The open orbits $D$ generally possess only the constant holomorphic functions, and the relevant associated geometric objects are certain positive-dimensional compact complex submanifolds of $D$ which, with very few well-understood exceptions, are parameterized by the Wolf cycle domains $Ω_W(D)$ in $G^C/K^C$, where $K$ is a maximal compact subgroup of $G$. Thus, for the various domains $D$ in the various ambient spaces $Z$, it is possible to compare the cycle spaces $Ω_W(D)$. The main result here is that, with the few exceptions mentioned above, for a fixed real form $G$ all of the cycle spaces $Ω_W(D)$ are the same. They are equal to a universal domain $Ω_{AG}$ which is natural from the the point of view of group actions and which, in essence, can be explicitly computed. The essential technical result is that if $\hat Ω$ is a $G$-invariant Stein domain which contains $Ω_{AG}$ and which is Kobayashi hyperbolic, then $\hat Ω=Ω_{AG}$. The equality of the cycle domains follows from the fact that every $Ω_W(D)$ is itself Stein, is hyperbolic, and contains $Ω_{AG}$.

研究の動機と目的

• 複素半単純リー群の実形式 $G$ に対して、$G^\mathbb{C}$-フラット多様体内の開 $G$-軌道 $D$ に付随するウルフ周期的領域 $\Omega_W(D)$ の構造を特徴づけること。
• これらの周期的領域が異なる開軌道 $D$ に対して等しくなる条件を特定する長年の未解決問題を解消すること。
• 固定された実形式 $G$ に対して、すべてのこのような周期的領域の共通構造を捉える普遍的領域 $\Omega_{\rm AG}$ を特定すること。
• コバヤシ双曲的性とステイン領域の性質を用いて、$\Omega_{\rm AG}$ の特徴づけを確立すること。

提案手法

• 著者らは、$G^\mathbb{C}$-フラット多様体内のすべての開 $G$-軌道 $D$ に対して、すべての周期的領域 $\Omega_W(D)$ の共通部分として普遍的領域 $\Omega_{\rm AG}$ を定義する。
• 双曲的性の条件を用いることで、$\Omega_{\rm AG}$ がそれ自身を含む任意の $G$-不変で、コバヤシ双曲的かつステイン領域 $\widehat{\Omega}$ と等しくなることを証明する。
• 各 $\Omega_W(D)$ が $\Omega_{\rm AG}$ を含む $G$-不変で、コバヤシ双曲的かつステイン領域であるという事実に依拠し、すべての $\Omega_W(D)$ が $\Omega_{\rm AG}$ と一致することを強制する。
• 複素幾何的技法——特に $G$-不変性、正則凸性、およびコバヤシ双曲的性の相関関係——と、実半単純リー群の群論的構造およびそのフラット多様体を組み合わせた証明を採用する。
• 著者らは、基本周期 $C_0$ が周期空間 $\mathcal{C}^q(Z)$ 内の軌道 $\Omega = G^\mathbb{C} \cdot C_0$ を生成すること、および $\Omega_W(D)$ が $\Omega \cap \mathcal{C}^q(D)$ の $C_0$ を含む連結成分であることに着目する。
• 例外的ケースの取り扱いには、ヘルミート型群および双対有界対称領域に関する既知の結果を活用し、すべてのフラット多様体 $Z$ におけるすべての周期的領域の共通部分として、普遍的領域 $\Omega_{\rm AG}$ が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 複素半単純リー群の実形式 $G$ に対して、$G^\mathbb{C}$-フラット多様体内の異なる開 $G$-軌道 $D$ に付随するウルフ周期的領域 $\Omega_W(D)$ が同一である条件は何か？
• RQ2 固定された実形式 $G$ に対して、すべてのこのような周期的領域の共通構造を捉える普遍的領域 $\Omega_{\rm AG}$ を明示的に構成できるか？
• RQ3 コバヤシ双曲的性は、周期空間内での $G$-不変ステイン領域の構造をどの程度制約するか？
• RQ4 すべてのフラット多様体にわたるすべての周期的領域 $\Omega_W(D)$ の共通部分は、$G$ の内在的幾何とどのように関係するか？

主な発見

• 複素半単純リー群の非例外的実形式 $G$ に対して、$G^\mathbb{C}$-フラット多様体内の開 $G$-軌道 $D$ に付随するすべてのウルフ周期的領域 $\Omega_W(D)$ は同一である。
• 共通の周期的領域は、明示的に計算可能な普遍的領域 $\Omega_{\rm AG}$ に等しく、これはすべての $\Omega_W(D)$ の共通部分として得られる。
• 領域 $\Omega_{\rm AG}$ は、それ自身を含む唯一の $G$-不変で、コバヤシ双曲的かつステイン領域として特徴づけられる。これは、$\Omega_{\rm AG}$ を含む任意のこのような領域が、必ず $\Omega_{\rm AG}$ に等しいことを意味する。
• すべての $G^\mathbb{C}$-フラット多様体 $\widetilde{Z}$ およびすべての開 $G$-軌道 $\widetilde{D}$ に対して、$\Omega_{\rm AG} = \bigcap_{\widetilde{D}} \Omega_W(\widetilde{D})$ が成り立つ。
• この結果により、$\Omega_{\rm AG}$ が群作用および複素幾何の観点から自然かつ内在的な領域であることが確認され、フラット多様体や開軌道の選択に依存しない。