从Kac-Moody代数到群概形：构造、完备化与仿射型实现
1. 从无限维李代数到群概形：一个动机的引入
在数学的抽象世界里，我们常常从一个相对熟悉的结构出发，去探索一个看似遥远、但内在联系深刻的领域。对于许多接触过李群和李代数的朋友来说，Kac-Moody代数可能是一个“名声在外”但感觉有些神秘的对象。它本质上是有限维复半单李代数的推广，通过允许其Cartan矩阵是广义的（即不一定正定），从而容纳了无限维的结构。我们熟知的仿射李代数就是其中最重要的一类。然而，代数结构本身是静态的，数学家们总想赋予它们“生命”，也就是构造出与之对应的群。对于有限维半单李代数，我们有对应的单连通复李群，这是一个优美的对应。但对于无限维的Kac-Moody代数，特别是仿射型，直接构造一个有限维的流形（李群）是不可能的，因为它的维数本身就是无限的。
这就引出了我们标题中的核心概念：仿射群概形。概形是现代代数几何的基本语言，而群概形就是在概形范畴中带有群结构的对象。它完美地统一了代数群、李群（在复数域上可以视为解析群，但也能用概形观点看待）等概念。那么，一个自然的野心就是：能否为每一个Kac-Moody代数，构造一个与之对应的“群”？这个“群”应该能反映原代数的所有结构，并且其李代数（在适当的无穷小意义下）就是原来的Kac-Moody代数。这个构造的答案，就是Kac-Moody群，而它正是通过仿射群概形的语言来严谨定义的。
为什么需要概形语言？因为Kac-Moody代数定义在域上（比如复数域C），我们希望构造的群对象对于基域是“相对”的，即作为一个函子来看待。仿射群概形提供了这样一个框架：它本质上是一个可表函子，从交换代数范畴到群范畴。简单来说，给一个交换环R，我们能得到一个群G(R)。当R取复数域C时，G(C)就是我们期望的“群点”。但概形理论允许我们同时考虑所有可能的系数环，这为研究模形式、表示论在不同数域上的推广等提供了基石。
所以，本文的核心脉络，就是拆解如何从一个组合数据（广义Cartan矩阵）出发，先构造出无穷小部分（Kac-Moody李代数），然后通过根子群和完备化构造这两大技术，一步步搭建起整体的群结构——即Kac-Moody群概形。我会尽量避免过于形式化的范畴论表述，而是聚焦于构造背后的几何直觉和关键步骤的逻辑，并分享在理解这一构造时容易遇到的思维“坑”以及如何跨越它们。
2. 构造的基石：从Cartan矩阵到Tits函子
在进入具体的群构造之前，我们必须先锚定起点。整个大厦的蓝图由一张矩阵图——广义Cartan矩阵A——给出。这个矩阵包含了李代数生成元之间所有对易关系的“种子”信息。从A出发，通过标准的生成元与关系定义，我们可以构造出Kac-Moody李代数 g = g(A)。这个代数有一个三角分解：g = n_- ⊕ h ⊕ n_+，其中h是Cartan子代数（对应于矩阵的对角线部分），n_+和n_-分别由正根和负根对应的根空间直和而成。注意，由于根可能是无限的，这些n_+和n_+是无限维的。
现在，我们的目标是构造一个群G，使得在某种意义下，它的李代数是g。直接对无限维流形指数映射是行不通的。Tits等人的开创性工作提供了一条迂回但坚实的路径：先构造出那些对应“单根”的局部小群，然后用它们像搭积木一样拼出整个大群。这就是根子群思想的来源。
对应每一个单根α_i（与矩阵A的列相关），我们期望有一个同态： φ_i: SL_2 → G 这个同态在无穷小层面上，将SL_2的李代数sl_2中的标准三元组{e, h, f}映射到g中对应于第i个单根的三元组{e_i, h_i, f_i}。在有限维情形，这样的φ_i是存在的，并且是单的，它的像就是由根α_i生成的“单参数子群”。在Kac-Moody情形，我们反过来：我们要求群G必须配备这样一族同态φ_i，并且它们满足由A决定的一组关系（称为“Steinberg关系”）。
于是，Tits定义了一个关键的函子，通常称为Tits函子F。它作用于一个基环k（比如整数环Z，复数域C等）上：
- 输入：一个广义Cartan矩阵A。
- 输出：一个从交换k-代数范畴到群范畴的函子 F_A。
- 如何定义？F_A(R) 被定义为所有满足以下条件的系统 ( {x_i(t)}, {y_i(t)} ) 生成的群：
- 对每个单根指标i和环R中的元素t，有元素x_i(t)和y_i(t)（想象为“单参数子群”）。
- 这些元素满足从SL_2关系以及由A决定的特定交换关系（即Steinberg关系）导出的所有群论关系。
这里，x_i(t) 和 y_i(t) 就扮演了“根子群”的角色，分别对应于正单根和负单根方向。直观上，x_i(t) 应该对应到李代数中元素 exp(t * e_i)（尽管exp在无限维不全局存在），y_i(t) 对应 exp(t * f_i)。
注意：这里有一个关键但易混淆的点。Tits函子 F_A 本身还不是我们最终想要的Kac-Moody群。它是由生成元和关系自由生成的群，还没有考虑“收敛性”问题。在无限维情形，如果我们试图用这些生成元去表示g中的一般元素，可能会遇到无穷级数，而无穷级数的和是否属于某个“群”是需要拓扑或完备化结构来保证的。因此，F_A 通常“太大”，包含了许多“形式”上的元素，我们需要通过引入一个完备化过程来得到更精确的群对象。这是理解后续完备化构造必要性的关键。
3. 根子群的几何实现与“正部分”群
上一节提到的x_i(t)和y_i(t)是抽象的生成元。为了赋予几何意义，我们需要将它们实现为某个群概形的态射。这就引出了根子群概形的概念。
对于每个单根α_i，我们可以构造一个同态于加法群概形 G_a 的子群概形 U_{α_i}。具体来说，对于任意交换环R，定义： U_{α_i}(R) = { x_i(r) | r ∈ R } 并且要求映射 r ↦ x_i(r) 是加法群(R, +)到群G(R)的同态。这实际上就是规定 x_i(r+s) = x_i(r) * x_i(s)。同样地，对于负单根 -α_i，我们有子群概形 U_{-α_i} ≅ G_a。
这些单根对应的根子群是构建更大子群的砖块。我们定义正部分幺幂群U^+ 为所有正根对应的根子群生成的群。但是，由于正根有无穷多，在无限维情形下，U^+ 中的一般元素形如无穷乘积 ∏ x_{β}(r_{β})，其中β跑遍所有正根（按某种固定顺序）。这个无穷乘积是否良定义？这就是收敛性问题。
在有限维情形，正根数量有限，U^+ 就是一个有限维仿射空间（作为概形同构于某个仿射空间A^N），其群运算是多项式映射。但在Kac-Moody情形，我们需要一个机制来处理这种无穷直积。一个标准的方法是：不把U^+看作所有无穷乘积的集合，而是把它定义为一个投射极限。
考虑所有由有限个正根生成的子集Φ。对于每个这样的有限正根子集Φ，我们可以构造一个有限维的群概形 U^+_Φ，它由属于Φ的那些根对应的根子群生成。当Φ ⊂ Ψ时，有一个自然的包含同态 U^+_Φ → U^+_Ψ。那么，完整的U^+就定义为这个有限型群概形系统的投射极限： U^+ = lim_← U^+_Φ 在函子意义上，一个R-点 u ∈ U^+(R) 由一族相容的元素 u_Φ ∈ U^+_Φ(R) 给出，每个u_Φ是有限乘积。这实际上意味着，对于任何有限的根集，u的作用都是“截断”良定义的，并且这些截断彼此兼容。这就绕开了直接处理无穷级数收敛性的难题，而是用“有限近似”的代数数据来定义无穷对象。这是概形论中处理无穷维问题的典型手法。
类似地，我们可以定义负部分幺幂群 U^-。而极大环面子群概形T 则对应于Cartan子代数h，它同构于一个有限秩的乘法群概形 G_m^r（r是矩阵A的秩）。
4. 完备化构造的核心：形式完备化与Birkhoff分解
有了正部分U^+、负部分U^-和极大环面T，一个自然的想法是模仿有限维半单群的Bruhat分解来构造整个群G。在有限维情形，我们有双陪集分解 G = ∐_{w∈W} B w B，其中B是Borel子群（B = T ⋉ U^+），W是Weyl群。在Kac-Moody情形，Weyl群W（由单反射生成）通常是无限的（仿射型是无限二面体群或更复杂的无限群）。这意味着如果直接写双陪集分解，它将是一个无限不交并，在代数几何上难以直接处理。
Kac-Moody群概形的标准构造采用了另一种策略：形式完备化。这个想法源于函数论中的“在无穷远处展开”。我们考虑群函子G，它应该包含U^+、T和U^-。但是，如何把U^-的元素“放”进来？如果我们天真地取集合意义上的半直积 U^- ⋊ (T ⋉ U^+)，这并不能得到一个群，因为U^-和U^+中的元素相乘可能会产生“交叉项”，这些交叉项需要无穷求和。
关键洞察是：我们可以先构造一个“大”的群，它包含了所有形式为 u^- * t * u^+ 的元素，其中 u^- ∈ U^-， t ∈ T， u^+ ∈ U^+，但要求这些乘积在某种意义下是“收敛”的。在代数几何中，实现这种收敛的工具就是完备化。
具体步骤如下：
定义形式邻域：首先，我们考虑正部分幺幂群U^+。它有一个自然的“原点”（单位元）。我们取这个原点在U^+中的形式完备化 Û^+。在代数上，如果U^+由坐标环 k[U^+] 表示，那么它的形式完备化 Û^+ 由形式幂级数环 k[[U^+]] 表示，即我们允许坐标函数取形式幂级数。直观上，Û^+ 包含了所有“在单位元附近”的形式点。类似地，我们有负部分的完备化 Û^-。
构造“大群”Ĝ：我们定义一个新的群函子 Ĝ 为 Û^- × T × Û^+ 作为集合（实际上是概形的乘积），并配备一个通过群乘法诱导的概形结构。更准确地说，Ĝ 代表了这样一个函子：它将一个交换环R映到三元组 (u^-, t, u^+) 的集合，其中 u^- ∈ Û^-(R)， t ∈ T(R)， u^+ ∈ Û^+(R)。注意，这里的乘法规则并不是简单的分量相乘，因为 Û^- 和 Û^+ 中的元素相乘可能会产生落到另一部分的项。乘法规则是由底层李代数g的交换关系（通过Campbell-Hausdorff公式的形式版本）决定的，并且由于我们处在形式完备化中，所有无穷级数都作为形式幂级数而良定义。
将Tits函子实现到Ĝ中：我们需要证明，之前由生成元和关系自由生成的Tits函子 F_A 有一个自然的同态到 Ĝ 中。本质上，就是把每个生成元 x_i(t) 和 y_i(t) 映射到 Ĝ 中相应的元素。由于 Ĝ 是一个真正的群（而不仅仅是函子），并且其乘法考虑了所有可能的无穷求和，这个映射是良定义的。
定义Kac-Moody群概形G：最终，我们定义Kac-Moody群概形G 为 F_A 在 Ĝ 中的像。也就是说，G(R) 由 Ĝ(R) 中那些可以由生成元 x_i(r), y_i(r) (r∈R) 通过有限次乘法得到的元素组成。换句话说，G 是 Ĝ 中“可整”或“代数”的部分，它由那些坐标是多项式（而非一般的幂级数）的元素构成。
这个构造的精妙之处在于，完备化 Ĝ 提供了一个“舞台”，使得无穷求和变得合法；而真正的群 G 则是这个舞台上由“有限数据”（生成元）所能触及的所有点。这类似于在p进数中，整数环 Z_p 是 p进数域 Q_p 中由整数 Z 通过完备化得到的，但 Z_p 中的元素仍然可以用p进展开来“有限”描述（虽然展开式可能无限长，但信息由有限个系数决定）。
一个核心的定理保证了分解的唯一性：对于 G 中的任何元素 g，存在唯一的分解 g = u^- * t * u^+，其中 u^- ∈ U^-， t ∈ T， u^+ ∈ U^+。这被称为Birkhoff分解（或高斯分解）。在有限维情形，这只对稠密开集成立（即Big Cell），但在我们构造的Kac-Moody群概形G中，这个分解对整个群G都成立。这是完备化构造带来的一个非常强且优美的性质。
5. 仿射型特例：环路群与中心扩张的联系
当广义Cartan矩阵A是仿射型时，对应的Kac-Moody代数就是仿射李代数。此时，构造出的Kac-Moody群概形有着格外重要的几何和物理意义，因为它与环路群及其中心扩张密切相关。理解这一特例，能极大地深化我们对整个构造的几何直觉。
设 g̊ 是一个有限维复单李代数（比如 sl_n）。它的环路代数Lg̊ 就是 g̊ ⊗ C[t, t^{-1}]，即取值于 Laurent 多项式环上的 g̊。这个代数有一个非退化的不变双线性型，通过取留数可以定义一个2-上循环，从而得到它的中心扩张̂Lg̊ = (Lg̊ ⊕ Cc) ，这就是对应的仿射Kac-Moody代数（未扭曲的）。
那么，它的群应该是什么？一个自然的候选是环路群LG̊，即从圆周 S^1（或等价地，从单位圆环面）到有限维单连通李群 G̊ 的光滑（或代数）映射的群。然而，直接取 LG̊ 并不完全正确，因为它的“李代数”是 Lg̊，缺少了中心项 c。在物理上（比如共形场论），这个中心项 c（中心荷）至关重要。
这时，Kac-Moody群概形的构造给出了答案。对应于仿射李代数 ̂Lg̊ 的Kac-Moody群概形 G_aff，在取复数点 G_aff(C) 时，正是一个中心扩张： 1 → C^× → G_aff(C) → LG̊ → 1 这个中心扩张由一个代数上可定义的2-上同调类给出，对应于李代数层面的中心扩张。
在这个特例下，我们可以具体地理解前面的构造：
- 极大环面 T：不仅包含有限维环面（对应 g̊ 的Cartan子代数），还包含一个额外的 G_m，对应于中心扩张的纤维。这个额外的 G_m 的作用正是调节“能量”或“模数”。
- 正部分幺幂群 U^+：对应于环路群中那些在单位元附近可以展开为 t 的非负幂次项的部分（即“上半平面”或形式泰勒级数部分）。在完备化 Û^+ 中，我们允许 t 的任意高次项。
- 负部分幺幂群 U^-：对应于环路群中那些在无穷远点附近可以展开为 t^{-1} 的非负幂次项的部分（即“下半平面”或形式洛朗级数的主部）。
- Birkhoff分解G = U^- * T * U^+：此时具有清晰的几何解释。它断言，任何一个（带中心的）环路群元素，都可以唯一地分解为一个在无穷远处正则（U^-）、一个常数模式（T）、和一个在原点处正则（U^+）的元素的乘积。这本质上是一种因式分解定理，在可积系统、黎曼-希尔伯特问题中非常常见。
实操心得：在研究仿射Kac-Moody群时，一个常见的困惑是各种不同“实现”之间的关系。一种是从Tits函子出发的形式代数构造（本文主线），另一种是从环路群几何构造出发然后取代数闭链。它们最终是等价的，但出发点不同。对于做几何表示论或物理应用的人来说，从环路群视角切入往往更直观。但Tits的构造更具一般性，适用于所有Kac-Moody类型（包括双曲型等）。建议在理解时，始终以仿射型作为心理模型和检验实例。
6. 表示论视角：权模与积分形式的构造
Kac-Moody群概形不仅仅是一个抽象的存在，它的威力在于为Kac-Moody代数的表示论提供了一个自然的“积分形式”和“最高权模”的几何实现。这是连接代数与几何表示论的关键桥梁。
在有限维情形，一个半单李代数 g 的有限维不可约表示，可以通过指数映射从李群 G 的表示得到。更代数地，我们可以构造一个在整数环 Z 上形式的“Chevalley群”和它的“ Kostant Z-形式”，使得表示可以“降低模p”等。对于Kac-Moody代数，类似的故事可以上演，但需要借助我们构造的群概形。
设 g 是定义在复数域上的Kac-Moody代数，G 是对应的复Kac-Moody群概形（通过基变换 Spec C → Spec k 得到）。对于一个可积的最高权模V(λ)（其权空间是有限维的，比如仿射代数的水平为正的表示），我们可以尝试构造一个 G-模结构，使得无穷小作用（即微分）与 g 在 V(λ) 上的作用一致。
构造的核心在于利用根子群。对于每个单根 α_i，对应的单参数子群同态 φ_i: SL_2 → G。而 SL_2 在有限维表示上的作用是众所周知的（通过矩阵乘法）。由于 V(λ) 作为 g-模，限制到每个 sl_2-子代数 {e_i, h_i, f_i} 上都是可积的（即 e_i, f_i 是局部幂零的），这意味着我们可以对 exp(t e_i) 和 exp(t f_i) 的作用进行定义，尽管它们是无穷级数，但在每个权向量上，由于局部幂零性，实际上只有有限项非零。因此，作用： exp(t e_i) · v := Σ_{n≥0} (t^n / n!) e_i^n · v 对任何向量 v ∈ V(λ) 都是有限和，从而是良定义的。
通过这种方式，我们为每个生成元 x_i(t) = φ_i( [[1, t], [0, 1]]) 和 y_i(t) = φ_i([[1, 0], [t, 1]]) 定义了在 V(λ) 上的作用。接下来需要验证，这些作用满足 Tits 函子定义中生成元的所有关系（Steinberg关系）。这是一个深刻的定理，确保了对可积最高权模，上述定义确实给出了一个 G-模结构。
更进一步，这个构造是“整”的。如果我们从在特征零域上定义的、带有标准 Chevalley 基的 Kac-Moody 代数 g_Z 开始（即所谓的“Kostant Z-形式”），那么上述作用公式中的系数都是整数。因此，我们实际上得到了一个在整数环 Z 上自由的模 V(λ)_Z，以及群概形 G_Z 在 V(λ)_Z 上的作用。通过基变换，我们可以得到任意域上的表示。
注意事项：这里有一个技术细节容易忽略。不是所有 Kac-Moody 代数的表示都能提升为群表示。只有可积表示（即所有 e_i 和 f_i 作用都是局部幂零的）才有这个可能。对于仿射代数，水平为零的表示（如伴随表示）通常不可积，因此不能提升为环路群的作用。这反映了群表示比李代数表示要求更严格。
7. 几何实现与旗流形：无限维的推广
在有限维代数群理论中，Borel子群B的陪集空间 G/B 是一个射影簇，称为旗流形。它是最重要的齐性空间之一，其几何性质（如胞腔分解、上同调）深刻反映了表示论的信息（Borel-Weil定理）。对于Kac-Moody群概形G，我们同样可以定义它的旗流形，但这将是一个无限维的归纳概形。
定义旗流形为 fppf 商概形 X = G/B，其中 B = T ⋉ U^+ 是“正”Borel子群概形。由于 G 和 B 都是仿射群概形，且 B 在 G 上是“闭”子群概形，这个商在概形的意义上可以良好定义。然而，由于 G 是无限维的，X 不再是有限维概形。
那么，这个无限维旗流形 X 长什么样？我们可以通过Bruhat分解来理解它。在群 G 中，我们有双陪集分解 G = ∐_{w∈W} B w B，其中 W 是（可能无限的）Weyl群。由于 B 是稳定的，这诱导了旗流形 X 的胞腔分解： X = ∐_{w∈W} C_w， 其中 C_w ≅ B · wB / B ≅ U^+_w。 这里 U^+_w 是正幺幂群 U^+ 的一个子群，对应于那些在 w 作用下变为负根的正根。关键点是：
- 当 w 是有限元（即对应有限 Weyl 群中的元素，如果存在的话）时，胞腔 C_w 是有限维的仿射空间。
- 当 w 是无限元时，胞腔 C_w 是无限维的。实际上，U^+_w 同构于一个无限维仿射空间 A^∞。
因此，旗流形 X 是一个由有限维胞腔和无限维胞腔拼接而成的复杂对象。它是一个归纳概形：它可以写成有限维子概形（对应于有限 Weyl 群元素的轨道闭包）的归纳极限。这种结构使得我们可以在其上研究层上同调、相交理论等。
这个几何构造有深远应用：
- 几何 Satake 等价：在仿射情形，环面 T 的固定点集 X^T 与仿射 Weyl 群密切相关。研究 G 在旗流形上的等变层，可以建立仿射 Kac-Moody 群的表示与环路群的互反律（几何 Satake）之间的联系。
- Borel-Weil-Bott 定理的推广：对于可积最高权 λ，可以构造旗流形 X 上的一个线丛 L(λ)，使得其全局截面空间 H^0(X, L(λ)) 恰好是最高权模 V(λ) 的对偶。对于其他上同调群，也有类似的 Bott 定理描述。这为表示提供了纯粹的几何实现。
- Kac-Moody 簇：通过考虑不同 Borel 子群的轨道闭包（Schubert 簇），即使它们是无限维的，也可以研究它们的几何不变量，如奇点性、上同调环等。这些 Schubert 簇通常由有限个方程定义，尽管嵌入在无限维空间中。
理解这个几何视角，对于将有限维代数几何中的工具（如周环、相交上同调）推广到无限维情形至关重要。它告诉我们，尽管群和流形是无限维的，但许多核心的几何思想依然可以透过概形和归纳极限的语言得以延续。
8. 总结与延伸思考：构造的哲学与未竟之路
回顾整个构造，从一张 Cartan 矩阵出发，到建成一个庞大的 Kac-Moody 群概形大厦，其核心逻辑可以概括为“局部生成，整体控制，完备化粘合”。
- 局部生成：利用单根对应的 SL_2 子代数，定义出最基本的“砖块”——根子群 U_{±α_i}。这是构造的原子操作。
- 整体控制：通过 Tits 函子，用生成元和关系描述出这些砖块所有可能的“有限”组合方式。这给出了一个自由但可能“松散”的对象。
- 完备化粘合：引入形式完备化 Û^±，创造一个允许“无穷运算”的舞台 Ĝ。然后将 Tits 函子嵌入其中，并取其像得到最终紧致的群 G。Birkhoff 分解 G = U^- T U^+ 是这个构造和谐性的最终体现。
这套方法的力量在于其普遍性。它不依赖于基域的特征（只要不是太小，以避免除以某些挠元的问题），为在任意环上研究 Kac-Moody 理论提供了统一框架。这使得模表示论、p进群理论中的许多技巧可以移植过来。
在实际研究和应用中，我个人体会最深的有两点：第一，理解“完备化”的双重角色。它既是一个技术工具（处理收敛性），也是一个概念枢纽。在仿射情形，它对应着函数环在无穷远处的局部环；在更一般的 Kac-Moody 情形，它对应着权格上的某种拓扑。将完备化视为一种“局部化”或“逼近”过程，而非一个生硬的附加结构，有助于把握其几何本质。第二，警惕“有限维类比”的陷阱。许多有限维的直观结论在无限维会失效或需要修正。例如，在有限维，Borel 子群是极大连通可解子群，但在无限维 Kac-Moody 群中，存在更大的可解子群。再比如，旗流形的胞腔分解在有限维是有限的，这里却是无限的，这导致其上同调计算完全不同于有限维情形。最稳妥的方式是时刻回到定义和构造，用代数与几何的严格语言进行推导。
当前，这一领域依然活跃，延伸方向众多。例如：
- 双曲型与更广义的 Kac-Moody 群：其旗流形的几何和表示论性质更为神秘。
- 量子化：如何构造量子 Kac-Moody 群，以及其与量子群、晶体表示的联系。
- 在数学物理中的应用：除了共形场论，在可积系统、规范/引力对偶中，仿射 Kac-Moody 群的对称性及其表示也扮演着核心角色。
对于希望进入这一领域的学习者，我的建议是“从仿射入手，紧握两个模型”：一个是环路群/中心扩张的几何模型，另一个是 Tits 函子/完备化的代数模型。在具体计算时多用仿射型例子检验直觉，在建立一般理论时则依赖代数构造的严格性。这条路径虽然抽象，但沿途的风景连接了李理论、代数几何、表示论和数学物理的诸多核心地带，其丰富程度足以回报所有的探索努力。