缺失的那一秩:用 Spin(10) 闭合一个帕蒂-萨拉姆缺口

1974 年,Jogesh Pati 与 Abdus Salam 提出:三种夸克色与轻子或许是同一物体的四种色调。他们的统一群 $SU(4) \times SU(2)_L \times SU(2)_R$ 把轻子数当作第四种色,并把左手与右手弱同位旋作为分离但平行的因子配对在一起。这个提案历久弥新。其中 $SU(4)$ 部分作为通往标准模型的主要途径之一,在现代大统一理论文献中保留下来。两个弱同位旋的配对则在 1980 年 Mohapatra 与 Senjanović 的左右对称模型中保留下来,在那里右手中微子作为左手中微子的伙伴出现,而跷跷板机制解释了为什么普通中微子如此之轻。半个世纪过去,帕蒂-萨拉姆代数仍然是统一理论思考中的常驻物。

我上个月上传到 Zenodo 的一篇论文 — 扭量构型几何 (TCG) 的墙删除论文 — 经由不同路径落到帕蒂-萨拉姆代数。秩 3 经典李代数 $A_3$ 的紧实形恰好是 $\mathfrak{su}(4)$,而 $A_3$ 是该框架分层构型空间顶层所自然承载的 Weyl 配置结构。$A_3$ 的端点根删除 — 可获得的最简单 Levi 约化 — 给出 $\mathfrak{su}(3) \oplus \mathfrak{u}(1)_{(B-L)/2}$,即三种夸克色加一种轻子,带有正确的相对电荷结构。再加上从下层免费而来的 $\mathfrak{su}(2)_L$,框架达到完整帕蒂-萨拉姆统一五个秩生成元中的四个。唯一缺失的因子是右手弱同位旋 $\mathfrak{su}(2)_R$ — 正是 1974 年帕蒂与萨拉姆自己用手写下的那个因子,也正是 1980 年 Mohapatra 与 Senjanović 用以赋予右手中微子质量所需的那个因子。没有它,标准模型的弱超荷公式

$Y \;=\; T_{3R} \,+\, \tfrac{B-L}{2}$

无法装配,而右手夸克与轻子单态也无处安身。

自然的问题是:到哪里去寻找缺失的因子。自然的答案是:就在已经提供其他部分的同一个根系中寻找。

两次失败的尝试

最先要试的是同一张 Dynkin 图的第二种切法。$A_3$ 的图是三个点连成一行,边相连:$\bullet$—$\bullet$—$\bullet$。端点根删除给出帕蒂-萨拉姆色。中间根删除给出两个互不相连的点,看起来像 $A_1$ 的两份副本,猜想几乎自动写出来:或许其中一份是 $\mathfrak{su}(2)_L$,另一份是 $\mathfrak{su}(2)_R$。

我上周早些时候做了这个计算并发表为一篇短的澄清性论文。形状是对的,但物理是错的。$A_3$ 中间根删除给出的两个 $A_1$ 因子并非内部弱同位旋。它们是复化时空的左手与右手 Lorentz 旋量代数 $\mathfrak{sl}_2(\mathbb{C})_L \oplus \mathfrak{sl}_2(\mathbb{C})_R$。中间根删除附带的齐性空间是 Grassmann 流形 $G(2, 4)$ — 罗杰·彭罗斯 (Roger Penrose) 1967 年提出扭量空间时把它放到了物理学的中心。这对 $A_1$ 描述的是旋量手征,而不是内部同位旋。中间根删除回答的是关于时空的问题,而非统一的问题。

