[论文解读] Borel-Weil Theory for Root Graded Banach-Lie groups

Christoph Mueller, Karl‐Hermann Neeb+1 more|ArXiv.org|Mar 6, 2009

Advanced Operator Algebra Research参考文献 8被引用 4

一句话总结

本文通过证明在广义旗流形 $G/P$ 上，齐次全纯向量丛的全纯截面空间具有自然的巴拿赫空间结构，从而为弱根分级的巴拿赫-李群建立了博雷尔-维尔理论，使得不可约全纯表示得以实现几何化。关键贡献在于将这些截面表征为在 $G$-作用下积分成巴拿赫-李群同态的全纯 $E$-值函数的闭子空间。

ABSTRACT

In this paper we introduce (weakly) root graded Banach--Lie algebras and corresponding Lie groups as natural generalizations of group like $\GL_n(A)$ for a Banach algebra $A$ or groups like $C(X,K)$ of continuous maps of a compact space $X$ into a complex semisimple Lie group $K$. We study holomorphic induction from holomorphic Banach representations of so-called parabolic subgroups $P$ to representations of $G$ on holomorphic sections of homogeneous vector bundles over $G/P$. One of our main results is an algebraic characterization of the space of sections which is used to show that this space actually carries a natural Banach structure, a result generalizing the finite dimensionality of spaces of sections of holomorphic bundles over compact complex manifolds. We also give a geometric realization of any irreducible holomorphic representation of a (weakly) root graded Banach--Lie group $G$ and show that all holomorphic functions on the spaces $G/P$ are constant.

研究动机与目标

• 通过研究弱根分级巴拿赫-李群的全纯表示，将经典博雷尔-维尔定理推广至无限维情形。
• 在从抛物子群 $P$ 到 $G/P$ 上齐次向量丛全纯截面表示的全纯诱导过程中建立理论。
• 证明全纯截面空间具有自然的巴拿赫空间结构，推广有限维情形下的有限维性结果。
• 通过全纯截面提供此类群的不可约全纯表示的几何实现。
• 证明 $G/P$ 上的所有全holomorphic 函数均为常数，凸显该情形下复结构的刚性。

提出的方法

• 作者将弱根分级巴拿赫-李代数定义为同时 $\mathop{{\rm ad}}\nolimits{\mathfrak{h}}$-特征空间的直和，其中 $\mathfrak{g}_\Delta$ 嵌入为有限维半单子代数。
• 他们引入与根系相关的抛物子群 $P$，并研究齐次空间 $G/P$，该空间具有自然的复流形结构。
• 齐次向量丛 $\mathbb{E}_\rho = G \times_\rho E$ 的全纯截面被识别为满足对所有 $g \in G$，$p \in P$ 有 $f(gp) = \rho(p)^{-1}f(g)$ 的 $E$-值全纯函数空间 $\mathcal{O}_\rho(G,E)$。
• 通过紧致开拓扑和 $G$-作用，构造了 $\mathcal{O}_\rho(G,E)$ 上的自然巴拿赫拓扑，确保诱导表示 $\pi(g)f(x) = f(g^{-1}x)$ 的连续性。
• 使用泰勒级数映射 $\Phi(f)(D) = (D_r f)(\mathbf{1})$，将 $\mathcal{O}_\rho(G,E)$ 识别为 $\mathop{{\rm Hom}}\nolimits_{\mathfrak{p}}(U({\mathfrak{g}}), E)$ 中的 $G$-不变子空间，该子空间被证明是闭的且 $G$-循环。
• 使用半群作用在函数空间上的连续性引理，证明 $\mathcal{O}(M,V)$ 上的 $G$-作用关于紧致开拓扑是全纯的。

实验结果

研究问题

• RQ1 对于弱根分级巴拿赫-李群，齐次全纯向量丛 $G/P$ 上的全纯截面空间是否具有自然的巴拿赫空间结构？
• RQ2 此类群的不可约全纯表示能否作为全纯截面空间实现几何化？
• RQ3 $\mathcal{O}_\rho(G,E)$ 上的 $G$-作用是否关于紧致开拓扑连续且全纯？
• RQ4 $\mathcal{O}_\rho(G,E)$ 在 $U({\mathfrak{g}})$-模意义下的代数表征是什么？
• RQ5 所有 $G/P$ 上的全纯函数是否均为常数？这对这些空间的复几何有何含义？

主要发现

• 全纯截面 $\mathcal{O}_\rho(G,E)$ 的空间具有自然的巴拿赫空间结构，推广了经典博雷尔-维尔情形中截面的有限维性。
• 诱导表示 $\pi: G \to \mathop{{\rm GL}}\nolimits(\mathcal{O}_\rho(G,E))$ 是巴拿赫-李群同态，确保 $G$-作用是全纯且连续的。
• 泰勒级数映射 $\Phi: \mathcal{O}_\rho(G,E) \to \mathop{{\rm Hom}}\nolimits_{\mathfrak{p}}(U({\mathfrak{g}}), E)$ 是单射，并将 $\mathcal{O}_\rho(G,E)$ 识别为在 $G$-作用全纯积分意义下最大的 $G$-不变 $\mathfrak{g}$-子模。
• 所有 $G/P$ 上的全纯函数均为常数，表明 $G/P$ 是一个无非平凡全局全纯函数的复流形，具有强烈的刚性性质。
• $\mathcal{O}(G,E)$ 上的 $G$-作用关于紧致开拓扑不连续，除非 $G$ 是有限维的，但子空间 $\mathcal{O}_\rho(G,E)$ 允许一个 $G$-不变的巴拿赫拓扑。
• 当 $\rho$ 是全纯特征标且截面空间非零时，$\mathcal{O}_\rho(G,E)$ 上的表示 $\pi$ 是不可约的，推广了经典博雷尔-维尔定理。