缝合手征有理共形场论

Jan 2, 2026 · updated May 22, 2026

翻译声明：本文由 LLM 从原文翻译而来，可能存在翻译不准确之处。建议阅读原文以获得最准确的内容。

给定一个定义在带穿孔球面 $𝕊^{2} ({𝑝_{1}, 𝑧_{1}}, \dots, {𝑝_{𝑛}, 𝑧_{𝑛}})$ 上的局部 RCFT，我们希望在更高亏格的黎曼曲面 $Σ_{𝑔} ({𝑝_{1}, 𝑧_{1}}, \dots, {𝑝_{𝑛}, 𝑧_{𝑛}})$ 上构造该理论。其中 ${𝑝_{𝑛}, 𝑧_{𝑛}}$ 表示点 $𝑝_{𝑛}$ 处的穿孔及其局部坐标 $𝑧_{𝑛}$ ，满足 $𝑧 (𝑝) = 0$ 。

存在一种标准方法可以从若干带穿孔球面获得高亏格黎曼曲面，即所谓的“因子化” (factorization) 或“缝合程序” (sewing procedure)。因此，核心思路如下：

首先，找到目标黎曼曲面 $Σ_{𝑔} ({𝑝_{1}, 𝑧_{1}}, \dots, {𝑝_{𝑛}, 𝑧_{𝑛}})$ 的一个因子化。
在每一个“裤腿” (pants) 上定义局部 RCFT，即 $𝕊^{2} ({𝑝_{𝑖}, 𝑧_{𝑖}}, {𝑝_{𝑗}, 𝑧_{𝑗}}, {𝑝_{𝑘}, 𝑧_{𝑘}})$ 。
寻找一种局部 RCFT 的结合缝合算子，并使其与黎曼曲面的缝合相兼容。

上述数据可以总结为：

𝑍 : [(Σ_{𝑔_{1}}, Σ_{𝑔_{2}}) \to Σ_{𝑔_{1} + 𝑔_{2}}] \Rightarrow [(𝑍 (Σ_{𝑔_{1}}), 𝑍 (Σ_{𝑔_{2}})) \to 𝑍 (Σ_{𝑔_{1} + 𝑔_{2}})],

其中 $𝑍$ 表示定义在相应黎曼曲面上的 RCFT，对应于高亏格配分函数。

由于给定的黎曼曲面存在多种因子化方式，我们还需要证明定义在 $Σ_{𝑔} ({𝑝_{1}, 𝑧_{1}}, \dots, {𝑝_{𝑛}, 𝑧_{𝑛}})$ 上的最终 RCFT 独立于裤腿分解 (pants decomposition) 的选择。这与上述对 $𝑍$ 的约束有关，对应于有理 CFT 中的 Moore-Seiberg 数据以及映射类群 (mapping class group) 在黎曼曲面上的作用。

引言：量子场论中的胶合

这是量子场论中初等的部分，至少在“哲学”层面上是广为人知的。

Remark

以严谨的方式写下此类程序并非易事，仅在某些特殊情况下取得成功，例如拓扑量子场论 (TQFT)，以及我们这里关注的核心——有理共形场论 (RCFT)。

Remark

以严谨的方式写下此类程序并非易事，仅在某些特殊情况下取得成功，例如拓扑量子场论 (TQFT)，以及我们这里关注的核心——有理共形场论 (RCFT)。

考虑定义在具有边界 $𝜕 𝑀$ 的流形 $𝑀$ 上的 QFT，路径积分可以写为：

𝑍 (𝑀, 𝜑 (𝜕 𝑀)) = \int_{Γ (𝑀, 𝑋)}^{𝜑 |_{𝜕 𝑀} = 𝜑 (𝜕 𝑀)} 𝒟︀ [𝜑] 𝑒^{- 𝑆 [𝜑]},

它是边界场构型 $𝜑 (𝜕 𝑀)$ 的泛函。因此，如果我们有两个边界同构 $𝜕 𝑀 \equiv 𝜕 𝑁$ 的流形 $𝑀$ 和 $𝑁$ ，我们可以通过逆边界操作将它们胶合在一起，形成一个新流形 $𝑀 ⊔_{𝜕 𝑀 \equiv 𝜕 𝑁} 𝑁$ ：

𝑍 (𝑀 ⊔_{𝜕 𝑀 \equiv 𝜕 𝑁} 𝑁) = \int_{Γ (𝜕 𝑀, 𝑋)} 𝒟︀ [𝜑 (𝜕 𝑀)] 𝑍 (𝑀, 𝜑 (𝜕 𝑀)) 𝑍 (𝑁, 𝜑 (𝜕 𝑀)),

其中我们对所有可能的边界场构型 $𝜑 (𝜕 𝑀)$ 进行求和，且 $𝑍 (𝑁, 𝜑 (𝜕 𝑀))$ 表示 $𝑍 (𝑁, 𝜑 (𝜕 𝑀))$ 的复共轭，因为 $𝜕 𝑁$ 的定向与 $𝜕 𝑀$ 相反。

缝合一个 RCFT

我们首先回顾黎曼曲面的缝合程序，然后讨论局部 RCFT 在此类操作下的表现。

黎曼曲面的缝合

