关于群作用余切提升的迷向性的技术问询

嘿，这是个相当到位的问题——余切提升作用的迷向子群行为，刚好是辛几何与群作用交叉领域里挺微妙的一个点，我来一步步给你拆解清楚：

首先得肯定你的初始直觉：余切提升作用的迷向子群必然是基流形对应点迷向子群的子群。道理很直白：如果群元素$g \in G$能固定余切丛$T^*M$上的点$(q,p)$，那它首先得固定基流形上的$q$（毕竟余切提升的基映射就是原群作用），所以$g$肯定属于原迷向子群$G_q$；除此之外，它还得满足$g \cdot p = p$（这里的$\cdot$是余切提升的作用，具体定义是$(g \cdot p)(v) = p(g^{-1} \cdot v)$，其中$v \in T_qM$）。所以$G_{(q,p)} \subseteq G_q$这个包含关系是普遍成立的。

接下来聊聊你提到的「动量依赖」现象，这部分你的观察完全正确：

• 零截面场景：当$p=0$时，任何$g \in G_q$都能满足$g \cdot 0 = 0$（因为零线性泛函作用在任何向量上结果都是0，不管$g$怎么拉回），所以此时$G_{(q,0)} = G_q$，迷向子群大小和基流形上完全一致。
• 非零动量的泛型场景：当$p \neq 0$且是「泛型」动量（也就是它不是$G_q$在$T_qM$上线性表示的任何非平凡子表示的零化子）时，迷向子群会缩小成$G_q$的真子群。具体来说，$G_{(q,p)} = {g \in G_q \mid g^*p = p}$，换个通俗的说法：$g$在$T_qM$上的线性作用必须保持线性泛函$p$不变——如果$G_q$的表示是不可约的，那泛型$p$对应的迷向子群甚至可能是平凡群。

然后是你关心的「约束与哈密顿方程」问题：首先要明确，哈密顿方程是演化方程，不是相位空间本身的约束条件（除非你处理的是带规范约束的系统，比如杨-米尔斯理论这类）。相位空间$T^*M$本身是无约束的辛流形，每个点$(q,p)$都是合法的相位点，不管它是不是某个哈密顿流轨道上的点。所以：

• 如果你只是要计算某个给定相位点$(q,p)$的迷向子群，完全不需要解哈密顿方程——直接用上面的定义$G_{(q,p)} = {g \in G_q \mid g^*p = p}$计算就行。
• 只有当你关注的是哈密顿流轨道上的点的迷向子群时，才需要结合轨道性质分析，但这时候迷向子群的变化是轨道演化带来的，而非相位空间本身的约束要求。另外，如果群作用是哈密顿的（余切提升的作用天然是哈密顿的），动量映射是守恒量，这时候轨道上的$p$会满足动量映射的守恒条件，迷向子群会和动量映射的水平集产生关联。

最后补充几个实用的一般结论，帮你把基流形与余切丛的迷向子群关系理得更清晰：

• 对于哈密顿群作用，余切提升的动量映射$J: T^M \to \mathfrak{g}^$（$\mathfrak{g}$是$G$的李代数）定义为$J(q,p)(X) = p(X_M(q))$，其中$X_M$是$X$对应的基流形向量场。此时迷向子群$G_{(q,p)}$是$G_q$（基流形点$q$的迷向子群）与$G_p$（动量$p$的迷向子群，即${g \in G \mid g \cdot p = p}$）的交集，也就是$G_{(q,p)} = G_q \cap G_p$。
• 就算原群作用是自由的，余切提升的作用在零截面外也不一定自由：比如圆周群$S^{1$作用在$M=S}1$上是旋转，基流形每个点的迷向子群都是$S^1$本身，但余切丛上非零动量的点，迷向子群是平凡群（旋转会改变动量的符号或大小），所以零截面外作用是自由的，零截面处则有非平凡迷向。
• 从李代数层面看，$G_{(q,p)}$的李代数是$\mathfrak{g}_q$（$G_q$的李代数，即${X \in \mathfrak{g} \mid X_M(q)=0}$）中满足$p(X_M'(q))=0$的元素，这里$X_M'$是$\mathfrak{g}$在$T_qM$上的线性表示（李代数的微分作用）。

备注：内容来源于stack exchange，提问作者X-Naut PhD