[论文解读] Topological and homological properties of the orbit space of a compact linear Lie group with commutative connected component

O. G. Styrt|arXiv (Cornell University)|Jul 23, 2016

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

一句话总结

本文研究了紧致线性李群 $G$ 在欧几里得空间 $V$ 上作用的轨道空间 $V/G$ 是否为拓扑流形或同调流形，重点关注 $G^0$（单位元连通分支）为交换群（即环面）的情形。通过表示理论、权系统以及伴随作用的结构，作者证明：当且仅当 $G$ 由 $\Omega$ 中的元素生成，并满足伴随表示与根系的特定条件时，$V/G$ 是同调流形。关键结果是对所有使得轨道空间为同调流形的群进行了完整刻画。

ABSTRACT

The problem in question is whether the quotient space of a compact linear group is a topological manifold and whether it is a homological manifold. In the paper, the case of an infinite group with commutative connected component is considered.

研究动机与目标

• 确定紧致线性李群 $G$ 在欧几里得空间 $V$ 上作用的轨道空间 $V/G$ 是否为拓扑流形或同调流形。
• 分析 $G^0$ 为交换群（即环面）的情形，该情形简化了表示理论，并允许对这类作用进行分类。
• 利用伴随表示与权系统等代数与拓扑不变量，刻画群 $G$ 使得 $V/G$ 为同调流形。
• 建立 $G$ 及其作用的必要与充分条件，使得 $V/G$ 为同调流形，尤其关注 $G$ 无限且 $G^0$ 为环面的情形。
• 阐明稳定子结构及 $\Omega$ 与 $\Omega'$ 中元素的作用，特别是与伴随作用及复反射存在性的关系。

提出的方法

• 作者利用 $G^0$ 为环面的事实，将表示 $G \curvearrowright V$ 分解为一维或二维不可约分量，并为这些分量关联 $\mathfrak{g}^*$ 中的权。
• 定义集合 $\Omega = \{g \in G : \omega(g) \in \{0,2\}\}$，其中 $\omega(g) = \operatorname{rk}(E - g) - \operatorname{rk}(E - \operatorname{Ad}(g))$，以识别具有特定不动点行为的元素。
• 引入集合 $\Omega'$ 以捕捉满足 $\omega(g) = 4$ 且 $\omega(g^5) = 0$ 的元素，从而有助于分析群及其作用的结构。
• 利用伴随表示 $\operatorname{Ad}(G) \subset \mathbf{O}(\mathfrak{g})$ 分析群的结构，特别证明在某些条件下 $\operatorname{Ad}(G) = \{\pm E\}$。
• 论文应用表示理论与反射群理论的结果，特别是有限群由伪反射生成的分类及庞加莱群的作用。
• 证明依赖于对稳定子 $G_v$、其交换子群以及条件 $G_v = \langle G_v \cap \Omega \rangle$ 的分析，该条件对同调流形性质至关重要。

实验结果

研究问题

• RQ1 在何种条件下，紧致线性李群 $G$ 在欧几里得空间 $V$ 上作用的轨道空间 $V/G$ 为同调流形？
• RQ2 当 $G^0$ 为环面时，$G$ 必须满足哪些结构性质，才能使 $V/G$ 为同调流形？
• RQ3 伴随表示 $\operatorname{Ad}(G)$ 在此设定下如何约束 $G$ 的可能群结构？
• RQ4 $\Omega$ 与 $\Omega'$ 集合在判断 $V/G$ 是否为同调流形中起什么作用？
• RQ5 当 $V/G$ 为同调流形时，群 $G$ 是否可由 $\Omega$ 中的元素生成？这对其表示意味着什么？

主要发现

• 若 $G$ 为无限紧致线性李群且其连通分支 $G^0$ 为交换群，则 $V/G$ 为同调流形当且仅当 $G = \langle \Omega \rangle$，$\dim_{\mathbb{C}} V = \|P\| = 3$，且 $\operatorname{Ad}(G) = \{\pm E\}$。
• 轨道空间 $V/G$ 为同调流形当且仅当表示 $G \curvearrowright V$ 可约，且 $G$ 由 $\Omega$ 中的元素生成。
• 当 $m = 1$ 且不存在复反射时，$\operatorname{Ad}(G) = \{\pm E\}$ 是轨道空间为同调流形的必要且充分条件。
• 若 $G$ 不可约且不包含复反射，则 $V/G$ 不可能是同调流形，除非表示为可约表示，否则将导致矛盾。
• 若 $V/G$ 为同调流形，则任意具有有限稳定子的点 $v \in V$ 的稳定子 $G_v$ 满足 $G_v = \langle G_v \cap \Omega \rangle$。
• 群 $G$ 由 $G^0$ 与 $\Omega$ 生成，且由于存在 $g \in \Omega$ 使得 $\operatorname{Ad}(g) = -E$，故有 $G = \langle \Omega \rangle$。