坐标变换

坐标变换

坐标其实很难理解的概念。就连爱因斯坦也被其困扰多年，也是他研究广义相对论时最大的阻力。当意识到坐标本身并具有物理意义，而只是我们选取的方便我们描述物理的一种工具的时候，是一种物理思维上的进步。可以说广义相对论就是一个去坐标化的革命。如何构造一个空间理论，让坐标无意化显而易见呢？或者说，怎样去处理坐标变换对理论表述的影响? 微分几何提供的方法是，使用张量来表述理论和描述物理过程。张量可以理解为是一种几何量当坐标变化的时候，所有的张量都统一的协同变换。可以说这种协同变换就是广义相对论。对于一个空间，可以定义很多有特殊作用的张量。比如度规张量，可以用来描述空间的几何结构。如果存在特殊的坐标变化，度规不发生变化，这个坐标变化就对应了一种这个空间的对称性。这个坐标变化的生成元称为Killing向量。在完全平坦的4维空间里，这样的特殊的坐标变换，或者说Killing 向量有10个，他们就构成了庞加莱群，包涵了所有的平移和转动。
还有一种特殊的坐标变换，就是虽然度规会发生变换，但是新的度规和就的度规成正比，可以理解为在每一点，长度的概念被拉伸或压缩，但是角度的概念不发生变化。对于一些不依赖于长度的系统，这也是一种对称，成为共形对称，这些坐标变化的生成元也称为conformal Killing 向量。很明显，Killing向量是conformal Killing 向量的一种特殊情况。所以共形对称对应的群包涵了庞加莱群。在4维的平坦空间，conformal Killing 向量有15个。
但是在2维空间，共形对称的生成元有无数个！这对2维空间的共形理论，比如共形场论是个很强的限制，强到共形场论本身可能被共形对称完全确定。所以你只需要研究对称性，就能知道这个理论的一切！而弦论就是这样的一个理论。不需要任何的人为的定义或是调控，弦论本身遵循对称性！

还有一些其他的特殊的张量。比如在相空间(位置和动量联合的空间)里的辛张量。保持辛张量不变的坐标变换称为正则变换。正则变换把一个经典力学系统映射到另外一个经典力学系统。如果正则变换还不改变能量(哈密顿量)，那么这个正则变换就是一个系统的对称性。
特殊张量的存在性对空间本身也有很大的限制。比如你要求空间具有超对称性，那么空间必须具有Killing spinor。这个条件就限制了弦论额外卷曲的空间必须是Calabi-Yau空间。
再比如你要求空间存在一个闭合的Killing Yano张量，满足这样条件的空间竟然也是唯一确定的，他一定是平坦空间或是转动的黑洞解。