从超导体四维流形到弱相互作用Ⅱ.pdfVIP

学科与专题介绍 从超导体、四维流形，到弱相互作用 (II) EdwardW itten 3．四维流形 3．1复自旋 (Spin。)结构 我们已经解释了超导体，其中有些性质在四维流形理论中有类 比，出现于陶伯斯对赛 伯格 一威顿方程组的一个微扰版本的研究 [20，21】．我们有必要先解释一些基本概念 (在 [17]中有更轻松的讲述)，虽然很多细节最后在我们讨论的主要问题中也并非那么重要． 设 为一光滑四维流形，有黎曼度量 g．X切丛的结构群是 so(4)．X上_个 自旋结 构是切丛对应的 S0(4)主丛的一个Spin(4)提升．这里 Spin(4)是 S0(4)的单连通二重 复叠．因为 Spin(4) su(2)×su(2)，它有两个不可约二维表示．从而相应于每个 自旋结 构存在两个秩二复向量丛 ，S一，称为正负自旋丛．反过来，自旋结构被具有 su(2)结 构的丛 (或 S一)以及即将在 §3．2中定义的映射 所决定． 一 般而言，一个四维流形 可能没有任何 自旋结构，但一定有复 自旋 (Spin)结构． 一 个复 自旋结构是切丛的 so(4)主丛到 Spin。(4)主丛的一个提升，这里 Spin(4)=(Spin(4)×U(1))／Z2：(su(2)×su(2)×U(1))／Z2． Spin。(4)到 (su(2)×U(1))／Z2=u(2)有 2个映射，分别把 2个 SU(2)之一映到单位 元．u(2)的二维定义表示给出Spin(4)的2个二维表示．现在 上的一个复 自旋结构决 定 2个秩二复向量丛 ， ．跟之前一样，复 自旋结构 由 (或 )和映射 完全决 定． 流形局部总有 自旋结构，且在同构意义下唯一，我们还可以把 写为 7=己，其 中7=己为一复线丛．整体上 和 7=己可能不存在 (即使存在也未必唯一)，但他们的张量积 存在．7=己上的一个酉联络 加上 上的Riemann(黎曼)或Levi—Civita(列维一齐维塔) 联络给出 上一个联络． 上的一个联络称为复 自旋联络，如果它在每个局部，对 的某一 (从而所有)分解 0冗具有以上局部形式．复自旋联络的曲率是 u(2)值 2一形 式，u(2)为 u(2)的李代数．由于 u(2)=su(2)0u(1)，曲率可以投影至 su(2)或 u(1)．到 5u(2)的投影将给出 上黎曼张量的一部分 (由复 自旋联络定义可见)，到 u(1)的投影为 一 个闭2一形式 F．局部上，F可被视为线丛 7=己上联络 的曲率． 译自：Bulletin(NewSeries)oftheAMS，Vo1．44(2007)，No．3，P．361-391，FromSuperconductors andFour-ManifoldstoWeakInteractions，EdwardW itten，figurenumber9．Copyright@2007the AmericanMathematicalSociety．Reprintedwithpermission．Allrightsreserved．美国数学会与作 者授予译文出版许可． ． 294 - 复 自旋结构决定一个线丛 det ．从而决定一个整上同调类 Cl(det )．如果 = S+ 7-4，则det =7=己(S+的行列式丛平凡，因为它的结构群为 s (2))，所以det 上 的自然联络有曲率 2F，而C1(det )在 deRham (德拉姆)上同调中有代表 2·F／2u． 3．2Dirac算子和赛伯格 一威顿方程组 现在记 所有截面组成的空间为 r(x， )．这两个空间之间存在 自然的 Dirac(狄 拉克)算子 ：r(x， )一 r(x， )．这是个一阶椭 圆微分算子．在局部坐标下，19= ∑ ?iD／Dxi，其中 (有时被称为狄拉克矩阵)生成 Clifford(克利福德)代数．狄拉克 算子最初由狄拉克 [4】在量子电动力学中引入． (狄拉克的理论框架跟我们的主题密切相 关，因为对超导性更加准确的描述需要 电子的薛定谔方程，而它正是狄拉克方程的非相 对论近似．)狄拉克算子还是 Atiyah—Singer(阿蒂亚 一