[論文レビュー] Some results related to group actions in several complex variables

Xiangyu Zhou|ArXiv.org|Apr 22, 2003

Holomorphic and Operator Theory参考文献 22被引用数 20

ひとこと要約

この論文は、群作用と擬凸関数を用いて、拡張された未来チューブが正則関数の定義域であることを示すことで、拡張された未来チューブ予想を証明した。複素変数関数論における長年の未解決問題を、$L^2$-手法と行列解析を用いて、厳密に擬凸である正則関数の exhaustion 関数を構成することで解決した。また、適切な幾何的条件下で、$G_\mathbb{C}$-不変な領域の正則的凸性が不変な擬凸関数から導かれることが示された。

ABSTRACT

In this talk, we'll present some recent results related to group actions in several complex variables. We'll not aim at giving a complete survey about the topic but giving some our own results and related ones. We'll divide the results into two cases: compact and noncompact transformation groups. We emphasize some essential differences between the two cases. In the compact case, we'll mention some results about schlichtness of envelopes of holomorphy and compactness of automorphism groups of some invariant domains. In the noncompact case, we'll present our solution of the longstanding problem -- the so-called extended future tube conjecture which asserts that the extended future tube is a domain of holomorphy. Invariant version of Cartan's lemma about extension of holomorphic functions from the subvarities in the sense of group actions will be also mentioned.

研究の動機と目的

• 複素変数関数論における長年の未解決問題である拡張された未来チューブ予想を解決すること。
• 特に $G_\mathbb{R}$ が非コンパクトである場合に、$G_\mathbb{C}$-不変な領域がステイン領域であるための条件を確立すること。
• 複素リー群の非コンパクトな実形式に対して、カルタンの補題の不変版が成り立つかどうかを調査すること。
• $G_\mathbb{C}$-軌道上に $G_\mathbb{R}$-不変な擬凸関数の exhaustion 関数を構成する方法を開発すること。
• 正則関数の定義域の文脈における、コンパクト群作用と非コンパクト群作用の本質的差異を明確にすること。

提案手法

• キセルン＝ルーブの最小原理を用いて、$G_\mathbb{C} \cdot D$ 上に擬凸関数 $\psi(x) = \inf_{g \in \Omega_x} u(x,g)$ を構成する。
• 領域 $D$ 上で $G_\mathbb{R}$-不変な厳密に擬凸な関数 $\varphi$ をとり、それを $u(x,g) = \varphi(g^{-1} \cdot x)$ として $\Omega = \rho^{-1}(D)$ 上に持ち上げる。
• スライス理論を適用して、$u(x,\cdot)$ がファイバー $\Omega_x$ 上で厳密に擬凸となるようなザリスキ・オープン部分集合 $\Omega'$ に制限する。
• フアの研究と $L_+(\mathbb{C})$ の構造に基づく明示的な行列計算により、$\dot{u}(x,\cdot)$ が $\dot{\Omega}_x$ 上で exhaustion であることを検証する。
• $\bar{\partial}$ の $L^2$-推定と群不変な擬凸関数を用いて、軌道領域の正則的凸性を証明する。
• $G_\mathbb{C} \cdot D$ のステイン性の問題を、不変な p.s.h. 関数を用いて構成された弱い exhaustion 関数の存在に還元する。

実験結果

リサーチクエスチョン

• RQ1 予想通り、拡張された未来チューブは正則関数の定義域であるか？
• RQ2 非コンパクトな複素リー群の実形式に対して、カルタンの補題の不変版が成り立つか？
• RQ3 $G_\mathbb{C}$-軌道が $G_\mathbb{R}$-不変な領域に対して $G_\mathbb{C}$-不変かつステイン領域であるための条件は何か？
• RQ4 正則的凸性と擬凸関数の文脈において、コンパクト群作用と非コンパクト群作用の本質的差異は何か？
• RQ5 $L^2$-手法を用いて、$G_\mathbb{R}$-不変な解析的集合から直接 $G_\mathbb{R}$-不変な正則関数を構成することは可能か？

主な発見

• 拡張された未来チューブ予想は正しい：拡張された未来チューブは正則関数の定義域である。
• 構成された関数 $\psi(x)$ は $G_\mathbb{C} \cdot D$ 上の擬凸 exhaustion 関数であり、$G_\mathbb{R}$ が非コンパクトで軌道が飽和している場合に $G_\mathbb{C} \cdot D$ がステイン領域であることを証明する。
• 最小原理の仮定 (ii) — $\dot{u}(x,\cdot)$ の exhaustion — は拡張された未来チューブにおいて満たされており、主要な技術的障壁を克服した。
• 不変版カルタンの補題が成り立つのは、$G_\mathbb{C} \cdot D$ がステイン領域である場合に限り、非コンパクトな場合に深い同値関係を確立した。
• フアの研究に基づく明示的な行列解析により、拡張された未来チューブの場合の exhaustion 性質が確認され、構成法が妥当であることが裏付けられた。
• 本論文は、$L^2$-手法を用いて、$G_\mathbb{R}$-不変な解析的部分集合から直接 $G_\mathbb{R}$-不変な正則関数を構成できることを示し、不変拡張問題に対する新しいアプローチを提供した。