[论文解读] 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$-方法与矩阵分析构造了严格多重次调和的穷竭函数，解决了多复变函数领域一个长期悬而未决的问题，表明在适当的几何条件下，$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{C}$-不变域为斯坦因域的条件，特别是当 $G_\mathbb{R}$ 非紧致时。
• 研究复李群非紧实形式下，卡坦引理的不变版本是否成立。
• 发展一种在 $G_\mathbb{C}$-轨道上构造 $G_\mathbb{R}$-不变的多重次调和穷竭函数的方法。
• 阐明紧致与非紧致群作用在全纯域语境下的本质差异。

提出的方法

• 利用基尔曼-洛布最小值原理，在 $G_\mathbb{C} \cdot D$ 上构造多重次调和函数 $\psi(x) = \inf_{g \in \Omega_x} u(x,g)$。
• 采用 $D$ 上的 $G_\mathbb{R}$-不变严格多重次调和函数 $\varphi$，并将其提升至 $\Omega = \rho^{-1}(D)$ 上的函数 $u(x,g) = \varphi(g^{-1} \cdot x)$。
• 应用截面理论，限制到一个扎里斯基开子集 $\Omega'$，使得 $u(x,\cdot)$ 在纤维 $\Omega_x$ 上严格多重次调和。
• 通过基于胡亚工作和 $L_+(\mathbb{C})$ 结构的显式矩阵计算，验证 $\dot{u}(x,\cdot)$ 在 $\dot{\Omega}_x$ 上的穷竭性。
• 利用 $\bar{\partial}$ 的 $L^2$-估计与群不变的多重次调和函数，证明轨道域的全纯凸性。
• 将 $G_\mathbb{C} \cdot D$ 的斯坦因性问题归约为通过不变 p.s.h. 函数构造弱穷竭函数的存在性。

实验结果

研究问题

• RQ1 扩展未来锥是否如猜想所言为全纯域？
• RQ2 非紧实形式的复李群下，卡坦引理的不变版本是否成立？
• RQ3 在何种条件下，$G_\mathbb{R}$-不变域的 $G_\mathbb{C}$-轨道是 $G_\mathbb{C}$-不变且斯坦因的？
• RQ4 在全纯凸性与多重次调和函数的语境下，紧致与非紧致群作用的本质差异是什么？
• RQ5 能否有效利用 $L^2$-方法，从 $G_\mathbb{R}$-不变的解析集构造 $G_\mathbb{R}$-不变的全纯函数？

主要发现

• 扩展未来锥猜想成立：扩展未来锥是全纯域。
• 所构造的函数 $\psi(x)$ 是 $G_\mathbb{C} \cdot D$ 上的多重次调和穷竭函数，证明当 $G_\mathbb{R}$ 非紧致且轨道为饱和时，$G_\mathbb{C} \cdot D$ 为斯坦因域。
• 最小值原理的假设（ii）——$\dot{u}(x,\cdot)$ 的穷竭性——在扩展未来锥情形下成立，克服了主要技术障碍。
• 当且仅当 $G_\mathbb{C} \cdot D$ 为斯坦因域时，不变版本的卡坦引理成立，这在非紧情形下建立了深刻等价关系。
• 基于胡亚工作的显式矩阵分析验证了扩展未来锥情形下的穷竭性质，确认了构造的有效性。
• 本文表明，$L^2$-方法可直接用于从 $G_\mathbb{R}$-不变的解析子集构造 $G_\mathbb{R}$-不变的全纯函数，为不变延拓问题提供了新方法。