量子引力的协变量子化：从狄拉克约束到BRST形式

词条背景：量子引力旨在将广义相对论的引力理论与量子力学原理统一。由于广义相对论是一个约束系统（其动力学由爱因斯坦方程描述，但存在由于广义协变性产生的冗余自由度），其量子化不能简单地套用量子场论的标准正则量子化程序。协变量子化是一种试图保持明显协变性（即四维时空的洛伦兹/广义协变性）的量子化方案，但在处理约束时会遇到根本性的困难。本词条将聚焦于这一核心挑战及其形式化解决方案的演进。

步骤 1：经典广义相对论作为一个约束系统

我们首先从经典层面理解问题。

1. 广义相对论的核心：爱因斯坦的引力理论将时空几何（用度规场 \(g_{\mu\nu}(x)\) 描述）与物质能量分布（用能量-动量张量 \(T_{\mu\nu}\) 描述）通过爱因斯坦方程 \(G_{\mu\nu} = 8\pi G T_{\mu\nu}\) 联系起来。这是一个高度非线性的经典场论。
2. 广义协变性：理论的一个根本特征是“广义协变性”，即物理定律的形式在所有坐标变换下保持不变。这意味着没有一个优先的时空“时间”坐标——时间和空间在动力学中是交织在一起的。
3. 约束的起源：当我们将理论写成“3+1”分解形式（将四维时空分解为三维空间超曲面及其时间演化），广义协变性会直接导致：
   • 哈密顿量消失：理论的哈密顿量 \(H\) 不是一个驱动系统演化的独立量，而是可以写成所谓的“哈密顿约束” \(\mathcal{H}_{\perp}(x) \approx 0\) 和“动量约束” \(\mathcal{H}_{i}(x) \approx 0\) 的组合（这里的 \(\approx\) 表示“弱等于”，即在约束满足后才能视为等于零）。
   • 物理意义：这四个约束（一个标量，一个三维矢量）反映了系统的自由度冗余。哈密顿约束 \(\mathcal{H}_{\perp} \approx 0\) 体现了时间的可重参数化不变性（没有绝对的时间流），而动量约束 \(\mathcal{H}_{i} \approx 0\) 体现了空间坐标的可重参数化不变性。它们不是运动方程，而是对初值的限制（必须满足这些条件的初值才是物理的）。
4. 约束系统的后果：系统的真实物理自由度少于我们用来描述它的变量（度规分量）。对于纯引力，在四维中，10个度规分量受到4个约束和4个坐标选择条件的限制，最终只剩下2个物理自由度（对应于引力子的两个横向无迹极化态）。

步骤 2：正则量子化的障碍与狄拉克量子化程序

接下来，我们尝试对这个约束系统进行量子化。

1. 正则量子化的标准程序：在标准量子场论（如QED）中，我们首先定义正则动量 \(\pi = \partial \mathcal{L} / \partial (\partial_0 \phi)\)，然后对场量 \(\phi\) 和动量 \(\pi\) 施加等时对易关系 \([\phi(x), \pi(y)] = i\hbar \delta^{(3)}(x-y)\)。接着，哈密顿量 \(H\) 驱动时间演化。
2. 应用于引力的直接问题：在引力中，由于约束 \(\mathcal{H}_{\mu} \approx 0\)，系统的总哈密顿量 \(H = \int d^3x (N \mathcal{H}_{\perp} + N^i \mathcal{H}_i)\) 在约束满足时恒为零（这里 \(N, N^i\) 是拉格朗日乘子，称为“时移”和“位移”函数）。这意味着，如果我们简单地尝试将 \(g_{ij}\) 和它的正则动量 \(\pi^{ij}\) 提升为算符并施加对易关系，我们会遇到“时间不演化”的悖论。
3. 狄拉克的解决方案：狄拉克为约束系统的量子化发展了一套通用程序。
   • 第一类约束：如果所有约束的泊松括号在约束面上都弱等于零（即 \(\{C_a, C_b\} \approx 0\) 乘以其他约束），则称为第一类约束。引力的四个约束就是第一类约束。
   • 狄拉克量子化公设：将经典约束方程提升为作用于物理态矢量 \(|\Psi\rangle\) 上的算符方程：\(\hat{\mathcal{H}}_{\mu} |\Psi\rangle = 0\)。
   • 惠勒-德维特方程：对于引力的哈密顿约束 \(\hat{\mathcal{H}}_{\perp}\)，这个方程具体化为著名的 惠勒-德维特方程：\(\hat{\mathcal{H}}_{\perp}(x) \Psi[g_{ij}] = 0\)。这里 \(\Psi[g_{ij}]\) 是一个 波函数， 它依赖于三维空间的几何（度规 \(g_{ij}\)），而不是时间。这个方程描述了宇宙的“静止”状态，时间是内部参数，而不是外部参数。这是量子宇宙学的出发点。
