[论文解读] Rigidity in the invariant theory of compact groups

Michael Larsen|ArXiv.org|Dec 15, 2002

Advanced Algebra and Geometry参考文献 5被引用 8

一句话总结

本文建立了与紧李群 $G$ 及其忠实复表示 $V$ 相关的 Sato-Tate 测度 $\mu_{G,V}$ 在所有 Sato-Tate 测度空间中为孤立点的充要条件。证明表明，若 $G$ 连通且半单，且 $V$ 为不可约表示，则 $\mu_{G,V}$ 是孤立点，即无法由其他表示的测度逼近。该结果依赖于紧李群闭子群的结构性有限性定理，以及基于不变维数的图论极小性论证。

ABSTRACT

A compact Lie group G and a faithful complex representation V determine a Sato-Tate measure, defined as the direct image of Haar measure on G with respect to the character of V. We give a necessary and sufficient condition for a Sato-Tate measure to be an isolated point in the set of such measures, regarded as a subset of the space of distributions. In particular we prove that the Sato-Tate measure of a connected and semisimple group with respect to an irreducible representation is an isolated point.

研究动机与目标

• 确定 Sato-Tate 测度 $\mu_{G,V}$ 在 $\mathbb{C}$ 上所有 Sato-Tate 测度空间中是否孤立，即是否不是其他此类测度的极限。
• 理解表示论数据通过 $\mu_{G,V}$ 唯一确定配对 $(G,V)$ 模同构的结构性条件。
• 分析 Sato-Tate 测度无法由有限群或子群测度逼近的原因，尤其关注 $G$ 的单位连通分支的半单性。
• 基于矩函数 $F_{G,V}(a,b) = \dim(V^{\otimes a} \otimes V^{*\otimes b})^G$ 建立孤立性的判别准则。

提出的方法

• 采用图论极小性论证：基于子群包含关系和矩函数差异，在配对 $(G,V)$ 上构造带红蓝箭头的有向图。
• 应用紧李群闭子群共轭类的有限性结果，以限制需考虑的可能子群数量。
• 在 $\mathbb{N}^{\mathbb{N} \times \mathbb{N}}$ 上使用 Tychonoff 拓扑处理 Sato-Tate 函数 $F_{G,V}$ 的收敛性，将矩函数视为序列处理。
• 应用 Jordan 定理于无不动点群作用，以证明非半单群且单位连通分支非环面的群无法支持在零点具有原子的迹测度的不可约表示。
• 利用 $F_{G,V}(a,b)$ 计数张量积中 $G$-不变向量的事实，并将其与极限测度 $\mu$ 的积分进行比较，以检测差异。
• 利用 $G^\circ$ 的导出子群 $D$ 和中心 $Z^\circ$ 的结构，分析 $G^\circ$ 是否可由有限子群逼近。

实验结果

研究问题

• RQ1 在何种条件下，Sato-Tate 测度 $\mu_{G,V}$ 在 $\mathbb{C}$ 上所有分布空间中与其他所有 Sato-Tate 测度孤立？
• RQ2 Sato-Tate 测度 $\mu_{G,V}$ 何时无法作为有限群或真子群测度的极限？
• RQ3 哪些 $G$ 和 $V$ 的结构性质可确保 $\mu_{G,V}$ 无法由其他表示的测度逼近？
• RQ4 当 $V$ 不可约时，$\mu_{G,V}$ 的孤立性是否等价于其单位连通分支 $G^\circ$ 为半单？
• RQ5 非环面群的 Sato-Tate 测度能否作为有限群测度的极限？

主要发现

• Sato-Tate 测度 $\mu_{G,V}$ 孤立当且仅当其单位连通分支 $G^\circ$ 为半单且 $V$ 不可约。
• 若 $G$ 连通且半单，且 $V$ 不可约，则 $\mu_{G,V}$ 是 Sato-Tate 测度空间中的孤立点。
• $\mu_{G,V}$ 无法是有限群测度的极限，除非 $G^\circ$ 为环面。
• 对任意满足 $D$ 非平凡（即 $G^\circ$ 不为半单）的配对 $(G,V)$，存在一个有限个真子群的集合，使得 $G$ 的每个有限子群都共轭于其中某个子群。
• 若 $\mu_{G,V}$ 是有限群测度的极限，则 $G^\circ$ 必须为环面，否则极小性论证中将因矩函数差异而产生矛盾。
• 对于连通半单群 $G$ 与不可约表示 $V$，其迹测度 $\mu_{G,V}$ 无原子，特别地，迹在 Haar 测度为零的集合上为零，这排除了具有无不动点元素的非平凡分量群作用。