[论文解读] On orbit dimensions under a simultaneous Lie group action on n copies of a manifold

Mireille Boutin|ArXiv.org|Sep 14, 2000

Ophthalmology and Eye Disorders被引用 15

一句话总结

本文研究了李群在n个流形副本上的同时作用的轨道维数，证明了随着n增加，最大轨道维数不会伪稳定化。此外，本文还证明：若李群在流形的子集上局部有效作用，则其笛卡尔积作用在足够多副本的开子集上将变为局部自由——这一结果扩展了Ovsiannikov的喷层空间定理，推动了运动标架法与联合不变量计算的发展。

ABSTRACT

We show that the maximal orbit dimension of a simultaneous Lie group action on n copies of a manifold does not pseudo-stabilize when n increases. We also show that if a Lie group action is (locally) effective on subsets of a manifold, then the induced Cartesian action is locally free on an open subset of a sufficiently big (but finite) number of copies of the manifold. The latter is the analogue for the Cartesian action to Ovsiannikov's theorem on jet spaces and is an important fact relative to the moving frame method and the computation of joint invariants. Some interesting corollaries are presented.

研究动机与目标

• 分析多重流形副本上同时李群作用下轨道维数的行为。
• 确定随着副本数n增加，最大轨道维数是否稳定或伪稳定化。
• 建立笛卡尔积作用在n个副本的开子集上变为局部自由的条件。
• 将Ovsiannikov关于喷层空间的定理推广至笛卡尔作用的设定。
• 通过轨道维数的结构性结果，支持运动标架法下的联合不变量计算。

提出的方法

• 利用微分几何技术研究李群在n个流形副本的笛卡尔积上的作用。
• 通过关联李代数在积流形切丛上的表示分析无穷小作用。
• 应用局部有效性的概念，推导笛卡尔作用局部自由的条件。
• 运用横截性与开性论证，证明存在一个开子集使得作用在该子集上为局部自由。
• 依赖喷层空间的结构及其与不变量的关系，类比Ovsiannikov定理。
• 将轨道维数作为产品空间中对称性降低的度量。

实验结果

研究问题

• RQ1 随着n增加，李群在n个流形副本上的同时作用的最大轨道维数是否稳定？
• RQ2 在何种条件下，李群的笛卡尔积作用在n个副本的开子集上变为局部自由？
• RQ3 群作用在单个流形上的局部有效性如何与多副本上其积作用的自由性相关？
• RQ4 Ovsiannikov关于喷层空间的定理能否推广至笛卡尔群作用的设定？
• RQ5 这些轨道维数结果对运动标架法与联合不变量计算有何影响？

主要发现

• 李群在n个流形副本上的同时作用的最大轨道维数不会随着n的增加而伪稳定化。
• 若李群在流形的子集上局部有效作用，则当n足够大但有限时，其笛卡尔积作用在积流形的开子集上将变为局部自由。
• 该结果为Ovsiannikov喷层空间定理提供了一个群论类比，将其适用范围扩展至积流形。
• 存在一个轨道作用为局部自由的开子集，从而支持通过运动标架法系统构造联合不变量。
• 本文确立了在重复积作用下轨道维数的增长是无界的，挑战了对称性约化中稳定性的假设。
• 研究结果通过涉及切空间作用与积流形设定下横截性的微分几何论证得到支持。