1894 年,埃利·嘉当 (Élie Cartan) 在复数域上完成了简单李代数的分类。到 1944 年,尤金·迪因金 (Eugene Dynkin) 把嘉当那套繁复的记账方式化简成一种小图算:几个点、几条边便足以编码一个李代数,而对图的操作就编码对代数的操作。在所有这些操作中,删除是最具后果的一种。从 Dynkin 图中去掉一个节点,你就得到一个子代数 — 所谓的「Levi」子代数 — 它的表示理论决定了原代数在部分规范化或部分破缺时如何分解。每一个大统一理论,究其根本,都是一个关于「在哪个图里删哪个节点」的故事。
A_3 的图很简单:三个点连成一行,中间用边相连:• — • — •。它的紧实形是 su(4),而 su(4) 正是 1974 年帕蒂 (Jogesh Pati) 与萨拉姆 (Abdus Salam) 提出的统一模型的代数:轻子数被当作第四种色,标准模型的规范结构由一个 4×4 幺正群一举给出。这张图、这个代数,半个世纪以来一直是大统一理论文献中的常驻对象。
几周前,我上传了一篇论文,证明扭量构型几何顶层的腔室计数恰好是 24,即 A_3 根系的 Weyl 群阶数;而在一个新增的假设下,代数重构出 su(4) 并带有恰好可以容纳帕蒂与萨拉姆四元组的分级结构。该论文里的 Levi 约化通过删除图中的一个端点节点来完成,结果是 su(3) ⊕ u(1) — 色加上重子数减轻子数,正是帕蒂-萨拉姆的零件清单。
但标准模型比这要大。它有左手弱同位旋 SU(2)_L,以及在端点删除图像中并不出现的右手类比 SU(2)_R。SU(2)_R 究竟从哪里来?
最自然的答案就摆在 Dynkin 图本身里:不要删除端点节点,删除中间那个。
几乎奏效的猜想
剪掉 • — • — • 中间那一节,你得到两块互不相连的图:• 与 •。每一块都是 A_1 图,即 su(2) 的图。再加上中间被删除节点贡献的一份 u(1),整体结构是 sl_2 ⊕ sl_2 ⊕ u(1)。表面上,这恰恰是电弱理论中 SU(2)_L × SU(2)_R × U(1)_Y 的形状。猜想几乎是自动写出来的:墙删除论文取端点节点,落到帕蒂-萨拉姆减去右手同位旋的位置;一个平行的约化取中间节点,落到那个缺失的左右电弱扇区。同一张图的两种切法,标准模型的两半。整洁得近乎可疑。
我上周花了几天把这个猜想放到代数里检验。形状对了。物理没对。
计算告诉我们什么
su(4) 的基础表示是四维的。每一种 Levi 约化都附带一个特定的 u(1) 生成元,用以为这四维空间分级。对于端点删除的情形,相关 u(1) 生成元在四个基矢上的本征值是 (1/4, 1/4, 1/4, −3/4) — 一个 3+1 的劈分,正好对应三种夸克色加一种轻子,即 (B−L) 的对角化。这个本征值结构正是帕蒂-萨拉姆能够工作的全部原因。
对于中间删除的情形,u(1) 生成元的本征值是 (1/2, 1/2, −1/2, −1/2) — 一个 2+2 的劈分,而不是 3+1。没有任何方式可以把 2+2 解读为「三夸克加一轻子」。其中没有夸克单态结构。无论这个 u(1) 在分级什么,它都不是帕蒂-萨拉姆的 (B−L)/2,也不是标准模型的弱超荷。
仅这一点就足以宣告该猜想的失败。但更有意思的问题是:既然它不是内部弱超荷,那它究竟是什么?
几何上的真相
复李代数的每一个 Levi 子代数都附带一个齐性空间:对应群除以对应抛物子群。对于 A_3,中间根抛物删除附带的齐性空间是二十世纪几何中被研究最多的对象之一。它是 Grassmann 流形 G(2,4) — 复四维空间中所有复二维平面的模空间。罗杰·彭罗斯 (Roger Penrose) 1967 年提出扭量理论时,就把这个 Grassmann 流形放在物理学的中心位置:他的「扭量空间」T = C^4 中的每一个二平面都对应紧化复化 Minkowski 空间的一个点。G(2,4),按字面意义,就是复化时空。
G(2,4) 上任一点的切空间自然分解为两个因子 — 数学家把它们写作 Π* 与 (C^4/Π),其中 Π 是所选的二平面。Levi 在这两个因子上的作用恰好是 GL(2) × GL(2) 的作用。剥去行列式因子,半单部分是 SL(2) × SL(2)。把 Lorentz 代数 so(1,3) 复化,你会发现 — 这是一个早在二十世纪初便已建立的教科书计算 — 它分裂为 sl_2(C)_L ⊕ sl_2(C)_R,即左手与右手 Weyl 旋量的代数。它们不是内部对称性。它们是时空自旋的两种手征。
于是,A_3 中间根删除给出的两个 sl_2 因子并非缺失的内部 SU(2)_R。它们是复化时空的左手与右手 Lorentz 旋量代数。中央 u(1) 给出的 2+2 分级不是弱超荷;它是用来区分两个旋量因子的自然抛物分级。该猜想以一个猜想能失败的最具信息量的方式失败了:它确实给出了真实的结构,只是不是你原本想找的那种结构。
一个根系,两个物理世界
退后一步看这个计算,留下的是关于 A_3 的一个虽小但醒目的观察。
同一个复根系,根据你删除的是哪个节点,承载着两种完全不同的物理读法。端点根删除给出内部的帕蒂-萨拉姆结构:三种夸克色加一种轻子,以 (B−L) 分级。中间根删除给出外部的 Lorentz / 扭量结构:复化时空的二平面几何,以旋量手征分级。第一种读法使用代数的紧实形;第二种读法使用复化形。两种读法都自然成立,都附属于框架的现有部分 — Grassmann 流形 G(2,4) 早已出现在本月稍早的电弱边界论文中,而相关的 Plücker 空间 CP^5 出现在强子扩展论文中。在本周以前,这些 G(2,4) 的使用是我们当作既定输入接受的。本周以后,它们成为推导:G(2,4) 恰恰就是 SL_4 除以中间根抛物子群,而这就是它出现的原因。
这不止是记账。这意味着,框架中的内部李代数内容与外部时空内容并不是两台彼此独立、被拼装在一起的机器。它们是同一个根系的两种抛物读法,根系本身一旦到位,两者皆可免费取用。在这幅图像里,标准模型的规范扇区与 Lorentz 时空是同一个数学对象的两个对偶面相,而非独立的输入。
它没有解决什么
内部 SU(2)_R 的缺口 — 帕蒂与萨拉姆 1974 年留下的、上个月墙删除论文继承下来的那个缺口 — 并未被这个观察填上。A_3 的中间根删除并不提供右手弱同位旋;它提供时空的旋量结构,这是另一回事。所以缺口仍在,该论文综述了四种 SU(2)_R 的候选来源,无一获得背书:在更深一层结构上的手征加倍,经由 spin(6) ⊕ spin(4) 链嵌入 so(10),某种深层的旋量-内部对应,或者直接接受框架就是落到帕蒂-萨拉姆 Levi 子代数,缺失的因子是真的缺失,而不是有待推导。
这篇论文很短 — 十页正文,十四条参考文献,一张被切成两种方式的图。它是一个结构性观察,不是一个新假设,框架的活动假设清单不变。它的核心贡献以最明显的方式是负面的(自然的猜想失败了),又以不那么明显的方式是正面的(一个根系,两种读法;G(2,4) 得到解释)。统一图谱中的缺口比之前小了,但不是因为某块缺失的拼图被找到 — 而是因为 SU(2)_R 的搜索空间被收窄,而框架的架构性统一度被进一步收紧。
论文 End and Middle Parabolics of A_3 in Twistor Configuration Geometry: Internal Color versus Spacetime Incidence(《扭量构型几何中 A_3 的端点与中间抛物:内部色 vs 时空关联》)已发表于 Zenodo (DOI 10.5281/zenodo.20090828;CC-BY-4.0)。它读起来像是墙删除论文与电弱边界论文的澄清性配套,与那两篇放在一起阅读最合适。