[论文解读] Lifting smooth curves over invariants for representations of compact Lie groups, III

Andreas Kriegl, Mark Losik+2 more|ArXiv.org|Apr 6, 2005

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

一句话总结

该论文证明，对于实有限维内积空间 $V$ 上有限群作用的轨道空间 $V/G$ 中任意足够光滑的曲线，若其表示满足某种正则性条件 ($\mathcal{B}_k$)，则该曲线可提升至 $V$ 上具有局部有界导数的可微曲线。关键结果为：当曲线为 $C^{k+d}$ 时，此类提升为 $C^1$；当曲线为 $C^{k+2d}$ 时，提升为二阶可微，其中 $d$ 为齐次不变量的最大次数；该结果推广了对对称群已知的结果，并适用于所有有限反射群与旋转群。

ABSTRACT

Any sufficiently often differentiable curve in the orbit space $V/G$ of a real finite-dimensional orthogonal representation $G o O(V)$ of a finite group $G$ admits a differentiable lift into the representation space $V$ with locally bounded derivative. As a consequence any sufficiently often differentiable curve in the orbit space $V/G$ can be lifted twice differentiably. These results can be generalized to arbitrary polar representations. Finite reflection groups and finite rotation groups in dimensions two and three are discussed in detail.

研究动机与目标

• 将有限群表示轨道空间中光滑曲线的提升结果，从对称群情形推广至一般有限群。
• 建立 $C^k$-曲线在 $V/G$ 中可提升至 $V$ 且导数局部有界的条件。
• 证明：当曲线为 $C^{k+d}$ 时，此类提升为 $C^1$；当曲线为 $C^{k+2d}$ 时，提升为二阶可微，其中 $d$ 为齐次不变量的最大次数。
• 验证极小表示与所有二维及三维有限反射群与旋转群均满足所需的正则性条件 ($\mathcal{B}_k$)。
• 证明性质 $\mathcal{B}_k$ 在有限群表示的子表示与正交直和下保持不变。

提出的方法

• 引入并分析性质 $(\mathcal{B}_k)$，该性质确保 $C^k$-曲线在 $V/G$ 中具有导数局部有界的局部可微提升。
• 将 $\mathbb{R}[V]^G$ 的齐次生成元的最大次数 $d$ 作为提升正则性阈值的关键参数。
• 通过 Bronshtein 与 Wakabayashi 关于 $C^n$-曲线多项式根的可微参数化结果，将问题约化至多项式情形。
• 通过在不可约分量中非零向量上计算 $k = \max\{d, |G|/|G_{v_i}|\}$，证明所有有限群表示均满足 $\mathcal{B}_k$。
• 利用显式群结构与稳定子数据，验证二维与三维中有限反射群与旋转群的 $\mathcal{B}_k$ 性质。
• 通过表示的结构分解，建立 $\mathcal{B}_k$ 在正交直和与子表示下的稳定性。

实验结果

研究问题

• RQ1 在 $V/G$ 中的曲线满足何种正则性条件时，其可微提升至 $V$ 且导数局部有界？
• RQ2 能否保证 $C^{k+d}$-曲线在 $V/G$ 中的可微提升为 $C^1$？
• RQ3 是否对所有 $C^{k+2d}$-曲线在 $V/G$ 中均存在二阶可微提升？其与不变量次数 $d$ 的关系如何？
• RQ4 所有有限反射群与旋转群是否均满足性质 $(\mathcal{B}_k)$？满足该性质的最小 $k$ 是多少？
• RQ5 性质 $(\mathcal{B}_k)$ 是否在有限群表示的正交直和与子表示下保持稳定？

主要发现

• 若表示满足性质 $(\mathcal{B}_k)$，则 $V/G$ 中任意 $C^k$-曲线均可提升至 $V$，且提升后导数局部有界。
• 对于满足 $(\mathcal{B}_k)$ 的表示，$V/G$ 中的 $C^{k+d}$-曲线可提升为 $V$ 上的 $C^1$ 曲线。
• 对于满足 $(\mathcal{B}_k)$ 的表示，$V/G$ 中的 $C^{k+2d}$-曲线可提升为 $V$ 上的二阶可微曲线。
• 所有二维与三维有限反射群及有限旋转群均满足性质 $(\mathcal{B}_k)$，且当 $k = d$（即齐次不变量的最大次数）时成立。
• 性质 $(\mathcal{B}_k)$ 在有限群表示的正交直和与子表示下保持稳定。
• 为使 $C^k$-曲线可实现可微提升，所需的最小正则性为 $C^d$，这由结果中界限的紧致性得以证明。