Regular representations of affine Kac-Moody algebras

本文研究了一种仿射 Kac-Moody 代数的 Wakimoto 型构造，并得到了一个左右作用之和等于负二倍对偶 Coxeter 数的正则表示版本。

要点

1. 旧世界的规则：完美的对称舞会

（对应论文第 1 节和第 2 节：有限维情况）

想象有一个巨大的、完美的舞厅，叫作 $G$（比如 $SL(2)$或$SL(3)$ 群）。在这个舞厅里，有两组人：

• 左边的舞者（左乘）：他们推着舞池里的人向左转。
• 右边的舞者（右乘）：他们推着舞池里的人向右转。

在这个舞厅里，所有的舞者（函数）都可以自由地移动。数学家发现，这个舞厅的“正则表示”（Regular Representation）就像是一个巨大的乐高积木盒。这个盒子里装满了所有可能的“基本舞步”（不可约表示）。如果你把左边的舞步和右边的舞步配对，你就能拼出整个舞厅的图案。

关键点：在这个有限的世界里，一切都很整齐。如果你站在舞厅的某个特定区域（比如“布洛赫子群” $B$），你可以很容易地定义出一种特殊的“局部舞蹈”，这种舞蹈只在这个区域平滑流动，但在其他地方是静止的。这就像是在舞厅的地板上画了一条特定的路线，只有沿着这条路走的人才能跳舞。

2. 新世界的挑战：无限维的迷雾

（对应论文第 1 节和第 3 节：引入仿射代数）

现在，我们要把舞厅升级了。不再是固定的舞厅，而是一个无限延伸、不断自我复制的迷宫（这就是“仿射 Kac-Moody 代数”或“环群” $LG$）。

• 在这个新世界里，时间变成了循环的（像圆环 $S^1$），空间也是无限维的。
• 问题出现了：在有限世界里，我们可以用简单的“局部坐标”来描述一切。但在无限维世界里，如果你试图用同样的方法去定义“局部舞蹈”，你会发现数学工具失灵了。就像试图用一把尺子去测量整个宇宙的长度，尺子会断掉。

作者 Feigin 和 Parkhomenko 面临的最大难题是：如何在这样一个无限维、充满“噪音”和“奇点”的迷宫里，重新定义那个完美的“正则表示”？

3. 神奇的建造工具：Wakimoto 的“自由场”魔法

（对应论文的核心贡献：第 3 节和第 4 节）

为了解决这个问题，作者们使用了一种被称为**"Wakimoto 构造”**的魔法。

想象一下这个比喻：
你想在狂风暴雨（复杂的代数结构）中建造一座坚固的房子（正则表示）。直接用手去砌砖（直接处理复杂的代数关系）是不可能的，因为风太大，砖块会乱飞。

Wakimoto 的解决方案是：

1. 引入“自由场”（Free Fields）：想象你有一堆完全听话、互不干扰的“幽灵砖块”（自由玻色子场）。这些砖块非常温顺，它们之间没有复杂的纠缠，就像在真空中自由漂浮的气球。
2. 重新组装：作者们发现，那些原本复杂的、狂暴的“舞步”（代数生成元 $E, H, F$），其实可以写成这些“幽灵砖块”的某种组合公式。
   • 这就好比，原本复杂的交响乐（代数作用），其实是由几个简单的乐器（自由场）按照特定的乐谱（公式）演奏出来的。
3. 左右互搏与“屏蔽”（Screening）：
   • 在无限维世界里，左边的舞者和右边的舞者不再完全独立，他们之间会产生奇怪的“回声”或“干扰”。
   • 为了解决这个干扰，作者引入了**“屏蔽算子”（Screening Operators）。这就像是在两个舞者之间加了一层隔音墙或者消音器**。这层墙允许特定的信号通过，但过滤掉了那些会导致数学崩溃的“噪音”。
   • 通过这种巧妙的“加减法”（加上一些特定的项，减去一些项），他们成功地在无限维的迷宫里，用简单的“幽灵砖块”搭建出了复杂的“正则表示”大厦。

4. 总结：这篇论文到底做了什么？

用大白话总结，这篇论文做了三件事：