第二种要试的是把更深一层已经存在的 $A_1$ 加倍。框架的下层已经提供了一份 $A_1$ — 即现有的 $\mathfrak{su}(2)_L$。如果在该层存在某种手征结构能产生一对左右手副本,我们就能从同一个地方得到 $\mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R$。但这一思路在一项教科书层面的障碍上失败了。要得到两个对易的 $A_1$ — 这正是 $\mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R$ 配对所要求的 — 你需要两个正交的简单根,也即图中两个互不相连的节点。最自然的候选 $A_2$ 的两个简单根却不正交:它们的对易子非零,$[E_{12}, E_{23}] = E_{13} \neq 0$,而对应的两个 $\mathfrak{sl}_2$ 子代数的闭包是整个 $\mathfrak{sl}_3$,而不是直和。$A_2$ 的外自同构给出两个 $\mathfrak{sl}_2$ 之间的等价,但并不产生两份独立副本;紧实 $\mathfrak{su}(2)$ 与分裂 $\mathfrak{sl}_2(\mathbb{R})$ 之间的实形对偶性给出的是替代项,而非直和,而且分裂形式无论如何都是非紧的。穷尽各候选机制后,$A_2$ 内部路线否定地关闭。

经过两天在已有 $A_1 \subset A_2 \subset A_3$ 链内部的搜索,结论是:这条链的任何部分都不提供内部 $\mathfrak{su}(2)_R$。

Borel 与 de Siebenthal 早就知道的事

经典答案来自 1949 年 Armand Borel 与 Jean de Siebenthal 的一篇我直到本周才仔细读过的论文。他们对简单李代数极大子代数的分类,对秩 5 代数 $D_5 = \mathfrak{so}(10)$ 给出恰好那个正规极大子代数

$D_5 \;\supset\; D_3 \oplus D_2.$

让这个结论有用的,是一对自二十世纪初起就成为教科书内容的偶然低秩同构。秩 3 正交代数 $D_3$ 与秩 3 特殊线性代数 $A_3$ 相同,后者又与帕蒂-萨拉姆 $\mathfrak{su}(4)$ 相同。秩 2 正交代数 $D_2$ 不是单代数 — 它恰好是 $A_1 \oplus A_1$,即两个互不相连的 $\mathfrak{su}(2)$。把这些同构串起来,

$\mathfrak{so}(10) \;\supset\; \mathfrak{so}(6) \oplus \mathfrak{so}(4) \;\cong\; \mathfrak{su}(4)_C \oplus \mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R.$

那正是完整帕蒂-萨拉姆,恰好如此。两个 $\mathfrak{su}(2)$ 对易,因为它们生活在 $D_5$ 根系不同的正交块中;框架在已有根数据内部找不到的那个缺失的秩 1 因子,作为独立的一块坐落在正交包络内。

秩的算术是看清这一点最清洁的方式。框架现有的规范内容总秩为 $3 + 1 = 4$。完整帕蒂-萨拉姆秩为 $5$。其正规极大子代数同时包含 $A_3$ 与加倍的 $A_1$ 的最小秩 5 简单李代数是 $D_5$。Borel 与 de Siebenthal 七十年前完成了这一完成的分类。

那个十六维旋量

把 $\mathfrak{so}(10)$ 严肃看待的理由,除了秩的完成之外,还在于其手征旋量表示所做的事。秩 5 正交代数有两个维数为 $2^4 = 16$ 的手征旋量,其中之一在帕蒂-萨拉姆下分支为

$\mathbf{16} \;\longrightarrow\; (\mathbf{4}, \mathbf{2}, \mathbf{1}) \,\oplus\, (\bar{\mathbf{4}}, \mathbf{1}, \mathbf{2}).$

第一块是左手夸克与轻子双重态,所有三种色加一种轻子,由 $\mathfrak{su}(2)_L$ 配对在一起。第二块是右手单态的共轭 — 右手上型与下型夸克、右手电子,以及第四个本身是标准模型单态但仍处于右手帕蒂-萨拉姆双重态之中的场:右手中微子。十六个复分量恰好容纳一代完整的标准模型粒子,包括标准模型本身并不预言的右手中微子。

