混合反常与 Riemann-Roch 定理

---

本博客旨在解释 共形场论 (CFT) 中的 对称性与引力之间的 混合反常 (mixed anomaly) 如何导出复几何中的 Riemann-Roch 定理。在本博客中，我们将只关注主要的 物理 思想，而将严格的数学处理留给未来的文章。

考虑一个球面 内的磁单极子，在整个 上不存在一个全局良定义的规范联络 。我们需要用一些坐标卡 来覆盖 ，然后在每个坐标卡上定义 （在确定一个参考联络后），并利用转移函数 来获得全局的 联络。

对于 的情况，最简单的坐标卡选择可能是两个半球，这两个坐标卡的交集是一个圆周 。因此，可以很容易地证明，该联络可以写为：

其中，相关的规范曲率可以写为 ，转移函数可以写为 。使用上述公式，磁通量可以计算为：

考虑一个定义在黎曼面 上的 共形场论，其共形权重为 和 ：

其中 ， ， 是一个全纯线丛， 是 上的典范丛。

现在我们考虑这个共形场论在某个坐标卡 上的局域描述，其局域坐标为 。在该坐标下，能量 - 动量张量由下式给出：

而 流为：

该流的算符乘积展开 (OPE) 可以写为：

这意味着当考虑共形变换 时，流会发生如下变化：

最后一个等式成立，因为共形变换是 全纯的。这个变换公式表明 不是一个主场。

从经典力学角度看，这里的守恒量可以朴素地写为 。这个方程在 上对于具有紧支撑的 场是成立的。然而，当我们考虑该场论的全局结构时，需要进行更精确的分析。

当我们将坐标卡粘合成一个一维复流形时，满足 的全纯函数 将扮演 转移函数 的角色，它实际上就是一个共形变换 。因此，回顾引言中的讨论， 在 上的积分应该被重新表述为在由某些共形变换粘合的多个坐标卡上的积分之和：

这里我们为 选择了一个良覆盖 ，并在每个坐标卡上赋予局域坐标 。由于 是 上的 形式，上述积分可以改写为：

给定 的一个（良）覆盖 ，转移函数由 给出，因此两个坐标卡上的流由以下关系联系：

至此，我们遇到了与球面内磁单极子相似的情况，这里的流 扮演了规范联络 的角色，它可能不是全局良定义的。

一种表述引言中思想的方式是，我们首先在每个坐标卡上对 进行积分，然后通过转移函数将它们加总起来。

我们可以将上述考虑嵌入到 Čech 复形 中，其中 是 中的一个元素，而 是 中的一个元素，这里：

• 中的第一个上同调次数是坐标卡的交集个数，例如， 是 中的元素， 是 中的元素，依此类推。
• 中的第二个上同调次数表示微分形式的阶数，例如， 是 0 阶形式（函数）， 是 1 阶形式，依此类推 1。

相关的 Čech 微分由以下方式导出：

• ，其中 。
• 是在坐标卡 上的标准 de Rham 微分。

因此，流 的变换可以重述为：

可以改写为：

其中箭头 表示 。此外，由于转移函数满足条件

我们有：

其中 的作用相当于一个嵌入 ，即对于 有 。注意到我们的积分是对 在 上进行的，因此我们需要将 纳入考虑，于是我们有：

其中 是将一个光滑形式限制到坐标卡交集上的操作，即对于 有 。

利用上图，我们可以将 在 上不明确的积分，替换为 在每个坐标卡 上的良定义积分，进而替换为全局良定义的 2-形式 的积分。

此外，上图暗示了 在 上的积分会降维为对所有 上的 求和。为了看清这一点，我们考虑覆盖 的神经 (nerve of cover)，这是一个从 构造出来的单纯复形。下图是一个覆盖的神经（及其对偶）的例子。

因此， 在 上的积分可以：

• 首先，被重述为在边界 上的积分：

其中 表示对应于交集 的边，

• 然后，被重述为在面 上的积分，这其实就是对 的求和：

其中 表示对应于交集 的面。

• 最后，被重述为 在 上的‘积分’，即 中的 与 中的基本类 的配对：

根据 定义，这恰好是线丛 的第一陈类 乘以 。

因此， （实际上是 ）在黎曼面 上的积分给出：

其中 是线丛 的第一陈类。

共形场论的零模方程可以写为：

我们分别用 和 表示 场的零模个数。不难发现 且 ，因此零模数之差为：

利用 Serre 对偶 ，我们得到（在我们的情况下， ）：

因此椭圆算子 的指标可以重述为：

此外，众所周知，零模数之差可以重述为 诺特流的荷，它由（量子层面的） 生成元给出：

我们可以使用路径积分来计算这个荷，我们有：

其中 是场空间上的形式化的 Berezin 测度， 是配分函数。

注意到 场的可能存在的零模不会出现在作用量 中，因此除非没有零模，否则上述积分恒为零。为了克服这个问题，我们需要在积分中插入一个包含 个 场和 个 场的可观测量，即：

我们最终将证明这个积分与 的选择无关，但现在让我们选择一个该算符的简单形式：

因此， 荷算符作用在该可观测量上，结果为：

这可以从

以及对易子的莱布尼兹法则推导出来。

现在我们考虑上述对易子的路径积分形式。为了实现上述对易子，我们需要两个事实：

• 首先，路径积分会导出一个（时间，径向）有序积。
• 其次， 的值在积分路径的微小形变下是稳健的（利用柯西积分公式）。

第一个事实表明我们可以将量子期望值实现为：

利用第二个事实，这两个回路可以形变为一个围绕 的闭合回路。因此，对易子可以简单地实现为 的路径积分期望值。

对每个 和 使用上述结果，我们最终得到：

这与 的选择无关。因此，我们将椭圆算子 的指标与 荷等同起来：

回顾我们之前的结果，这实际上给出了鬼数与流形欧拉示性数之间的关系：

这里我们使用了如下事实： 且 ，其中 是 上的典范线丛。 注意到鬼数与指标的等价性，我们最终得到了椭圆算子 的指标定理：

使用指标表达式 ，这正是 Riemann-Roch 定理：

利用线丛 - 除子对应关系，这个定理可以转化为教科书中的标准形式。

1. 上的 形式可以自然地嵌入到 中，因此我们记作 .