4. 协变性的牺牲：狄拉克量子化程序是在“3+1”分解的框架内进行的，它明确破坏了四维时空的协变性（因为需要选择一个时间切片）。我们称其为 正则量子化（或 惠勒-德维特量子化）。而我们的词条目标“协变量子化”，恰恰是希望避免这种分解，保持四维形式的协变性。

步骤 3：协变量子化的尝试与法捷耶夫-波波夫鬼场

现在，我们转向保持协变性的量子化方案。

1. 路径积分的启发：量子场论的路径积分表述 \(Z = \int \mathcal{D}\phi \, e^{iS[\phi]/\hbar}\) 形式上天然协变。对于引力，我们自然希望写成 \(Z = \int \mathcal{D}g_{\mu\nu} \, e^{iS_{\text{EH}}[g]/\hbar}\)，其中 \(S_{\text{EH}}\) 是爱因斯坦-希尔伯特作用量。
2. 关键障碍：规范冗余与测度：广义协变性意味着作用量 \(S_{\text{EH}}[g]\) 在坐标变换（微分同胚）下不变。因此，在路径积分的场构型空间 \(\{g_{\mu\nu}(x)\}\) 中，每一个物理上不同的时空几何（即一个“轨道”）都对应着无穷多个由坐标变换相关联的度规场。如果我们对所有这些场进行积分，将导致严重的 发散（因为每个物理轨道的体积是无穷大的）。
3. 法捷耶夫-波波夫技巧：为了处理这种规范冗余，我们需要 规范固定。在量子电动力学（QED）中，我们引入一个规范固定项（如 \((\partial_\mu A^\mu)^2\) ）来打破规范对称性。但引力的坐标变换是非阿贝尔的（变换群结构更复杂），直接类比会破坏幺正性。
   • 鬼场的引入：法捷耶夫和波波夫发明了一种系统的方法，在路径积分中通过插入一个“1”的巧妙分解来实现规范固定。这个过程不仅引入了规范固定项（如 \(G_\mu[g]=0\)），还自动引入了新的、非物理的费米子场，称为 法捷耶夫-波波夫鬼场 \(c^\mu(x)\) 和 \(\bar{c}_\nu(x)\)。
   • 作用量的形式：量子引力的有效作用量变为：

\[ S_{\text{eff}} = S_{\text{EH}}[g] + S_{\text{gf}}[g] + S_{\text{ghost}}[g, c, \bar{c}] \]

步骤 4：量子引力作为一个有效场论与协变量的重整化

在有了协变量的路径积分形式后，我们可以用标准量子场论工具来研究它。

1. 微扰量子引力：我们在一个固定的经典背景时空（通常是闵可夫斯基时空 \(\eta_{\mu\nu}\) 或一个爱因斯坦时空解）附近对度规进行量子涨落展开：\(g_{\mu\nu} = \eta_{\mu\nu} + \kappa h_{\mu\nu}\)，其中 \(\kappa = \sqrt{32\pi G}\)。将 \(h_{\mu\nu}\) 视为自旋为2的量子场（引力子场），\(S_{\text{eff}}\) 给出其相互作用顶点。
2. 可重整性问题：计算圈图修正时，我们很快发现，引力的耦合常数 \(G\) 的量纲是 \([长度]^2\)（在自然单位制下，即 \([质量]^{-2}\)）。这意味着随着能量提高（即动量截断增大），相互作用强度以幂次律发散。具体计算表明，引力的单圈图产生 \(\sim \Lambda^4\) 和 \(\sim p^2 \Lambda^2\) 的发散（\(\Lambda\) 是动量截断），这些发散无法被作用量中已有的参数（\(G, \Lambda_{\text{cc}}\)）吸收。结论是：爱因斯坦引力作为量子场论，是不可重整的。这意味着我们需要引入无穷多个新的抵消项（对应无穷多个可调的耦合常数）来消除所有发散，理论失去了预言能力。
3. 有效场论观点：尽管不可重整，但量子引力在低能下（远低于普朗克能标 \(E_{\text{Pl}} \sim 10^{19} \text{GeV}\)）可以被视为一个 有效场论。我们接受爱因斯坦-希尔伯特作用量是低能有效作用量，并将不可重整性解释为理论在高能下需要被一个更基本的理论（如弦论）所取代的信号。在这个框架下，我们仍然可以计算量子修正，例如引力子圈对牛顿常数的修正，或黑洞热力学中的量子效应。

