闵氏空间中限制庞加莱群及类时方向SO(3)迷向群的不动点问题

咱们先从你提到的欧氏空间情况入手做个对比：在三维定向欧氏空间里，欧氏群$E(3)$的迷向群$SO(3)$（固定原点的旋转子群），它的不动点确实只有原点——毕竟任何非原点的点，经过旋转都会偏离原来的位置。

那回到四维闵可夫斯基空间$\mathbb{R}^{1,3}$的情况，我们先固定一个标准的未来指向类时向量（比如取时间分量为正的$(1,0,0,0)$，用时间在前的符号约定），对应的迷向群就是庞加莱群中能保持这个类时向量不变的所有变换组成的子群，这部分变换其实就是绕着这个类时向量（可以理解为“时间轴”）的三维空间旋转，也就是你说的$SO(3)$。

那这个$SO(3)$迷向群的不动点是什么呢？我们来具体看变换效果：对于闵氏空间里的任意点$x=(t,x_1,x_2,x_3)$，这个$SO(3)$变换只会旋转它的空间分量$(x_1,x_2,x_3)$，而时间分量$t$完全不变。所以只有当空间分量全为0的时候，不管怎么旋转，这个点都不会改变——也就是说，所有位于这条类时向量所在“时间轴”上的点（即形如$(t,0,0,0)$的点，$t$为任意实数），都是这个$SO(3)$迷向群的不动点。

再补充你提到的庞加莱群对未来指向类时曲线空间的可迁作用：这个可迁性的意思是，任何一条未来指向类时曲线，都能通过庞加莱变换（平移+洛伦兹变换）映射到另一条。所以我们不需要纠结特定的曲线轨道，只需要看单个轨道内的共性就行——不管你选哪条未来类时曲线对应的迷向群，它的不动点结构都是一致的，本质上就是那条类时曲线所在的“类时直线”上的所有点，只是坐标系的选取不同而已。

内容的提问来源于stack exchange，提问作者bonif