1. 回顾经典：先展示了在简单的、有限的世界里，如何优雅地描述对称性（舞会）。
2. 面对困难：指出当世界变得无限大（无限维）时，旧的方法行不通了，因为数学结构太复杂，无法直接定义。
3. 提供方案：发明了一套**“翻译器”**。这套翻译器能把复杂的、无限维的代数语言，翻译成简单的、由自由粒子（自由场）组成的语言。
   • 它告诉我们：虽然无限维的代数看起来很可怕，但如果你用正确的“眼镜”（Wakimoto 构造）去看，它其实是由一些简单的、自由的“积木”搭建起来的。
   • 它还展示了如何给这些积木加上“隔音墙”（屏蔽算子），让左边的动作和右边的动作在无限维空间里也能和谐共存。

为什么这很重要？

这就好比在物理学中，我们想理解宇宙的基本粒子。如果直接计算粒子间的相互作用，公式会复杂到无法求解。但这篇论文提供了一种**“简化视角”**，告诉物理学家和数学家：别直接硬算那些复杂的相互作用，把它们看作是自由粒子的某种组合，问题就迎刃而解了。

这也为拓扑场论（一种研究空间形状和性质的物理理论）提供了新的数学工具，就像给探险家提供了一张绘制在简单地图上的复杂地形图，让他们能更容易地穿越无限维的数学丛林。

技术摘要

这篇论文《仿射 Kac-Moody 代数的正则表示》（Regular representations of affine Kac-Moody algebras）由 B. Feigin 和 S. Parkhomenko 撰写，发表于 1993 年。文章旨在将有限维李群的正则表示（Regular Representation）概念推广到无限维的仿射 Kac-Moody 代数（Affine Kac-Moody algebras）上，并构建了一种基于 Wakimoto 型构造的表示。

以下是该论文的详细技术总结：

1. 研究问题与背景 (Problem & Background)

• 有限维情形回顾：
  • 对于有限维复半单李群 $G$，其代数函数空间 $C(G)$ 构成 $G \times G$ 模（左乘和右乘作用），即正则表示，可分解为 $\bigoplus V \otimes V^*$。
  • 作者考虑了支撑在 Borel 子群 $B$ 上的分布空间 $C_B(G)$（或局部上同调）。该空间在 $G \times G$ 的李代数 $\mathfrak{g} \oplus \mathfrak{g}$ 作用下具有最高权表示的性质。
  • 通过引入形式邻域和线丛，可以构造参数化的表示空间 $C^\lambda_B(G)$，其分解形式类似于 Verma 模的张量积 $\bigoplus M_{\chi+\lambda} \otimes M_{-\chi-\lambda-2\rho}$。
• 无限维挑战：
  • 在无限维流形（如环路空间 $LG$）上，标准的局部上同调理论失效。
  • 作者试图在环路群 $LG$的分布空间上构造类似的“正则表示”，即$\hat{\mathfrak{g}} \oplus \hat{\mathfrak{g}}$模，其中$\hat{\mathfrak{g}}$ 是仿射 Kac-Moody 代数。
  • 核心难点在于如何处理无限维空间中的中心扩张（Central Extension）以及坐标变换下的协变性，特别是如何调整中心荷（Central Charge）以获得非平凡表示。

2. 方法论 (Methodology)

作者采用了一种基于自由玻色场（Free Bosonic Fields）和Wakimoto 构造的代数方法：

1. 有限维类比：
   • 首先利用 $SL(2, \mathbb{C})$ 和 $SL(3, \mathbb{C})$ 的 Gauss 分解引入坐标系统。
   • 在坐标下显式写出李代数生成元（$E, H, F$）的左作用（$L$）和右作用（$R$）的微分算子形式。
2. 无限维推广（Wakimoto 型构造）：
   • 将有限维坐标 $x_i, y_j$ 及其导数 $\partial/\partial x_i, \partial/\partial y_j$ 替换为自旋为 (1,0) 的共轭玻色场（Conjugate Bosonic Fields）。
   • 引入三组共轭场：$(a, a^+)$, $(b, b^+)$ 等，对应于坐标和动量算符。
   • 利用正规序（Normal Ordering, $: :$）处理算符乘积，以定义在 Fock 空间上的作用。
3. 中心荷与参数化：
   • 通过引入额外的自由玻色场（$\rho, \lambda$）和参数 $k$（与中心荷相关），构造满足仿射代数对易关系的电流算符。
   • 利用 1-上循环（1-cocycle）和 2-上循环（2-cocycle）理论来调整作用，使得中心荷可以取任意值，而不仅仅是标准的 $-g$（对偶 Coxeter 数）。
