[论文解读] Separating Vector Bundle Sections by Invariant Means

Gestur Ólafsson, Joseph A. Wolf|arXiv (Cornell University)|Oct 19, 2012

Advanced Algebra and Geometry参考文献 1被引用 3

一句话总结

本文证明了当 $H$ 为可均群时，齐次希尔伯特丛 $G/H$ 上有界右一致连续截面可通过不变平均实现分离，从而证明主系表示空间并非商空间，而是这些截面的完备化。关键贡献在于利用 $G/H$ 上的平均构造出一种拓扑分离结果，通过不变平均确保范数的非退化性，从而简化了无限维李群中诱导表示的构造。

ABSTRACT

We sharpen the construction of representation space in the paper "Principal Series Representations of Infinite Dimensional Lie Groups II: Construction of Induced Representations". We show that the principal series representation spaces constructed there, are completions of spaces of sections of Hilbert bundles rather than completions of quotient spaces of sections.

研究动机与目标

• 细化无限维李群表示中表示空间的构造，特别是主系表示。
• 证明表示空间是有界右一致连续截面的完备化，而非商空间。
• 消除无限维李群表示理论中对商空间构造的依赖。
• 确立 $G/H$ 上的不变平均可分离非零截面，从而确保范数结构的忠实性。
• 通过避免商空间比较，简化旗闭抛物诱导中酉等价性的证明。

提出的方法

• 使用取值于与 $H$ 的酉表示 $\tau$ 相关的希尔伯特丛的有界右一致连续截面 $f \in RUC_b(G/H; \mathbb{E}_\tau)$。
• 通过 $G/H$ 上的平均 $\mu$ 定义半范数 $\nu_\mu(f) = \mu(\|f\|)$，并利用 $H$ 的可均性。
• 应用可均群的不动点性质，构造 $G/H$ 上的平均 $\mu_f$，使得对非零 $f$ 有 $\nu_{\mu_f}(f) \neq 0$。
• 利用评价泛函 $\delta_x$ 及其弱-*闭包，定义一个紧致凸集 $S$ 的平均，满足 $\sigma(\|f\|) = 1$。
• 通过 $G_\mathbb{Q}$ 中有理点的可数族评价 $\delta_{xP}$，构造 $RUC_b(G/P; \mathbb{E}_\tau)$ 的弗雷chet空间完备化。
• 通过 $G_\mathbb{Q}$ 的枚举 $x_m$ 定义加权和 $\langle f,h \rangle = \sum_{m \geq 1} 2^{-m} \langle f(x_m), h(x_m) \rangle$，建立希尔伯特空间结构。

实验结果

研究问题

• RQ1 当 $H$ 可均时，齐次希尔伯特丛 $G/H$ 上的有界右一致连续截面能否通过 $G/H$ 上的平均实现分离？
• RQ2 无限维李群的主系表示的表示空间是否同构于 $RUC_b(G/P; \mathbb{E}_\tau)$ 的完备化，而非商空间？
• RQ3 在 $G/H$ 上使用不变平均是否能对非零截面在 $RUC_b(G/H; \mathbb{E}_\tau)$ 上诱导出非退化的半范数？
• RQ4 能否仅使用 $G_\mathbb{Q}$ 中的有理点，构造 $RUC_b(G/P; \mathbb{E}_\tau)$ 的弗雷chet或希尔伯特空间完备化？
• RQ5 群 $G$ 在 $RUC_b(G/P; \mathbb{E}_\tau)$ 上的作用能否连续延拓至通过有理点定义的希尔伯特或弗雷chet完备化空间？

主要发现

• 对任意非零 $f \in RUC_b(G/H; \mathbb{E}_\tau)$，存在平均 $\mu \in \mathcal{M}(G/H)$，使得 $\nu_\mu(f) \neq 0$，从而证明了通过不变平均实现的分离。
• 表示空间 $\Gamma_{\mathcal{M}}(G/H; \mathbb{E}_\tau)$ 是 $RUC_b(G/H; \mathbb{E}_\tau)$ 的局部凸拓扑向量空间完备化，而非商空间。
• 主系表示 $\mathrm{Ind}_P^G(\tau)$ 在 $\Gamma_{\mathcal{M}}(G/P; \mathbb{E}_\tau)$ 上的构造直接基于截面，避免了商空间的构造。
• 通过 $G_\mathbb{Q}$ 中有理点的可数族评价平均 $\delta_{xP}$，实现了 $RUC_b(G/P; \mathbb{E}_\tau)$ 的弗雷chet空间完备化，其拓扑由这些半范数定义。
• 通过 $\langle f,h \rangle = \sum_{m \geq 1} 2^{-m} \langle f(x_m), h(x_m) \rangle$ 在 $RUC_b(G/P; \mathbb{E}_\tau)$ 上定义了预希尔伯特空间结构，从而得到希尔伯特空间完备化。
• $G$ 在 $RUC_b(G/P; \mathbb{E}_\tau)$ 上的作用无法连续延拓至通过有理点平均定义的希尔伯特空间完备化空间。