AI 中文总结
针对半径比为1:3的两球无滑动无扭转滚动问题，本文从运动学角度直接通过Tanaka延拓构造秩2例外单李群，给出该情形下出现例外单李群的直观运动学解释，无需借助分裂八元数。
AI 中文摘要
给定一对二维球面，其中一个半径为另一个的三倍，对应两球相互滚动（无滑动、无扭转）的分布的局部无穷小对称的李代数，同构于秩2例外单李代数的分裂实形式。然而，这种例外局部对称仅出现在这一特定1:3半径比下，尽管已有多个该结果的证明，但长期以来一直需要对该情形下看似神奇的例外单李群的出现给出直接的运动学解释。本文提供了这样一种解释，将半径比与从滚动球视角可观测的一对单参数子群的交集关联起来。该方法无需借助分裂八元数，因为我们通过Tanaka延拓直接构造了该例外单李群，以辅助可视化底层几何。
英文摘要
Given a pair of (round) 2-dimensional spheres, one of which has radius three times that of the other, the Lie algebra of local infinitesimal symmetries for the distribution corresponding to rolling the spheres along each other (without letting them slip or twist) happens to be isomorphic to the split real form of the exceptional simple Lie algebra of rank 2. These exceptional local symmetries appear only for this specific 1:3 ratio of radii, however, and while there are several proofs of this result, a straightforward kinematic explanation for the seemingly miraculous appearance of an exceptional simple Lie group in this situation has long been desired. In this paper, we provide such an explanation, relating the ratio of radii to the intersections of a pair of one-parameter subgroups that can be seen from the rolling sphere perspective. The approach does not require the split-octonions, as we construct the exceptional simple Lie group directly by Tanaka prolongation to aid in visualizing the underlying geometry.
Comments42 pages, 10 figures
