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

Andreas Kriegl, Mark Losik+2 more|ArXiv.org|Feb 13, 2004

Advanced Algebra and Geometry被引用 9

一句话总结

本文证明了，对于紧李群表示的轨道空间中任意足够多次连续可微的曲线，均可提升为表示空间中的一次连续可微曲线。通过使用截面理论和局部提升技巧，作者在不依赖通用性条件的前提下证明了此类提升的存在性，将先前关于解析和光滑提升的结果推广至更弱的可微性假设。

ABSTRACT

Any sufficiently often differentiable curve in the orbit space of a compact Lie group representation can be lifted to a once differentiable curve into the representation space.

研究动机与目标

• 解决当曲线 c: R → V/G 仅具有光滑可微性（而非必然实解析或光滑）时，从紧李群表示的轨道空间 V/G 到表示空间 V 的曲线提升问题。
• 消除先前工作中为保证光滑提升存在性而施加的通用性条件限制。
• 将 Bronshtein 与 Wakabayashi 关于多项式根提升的结果推广至更广泛的紧李群表示设置。
• 在轨道空间中曲线的可微性假设最小化的前提下，建立 C^1 提升的存在性。
• 证明提升可全局构造，并使其在正交于轨道的意义下成立，当表示为极化表示时，提升在群作用下唯一。

提出的方法

• 利用截面定理将全局提升问题简化为在每个轨道（特别是轨道法空间中的原点）附近的局部问题。
• 通过不变多项式 σ_i 及其齐次次数 d_i 的结构，构造轨道空间 V/G 中曲线到 V 的局部提升。
• 应用缩放论证：对于在 σ₁ 零点附近的曲线 c，定义 c_{(1,t₀)}(t) = ((t−t₀)^{-d₁}c₁(t), ..., (t−t₀)^{-d_n}c_n(t)) 以分析差商的行为。
• 利用缩放后曲线存在连续提升（由引理 3.1）的事实，证明提升的差商在 c 的孤立零点处具有极限。
• 利用纤维丛结构 G ×_{G_v} S_v 将缩放后的曲线提升至群 G，并通过共轭操作确保在端点处的可微性。
• 通过在区间闭包上利用差商的极限定义导数，将提升扩展至闭区间，从而保证 C¹ 正则性。

实验结果

研究问题

• RQ1 对于紧李群表示的轨道空间 V/G 中的 C^k 曲线，当 k 足够大时，是否可将其提升为 V 中的 C¹ 曲线？
• RQ2 在不施加曲线或表示的通用性条件的前提下，C¹ 提升的存在性是否依然成立？
• RQ3 当曲线经过原点（即不变代数中的零）时，特别是当曲线具有零点的聚点时，该提升结果是否仍可推广？
• RQ4 曲线的可微性条件是否最优？更弱的可微性（例如 C^{k-1}）是否仍能保证 C¹ 提升？
• RQ5 在奇异轨道（非正则点）附近与在正则轨道附近的提升行为有何差异？是否可采用统一的方法？

主要发现

• 对于对称群情形，任意满足 k ≥ 2n 的 C^k 曲线 c: R → V/G 均可实现为 V 中的 C¹ 提升，推广了早期关于多项式根提升的结果。
• 对于任意满足 k ≥ 2n 的 C^k 曲线在 V/G 中，即使无通用性假设，也存在全局 C¹ 提升，方法为分段构造并确保在区间边界处导数匹配。
• 在 t₀ 满足 c(t₀) = 0 的点，任何提升的导数必为 0，此结论通过沿零点序列取差商极限得以证明。
• 可使提升正交于轨道，且当表示为极化表示时，提升在群作用下唯一。
• 在对称群情形下，条件 k ≥ 2n 是最优的，因为更弱的假设（如 C^{2n-1}）可能无法保证 C¹ 提升的存在。
• 证明依赖于缩放后曲线存在连续提升的事实，以及利用群作用稳定端点处导数，从而保证 C¹ 正则性。