根系的根与外尔群对称点的对应关系及三维点群对称点的可视化关联与反射固定点计数问题

嘿，这个问题我之前也纠结过，从可视化角度把根系和点群对称点绑定起来，确实能帮你彻底打通这层逻辑，咱们一步步拆解：

一、根系和三维点群的直观对应（用整数线性组合关联对称点） #

你猜的没错！每个根系的**整数线性组合（适当归一化后）**刚好能覆盖对应点群的所有对称点（顶点、边中点、面中心、中心），咱们逐个看：

1. A₃根系 ↔ Tₕ（四面体全对称群） #

A₃的根其实是ℤ⁴里满足坐标和为0的向量，形如εᵢ - εⱼ（i≠j，ε是标准基），总共12个根。把这些根投影到三维子空间（比如x₁+x₂+x₃+x₄=0）后：

• 正四面体的顶点：可以用根的整数组合除以2得到，比如(ε₁+ε₂-ε₃-ε₄)/2，这就是四面体的一个顶点坐标；
• 边中点：直接是单个根的一半，比如(ε₁-ε₂)/2，刚好对应四面体一条边的中点；
• 面中心：三个相邻顶点的平均，也是根的整数组合（比如三个顶点的和除以3，本质是多个根的线性组合）；
• 中心：零向量，自然是根的0组合。

外尔群由这些根生成的反射构成，刚好能实现四面体的所有对称操作（旋转+反射），也就是Tₕ群。

2. C₃（B₃）根系 ↔ Oₕ（八面体/正方体全对称群） #

C₃根系分长根和短根：长根是(±2,0,0),(0,±2,0),(0,0,±2)（6个），短根是(±1,±1,0),(±1,0,±1),(0,±1,±1)（12个）。对应正方体的对称点：

• 顶点：(±1,±1,±1)，可以用三个短根的和（比如(1,0,0)+(0,1,0)+(0,0,1)）得到；
• 边中点：就是短根本身，比如(1,1,0)；
• 面中心：长根的一半，比如(1,0,0)；
• 中心：零向量。

外尔群生成的反射和旋转刚好覆盖正方体的所有对称操作，也就是Oₕ群。

3. H₃根系 ↔ Iₕ（二十面体全对称群） #

H₃的根是正二十面体的边向量（长度为黄金分割比φ=(1+√5)/2），形如(±1,±φ,0),(±φ,0,±1),(0,±1,±φ)（12个），以及它们的置换（总共30个根）。对应的对称点：

• 顶点：就是根的端点（归一化后），比如(1,φ,0)；
• 边中点：两个相邻顶点的平均，是根的整数组合除以2；
• 面中心：五个相邻顶点的平均，也是根的整数组合；
• 中心：零向量。

外尔群的反射操作刚好对应二十面体的所有对称变换，也就是Iₕ群。

二、反射固定点的计数：从根到对称点的关联 #

你已经知道怎么算反射下固定的根数量（找落在反射平面内的根），那对应到点群的对称点，只需要把根的固定情况映射到对称点的轨道上就行：

核心逻辑 #

反射平面会把点群的对称点分成两部分：被反射交换的点，和落在平面上的固定点。每个对称点轨道（顶点、边中点等）的固定点数量，和对应根轨道的固定数量直接相关：

• 比如根轨道是“边向量”（每个边对应两个方向相反的根），那固定的根数量如果是2，对应的固定边中点数量就是1（因为两个方向相反的根对应同一个边中点）；
• 如果根轨道是“面中心向量”（每个面对应两个方向的根），固定根数量是2，对应固定面中心数量就是1。

举个例子（Oₕ群） #

取C₃根系中垂直于长根(2,0,0)的反射平面（x=0）：

• 固定的根：长根(0,±2,0),(0,0,±2)（4个），短根(0,±1,±1)（4个），总共8个；
• 对应的固定对称点：
  • 面中心(0,±1,0),(0,0,±1)（2个，对应4个长根，每两个根对应一个面中心）；
  • 边中点(0,±1,±1)（4个，直接对应4个短根）；
  • 中心（1个，零向量）；
• 总固定对称点数量：2+4+1=7个。

再举个例子（Tₕ群） #

取A₃根系中垂直于根ε₁-ε₂的反射平面：

• 固定的根：只有ε₃-ε₄和ε₄-ε₃（2个）；
• 对应的固定对称点：
  • 边中点(ε₃-ε₄)/2（1个，对应两个方向的根）；
  • 对面的边中点(ε₁+ε₂-ε₃-ε₄)/2（1个，这是根的整数组合，不是根本身，但属于对称点）；
  • 中心（1个）；
• 总固定对称点数量：1+1+1=3个。

三、可视化小技巧 #

如果想直观验证，你可以把根系的向量投影到三维空间：

• A₃的权多面体（外尔群作用下权向量的轨道）就是正四面体；
• C₃的权多面体就是正方体；
• H₃的权多面体就是正二十面体。
  这些多面体的顶点、边、面刚好就是点群的对称点，而根系的根就是这些多面体的边向量或面对角线向量，一眼就能看明白对应关系！

备注：内容来源于stack exchange，提问作者Mathematical Lie