考虑（某些）黎曼曲面上的两个穿孔 ${𝑝_{𝑖}, 𝑧_{𝑖}}$ 和 ${𝑝_{𝑗}, 𝑧_{𝑗}}$ 。缝合操作会将这两个穿孔胶合在一起，形成一个新的黎曼曲面 $Σ^{'}$ 。

Example

如果两个穿孔位于不同的黎曼曲面 $Σ_{𝑔_{1}}$ 和 $Σ_{𝑔_{2}}$ 上，新的黎曼曲面写为 $Σ_{𝑔_{1} + 𝑔_{2}, 𝑛_{1} + 𝑛_{2} - 2}^{'} = Σ_{𝑔_{1}, 𝑛_{1}} \infty_{𝑗}^{𝑖} Σ_{𝑔_{2}, 𝑛_{2}}$ 。
如果两个穿孔位于同一个黎曼曲面 $Σ_{𝑔}$ 上，新的黎曼曲面写为 $Σ_{𝑔 + 1, 𝑛 - 2}^{'} = 8_{𝑗}^{𝑖} Σ_{𝑔, 𝑛}$ 。

在上述符号中，RCFT 配分函数 $𝑍 : Σ_{𝑔, 𝑛} \to 𝑍 (Σ_{𝑔, 𝑛})$ 应当与缝合操作兼容，例如：

𝑍 : Σ_{𝑔_{1}, 𝑛_{1}} \infty_{𝑗}^{𝑖} Σ_{𝑔_{2}, 𝑛_{2}} \Rightarrow 𝑍 (Σ_{𝑔_{1} + 𝑔_{2}, 𝑛_{1} + 𝑛_{2} - 2}^{'}),

这将从两个低亏格的配分函数定义出一个高亏格的 RCFT 配分函数。我们将在下一节讨论更多细节。

Example

如果两个穿孔位于不同的黎曼曲面 $Σ_{𝑔_{1}}$ 和 $Σ_{𝑔_{2}}$ 上，新的黎曼曲面写为 $Σ_{𝑔_{1} + 𝑔_{2}, 𝑛_{1} + 𝑛_{2} - 2}^{'} = Σ_{𝑔_{1}, 𝑛_{1}} \infty_{𝑗}^{𝑖} Σ_{𝑔_{2}, 𝑛_{2}}$ 。
如果两个穿孔位于同一个黎曼曲面 $Σ_{𝑔}$ 上，新的黎曼曲面写为 $Σ_{𝑔 + 1, 𝑛 - 2}^{'} = 8_{𝑗}^{𝑖} Σ_{𝑔, 𝑛}$ 。

在上述符号中，RCFT 配分函数 $𝑍 : Σ_{𝑔, 𝑛} \to 𝑍 (Σ_{𝑔, 𝑛})$ 应当与缝合操作兼容，例如：

𝑍 : Σ_{𝑔_{1}, 𝑛_{1}} \infty_{𝑗}^{𝑖} Σ_{𝑔_{2}, 𝑛_{2}} \Rightarrow 𝑍 (Σ_{𝑔_{1} + 𝑔_{2}, 𝑛_{1} + 𝑛_{2} - 2}^{'}),

这将从两个低亏格的配分函数定义出一个高亏格的 RCFT 配分函数。我们将在下一节讨论更多细节。

在此程序中：

穿孔 $𝑝_{𝑖}$ 和 $𝑝_{𝑗}$ 会被识别并最终移除。
局部坐标 $𝑧_{𝑖}$ 和 $𝑧_{𝑗}$ 满足关系 $𝑧_{𝑖} 𝑧_{𝑗} = 𝑞$ ，其中 $𝑞$ 是一个模满足 $| 𝑞 | < 1$ 的复参数。

Remark

$𝑞$ 被称为“缝合参数” (sewing parameter)，它控制新黎曼曲面 $Σ^{'}$ 的复结构，并通过 $𝑞 = 𝑒^{- (𝑙 + 𝑖 𝜃)}$ 与 Teichmüller 空间中的 Fenchel–Nielsen 坐标 $(𝑙, 𝜃)$ 相关联。

如果同时发生其他缝合操作，我们将拥有多个缝合参数 $𝑞_{1}, 𝑞_{2}, \dots$ ，它们构成了一个坐标系 ${𝑞_{𝑖}}$ 。

Remark

如果同时发生其他缝合操作，我们将拥有多个缝合参数 $𝑞_{1}, 𝑞_{2}, \dots$ ，它们构成了一个坐标系 ${𝑞_{𝑖}}$ 。

第二步可以理解如下：

在穿孔周围切除小圆盘 $| 𝑧_{𝑖} | < | 𝑞 |^{\frac{1}{2}}$ 和 $| 𝑧_{𝑗} | < | 𝑞 |^{\frac{1}{2}}$ 。
通过关系 $𝑧_{𝑖} 𝑧_{𝑗} = 𝑞$ 识别边界 $| 𝑞 |^{\frac{1}{2}} \leq | 𝑧_{𝑖} | < 1$ 和 $| 𝑞 |^{\frac{1}{2}} \leq | 𝑧_{𝑗} | < 1$ 。

模性与映射类群

Fenchel–Nielsen 坐标系 ${𝑞_{𝑖}}$ 对应于黎曼曲面的一种因子化。然而，对于给定的黎曼曲面存在多种因子化，因此在 Teichmüller 空间中存在多种坐标系 ${𝑞_{𝑖}}$ 。

模性：缝合双穿孔球面

考虑缝合双穿孔球面 $𝕊^{2} ({𝑝, 𝑧}, {𝑝^{'}, 𝑤})$ 上的两个穿孔 $𝑝$ 和 $𝑞$ ，结果得到的黎曼曲面是一个环面（众所周知的事实）。我们假设 $𝑝$ 和 $𝑝^{'}$ 是球面的两个极点，局部坐标 $𝑧$ 和 $𝑤$ 通过 $𝑧 𝑤 = 𝑞$ 相关联。

利用球面上两个图表 (charts) 的转移函数，我们可以写出 $𝑤 = \frac{1}{𝑧}$ ，因此缝合关系可以写为识别 $𝑧 \sim 𝑞 𝑧$ 。在这种识别下，复平面 $ℂ$ 变为一个环面 $𝕋 = ℂ^{*} / (𝑧 \sim 𝑞 𝑧) ≅ ℂ / (ℤ + 𝜏 ℤ)$ ，其中 $𝑞 = 𝑒^{2 𝜋 𝑖 𝜏}$ ， $𝜏 \in ℍ$ 。

缝合方式的改变可以等价于改变将环面切割为双穿孔球面（带切口）的方式，这被识别为改变同调群 $𝐻_{1} (𝕋, ℤ)$ 的基（A-循环与 B-循环）。同调基具有由交点数给出的自然辛结构，因此基的变换应当保持该结构，即辛群 $Sp (2, ℤ) \equiv SL (2, ℤ)$ 的作用。

因此，双穿孔球面上的不同缝合操作对应于 Teichmüller 空间中环面的不同坐标系 $𝑞 = 𝑒^{2 𝜋 𝑖 𝜏}$ 和 $𝑞^{'} = 𝑒^{2 𝜋 𝑖 𝜏^{'}}$ ，它们通过模群 $SL (2, ℤ)$ 的作用相关联。

映射类群

模群的高亏格泛化是黎曼曲面的映射类群。要点在于：不同的缝合操作对应于 Teichmüller 空间中不同的 ${𝑞_{𝑖}}$ 坐标系，它们通过映射类群 ${MCG}_{𝑔, 𝑛}$ 的作用相互联系（在环面情况下即为 $SL (2, ℤ)$ ）。

Remark

高亏格黎曼曲面上定义良好的 RCFT 应当独立于因子化的选择，从而独立于缝合操作的选择。这导致了对 RCFT 配分函数在映射类群作用下的某些约束，我们稍后将对此进行讨论。

Remark

缝合操作的初等变换 (Elementary Moves)

缝合程序可以分解为一系列初等缝合操作，对应于：

自扭转 (Self twisting) $Σ_{𝑔, 𝑛}^{'} = 𝑇^{𝑖} Σ_{𝑔, 𝑛}$ 。
自缝合 (Self sewing) $Σ_{𝑔 + 1, 𝑛 - 2}^{'} = 8_{𝑗}^{𝑖} Σ_{𝑔, 𝑛}$ 。
缝合两个不同的黎曼曲面 $Σ_{𝑔_{1} + 𝑔_{2}, 𝑛_{1} + 𝑛_{2} - 2}^{'} = Σ_{𝑔_{1}, 𝑛_{1}} \infty_{𝑗}^{𝑖} Σ_{𝑔_{2}, 𝑛_{2}}$ 。

最终的黎曼曲面可以通过这些初等缝合操作的序列组合获得。

从给定的因子化到另一个因子化有多种路径，对应于不同的初等缝合序列。 Hatcher 和 Thurston 的一项结果对这些关系进行了分类：

Theorem (Hatcher-Thurston)

黎曼曲面的任意两个因子化都可以通过以下初等变换序列联系起来：

F-变换 (F-move)：改变将四穿孔球面切割为两个三穿孔球面的方式。
S-变换 (S-move)：改变将单穿孔环面切割为双穿孔球面（带切口）的方式。

这些变换满足某些关系（五边形关系、六边形关系等）。

Theorem (Hatcher-Thurston)

黎曼曲面的任意两个因子化都可以通过以下初等变换序列联系起来：

F-变换 (F-move)：改变将四穿孔球面切割为两个三穿孔球面的方式。
S-变换 (S-move)：改变将单穿孔环面切割为双穿孔球面（带切口）的方式。

这些变换满足某些关系（五边形关系、六边形关系等）。

因此，为了获得从给定因子化到另一因子化的两个一致的缝合操作，我们只需要检查在这些初等变换下的一致性。诸如五边形关系和六边形关系等展示了，从给定因子化到另一因子化的所有不同路径都是一致的。

缝合局部 RCFTs

利用上述构造，该理论带有强烈的 QFT 路径积分胶合的朴素图像色彩，即对生活在边界圆上的状态求和：

𝑍 (Σ) = \sum_{𝛼} 𝑍 (Σ_{1}, 𝜑_{𝛼}) * 𝑍 (Σ_{2}, 𝜑_{𝛼}),

其中 $𝜑_{𝛼}$ 表示边界局部场构型。在 CFT 中：

利用态 - 场对应 (state-field correspondence)，边界局部场构型被识别为附着在边界圆上的希尔伯特空间 $𝐻$ 中的状态。
边界场构型可以写为初级场及其下降场 (descendants) 的线性组合：

${ℒ︀}_{- 𝑛} 𝜑_{𝑖} (𝑧) ≔ 𝐿_{- 𝑛_{1}} \dots 𝐿_{- 𝑛_{𝑁}} 𝜑_{𝑖} (𝑧),$
其中 ${𝜑_{𝑖}}$ 是初级场集，而 ${𝐿_{𝑛}}$ 是 Virasoro 生成元（为简单起见，我们在此仅考虑手征部分）。
RCFT 限制希尔伯特空间 $𝐻$ 的维数为有限，因此我们可以为初级场选择一组有限基 ${𝜑_{𝑖}}$ 。

因此，我们可以为生活在边界圆上的状态选择一组有限基 ${| 𝑖, 𝑛 ⟩}$ ，其中 $𝑖$ 标记初级场， $𝑛$ 标记下降场。考虑缝合具有穿孔 $𝑝$ 的 $𝑀$ 和具有穿孔 $𝑞$ 的 $𝑁$ ，边界态可以写为：

| Φ_{𝑀} ⟩ ≔ \sum_{𝑖, 𝑛} 𝐴_{𝑖, 𝑛} | 𝑖, 𝑛 ⟩, ⟨ Φ_{𝑁} | ≔ \sum_{𝑗, 𝑚} 𝐵_{𝑗, 𝑚} ⟨ 𝑗, 𝑚 |,

其中系数 $𝐴_{𝑖, 𝑛}$ 和 $𝐵_{𝑗, 𝑚}$ 可以写为涉及相应场的一些相关函数：

𝐴_{𝑖, 𝑛} = ⟨ 𝑂_{1} \dots 𝑂_{𝐾} {ℒ︀}_{- 𝑚} 𝜑_{𝑖} (𝑝) ⟩_{𝑀}, 𝐵_{𝑗, 𝑚} = ⟨ {ℒ︀}_{- 𝑚} 𝜑_{𝑗} (𝑞) 𝑂_{𝐾 + 1} \dots 𝑂_{𝐾 + 𝐿} ⟩_{𝑁},

这里我们使用态 - 算符对应来联系状态与局部场，穿孔在径向量子化中被理解为无限的过去或未来。

胶合过程产生了一个双穿孔球面，其端点插入了由初级场下降场生成的边界态。因此，该球面 $𝕊^{2} ({𝑝, 𝑧}, {𝑞, 𝑤})$ 上的配分函数为（此处为简单起见假设 $𝑞 = 1$ ，若考虑一般缝合参数 $𝑞$ ，则需插入因子 $𝑞^{𝐿_{0} - \frac{𝑐}{24}}$ 以处理复结构的改变）：

𝛿_{𝑖 𝑗} 𝑀_{𝑚 𝑛}^{(𝑖)} ≔ ⟨ {ℒ︀}_{- 𝑚} 𝜑_{𝑖} (𝑧 = 0) {ℒ︀}_{- 𝑛} 𝜑_{𝑗} (𝑤 = 0) ⟩_{𝕊^{2} ({𝑝, 𝑧}, {𝑞, 𝑤})},

因此，缝合 $𝑀$ 和 $𝑁$ 得到的振幅可以写为：

𝟏 ≔ \sum_{𝑖, 𝑚, 𝑛} | 𝑖, 𝑛 ⟩ {(𝑀^{(𝑖)})}_{𝑚 𝑛}^{- 1} ⟨ 𝑖, 𝑚 |,

（此处假设 $𝑀$ 是正定的）。将其插入到 $𝑀$ 和 $𝑁$ 的相关函数中，我们得到缝合后的手征相关函数：

⟨ 𝑂_{1} \dots 𝑂_{𝐾 + 𝐿} ⟩_{𝑀 \infty_{𝑞}^{𝑝} 𝑁} ≔ \sum_{𝑖, 𝑚, 𝑛} ⟨ 𝑂_{1} \dots 𝑂_{𝐾} {ℒ︀}_{- 𝑚} 𝜑_{𝑖} (𝑝) ⟩_{𝑀} {(𝑀^{(𝑖)})}_{𝑚 𝑛}^{- 1} ⟨ {ℒ︀}_{- 𝑚} 𝜑_{𝑖} (𝑞) 𝑂_{𝐾 + 1} \dots 𝑂_{𝐾 + 𝐿} ⟩_{𝑁}

Proposition

上述定义的相关函数满足手征相关函数的性质（Ward 恒等式），从而在缝合后的黎曼曲面上定义了一个局部 RCFT。

Proposition

上述定义的相关函数满足手征相关函数的性质（Ward 恒等式），从而在缝合后的黎曼曲面上定义了一个局部 RCFT。

Remark

考虑 $𝐾 = 𝐿 = 2$ 且假设插入的算符是初级场 $𝜑_{1}, \dots, 𝜑_{4}$ 的情况，则缝合后的四点手征相关函数可以写为：

⟨ 𝜑_{1} 𝜑_{2} 𝜑_{3} 𝜑_{4} ⟩_{𝑀 \infty_{𝑞}^{𝑝} 𝑁} = \sum_{𝑖} (\sum_{𝑚, 𝑛} ⟨ 𝜑_{1} 𝜑_{2} {ℒ︀}_{- 𝑚} 𝜑_{𝑖} (𝑝) ⟩_{𝑀} {(𝑀^{(𝑖)})}_{𝑚 𝑛}^{- 1} ⟨ {ℒ︀}_{- 𝑚} 𝜑_{𝑖} (𝑞) 𝜑_{3} 𝜑_{4} ⟩_{𝑁}) .

利用 OPE：

𝜑_{1} (𝑧) 𝜑_{2} (𝑤) = \sum_{𝑖} 𝐶_{12}^{𝑖} {(𝑧 - 𝑤)}^{ℎ_{𝑖} - ℎ_{1} - ℎ_{2}} 𝜑_{𝑖} (𝑤) + \dots,

以及 Wick 收缩，我们可以将上述表达式重写为

⟨ 𝜑_{1} 𝜑_{2} 𝜑_{3} 𝜑_{4} ⟩_{𝑀 \infty_{𝑞}^{𝑝} 𝑁} = \sum_{𝑖} 𝐶_{12}^{𝑖} 𝐶_{34}^{𝑖} {ℱ︀}_{𝑖} (𝑞),

这正是缝合球面上四点手征相关函数的共形块展开。四点球面可以理解为将两个三点球面 $𝕊^{2} ({𝑝_{1}, 𝑧_{1}}, {𝑝_{2}, 𝑧_{2}}, {𝑝, 𝑧})$ 和 $𝕊^{2} ({𝑞, 𝑤}, {𝑝_{3}, 𝑧_{3}}, {𝑝_{4}, 𝑧_{4}})$ 在穿孔 $𝑝$ 和 $𝑞$ 处缝合在一起。

在上述符号中，我们可以清楚地看到 ${{ℱ︀}_{𝑖}}$ 构成了四点球面上共形块空间的一组基。

Remark

考虑 $𝐾 = 𝐿 = 2$ 且假设插入的算符是初级场 $𝜑_{1}, \dots, 𝜑_{4}$ 的情况，则缝合后的四点手征相关函数可以写为：

⟨ 𝜑_{1} 𝜑_{2} 𝜑_{3} 𝜑_{4} ⟩_{𝑀 \infty_{𝑞}^{𝑝} 𝑁} = \sum_{𝑖} (\sum_{𝑚, 𝑛} ⟨ 𝜑_{1} 𝜑_{2} {ℒ︀}_{- 𝑚} 𝜑_{𝑖} (𝑝) ⟩_{𝑀} {(𝑀^{(𝑖)})}_{𝑚 𝑛}^{- 1} ⟨ {ℒ︀}_{- 𝑚} 𝜑_{𝑖} (𝑞) 𝜑_{3} 𝜑_{4} ⟩_{𝑁}) .

利用 OPE：

𝜑_{1} (𝑧) 𝜑_{2} (𝑤) = \sum_{𝑖} 𝐶_{12}^{𝑖} {(𝑧 - 𝑤)}^{ℎ_{𝑖} - ℎ_{1} - ℎ_{2}} 𝜑_{𝑖} (𝑤) + \dots,

以及 Wick 收缩，我们可以将上述表达式重写为

⟨ 𝜑_{1} 𝜑_{2} 𝜑_{3} 𝜑_{4} ⟩_{𝑀 \infty_{𝑞}^{𝑝} 𝑁} = \sum_{𝑖} 𝐶_{12}^{𝑖} 𝐶_{34}^{𝑖} {ℱ︀}_{𝑖} (𝑞),

在上述符号中，我们可以清楚地看到 ${{ℱ︀}_{𝑖}}$ 构成了四点球面上共形块空间的一组基。

现在我们关注初级场相关器。由于态 - 算符对应，初级场将对应于一个最高权态，从而在希尔伯特空间 $𝑉_{ℎ}$ 中形成一个子空间。在这种情况下，我们缝合操作的设置可以总结为：

考虑在穿孔 $𝑝$ 和 $𝑞$ 处缝合两个黎曼曲面 $𝑀$ 和 $𝑁$ 。
在每个穿孔上，我们附着一个由初级场 $𝜑_{ℎ}$ 及其下降场张成的向量空间 $𝑉_{ℎ}$ 。

第二部分对应于选择我们的手征代数 $𝑉$ （或者如果你愿意，称之为顶点算子代数）的一个模 $𝑉_{ℎ}$ 来附着到缝合穿孔上。

Remark

一般而言，任意共形顶点算子代数的不可约模不能仅由初级场标记，因为可能存在一些对数模 (logarithmic modules)。

然而，在有理 CFT 的情况下，初级场与不可约模之间存在一一对应关系。这暗示了有理顶点算子代数的表示范畴是半单的 (semisimple)。

Remark

一般而言，任意共形顶点算子代数的不可约模不能仅由初级场标记，因为可能存在一些对数模 (logarithmic modules)。

然而，在有理 CFT 的情况下，初级场与不可约模之间存在一一对应关系。这暗示了有理顶点算子代数的表示范畴是半单的 (semisimple)。

回顾之前的讨论，我们有：

Proposition

给定黎曼曲面 $Σ_{𝑔} ({𝑝_{1}, 𝑧_{1}}, \dots, {𝑝_{𝑛}, 𝑧_{𝑛}})$ 的一种因子化，我们拥有一组 $ℬ︀ (𝑉_{ℎ_{1}}, \dots, 𝑉_{ℎ_{𝑛}})$ 的基。该基的构造如下：

考虑黎曼曲面 $Σ_{𝑔} ({𝑝_{1}, 𝑧_{1}}, \dots, {𝑝_{𝑛}, 𝑧_{𝑛}})$ 的裤腿分解，这将产生一组三点球面 $𝕊^{2} ({𝑝_{𝑖}, 𝑧_{𝑖}}, {𝑝_{𝑗}, 𝑧_{𝑗}}, {𝑝_{𝑘}, 𝑧_{𝑘}})$ 。
在每个球面上，两个穿孔附着外部模 $𝑉_{ℎ_{𝑖}}$ 和 $𝑉_{ℎ_{𝑗}}$ ，而第三个穿孔（称为缝合穿孔）附着内部模 $𝑉_{ℎ_{𝑘}}$ 。
缝合程序将不同球面上的缝合穿孔胶合在一起，并对内部模 ${𝑉_{ℎ_{𝑘}}}$ 的选择进行求和。
因此， $ℬ︀ (𝑉_{ℎ_{1}}, \dots, 𝑉_{ℎ_{𝑛}})$ 的基可以由缝合穿孔上内部模的选择 ${𝑉_{ℎ_{𝑘}}}$ 来标记，即 ${𝐹_{{𝑖_{𝑘}}}}$ ，其中 $𝑖_{𝑘}$ 标记第 $𝑘$ 个缝合穿孔上的内部模 $𝑉_{ℎ_{𝑖_{𝑘}}}$ 。

Proposition

考虑黎曼曲面 $Σ_{𝑔} ({𝑝_{1}, 𝑧_{1}}, \dots, {𝑝_{𝑛}, 𝑧_{𝑛}})$ 的裤腿分解，这将产生一组三点球面 $𝕊^{2} ({𝑝_{𝑖}, 𝑧_{𝑖}}, {𝑝_{𝑗}, 𝑧_{𝑗}}, {𝑝_{𝑘}, 𝑧_{𝑘}})$ 。
在每个球面上，两个穿孔附着外部模 $𝑉_{ℎ_{𝑖}}$ 和 $𝑉_{ℎ_{𝑗}}$ ，而第三个穿孔（称为缝合穿孔）附着内部模 $𝑉_{ℎ_{𝑘}}$ 。
缝合程序将不同球面上的缝合穿孔胶合在一起，并对内部模 ${𝑉_{ℎ_{𝑘}}}$ 的选择进行求和。
因此， $ℬ︀ (𝑉_{ℎ_{1}}, \dots, 𝑉_{ℎ_{𝑛}})$ 的基可以由缝合穿孔上内部模的选择 ${𝑉_{ℎ_{𝑘}}}$ 来标记，即 ${𝐹_{{𝑖_{𝑘}}}}$ ，其中 $𝑖_{𝑘}$ 标记第 $𝑘$ 个缝合穿孔上的内部模 $𝑉_{ℎ_{𝑖_{𝑘}}}$ 。

我们需要检查上述构造的共形块是否确实构成了共形块空间 $ℬ︀ (𝑉_{ℎ_{1}}, \dots, 𝑉_{ℎ_{𝑛}})$ 的一组基。我们将在下一节进行此项工作。

Remark

回到四点球面的情况，我们上面获得的共形块基

{{ℱ︀}_{𝑖}}

正是命题给出的基，其中只有一个缝合穿孔附着了内部模

𝑉_{ℎ_{𝑖}}

。

Remark

回到四点球面的情况，我们上面获得的共形块基

{{ℱ︀}_{𝑖}}

正是命题给出的基，其中只有一个缝合穿孔附着了内部模

𝑉_{ℎ_{𝑖}}

。

离题：三点球面共形块与交织算子

三点球面 $𝕊^{2} ({𝑝_{1}, 𝑧_{1}}, {𝑝_{2}, 𝑧_{2}}, {𝑝_{3}, 𝑧_{3}})$ 上的共形块与附着在穿孔上的模的融合规则 (fusion rules) 相关：

𝜑_{𝑖} \times 𝜑_{𝑗} = \sum_{𝑘} 𝑁_{𝑖 𝑗}^{𝑘} 𝜑_{𝑘} \overset{态 - 场}{⟶} 𝑉_{ℎ_{𝑖}} \otimes 𝑉_{ℎ_{𝑗}} \Rightarrow \sum_{𝑘} 𝑁_{𝑖 𝑗}^{𝑘} 𝑉_{ℎ_{𝑘}},

这引导我们考虑模之间的交织算子 (intertwining operators)：

Φ_{𝑗 𝑘}^{𝑖} (𝑧) \in Hom (𝑉_{ℎ_{𝑖}} \otimes 𝑉_{ℎ_{𝑗}}, 𝑉_{ℎ_{𝑘}}) {𝑧} : = 𝑉_{𝑗 𝑘}^{𝑖} {𝑧},

其中 $Φ_{𝑗, 𝑘}^{𝑖} (𝑧)$ 具有共形权 $ℎ_{𝑖}$ ，将模 $𝑉_{ℎ_{𝑗}}$ 映射（交织）到 $𝑉_{ℎ_{𝑘}}$ 。如果存在多个同类型的交织算子，我们将其记为 $Φ_{𝑗 𝑘}^{𝑖, 𝛼} (𝑧)$ ，其中 $𝛼 = 1, \dots, 𝑁_{𝑖 𝑗}^{𝑘}$ ，因此三点球面共形块可以写为：

{ℬ︀}_{0, 3} (𝑉_{ℎ_{𝑖}}, 𝑉_{ℎ_{𝑗}}, 𝑉_{ℎ_{𝑘}}) = {Span {Φ_{𝑗 𝑘}^{𝑖, 𝛼} (𝑧)}}_{𝛼 = 1}^{𝑁_{𝑖 𝑗}^{𝑘}} .

在交织算子的语言中，导致四点球面共形块 $ℬ︀ (𝑉_{ℎ_{𝑖}}, 𝑉_{ℎ_{𝑗}}, 𝑉_{ℎ_{𝑘}}, 𝑉_{ℎ_{𝑙}})$ 的缝合操作可以写为：

\sum_{𝑝} ⟨ 𝑙 | Φ_{𝑖 𝑝}^{𝑗} (𝑧_{1}) Φ_{𝑝 𝑙}^{𝑘} (𝑧_{2}) | 𝑖 ⟩,

其中 $𝑉_{𝑝}$ 是附着在缝合穿孔上的内部模，上述因子化对应于 s-道费曼图 $(𝑖 𝑗) 𝑘 \to 𝑙$ 。

一致性条件

在上一节中，我们定义了局部 RCFT 的缝合操作，它与黎曼曲面的缝合以及 QFT 中的胶合程序相关联。

然而，这种构造仅仅是“一种”构造。为了使其成为从低亏格 RCFT 构造高亏格 RCFT 的“一致的”构造，我们需要检查一些一致性条件：

检查我们定义的 RCFT 手征相关器确实是一个手征相关器。
对于给定的黎曼曲面存在多种因子化，我们需要证明定义的最终 RCFT 独立于裤腿分解的选择。
从给定的因子化到另一因子化有多种路径，我们需要检查这些不同路径的一致性。

第一点是 RCFT 自身的内部约束，我们之前已经提到过；第二点是来自黎曼曲面几何的外部约束，对应于映射类群的作用。

不同的缝合操作：

给出相同的理论

定义在黎曼曲面上的物理场论应当独立于曲面因子化的选择，从而独立于缝合操作的选择。

回想我们之前从给定因子化构造共形块基的过程，不同的因子化将给出共形块空间 $ℬ︀ (𝑉_{ℎ_{1}}, \dots, 𝑉_{ℎ_{𝑛}})$ 的不同基。我们需要证明这些不同的基实际上张成了同一个空间。

Theorem

我们从黎曼曲面 $Σ_{𝑔} ({𝑝_{1}, 𝑧_{1}}, \dots, {𝑝_{𝑛}, 𝑧_{𝑛}})$ 的给定因子化构造的 ${𝐹_{{𝑖_{𝑘}}}}$ 满足：

它们是线性无关的。
它们张成了共形块的向量空间 ${ℬ︀}_{𝑔, 𝑛} (𝑉_{ℎ_{1}}, \dots, 𝑉_{ℎ_{𝑛}})$ 。

Theorem

我们从黎曼曲面 $Σ_{𝑔} ({𝑝_{1}, 𝑧_{1}}, \dots, {𝑝_{𝑛}, 𝑧_{𝑛}})$ 的给定因子化构造的 ${𝐹_{{𝑖_{𝑘}}}}$ 满足：

它们是线性无关的。
它们张成了共形块的向量空间 ${ℬ︀}_{𝑔, 𝑛} (𝑉_{ℎ_{1}}, \dots, 𝑉_{ℎ_{𝑛}})$ 。

Proof

我们此处仅证明四点球面块 ${ℬ︀}_{0, 𝑛}$ 的情况，一般情况可以通过对缝合操作次数的归纳法类似证明。

张成性 (Spanning)： 令 $𝐹 \in {ℬ︀}_{0, 4} (𝑉_{1}, 𝑉_{2}, 𝑉_{3}, 𝑉_{4})$ 。沿着分离 ${1, 2}$ 与 ${3, 4}$ 的圆圈切割球面。根据态 - 场对应，在手征状态空间上插入单位分解：

𝟏 = ⨁_{𝑝 \in ℐ︀} 𝟏_{𝑉_{𝑝}}, 𝟏_{𝑉_{𝑝}} = \sum_{𝑚, 𝑛} | 𝑝, 𝑛 ⟩ {(𝑀^{𝑝})}_{𝑚 𝑛}^{- 1} ⟨ 𝑝, 𝑚 | .

这将 $𝐹$ 产生为一个因子化表达式，即两个三点块与中间模 $𝑉_{𝑝}$ 的收缩之和。将这些三点块在选定的基 ${𝜓_{𝑝}^{12}}_{𝛼}$ 和 ${𝜓_{𝑝}^{34}}_{𝛽}$ 下展开，我们得到

𝐹 = \sum_{𝑝, 𝛼, 𝛽} 𝑐_{𝑝, 𝛼, 𝛽} {ℱ︀}_{𝑝, 𝛼, 𝛽},

因此 ${{ℱ︀}_{𝑝, 𝛼, 𝛽}}$ 张成了 ${ℬ︀}_{0, 4}$ 。

线性无关性 (Linear independence)： 定义一个“切割映射” (cut map)

Cut : {ℬ︀}_{0, 4} (𝑉_{1}, 𝑉_{2}, 𝑉_{3}, 𝑉_{4}) \to ⨁_{𝑝 \in ℐ︀} {ℬ︀}_{0, 3} (𝑉_{1}, 𝑉_{2}, 𝑉_{𝑝}) \otimes {ℬ︀}_{0, 3} (𝑉_{𝑝}^{\lor}, 𝑉_{3}, 𝑉_{4})

通过沿同一圆圈切割并利用非退化两点配对 $𝑀^{𝑝}$ 投影到中间部门（等价地，利用逆 Gram 矩阵 ${(𝑀^{𝑝})}^{- 1}$ 提取插入的下降场的系数）。直接从缝合构造中可以验证：

Cut ○ Glue = Id .

因此 $Glue$ 是单射。由于元素 ${(𝜓_{𝑝}^{12})}_{𝛼} \otimes {(𝜓_{𝑝}^{34})}_{𝛽}$ 在直和中是线性无关的，它们的像 ${ℱ︀}_{𝑝, 𝛼, 𝛽}$ 在 ${ℬ︀}_{0, 4}$ 中也是线性无关的。

Proof

我们此处仅证明四点球面块 ${ℬ︀}_{0, 𝑛}$ 的情况，一般情况可以通过对缝合操作次数的归纳法类似证明。

𝟏 = ⨁_{𝑝 \in ℐ︀} 𝟏_{𝑉_{𝑝}}, 𝟏_{𝑉_{𝑝}} = \sum_{𝑚, 𝑛} | 𝑝, 𝑛 ⟩ {(𝑀^{𝑝})}_{𝑚 𝑛}^{- 1} ⟨ 𝑝, 𝑚 | .

𝐹 = \sum_{𝑝, 𝛼, 𝛽} 𝑐_{𝑝, 𝛼, 𝛽} {ℱ︀}_{𝑝, 𝛼, 𝛽},

因此 ${{ℱ︀}_{𝑝, 𝛼, 𝛽}}$ 张成了 ${ℬ︀}_{0, 4}$ 。

线性无关性 (Linear independence)： 定义一个“切割映射” (cut map)

Cut : {ℬ︀}_{0, 4} (𝑉_{1}, 𝑉_{2}, 𝑉_{3}, 𝑉_{4}) \to ⨁_{𝑝 \in ℐ︀} {ℬ︀}_{0, 3} (𝑉_{1}, 𝑉_{2}, 𝑉_{𝑝}) \otimes {ℬ︀}_{0, 3} (𝑉_{𝑝}^{\lor}, 𝑉_{3}, 𝑉_{4})

Cut ○ Glue = Id .

因此，不同的因子化给出了同一共形块空间 $ℬ︀ (𝑉_{ℎ_{1}}, \dots, 𝑉_{ℎ_{𝑛}})$ 的不同基。这表明我们针对局部 RCFT 的缝合操作与黎曼曲面的几何是一致的。

缝合参数变换下的一致性：初等变换

虽然不同的因子化产生不同的共形块空间基，但基的变换必须独立于所选的初等缝合操作序列。

正如我们之前提到的，为了检查这种一致性，我们只需要检查由 Hatcher-Thurston 定理给出的初等变换，即 F-变换和 S-变换。

此类变换会导致共形块空间基的改变，我们用某些矩阵来表示这种基变换。

Remark

从现在起，

Φ (𝑧)

表示插入在局部坐标为

𝑧

的点处的手征场。

Remark

从现在起，

Φ (𝑧)

表示插入在局部坐标为

𝑧

的点处的手征场。

F-变换 (F-Move)

F-变换对应于改变将四穿孔球面切割为两个三穿孔球面方式，即考虑 $𝕊^{2} (𝑝_{𝑖}, 𝑝_{𝑗}, 𝑝_{𝑘}, 𝑝_{𝑙})$ ，F-变换对应于交换 $(𝑙 𝑘) 𝑗 \overset{𝑝}{\to} 𝑖$ 道与 $𝑙 (𝑗 𝑘) \overset{𝑞}{\to} 𝑙$ 道。此处， $𝑝$ $𝑞$ 表示附着在缝合穿孔上的内部模。

因此，F-变换会导致四点共形块基的改变，即 ${Φ_{𝑖 𝑝}^{𝑗} Φ_{𝑝 𝑙}^{𝑘}}_{𝑝}$ 和 ${Φ_{𝑗 𝑞}^{𝑘} Φ_{𝑖 𝑙}^{𝑞}}_{𝑞}$ ，这可以写为：

Φ_{𝑖 𝑝}^{𝑗} (𝑧_{1}) Φ_{𝑝 𝑙}^{𝑘} (𝑧_{2}) = \sum_{𝑞} 𝐹_{𝑝 𝑞} [\begin{matrix} 𝑗 & 𝑘 \\ 𝑖 & 𝑙 \end{matrix}] \sum_{𝑄 \in 𝑉_{ℎ_{𝑞}}} Φ_{𝑖 𝑙}^{𝑞} (𝑄) (𝑧_{2}) ⟨ 𝑄 | Φ_{𝑞 𝑘}^{𝑗} (𝑧_{12}) | 𝑘 ⟩ .

其中矩阵 $𝐹_{𝑝 𝑞} [\begin{matrix} 𝑗 & 𝑘 \\ 𝑖 & 𝑙 \end{matrix}] : 𝑉_{𝑞 𝑙}^{𝑖} \otimes 𝑉_{𝑗 𝑘}^{𝑞} \to 𝑉_{𝑗 𝑝}^{𝑖} \otimes 𝑉_{𝑘 𝑙}^{𝑝}$ 被称为 F-矩阵，列 $[𝑗, 𝑘]$ 表示模 $𝑉_{ℎ_{𝑗}}$ 和 $𝑉_{ℎ_{𝑘}}$ 的融合，行 $[𝑖, 𝑙]$ 表示初始模 $𝑉_{ℎ_{𝑖}}$ 和外部模 $𝑉_{ℎ_{𝑙}}$ 。

Remark

如果我们考虑平凡模，此类 F-变换将化简为 OPE 的结合律关系。

Remark

如果我们考虑平凡模，此类 F-变换将化简为 OPE 的结合律关系。

S-变换 (S-Move)

S-变换对应于改变将单穿孔环面切割为双穿孔球面（带切口）的方式，即考虑 $𝕋^{2} ({𝑝, 𝑧})$ ，S-变换对应于交换 A-循环与 B-循环切割。

我们假设穿孔 $𝑝$ 附着了模 $𝑉_{ℎ_{𝑖}}$ 。

A-循环 切割对应于将环面切割为双穿孔球面 $𝕊^{2} ({𝑝, 𝑧}, {𝑞, 𝑤})$ ，其中穿孔 $𝑝$ 和 $𝑞$ 分别附着模 $𝑉_{ℎ_{𝑗}}$ 和 $𝑉_{ℎ_{𝑗^{\lor}}}$ 。因此，交织算子可以写为 $Φ_{𝑗 𝑗}^{𝑖} (𝑧)$ ，而共形块空间可以写为：

{ℬ︀}_{1, 1} (𝑉_{ℎ_{𝑖}}) = {Span {⟨ 𝑗 | Φ_{𝑗 𝑗}^{𝑖} (𝑧) | 𝑗 ⟩}}_{𝑗 \in ℐ︀} ≔ ⨁_{𝑗 \in ℐ︀} 𝑉_{𝑖 𝑗}^{𝑗} .

环面上的配分函数可以写为：

𝑍_{𝑗}^{𝑖} (𝕋^{2} ({𝑝, 𝑧}), 𝛽) = Tr (𝑞^{𝐿_{0} - \frac{𝑐}{24}} Φ_{𝑗 𝑗}^{𝑖} (𝛽) (𝑧) {(d 𝑧)}^{ℎ_{𝑖}}),

其中 $𝛽$ （一个初级态）表示穿孔 $𝑝$ 处的边界场构型。

B-循环 切割对应于将环面切割为双穿孔球面 $𝕊^{2} ({𝑝, 𝑧}, {𝑞^{'}, 𝑤})$ ，其中穿孔 $𝑝$ 和 $𝑞^{'}$ 分别附着模 $𝑉_{ℎ_{𝑘}}$ 和 $𝑉_{ℎ_{𝑘^{\lor}}}$ 。

因此，尽管切割方式不同，它们都给出了同一共形块空间 ${ℬ︀}_{1, 1} (𝑉_{ℎ_{𝑖}}) ≔ ⨁_{𝑗 \in 𝒥︀} 𝑉_{𝑖 𝑗}^{𝑖}$ 的一组基，唯一的区别是基的变换，可以写为：

𝑆 (𝑖) : ⨁_{𝑗 \in 𝒥︀} 𝑉_{𝑖 𝑗}^{𝑖} \to ⨁_{𝑘 \in 𝒦︀} 𝑉_{𝑖 𝑘}^{𝑖} .

编织变换 (Braiding Move)

与穿孔空间的情况不同，黎曼曲面上的共形块携带一些重要的解析结构，这导致了某些非平凡的单值性 (monodromy)，从而产生编织操作。

编织变换对应于交换黎曼曲面上的两个穿孔，这导致一个映射：

Φ_{𝑖 𝑞}^{𝑗} (𝑧_{2}) Φ_{𝑞 𝑙}^{𝑘} (𝑧_{1}) \overset{𝐵}{\to} Φ_{𝑖 𝑝}^{𝑘} (𝑧_{1}) Φ_{𝑝 𝑙}^{𝑗} (𝑧_{2}),

全相关函数在编织操作下应当是不变的，因此手征部分在此操作下应当线性变换：

Φ_{𝑖 𝑞}^{𝑗} (𝑧_{2}) Φ_{𝑞 𝑙}^{𝑘} (𝑧_{1}) = \sum_{𝑝} 𝐵_{𝑝 𝑞} [\begin{matrix} 𝑗 & 𝑘 \\ 𝑖 & 𝑙 \end{matrix}] Φ_{𝑖 𝑝}^{𝑗} (𝑧_{1}) Φ_{𝑝 𝑙}^{𝑘} (𝑧_{2}),

其中矩阵 $𝐵_{𝑝 𝑞} [\begin{matrix} 𝑗 & 𝑘 \\ 𝑖 & 𝑙 \end{matrix}] : 𝑉_{𝑗 𝑝}^{𝑖} \otimes 𝑉_{𝑘 𝑙}^{𝑝} \to 𝑉_{𝑗 𝑞}^{𝑖} \otimes 𝑉_{𝑘 𝑙}^{𝑞}$ 被称为 编织矩阵。

扭转变换 (Twisting Move)

扭转变换对应于将黎曼曲面上的一个穿孔扭转 $2 𝜋$ (Dehn twist)，这导致一个映射：

𝑇_{𝑖} : Φ_{𝑖 𝑝}^{𝑗} (𝑧) \to Φ_{𝑖 𝑝}^{𝑗} (𝑒^{2 𝜋 𝑖} 𝑧) ≔ 𝑒^{2 𝜋 𝑖 (ℎ_{𝑖} - \frac{𝑐}{24})} Φ_{𝑖 𝑝}^{𝑗} (𝑧) .

缝合参数变换下的一致性：Moore-Seiberg 方程

我们讨论了导致不同缝合操作的初等变换（F 和 S 变换），它们在共形块空间上产生了线性变换 $(𝐹, 𝑆, 𝐵, 𝑇)$ 。

现在我们需要检查这些变换的一致性。

首先，如前所述，从给定因子化到另一因子化的不同初等变换序列应当在共形块空间上给出相同的变换。

此外，由于我们在这些黎曼曲面上附着了 RCFT 数据，这些变换应当与 RCFT 数据兼容。因此，我们的一致性条件可以总结为：

局部 RCFT 数据的一致性。
共形块的单值性构成了映射类群的表示。
初等变换的不同路径联系相同的共形块基。

此类一致性条件被称为 Moore-Seiberg 方程，或 对偶 (Duality) 恒等式。

在 零亏格黎曼曲面 上，我们有以下 Moore-Seiberg 方程：

F-变换的五边形关系 (Pentagon relation)。
B-变换与 F-变换的六边形关系 (Hexagon relation)。

[Image gallery showing Pentagon and Hexagon relations]

从这些关系中， $𝐵$ 满足杨 - 巴克斯特方程 (Yang-Baxter equation)。

此外，我们还有 一亏格黎曼曲面 上 S-变换的一些模性条件：

$𝑆^{2} (𝑗) = \pm 𝐶 𝑒^{𝑖 𝜋 ℎ_{𝑗}}$ ，其中 $𝐶$ 是电荷共轭矩阵。
${(𝑆 𝑇)}^{3} = 𝑆^{2}$ 以及其他来自模群 $SL (2, ℤ)$ 的关系。
其他一亏格关系，例如 $𝑆 𝑎 𝑆^{- 1} = 𝑏$ 。

你可能会好奇是否存在更高亏格的 Moore-Seiberg 方程？答案是肯定的。然而，正如我们将在下一节看到的，所有这些高亏格一致性条件都可以从零亏格和一亏格的 Moore-Seiberg 方程推导出来，也就是说，独立的一致性条件仅仅是我们上面提到的那些。

一致性条件的完备性

看起来我们可以从黎曼曲面上各种各样的缝合操作构造出无限多的一致性条件。

然而，Moore 和 Seiberg 的一项结果表明，所有这些一致性条件都可以从一个有限集中推导出来，即我们之前提到的 Moore-Seiberg 方程。

抽象废话 (Abstract Nonsense) 解释

看待这一点最简单的方法是使用范畴论中的一些“抽象废话”。

注意到我们上面讨论的数据 $(𝐹, 𝑆, 𝐵, 𝑇)$ 实际上构成了一个张量范畴，更准确地说，是一个模张量范畴 (modular tensor category)。利用 MacLane 的相干定理 (coherence theorem)，这组有限的一致性条件可以理解为模张量范畴的相干条件，因此所有其他的一致性条件都可以从中推导出来，即从这些数据构造的图表都是可交换的。

几何解释：映射类群表示

然而，这种一致性的几何含义可能更加“物理”，并且与黎曼曲面上的映射类群作用相关。

缝合程序及其之间的平移可以由一个称为对偶复形 (duality complex) 的复形捕获，其中：

顶点：共形块空间的一组基。
边：两个因子化之间的初等变换（ $𝐹$ , $𝐵$ , $𝑇$ , $𝑆$ 矩阵）。

我们想要证明的是，当 Moore-Seiberg 方程满足时，该复形中的所有回路都是可收缩的。

首先， $𝐹$ 矩阵的五边形关系可以用来将任何顶点转换为标准形式，称为 多外围基 (Multiperipheral Basis)。

现在，剩余的边仅与 $𝐵$ , $𝑇$ 和 $𝑆$ 变换有关。因此，此类操作可以被识别为映射类群 ${MCG}_{𝑔, 𝑛}$ 的元素。

Fact

{MCG}_{𝑔, 𝑛}

是有限生成的。

Fact

{MCG}_{𝑔, 𝑛}

是有限生成的。

利用这一事实，对偶复形中的每个大回路都可以分解为一系列较小的回路，每个小回路对应于映射类群中的一个关系：

编织回路 (Braiding loop)：由于 $𝐵$ 和 $𝐹$ 矩阵的六边形关系（杨 - 巴克斯特方程）而可收缩。
Dehn 扭转关系 (Dehn twist relations)：由于 $𝑆$ 和 $𝑇$ 矩阵的模性关系而可收缩。

因此，当 Moore-Seiberg 方程满足时，对偶复形中的所有回路都是可收缩的。

Back to all articles