步骤 5：BRST对称性：量子层面的一致性保证

最后，我们探讨协变量子化形式体系中一个深层而优美的结构，它保证了量子理论的规范不变性（即广义协变性在量子层面的实现）和幺正性。

1. BRST对称性的概念：在法捷耶夫-波波夫量子化之后，整个有效作用量 \(S_{\text{eff}}\) 具有一个全局的、依赖于反交换参数的对称性，称为 BRST对称性。这个对称性是原始的经典规范对称性（微分同胚不变性）在量子理论中的“量子对应物”。
2. 生成元与变换：存在一个费米型的 BRST 荷算符 \(Q_{\text{BRST}}\)，它满足 \(Q_{\text{BRST}}^2 = 0\)。它对各场的变换规则是：
   • \(\delta_{\text{BRST}} g_{\mu\nu} = \kappa (D_\mu c_\nu + D_\nu c_\mu)\)（类似于坐标变换，但参数是鬼场 \(c^\mu\)）。
   • \(\delta_{\text{BRST}} \bar{c}_\mu = i B_\mu\)（\(B_\mu\) 是辅助场，通常通过规范固定与度规关联）。
   • \(\delta_{\text{BRST}} c^\mu = \kappa c^\nu \partial_\nu c^\mu\)（反映了规范群的李代数结构）。
3. BRST 对称性的核心作用：
   • 物理态条件：物理希尔伯特空间 \(\mathcal{H}_{\text{phys}}\) 由那些对 BRST 荷不变的态构成，即 \(Q_{\text{BRST}} |\Psi_{\text{phys}}\rangle = 0\)。同时，那些可以写成 \(Q_{\text{BRST}}\) 作用在其他态上的态（\(|\chi\rangle = Q_{\text{BRST}} |\lambda\rangle\)）被视为非物理的（具有零模）。因此，物理希尔伯特空间实际上是 BRST 上同调：\(\mathcal{H}_{\text{phys}} = \text{Ker} Q / \text{Im} Q\)。
   • 保证幺正性：BRST 对称性确保了非物理的鬼场和规范模式在计算物理的 S-矩阵元时精确抵消（这就是所谓的 鬼场机制），从而保证了概率守恒。
   • 联系约束：在正则框架下，BRST 形式可以系统地处理第一类约束，将狄拉克的物理态条件（\(\hat{C}_a |\Psi\rangle = 0\)）纳入一个更强大、更代数的框架中。
4. 意义：BRST 形式为量子规范理论（包括引力）提供了一个坚实、代数的、协变的基础。它证明了，即使在规范固定之后，量子理论仍然编码了原始对称性的精髓。在弦论和高级量子场论中，BRST 对称性更是定义理论的核心工具之一。

总结：
量子引力的协变量子化 是一条试图在四维时空框架下，保持明显协变性，对广义相对论进行量子化的道路。它始于经典理论的约束本质（狄拉克约束），在路径积分中通过 法捷耶夫-波波夫技巧 引入鬼场来处理规范冗余（微分同胚不变性），并以微扰展开的形式遇到 不可重整性 的根本困难。尽管如此，作为一种低能有效场论，它仍有计算价值。最终，BRST 对称性 为整个量子化方案提供了自洽性和幺正性的保障，将经典的广义协变性以一种精巧的代数形式保留在了量子理论的核心。这一系列概念和工具构成了理解现代量子引力理论微扰方法的基础，并与非微扰方法（如圈量子引力、弦论）形成了互补。