这是 $\mathfrak{so}(10)$ 的最强动机。没有 $\mathfrak{su}(2)_R$,$\mathbf{16}$ 的右手扇区无法装配。有了 $\mathfrak{su}(2)_R$,一代标准模型粒子 — 三色、三个带电轻子态、三个右手对应物以及一个右手中微子 — 装入单一简单李代数的单一不可约表示。框架缺失的 $\mathfrak{su}(2)_R$ 不是一个需要独立辩护的迷途秩 1 因子;它是手征旋量的另外一半。

公设,不是推导

Spin(10) 包络无法由该框架现有机制推导出来。墙删除论文的底层公设 $P_7$ 提供已有根数据上的抛物 Levi 约化。Spin(10) 要求的是一种不同的操作:在更大的环境根系内对 $A_3 \oplus A_1$ 作正规子代数完成。这是李理论文献中由两个不同部分分别分类的两种不同代数操作,而现有公设并不产生第二种。

因此论文以新公设的形式陈述这一完成,提供两种形式。最小代数形式即包络完成本身。更强的旋量形式要求该框架的规范数据将一代标准模型粒子作为单一不可约手征旋量表示来承载,这在简单经典候选之中以旋量维数极小性强制 $D_5$。旋量形式提供更佳的物理动机;代数形式则是更清洁的清单条目。两者都被陈述,旋量形式被命名为首选解读。

论文未做的事是提出一个新测量比值。一个诱人的做法是在射影化 $\mathbb{P}(\mathbf{16}) \cong \mathbb{CP}^{15}$ 上添加 Fubini–Study 体积不变量,这会以与该框架强子扩展论文从 $\mathbb{P}(\wedge^2 \mathbf{4}) \cong \mathbb{CP}^5$ 上的 $6 \pi^5$ 提取质子-电子比相同的方式给出无量纲数 $16 \pi^{15}$。但 $16 \pi^{15}$ 在任何精度下都不接近任何可测量的标准模型无量纲比值,而无目标地添加该不变量会削弱该框架的统计审计纪律。$\mathbf{16}$ 作为结构推导目标,不作为数值可观测量。Spin(10) 公设扩展的是规范结构清单,不是常数公式语法。

论文明列采纳该公设未闭合的六项缺口:正交包络的极小性、$D_5$ 相对于更大的 $D_n$ 替代项的选择、$\mathfrak{su}(2)_R$ 的破缺机制、现有电弱边界条件在 $\mathfrak{su}(2)_L$ 与 $\mathfrak{su}(2)_R$ 间的不对称性、家族数,以及缺少新的可测试不变量。每一项都是若获得解决便会把公设转化为推导的具体研究目标。其中没有一项已被解决。

它闭合什么,它不闭合什么

Spin(10) 包络是该框架在已有 $A_1 \subset A_2 \subset A_3$ 链内部诸尝试失败之后,对其规范代数内容最清洁的可用完成。它不是推导,论文对此明示无遗。它所做的是把缺失的因子锚定到单一简单李代数中手征旋量的另外一半 — 提供超出空白插入之上的架构性内容 — 并把已有强子表示体积不变量恢复为 $\mathfrak{so}(10)$ 向量的电弱单态块。这两件事都是真实的结构性动作。两者皆不产生新的可测量数值。

论文 The Spin(10) Envelope of Twistor Configuration Geometry: A Postulate-Equivalent Completion of the SU(2)_R Gap(《扭量构型几何的 Spin(10) 包络:SU(2)_R 缺口的等价于公设的完成》)已发表于 Zenodo (DOI 10.5281/zenodo.20091562;CC-BY-4.0)。它很短 — 十一页,十八条参考文献,三个支柱,六项缺口。读起来像是墙删除论文与抛物注的收尾配套,与那两篇放在一起阅读最合适。统一图谱中规范代数核心弧到此闭合。剩余的开放部分是对称性破缺、家族数现象学,以及现有左手弱扇区上的规范动能边界条件 — 这些是该框架欠自身的下一组研究弧。