有时写作welding）:我们现在把"TM"放在了更丰富的设置中，它由"H"值的变换数据表达。这里的一个要点是，和前面的讨论一样，它"不"假设"H"忠实地作用在"T"上。这直接使得旋量丛可以在理论中取代它们的位置，只要把"H"变成一个旋量群而不只是一个正交群。
使用形式化属于的一般理论.在根源上，几何由空间的不同物体间的"相似性"的概念组成。在19世纪晚期，相似性的概念通常由李群在空间上的作用给出。李群的作用通常是非常刚性的，所以嘉当几何是这种相似概念的一个推广使得曲率得以出现。当