[论文解读] Addendum to: "Lifting smooth curves over invariants for representations of compact Lie groups, III" [J. Lie Theory 16 (2006), No. 3, 579-600.]

Andreas Kriegl, Mark Losik+2 more|arXiv (Cornell University)|Jun 28, 2011

Advanced Operator Algebra Research参考文献 10被引用 3

一句话总结

该论文通过利用Bronshtein定理的改进版本，改进了紧李群表示的光滑曲线在不变量上的提升定理。研究证明：轨道空间中$C^k$-正则性的曲线可保证存在$C^1$-提升，而$C^{k+d}$-正则性的曲线则确保存在二阶可微提升——两项结果在假设与结论上均达到最优。

ABSTRACT

We improve the main results in the paper from the title using a recent refinement of Bronshtein's theorem due to Colombini, Orrú, and Pernazza. They are then in general best possible both in the hypothesis and in the outcome. As a consequence we obtain a result on lifting smooth mappings in several variables.

研究动机与目标

• 改进紧李群表示的不变量上光滑曲线提升所需的正则性条件。
• 基于曲线的正则性，建立提升可微性的精确阈值。
• 将曲线的提升结果推广至多变量映射。
• 通过反例证明改进后的假设与结论均为最优。
• 将提升结果推广至极表示和有限反射群。

提出的方法

• 利用Colombini、Orrú与Pernazza对首一超二次多项式可微根选择问题的Bronshtein定理最新改进版本。
• 将改进后的定理应用于由群表示产生的不变多项式曲线。
• 依赖于通过轨道结构与稳定子群构造根参数化函数。
• 利用改进的Bronshtein结果，将系数函数的正则性传递至根函数。
• 应用Boman定理，推导出沿光滑曲线的提升的局部Lipschitz正则性。
• 通过分析沿$C^∞$-曲线的提升并应用Boman准则，将结果从曲线推广至多变量映射。

实验结果

研究问题

• RQ1 紧李群表示的轨道空间中光滑曲线的可微提升，其最小正则性要求为何？
• RQ2 能否通过现代经典定理的改进版本，进一步收紧$C^1$与二阶可微提升的正则性阈值？
• RQ3 提升定理中改进的正则性条件是否最优，无论在假设还是结论上？
• RQ4 曲线的提升结果能否推广至多变量映射？
• RQ5 在何种条件下，取值于轨道空间的$C^k$-映射会存在局部Lipschitz提升？

主要发现

• 对于有限群表示，轨道空间中的$C^k$-曲线可实现$C^1$-提升，其中$k = \max\{d(\rho), |G|/|G_{v_i}|\}$，且$d(\rho)$为基本不变量的最大次数。
• 轨道空间中的$C^{k+d}$-曲线可实现全局二阶可微提升，且该正则性阈值为最优。
• 改进后的正则性结果为最佳可能：既不能削弱假设，也不能强化结论。
• 对于$C^k$-映射$f: U \to V/G$（$U \subseteq \mathbb{R}^q$为开集），任意连续提升$\bar{f}$均为局部Lipschitz，只要$k$按上述定义。
• 对于紧连通李群的极表示，取值于轨道空间的$C^k$-映射可实现全局正交的局部Lipschitz提升。
• 结果为精确最优：存在$C^\infty$-曲线，其不具有任何$\alpha > 0$的$C^{1,\alpha}$-提升，从而证实了$C^1$-正则性结果的最优性。