4. 筛选算符（Screening Operators）：
   • 在构造中，左代数和右代数的作用通过添加“筛选”电流项相互耦合，确保整体满足 $\hat{\mathfrak{g}} \oplus \hat{\mathfrak{g}}$ 的代数结构。

3. 关键贡献与结果 (Key Contributions & Results)

A. 有限维正则表示的显式构造

• 对于 $SL(2, \mathbb{C})$ 和 $SL(3, \mathbb{C})$，作者利用 Gauss 分解给出了左、右作用生成元的显式微分算子公式（公式 3 和 4）。这些公式将李代数嵌入到向量场代数中，定义了分布空间上的模结构。

B. 仿射 $\widehat{sl}(2, \mathbb{C})$ 和 $\widehat{sl}(3, \mathbb{C})$ 的正则表示

• $\widehat{sl}(2, \mathbb{C})$ 情形：
  • 构造了由三对共轭玻色场 $(a_1, a_1^+), (b, b^+)$ 生成的 Fock 空间。
  • 给出了左（$L$）和右（$R$）作用生成元 $E, H, F$ 的显式公式（公式 6）。这些公式包含正规序项、导数项以及指数项（对应于坐标的指数化）。
  • 引入了新的自由场 $\rho, \lambda$（公式 11），将表示重写为更接近标准 Wakimoto 模块的形式（公式 15）。
  • 证明了在特定条件下（公式 17），这些表示可以分解为 Fock 模的直和，并讨论了半无限上同调（Semi-infinite cohomology）与筛选算符的关系。
• $\widehat{sl}(3, \mathbb{C})$ 情形：
  • 推广了上述构造，使用了更多的玻色场对（$a_i, a_i^+, b_i, b_i^+$）。
  • 给出了复杂的生成元公式（公式 8 和 19），其中包含参数 $\alpha_1, \alpha_2$。
  • 证明了通过变量代换（公式 10），可以消除参数依赖，得到规范形式。
  • 展示了左、右作用如何通过添加筛选项（Screening currents）来维持代数结构。

C. 一般 $\widehat{sl}(n+1, \mathbb{C})$ 的推广

• 在第四节中，作者将构造推广到任意 $\widehat{sl}(n+1, \mathbb{C})$。
• 定义了广义的玻色场 $a_{ij}, a_{ij}^+$ 和自由场 $\lambda_i, \rho_i$。
• 给出了 $\widehat{sl}(n+1, \mathbb{C}) \oplus \widehat{sl}(n+1, \mathbb{C})$ 正则表示的通用公式（公式 23）。
• 结构特征：包含两组自由场，左代数的 $F_i$ 作用包含右代数的筛选项，反之亦然。

4. 物理意义与应用 (Significance)

• 拓扑场论（Topological Field Theory）：
  • 作者指出，这种构造对于 $G/G$ 拓扑场论至关重要。
  • 对角子代数 $\hat{\mathfrak{g}}_\Delta \subset \hat{\mathfrak{g}} \oplus \hat{\mathfrak{g}}$ 具有特定的中心荷（$-2g$），这使得可以引入鬼场（ghosts）并计算半无限上同调，从而得到该版本拓扑场论中“场空间”的候选者。
• 顶点算子代数（Vertex Operator Algebras）：
  • 该构造提供了一种新的顶点算子实现，其中代数 $C(G)$ 的作用对应于乘法算子，且顶点算子代数具有交换性。
• 表示论的新视角：
  • 文章提供了一种在无限维流形（环路空间）上定义“正则表示”的严格代数框架，解决了传统局部上同调在无限维失效的问题。它展示了如何通过自由场实现（Free Field Realization）来构造具有任意中心荷的仿射代数表示。

总结

Feigin 和 Parkhomenko 通过结合 Gauss 分解、自由玻色场实现以及筛选算符技术，成功地将有限维李群的正则表示概念推广到了仿射 Kac-Moody 代数。他们不仅给出了 $\widehat{sl}(n)$ 代数的显式构造公式，还揭示了这些表示与 Wakimoto 模块、半无限上同调以及 $G/G$ 拓扑场论之间的深刻联系。这项工作为理解无限维李代数的表示论及其在数学物理中的应用提供了强有力的工具。