对称与怪兽（八·终章）· 月光

系列第八集，也是终章。上一集，魔群被一双手真正造了出来——它活在 196883 维里，身上带着一个当时说不清的「+1」（196884）。这一集，我们就去看那个「+1」：它一字不差地出现在一条一百多年前就写下的数论公式里。这不是巧合，这有个名字，叫月光（Moonshine）。是谁先看见的、它怎么被证明的，以及——为什么至今没人真正解释得清。

“所以真正的任务，与其说是去看见无人见过的东西，不如说是去思考——对着人人都看得见的东西，想出无人想到过的念头。”

—— 阿图尔·叔本华（Arthur Schopenhauer，1788–1860），《附录与补遗》（Parerga und Paralipomena），1851

作者的话

就在我制作和发布第八集的这两个月里，AI界和数学界发生了不少大事：Claude 用 Lean 把费马大定理的证明完整地形式化了一遍，也就是把人三十年前完成的证明，一步步写成了机器能检查的代码；OpenAI 则宣称证明了 NS 方程的解可以崩溃，对不对到今天虽然还没有定论，但已经足够震撼了。还有许许多多原来触及不到的证明，正在被 AI 一个个地尝试。

我首先感到的不是欣喜，而是焦虑。这种焦虑来源于对未来不确定性的思考：我所引以为傲的脑力活动正逐渐被 AI 所取代，那我自己将何去何从？随之而来的感受则是迷茫，既然我不知道何去何从，那我接下来该如何生存？

我所能做的，就是把 AI 当成亦师亦友的伙伴吧，而不是替我思考的智能体；并且认清自己：我没有 AI 厉害，但我是个活生生的人。第一集我写过，读这篇文章的人一定是活着的；做到最后一集，我还是回到这一句。

更重要的是，AI 不能为我们的人生负责。

配套视频（YouTube）

引子 · 一个不该存在的巧合

数学里偶尔会遇见这样的事：两样看起来毫不相干、隔着上百年、分属不同分支的对象，却在一组数字上对上了。你没法证明它一定会对上，可它就是对上了。

1978 年 11 月，一位住在蒙特利尔的英国数学家，在家随手读一篇论文消遣。他自己做的是群论，手上这篇却是数论——他本以为两者毫无关系。读着读着，一个数字蹦了出来，这个数看上去很眼熟。他意识到，自己真正熟悉的其实是另一个数：与这个数仅仅差一个 1。

那一年，被这两个数联系起来的两样东西，都还没有完全落地：一边，是当时还没有被造出来的魔群——它该有多大、该长什么样，数学家算出了”体检报告”，可没人见过它本尊（EP7 讲的正是这个）；另一边，则是一条一百多年前就写在纸上的数论公式。一个尚未出生的庞然大物，与一条早已泛黄的老公式，在 196883 与 196884 之间， 产生了某种说不清道不明的联系。

这一集讲的，就是探究他们的联系（§1）、这条老公式到底是什么（§2）、这两个不相干的领域为何会对上（§3），以及它最后怎么被证明、又为什么至今仍是个谜（§4）。这是这个系列的最后一集。走到这里，我们也会回头望一望这条从”为什么恰好只有五个正多面体”、走了两千五百年才走到”月光”的路。

§1 · 麦凯的巧合

刚才提到的发现巧合地那位数学家叫约翰·麦凯（John McKay，1939–2022），康考迪亚大学的群论学家。他读的那篇论文，谈的是数论里一个叫 j-函数 的经典对象（据罗南书记载，是阿特金与斯温纳顿-戴尔的一篇）。j-函数可以展成一串数，最前面几个是：

麦凯的目光停在第一个”有意思”的系数上：196884。他出身群论，一眼就认出这个数几乎是另一个他熟悉的数——魔群的最小表示维数 196883（EP7 的核心数字，$=47\times59\times71$）——多了一个 1。

1978 年，魔群还没有被造出来——这件事如果不先澄清，整个故事就会失去神秘性。格里斯（Robert Griess）徒手把它构造出来，还要等到1980年（论文 1982）。麦凯撞见这个巧合时，196883 还只是菲舍尔（Bernd Fischer）、利文斯通（Donald Livingstone）、索恩（Michael Thorne）在”魔群被证明存在”之前就算出来的、预言中的特征标度数。所以准确的说法不是”魔群的表示维数”，而是”魔群（当时尚是预言）该有的最小表示维数”。最反常的地方就在这里：它是在两个都还没完全落地的对象之间被发现的。

“太近了，不可能是巧合。“麦凯写了封信给当时群论界的宗师约翰·汤普森（John Thompson）。（那是一封信，不是明信片；据罗南记，他没走邮政，把信托给从普林斯顿来蒙特利尔做报告的菲舍尔带回去——汤普森那时正在普林斯顿高等研究院。）

换一个人也许就把它当巧合放过了，汤普森没有，他动了手——用他自己的话说：“I started fooling around with it, and tried the next coefficient（我就开始摆弄它，试了下一个系数）。“这一试，他就意识到——因为这根本不是一个数的巧合，是一整串。魔群有一张”指纹表”（$194\times194$ 的特征标表，EP7 §2 讲过），把它前几个维数拿来做简单的加法，竟然逐项对上了 j-函数的系数：

三行，逐项全对。（这几条能独立核到第三条——两边一边算 j、另一边对应上魔群维数；从第四个系数 20245856256 起，就要用到更多维数和不那么显然的重数，只能引 ATLAS 数据核对，详见附录 B。）

汤普森还多走了关键的一步：既然 j 的系数对应的是魔群恒等元在各维度上的数字，那么魔群里别的元素，是不是也各自藏着这样一条数列？——这个念头，直接通向了 §3 那整套猜想。

（一个小插曲，据 Marcus du Sautoy《Finding Moonshine》记麦凯后来的说法：更高系数的进一步分解，是汤普森先发表的；麦凯自己其实也做了出来，“I was a bit peeved really（我确实有点不爽）“。而这串数今天就叫 McKay–Thompson 级数，荣誉归两人。）

图 · 麦凯的”肖像”：麦凯生前留有照片，我们却没能找到一张能自由使用的。他留给世界的，是他一眼认出的那个巧合本身——$196884 = 196883 + 1$。（本频道制作。）

§2 · 那条老公式：j-函数是什么

要看懂这个巧合，得先认识 j-函数。它在数论里待了一百多年，早就是个”人人都看得见”的老熟人——只是没人想到它会和一只怪兽扯上关系。

而要认识 j，我们需要先换一个角度。

2.1　从复数出发

数学上有一个叫上半平面的概念：

首先，复数的含义是：$z$ 是一个复数，也就是平面上的一个点；$x$ 是它的实部，在一个复平面里由横坐标定义，$y$ 是它的虚部，它由纵坐标定义，而$i$ 是虚数单位（$i^2=-1$）。当 $y>0$ 把这个点限制在横轴上方——所以叫”上半”平面。但是横轴本身（$y=0$，叫实轴）不算在内。

在上半平面上，长度不按欧式的算法量，而由下式定义：

这个式子里，$dz$ 是从 $z$ 出发挪动的一小步；$|dz|$ 指的是平面上两点之间的绝对距离；$\operatorname{Im} z$ 读作”$z$ 的虚部”，也就是上面说的上半平面 $y$。$ds$ 则是这一小步在这套标准下记下来的长度。

代两个点进去看：在 $z=1+10i$ 处走一步 $|dz|=1$，得 $ds=1/10=0.1$；在 $z=1+0.001i$ 处走同样一步，得 $ds=1/0.001=1000$。同一段欧式长度，$y$ 越小读数越大；$y\to 0$ 时 $ds\to\infty$，所以实轴在这套度量下位于无穷远。

面积也跟着一起变：

$dx\,dy$ 是一小块长方形按平常量法的面积（宽 $dx$、高 $dy$）；$dA$ 是它在这套标准下记的面积。这里除的是 $y^{2}$ 而不是 $y$，原因很直白：面积是两个方向的长度相乘，每个方向都要除一次 $y$，两次就是 $y^{2}$。

选这套度量的理由是：它在下面这组变换下保持不变。先看这组变换：

$z$ 是变换前的点，$w$ 是变换之后落在哪；$a,b,c,d$ 是四个实数，是这次变换的四个参数。$ad-bc$ 叫这次变换的行列式，它管三件事，是三个不同的条件：

• $ad-bc\neq 0$ —— 这次变换可以原路退回去（等于 $0$ 就退不回来了）；
• $ad-bc>0$ —— 变换完还落在上半平面里；
• $ad-bc=1$ —— 这是一个归一化：任何正的行列式，把 $a,b,c,d$ 四个数同时除以 $\sqrt{ad-bc}$ 就能化成 $1$，而这个缩放不改变 $\frac{az+b}{cz+d}$ 本身（上下同时缩放会约掉）。所以规定它等于 $1$ 不是多加了一条限制，是从同一个变换的无穷多种写法里选择一个标准写法。

一个例子把三条一起说清。取 $(a,b,c,d)=(3,1,1,1)$，此时 $ad-bc=2$：

行列式非零，所以可逆（逆变换是 $(1,-1,-1,3)$）；行列式为正，所以 $\operatorname{Im}w$ 与 $\operatorname{Im}z$ 同号，上半平面里的点变换后仍在上半平面。但分子上多出一个 $2$，正是 $ad-bc$。把四个数同除 $\sqrt2$，行列式变成 $1$，而 $w$ 的表达式上下同乘 $\sqrt2$ 后与原来逐字相同——映射没变，只是换了个写法，多出来的那个 $2$ 消失了。

选择了这个标准写法之后，只剩下一处写法上的重影：$(a,b,c,d)$ 与 $(-a,-b,-c,-d)$ 给出的是同一个变换——2.2 讲 $\mathrm{PSL}$ 里那个 $\mathrm P$，管的正是这一处。后面 2.2 讲的模群，就是把 $a,b,c,d$ 进一步限死成整数的那一群。

对这样的变换，我们还可以直接推导出等式：

第一条式子说的是：在做完变换之后的高度，等于原来的高度除以 $|cz+d|^{2}$。第二条说：变换之后的那一小步，等于原来那一小步除以 $(cz+d)^{2}$。（这两条式子都用到了上面挑定的 $ad-bc=1$——一般情形下它们的右边各自还带一个 $ad-bc$ 因子，是取了标准写法之后才消失的。）两条式子里出现的是同一个 $cz+d$——这不是巧合，正是它让下一步成立。取绝对值再相除，$|cz+d|^{2}$ 在上下正好抵消：

这是一个重要的结论：等号左边是变换之后记录的长度，右边是变换之前记录的长度，两者居然一模一样。也就是说，模群里的每一个变换，在这套标准下都是长度不变的。

于是，取上半平面里的一块区域，再用这些变换就能得到许多长度相同的结果，接下来 2.3 我们会进一步说明它是怎么来的，这里先管它们叫瓦片：

那些瓦片，每一块都一样大。「越靠边越小」只是欧式坐标系下的错觉——就像地图上格陵兰看着比非洲大。

我们结合一个具体的例子，取这一块：

$\operatorname{Re}z$ 是 $z$ 的实部（就是上面的 $x$），$|\operatorname{Re}z|\le\frac12$ 说的是”左右不超过半格”；$|z|$ 是 $z$ 到原点的距离，$|z|\ge1$ 说的是”在单位圆外面”。这块区域叫基本域。把上面那个 $dA$ 在它上面加起来（积分下限来自 $|z|\ge1$，即 $x^{2}+y^{2}\ge1$，解出 $y\ge\sqrt{1-x^{2}}$）：

四个等号，各自的理由：

1. 拆成累次积分。 $F=\left\{-\tfrac12\le x\le\tfrac12,\ y\ge\sqrt{1-x^{2}}\right\}$，所以外层对 $x$、内层对 $y$。
2. 先积 $y$。 $\displaystyle\int_{a}^{\infty}\frac{dy}{y^{2}}=\left[-\frac1y\right]_{a}^{\infty}=\frac1a$，代入 $a=\sqrt{1-x^{2}}$。
3. 认出原函数。 $\dfrac{d}{dx}\arcsin x=\dfrac{1}{\sqrt{1-x^{2}}}$。
4. 代上下限。 $\arcsin\tfrac12=\tfrac{\pi}{6}$（因 $\sin 30^\circ=\tfrac12$），$\tfrac{\pi}{6}-\left(-\tfrac{\pi}{6}\right)=\tfrac{\pi}{3}$。

每一块瓦片的面积都是 $\pi/3$，无论它画出来有多小。 无穷多块，每块面积相同。

2.2　那两个变换，在平面上到底做了什么

上面那组变换，如果把四个参数 $a,b,c,d$ 限定成整数（仍要求 $ad-bc=1$），得到的就是模群，记作 $\mathrm{PSL}(2,\mathbb{Z})$。这个记号拆开来读：$2$ 指这四个数排成 $2\times2$；$\mathbb{Z}$ 是全体整数的标准记号；$\mathrm{SL}$ 表示行列式为 $1$；前面那个 $\mathrm{P}$ 表示把 $(a,b,c,d)$ 和 $(-a,-b,-c,-d)$ 看成同一个变换——因为代进 $\frac{az+b}{cz+d}$ 之后，上下同时变号会约掉，落点一模一样。

这一整群变换，由两个变换生成。逐个看它们把一个点变换到哪。

平移 $T:\ z\mapsto z+1$。 整张图水平右移一格。虚部不动，高度不变。（对应 $a=1,b=1,c=0,d=1$。）

翻转 $S:\ z\mapsto -1/z$。 （对应 $a=0,b=-1,c=1,d=0$。）写成极坐标 $z=re^{i\theta}$ 最清晰——$r$ 是这个点到原点的距离，$\theta$ 是它与正实轴的夹角：

距离 $r$ 变成 $1/r$——这是关于单位圆的反演，圆内外对调；角度 $\theta$ 变成 $\pi-\theta$（$\pi$ 是 $180^\circ$ 的弧度写法）——这是关于虚轴的反射，左右对调。

于是：单位圆整体不动（$r=1$ 时 $1/r$ 还是 $1$），圆上的点只是左右对调；$i$ 点不动（它的 $r=1$、$\theta=\frac{\pi}{2}$，而 $\pi-\frac{\pi}{2}$ 还是 $\frac{\pi}{2}$），它是这个变换的支点；圆内与圆外整个对调。

在虚轴上看：

高度 $y$ 的点，被变换到高度 $1/y$。 高度 $\tfrac1{100}$ 的点，落到高度 $100$；而 $i$（也就是 $y=1$）是那个不动点。一般地

——变换完之后的高度，等于原来的高度除以”到原点距离的平方”。所以原点正上方附近的点（比如虚轴上靠近 $0$ 的点：$\operatorname{Im}z$ 很小，$|z|$ 的平方更小），除下来会被甩到很高的地方。

$T$ 和 $S$ 两个就足以生成整个模群。这是结论，附录 A 用的就是它，正文只做一般解读。

2.3　瓦片是什么：一块基本域，和它的所有变换结果

我们引用2.1 里的例子：

这两个条件恰好对应两个生成元：$|\operatorname{Re}z|\le\frac12$——再往左右就被 $T$ 平移回来了（$T$ 一次平移一整格，所以半格是分界）；$|z|\ge1$——再往里就被 $S$ 翻出去了（$S:z\mapsto-1/z$ 做的正是反演：$\left|-1/z\right|=1/|z|$，离原点 $r$ 的点被送到 $1/r$——所以单位圆内的点跑到圆外，圆上的点仍留在圆上（左右对调，只有 $i$ 不动））。

所以 $F$ 就是”每个点在模群下的等价类里的一种表示”。上半平面任何一个 $z$，都能被某个模群元素变换进 $F$，而且本质上只有一种变换方式（边界上有几处黏合）。全证见附录 A。

所谓”瓦片”，就是 $F$ 被这组变换作用到各处得到的所有拷贝：$T(F)$、$S(F)$、$TS(F)$、……无穷多块，在 2.1 那套标准下两两全等，拼满整个上半平面。

瓦片和坐标的关系：平面上的点就是普通复数 $z=x+iy$；瓦片不是画在平面上的花纹，而是”哪些点该被看成同一个点”的分组。$z$、$z+1$、$-1/z$ 三者在模群眼里是同一个点，所以只需要留一块 $F$ 当代表。

2.4　j-函数：椭圆曲线的特征

j-函数是定义在上半平面上的一个函数：喂给它一个点 $z$，它吐出一个复数 $j(z)$。它在这张无穷瓦片图上的特别之处有两条。

第一条，它在每一块瓦片上都把整个复平面完整地取过一遍——每个复数都被取到，而且只被取到一次——且在模群的全部变换下保持不变（叫模不变）。它的含义由两个定义：

第一个定义中的第一个等式：把点向右挪一格（$T$），$j$ 的取值不变；第二条说：把点按 $S$ 翻过去，$j$ 的取值也不变。而 2.2 说过 $T$ 和 $S$ 生成整个模群——两个生成变换都不变，因此整个模群都不变。

第二个定义是：在这个位置上，这样的函数只有它一个（术语叫 hauptmodul，“主模函数”）。含义是：任何一个模函数（模不变、亚纯，并且在尖点处也亚纯），都能写成 j 的有理函数——所谓有理函数，就是两个多项式相除，形如 $\frac{P(j)}{Q(j)}$；模函数域就是 $\mathbb{C}(j)$（$\mathbb{C}$ 是全体复数的标准记号，$\mathbb{C}(j)$ 表示”由 $j$ 生成的有理函数全体”）。也就是说，在这个世界里，j 一个就是一个坐标：其他一切模不变量，都可以通过 j 算出来的。这两个定义（唯一性、以及 j 如何把整张图一一对应到整个复平面）都完整证明在附录 A——包括 $\mathbb{C}(j)$ 这条，用的只是附录 A 自己的 valence 公式。

以上说的是 j 满足什么。但它究竟是什么，还有一个更准确的答案，而这个答案会跟随我们到 §3 和 §4。

我们先取复数 $z$（虚部为正），它满足

含义是：$\mathbb{Z}$ 是全体整数，所以 $\mathbb{Z}+\mathbb{Z}z$ 指的是所有形如 $m+nz$ 的点（$m,n$ 取遍整数）——把 $1$ 和 $z$ 当作两个方向，整数步地走出去，得到平面上一张无限延伸的网格。$\Lambda_z$ 就是这张网格的全体交点，$\subset\mathbb{C}$ 表示它们都是复数。

把复平面按这个格子卷起来（网格里相差整数步的点全部看成同一个点），得到一个环面——也就是一条椭圆曲线 $\mathbb{C}/\Lambda_z$。

关键的一步：两个 $z$ 造出同一条椭圆曲线（同构意义下），当且仅当它们被模群联系起来：

$z_1$、$z_2$ 是两个起点，$\cong$ 读作”同构”，意思是这两条曲线本质上是同一条、只是写法不同；$\iff$ 是”当且仅当”，表示左右两边互为充要条件。

于是那张瓦片图就不是一张装饰画了。每一条椭圆曲线在 $F$ 里恰好有一个代表点，不多也不少。其余的瓦片是 $F$ 的复制品，装的是同一批曲线的另一种写法；同一条曲线的各种写法，落在各块瓦片的对应位置上。

而 j-函数，就是给每条椭圆曲线找出一个唯一的特征：

它模不变，正因为同一条曲线的所有写法必须是唯一的；当我们取遍整个复平面且只取一次，那么每条椭圆曲线恰好有且只有一个对应。

这两个说法不冲突，是同一件事的两面：附录 A 证的 $\mathbb{C}(j)$，正是”j 是完全不变量”的代数写法。而唯一性这个说法解释了两件事：为什么 §3 会忽然开始谈”超奇异椭圆曲线”，因为那是同一批对象换了个数域；以及为什么 §4 里 j 的系数会是”维数”，因为 §4 那个生成函数是在环面上算的，而环面就是椭圆曲线——它只能依赖于曲线本身。

2.5　埃舍尔那张圆盘

如果你觉得这幅越铺越小、永不重复的图很像埃舍尔（M. C. Escher）圆盘里的镶嵌，那不是错觉，而且这件事有一行确切的解释。那个变换叫凯莱变换：

$z$ 是上半平面里的点，$w$ 是它在圆盘里的落点。代两个数进去就知道它在做什么：$z=i$ 时分子为 $0$，所以 $i\mapsto 0$——上半平面的”中心”变成圆盘的圆心；$z$ 取实轴上的点时，$z-i$ 与 $z+i$ 是一对共轭复数、长度相等，相除的结果模长为 $1$，所以整条实轴被送到圆盘的边界圆上。上半平面里”贴着实轴越来越小”的那些瓦片，到了圆盘里就是”贴着边界越来越小”的那一圈——同一批瓦片，同一套标准，只是换了个画法。埃舍尔画的和数论用的，确实是同一件东西。

2.6　那个 744，和减掉它之后的 0

前面我们说了 j 函数， 当我们把 j 在无穷远处展开，就得到 §1 那串系数。展开用的变量是

这是两个生成元里的 $T$ 推出来的。 $T:z\mapsto z+1$ 给出 $j(z+1)=j(z)$，也就是 $j$ 以 $1$ 为周期；而凡是以 $1$ 为周期的函数，都能写成 $e^{2\pi iz}$ 的函数——所以 $q$ 不是挑出来的，是唯一的自然坐标。（$S$ 在这一步没有参与。）

它同时把上半平面”卷”向无穷远：写成 $z=x+iy$ 时 $|q|=e^{-2\pi y}$，所以 $z$ 的虚部 $y$ 越大，$q$ 越接近 $0$；而 $z$ 向右挪一格时 $q$ 的值完全不变（因为 $e^{2\pi i}=1$）。展开从 $q^{-1}$ 起步，系数全是整数（前几项在附录 A.3 里逐项算了出来；全体皆整，从附录 A 的 $j = E_4^3/\Delta$ 拼法立即得到——$\Delta$ 的首系数是 $1$）。

标准的 j-函数带一个常数项 744：

而我们之后用的是减掉 744 之后的版本：

由于$q^{-1}$ 项和 $196884\,q$ 项完全一样，常数项从 $744$ 变成了 $0$。在**§4 我们会看到**，$J$ 的系数正好是某个东西的”逐层维数”。

744 的来历，其实也可以说明白：j 可以由两部分拼出——

先说清”权”是什么——它在下一句就要出现。权说的是”变换之后差多少”。 一个权 $k$ 的模形式满足

注意它不是不变：换完之后差了一个因子 $(cz+d)^k$，而 $k$ 就是这个因子的指数。权 $0$ 才是真正的不变——因子成了 $1$。

代进数字看：$E_4$ 的权是 $4$，所以 $E_4^{3}$ 的权是 $4\times3=12$；$\Delta$ 的权也是 $12$。两个权 $12$ 的东西相除，那个因子上下同为 $(cz+d)^{12}$、约掉：

⟹ $j$ 写成”一个东西除以另一个东西”的样子不是凑的：要造一个权 $0$ 的函数，就必须让分子分母同权，否则那个因子约不掉。

⚠️ 不过这个要求定下来的是形状，不是这一个函数。$E_6^{2}$ 也是权 $12$、也在上半平面全纯（在那片区域里处处可导、既没有极点也没有断裂），所以 $E_6^{2}/\Delta$ 同样是权 $0$——它等于 $j-1728$（两者的关系是恒等式 $E_4^{3}-E_6^{2}=1728\,\Delta$）。准确的说法分三段：(1) 要权 $0$ ⟹ 分子分母必须同权，这一步没有别的选择；(2) 再要求在上半平面全纯、尖点只有一阶极点 ⟹ 只能是”权 $12$ 除以 $\Delta$”；(3) 但符合前两条的是一整族 $a\,j+b$ ——把 $q$-展开的首项规定成 $q^{-1}$ 定住的是 $a=1$；常数 $b$ 仍然可以任取：$j$ 的常数项是 $E_4^{3}/\Delta$ 这个写法算出来的 $744$，后面用的 $J$ 则取常数项为 $0$。

两者都是标准的模形式。$E_4$ 是权重 4 的艾森斯坦级数，它的 $q$-展开是 $E_4=1+240\sum_{n\ge1}\sigma_3(n)q^{n}$（$\sigma_3(n)$ 是 $n$ 的所有正因子的三次方之和）；$\Delta$ 是判别式，$\Delta=q\prod_{n\ge1}(1-q^{n})^{24}$，首项系数为 $1$。两者的完整定义与这里用到的性质，见附录 A。把两者各自的 $q$-展开相除，常数位上落出来的就是 744。它是这个比值直接算出来的，附录 A 从艾森斯坦级数把这个比值原原本本算了出来。而对 j”唯一”这个身份来说，常数项加减一个数并不碍事。真正需要注意的，反而是减完之后那个 0：到 §4 会看到，它等于月光模块第 1 层的维数——那一层是空的；而”第 1 层是空的”，正是 §4 里”对称群只能是有限、而非连续”的特征。

§3 · 「月光」：一个词，和一整套猜想

当年年底，汤普森从普林斯顿回到剑桥，把这桩怪事告诉了约翰·康威（John Conway，1937–2020）——就是 EP6 那位康威。康威手里正握着魔群的海量数据，随即一头扎进图书馆，果然在十九世纪的数论文献里找到了同样的数列。他和一位年轻数学家西蒙·诺顿（Simon Norton，1952–2019）一起反复核实：魔群与数论之间确实有一条联系，不过没人说得清为什么。

给这桩说不清的事起名的，是康威。他管它叫 Moonshine。这个词一语双关，值得把康威自己的话原样引来（据罗南书记载）：

“我们拿到的这些东西没有逻辑论证撑着，那感觉就像朦胧的月光照着一群跳舞的爱尔兰小妖精。而 Moonshine 还能指私酿的烈酒——做这个研究，也真有几分见不得光的私酿味。”

（“moonshine”在英文里本就有”痴人说梦、荒诞不经”的意思——这一层是通行义；“私酒”这层双关，是康威本人的调侃。）

康威和诺顿在 1979 年把这套猜想写了下来，题目就叫《Monstrous Moonshine》（Bull. London Math. Soc. 11, 308–339）。猜想说的远不止 j 这一条：魔群的每一个共轭类，都对应着一条自己的模函数，而且每一条都是某个 genus 0 群的主模函数。

猜想说的是什么：四个词，逐个代进数字

这句话里有四个词要拆开。下面逐个给定义，再代进数字。

共轭类：为什么按”类”而不按”元素”

$g$ 与 $g'$ 同类，指群里存在某个 $h$ 使 $g'=hgh^{-1}$。拿 $S_3$（三个字母的全部置换，$|S_3|=6$）数一遍，六个元素分成 3 类：

之所以按类，是因为下一步要取的迹在共轭下不变——设 $\rho$ 是任一表示，

同类的元素给出同一个迹，所以整条级数只依赖于类，不依赖于挑了类里哪个元素。魔群有 194 个共轭类（EP7 §2 那张 $194\times194$ 指纹表的行数就是它），所以最多 194 条级数。

McKay–Thompson 级数 $T_g$：定义，然后代 $g=e$

猜想在这里先赊了一样东西。假设存在这样一摞按层排开的向量空间——这就是后来的月光模块，记作 $V^\natural$：

逐个符号读一遍。$\bigoplus$ 是直和，意思是把各层并排摆在一起、互不混淆；$V_n$ 是第 $n$ 层，是一个有限维空间，它的维数 $\dim V_n$ 正是 §1 那串系数（$\dim V_0=1$、$\dim V_1=0$、$\dim V_2=196884$、……）。右上角的 $\natural$ 读作 natural，是这个对象的传统记号，不表示任何运算。$\mathbb{M}$ 是魔群，魔群作用在每一层上——群里每个元素 $g$ 都给出第 $n$ 层上的一个可逆线性映射。要紧的是时间线：写下猜想的 1979 年，这摞空间还没有被造出来——它的存在本身就是猜想的一部分；§4 会说它后来是怎么被造出来的。

于是对每个 $g\in\mathbb{M}$ 定义

式子里 $\operatorname{tr}\left(g\mid V_n\right)$ 的竖线读作”限制在”：把 $g$ 只看成第 $n$ 层上的那个线性映射，再取它的迹（矩阵主对角线元素之和）。指数写 $n-1$ 而不是 $n$，是把整条级数整体移一位，让它从 $q^{-1}$ 起步——与 §2.6 的 $J$ 对齐，否则两边会差一个 $q$。

先代 $g=e$。 单位元在任何表示里都是单位矩阵，迹就是维数，$\operatorname{tr}(e\mid V_n)=\dim V_n$，于是

这一步把 §1 接了回来。 §1 那三行恒等式，正是这条级数的头几个系数按魔群不可约表示的维数拆开：

左边是 $\dim V_n$，右边是第 $n$ 层拆成不可约块。$g=e$ 时迹只看得见维数；换一个 $g$，迹不再是维数，得到的就是另一条级数——194 个类，就有 194 条。

换一个元素：同一层，另一个数

刚才那一步只用了单位元。猜想说的是别的元素，所以现在就换一个。

取魔群里一个二阶元素，按 ATLAS 的类名叫 2A。层还是同一层——$V_2$，维数还是 196884，拆法也还是同一个拆法：

变的只有代进去的那个元素。$e$ 在两块上的迹分别是两块各自的维数；$2A$ 在两块上的迹是另外两个数：

（$4371$ 是 $196883$ 维那块表示在 $2A$ 上的特征标值，读自魔群的特征标表。）

于是第二条级数的头几项就有了，把它和第一条并排放着：

这两行并排的样子，就是整套猜想的样子：同一摞空间、同一个拆法，换一个元素，整条级数换一套系数。§1 那串对上了 j-函数的数字，原来只是这张表的第一行。

genus 0 与主模函数

群 $\Gamma$ 作用在上半平面上，商掉之后得到一个曲面；再把尖点补上——上半平面本身不含尖点，补上之后曲面才是紧的——记作 $X_\Gamma$。亏格 0 就是说这个紧曲面是球面；球面上的模函数域由单个函数生成，这个生成元就叫主模函数（hauptmodul）。

第一个例子 §2 已经给过。 取 $\Gamma=\mathrm{PSL}(2,\mathbb{Z})$，$X_\Gamma$ 就是基本域 $F$ 按 §2.3 生成的曲面再补上那一个尖点，而 $j$ 在 $F$ 上把每个复数恰好取到一次（§2.4）；把尖点连同 $\infty$ 一起算进来，“恰好一次”就是

也就是 $X_\Gamma$ 亏格为 $0$、$j$ 是它的主模函数（全证见附录 A；一般情形的边界注也在那里）。

第二个例子就是刚才那条。 $T_{2A}$ 配的群是 $\Gamma_0(2)$ 添上一个 Fricke 对合 $W_2:\tau\mapsto-1/(2\tau)$，记作 $\Gamma_0(2)+$；康威–诺顿的原表里写成「2+」。它的紧化商 $X_0(2)^{+}$ 同样是亏格 $0$ 的曲面，$T_{2A}$ 同样是它的主模函数——函数域由这一个函数生成。

群换了，“亏格 0 加一个主模函数”这件事没换。 猜想说的正是这个形状。

这些函数并不是为月光造出来的。$T_{2A}$ 可以完全不提魔群、只用数论里的 $\eta$ 函数写出来（OEIS 把这条数列归到 Fricke 1922 年的椭圆函数教科书，并与拉马努金逼近 $\pi$ 的那篇论文挂在一起；这两处原书我们没有翻到，条目见参考来源）。月光不是造出了这批函数，是在一批早就住在数论里的函数身上，认出了魔群。

猜想的完整解析

现在可以把话说全：魔群的每一个共轭类都给出一条 $T_g$，而每一条 $T_g$ 都是某个亏格 0 群的主模函数。

$g=e$ 那条在 §2 就见过——$T_e=J$，群是 $\mathrm{PSL}(2,\mathbb{Z})$ 自己；$2A$ 那条刚见过——群是 $\Gamma_0(2)+$。剩下的每一条，各有各的群。

一个计数上的小注：194 个类并不给出 194 条不同的级数，而是 171 条。最小的例子在 $C_3=\{e,g,g^{2}\}$ 上就看得见——$C_3$ 是交换群，每个元素自成一类，取它的平面转动表示（$g$ 转 $2\pi/3$），$\operatorname{tr}(g)=2\cos\frac{2\pi}{3}=-1$ 而 $\operatorname{tr}(g^{2})=2\cos\frac{4\pi}{3}=-1$，两个不同的类给出同一个迹。机制是 $g^{2}=g^{-1}$，而 $\operatorname{tr}(g^{-1})=\overline{\operatorname{tr}(g)}$，迹是实数时两者就重合。魔群里也是这样，而且在每一层同时发生：$g$ 和 $g^{-1}$ 总是共享同一条级数，这一步把 194 收到 172。最后从 172 到 171 的那一步，本文没有查到机制——康威与诺顿单独点名：除逆元之外唯一的另一处相等，是两个 27 阶的共轭类，而且”再没有别的相等了”（Conway–Norton 1979, p. 310）。连这张对照表里，都藏着一个没有解释的巧合。（逐类清点见附录 F。）

换句话说——魔群的每一个共轭类，都有自己的一条主模函数。

奥格的另一半谜

其实早在麦凯之前近四年，另一个人就撞见了同一片迷雾的另一半。

1975 年 1 月 14 日，雅克·蒂茨（Jacques Tits）在法兰西公学院作开讲课，讲到了菲舍尔那只还没有被造出来的巨大对称群——“怪兽”。台下坐着伯克利的数论学家安德鲁·奥格（Andrew Ogg，1934– ）。 奥格当时手上正有一张自己算出来的素数名单。听完那堂课，他把两边一对居然一模一样。

那张名单是怎么算出来的

奥格问的是一个纯粹的数论问题：取模曲线 $X_0(p)$，再对 Atkin–Lehner 对合（$p$ 是素数时就是 Fricke 对合）取商，得到 $X_0^{+}(p)$；这条曲线什么时候亏格为 0（也就是最简单的形状，一个球面）？

答案是一张有限的名单。而奥格本人写下它的方式，比列举更能说明它有结构：

$p\le 31$，或者 $p=41,\;47,\;59,\;71$。

$p\le 31$ 的素数有 11 个，加上后面 4 个，一共 15 个：

这一整套推导从头到尾只用数论——模曲线、亏格、对合。它在魔群被构造出来之前就可以算，而且事实上正是如此：1975 年，怪兽还只是一个猜想中的对象，要到 1980 年才由格里斯真正造出来（论文 1982 年发表）。奥格自己在那则注记里写的是”如果它存在”。

把 $p=71$ 代进去：

先说这里出现的几个对象。$X_0(p)$ 是一条模曲线，造法与上面的 $X_\Gamma$ 完全相同——把上半平面按一个群商掉得到一个曲面——只是群换成 $\Gamma_0(p)$（要求矩阵左下角的 $c$ 能被 $p$ 整除）。亏格就是曲面上有几个洞：球面亏格 $0$，救生圈亏格 $1$。尖点是商完之后落在无穷远的那几个点。

$X_0(p)$ 的亏格有封闭公式（$p\ge5$ 为素数，两个尖点）：

其中 $\left(\frac{a}{p}\right)$ 是勒让德符号：$a$ 是模 $p$ 的平方数时取 $+1$，不是时取 $-1$；$\nu_2,\nu_3$ 数的是曲面上 2 阶和 3 阶的椭圆点（被群里某个元素固定住的特殊点）。代一个数看：$\left(\frac{-1}{71}\right)=-1$，因为 $-1$ 不是模 $71$ 的平方数（凡 $p\equiv3\bmod4$ 的素数都如此），于是 $\nu_2=1+(-1)=0$；同理 $\left(\frac{-3}{71}\right)=-1$，$\nu_3=0$。代 $p=71$：

再商掉 Fricke 对合 $w_p$——它是 $X_0(p)$ 到自身的一个二阶对称（做两次回到原处），把它也商掉，所得曲面记作 $X_0^{+}(p)$。这一步是二重覆盖，Riemann–Hurwitz 公式给出新曲面的亏格（$f$ 是 $w_p$ 的不动点个数；$h(-D)$ 是判别式 $-D$ 的类数，即该判别式下本原二元二次型的等价类个数，例如 $h(-71)=7$）：

这两个类数可以直接数约化二元二次型得到：$h(-284)=7$、$h(-71)=7$，所以 $f=14$，

恰好落在 0 上。而下一个素数就不再是：同样代进去，$g(X_0(73))=5$、$g^{+}(73)=2\neq0$。所以名单在 71 处结束，不是”目前只找到这些”：奥格证明了 71 之后亏格都不为零（本文重算到 200，见附录 C）——这也是为什么”最大的一个是 71”不属于悬案。

而另一边，把怪兽群的阶做素因子分解：

出现的素数恰好 15 个，写下来便是

与上面那张名单一字不差。

两边各自独立可算，谁也没用到谁，然后一字不差地相同。这才是它值得惊讶的地方。 而 1975 年的奥格，是拿一张算得清清楚楚的名单，去比对一个当时还不存在的群的阶。

「超奇异」到底超奇异在哪

这张名单上的素数，数论里叫超奇异素数。

回到 §2.4 那些椭圆曲线。它们活在复数域上；把同一批方程改在特征 $p$ 的有限域上考虑，绝大多数曲线性质照旧，但有极少数行为反常：

• 通常（ordinary）：曲线上的 $p$-挠点共 $p$ 个（含单位元）。
• 超奇异（supersingular）：一个 $p$ 阶挠点都没有。

超奇异曲线的自同态环特别大。通常情况下它是虚二次域里的一个序；超奇异时，它是四元数代数里的一个序——非交换的。“对称性多到不像一条曲线该有的样子”，这就是这个名字的由来。

给定 $p$，超奇异的 $j$-不变量只有有限多个（大约 $p/12$ 个），且全部落在 $\mathbb{F}_{p^2}$ 里。名单上的 15 个素数，正是这些 $j$ 值全部落在更小的 $\mathbb{F}_p$ 里的那些（附录 C）。

那另一半谜

再看一眼名单的结尾：47、59、71。上一集说过，这恰好是魔群阶最大的三个素因子，而它们的乘积正是 196883——麦凯认出的那个数，一直就躺在奥格名单的尾巴上。

奥格干脆把这个巧合写进自己当时正在写的那篇论文里（在一则 Remarque 里，不是定理），悬赏一瓶威士忌，求一个解释。_{（他原文写的是 Jack Daniels，没有撇号；酒厂的正式写法是 Jack Daniel’s。引他原话时按前者。）}等麦凯近四年后做出他的观察时，这瓶酒的悬赏还开着——而直到今天（2026 年），这瓶酒也没人干净地领走。

他把这桩怪事告诉了蒂茨和塞尔（Jean-Pierre Serre，就是写《算术教程》那位），塞尔的反应是一句”Sans blague（不是吧）“。没人有半点头绪为什么会这样。

这桩谜，跟月光本身的谜是两码事，得拆开看。先看哪半是定论：超奇异质数这张名单本身——包括”最大的一个是 71”。它是奥格从模曲线一侧算出来的分类结果：$p$ 一旦超过 71，$X_0^{+}(p)$ 的亏格就不再是零，名单到此为止。悬着的是两张名单为什么相等。月光证明了其中一个方向——“一个质数整除 $|M|$ ⟹ 它是超奇异质数”（所以比 71 大的质数一定不整除 $|M|$）；可反过来——名单上那 15 个质数为什么恰好个个都来整除 $|M|$、魔群的素因子为什么恰好也顶到 71——至今没有一个概念上的解释，这是一个独立的未解之谜。（详见附录 C。）

§4 · 证明：月光模块，与一个弦论

猜想摆在那里，逐项都对得上，可为什么会对得上？谁也说不出。而目前可以称得上解释的那条路就是借助物理去理解。

月光模块 V♮

首先是第一步，它是三位数学家弗兰克尔、莱波夫斯基、缪尔曼（Frenkel–Lepowsky–Meurman，FLM）完成的。他们造出了一个空间——1984 年首次宣布，1988 年写成书《Vertex Operator Algebras and the Monster》——这个空间把两条性质合在了一起：它逐层的维数，正好是 $J=j-744$ 的系数；而它的对称群，正好是魔群。 这个空间叫月光模块 $V^\natural$，它的结构叫顶点算子代数（VOA）。§3 赊的那摞空间，到这里才真正被造了出来。

$V^\natural$ 里那个 $\natural$ 是乐谱上的还原号，读作 “natural”——它不参与任何运算，只是个专名标记，$V^\natural$ 整体读作”月光模块”，指的就是下面这一个特定的空间。

在物理中有一个概念叫共形场论，场论描述的是”空间每一点上有什么在振动”；共形是加在它上面的一条要求：把整幅图任意放大、缩小、弯折，只要每一处的夹角不变，这个理论就分辨不出前后的区别。⟹ 它没有内建的长度单位，“多大”这件事对它不构成信息。二维是这条要求最有力的场合：二维的局部保角变换多到构成一个无穷维的对称，强得几乎能把理论本身定死；而 $d\ge3$ 维时，这类变换只构成一个有限维的群——二维是唯一的例外。 本集里这套理论有两个身份：数学上，它的公理化就是下面要说的 VOA；物理上，它活在一根弦扫出的那张面上（见本节后面的「世界面」）。

**顶点算子代数（VOA）**则是把”二维共形场论”写成公理的那套结构。具体说，它是一个分层的向量空间

（$\bigoplus$ 是直和，把各层并排摆着、互不混淆），外加一条规则：每个态 $a\in V$ 都配一个算符

$Y(a,z)$ 就叫 $a$ 的顶点算子；$z$ 不是一个数，是个形式变量，只用来给一串算符 $a_{(k)}$ 编号（$a_{(k)}$ 读作”$a$ 的第 $k$ 个模式”，它把一个态送到另一个态）。这套结构里有一个特殊元素 $\omega$，它给出算符 $L_0$ 和一个数 $c$：$L_0$ 负责分层（第 $n$ 层就是 $L_0$ 的本征值为 $n$ 的那些态），$c$ 叫中心荷。⟹ VOA 就是弦论里”算符乘积展开”的严格版本（物理侧的讲法见附录 E，数学侧的公理见附录 D.1；本节只用到”分层 + 每层是魔群的表示”这两条）。

§1 那个”+1”，到这里有了身份：$V^\natural$ 逐层维数就是 $J$ 的系数，而魔群作用在它上面——两样东西不再是隔空的数字巧合，而是同一个对象的两面。

“逐层”值得展开一句。第 $n$ 层的维数，恰好是 $J$ 里 $q^{\,n-1}$ 位的系数——第 1 层对常数位的 $0$，第 2 层对 $q$ 位的 $196884$，以此类推（打头那个 $q^{-1}$ 的系数 $1$ 也有身份：第 0 层，真空，一维）。而魔群在每一层上各自作用——所以每一层本身就是魔群的一个表示。看第 2 层：它是 196884 维，拆开来正是一维平凡表示 $\oplus$ 196883 维最小表示——麦凯那个”+1”，就是这一层里那个一维的平凡方向。汤普森当年”试下一个系数”做的加法，在这里有了几何含义：那是逐层把表示拆开（§1 的三行恒等式，正是第 2、3、4 层的拆法）。

关键在于”顶点算子”这几个字从哪来——它来自物理，来自弦论。FLM 在 1988 年那本书的序言里把话说得很直白（译自英文原序）：

“我们的主定理，可以解读为对魔群的一次量子场论式的构造；事实上，它是在说：魔群，就是某个特殊弦论的对称群。”

这是本集写给理论物理读者的那一部分（概念展开见附录 E，这里只给图景）。

那个 24 从哪来。 玻色弦的临界维是 $26$，光锥规范固定掉一对坐标之后剩下 $24$ 个横向振子——$26=24+2$ 的来历（几条不同的路指向同一个 $26$）在附录 E.1，正文不重讲。需要紧化的正是这 24 个方向，所以需要一个 24 维的格子。

取 Leech 格 $\Lambda$（EP6 那个格子）。它的特别之处在于它没有”根”，根指长度平方等于 2 的格向量：

这里要用到两个词。偶，是说格里每个向量的长度平方都是偶数；幺模，是说格的行列式为 $1$——等价的说法是，这个格和它的对偶格是同一个。这两条卡得极死：24 维的偶幺模格总共只有 24 个（这份名单叫 Niemeier 分类，1973 年定下来的），而另外 23 个都有根，Leech 是唯一没有的那个。

怎么构造呢？ 把这 24 个玻色子紧化在 $\Lambda$ 搭成的环面上，得到一个顶点算子代数 $V_\Lambda$；再折叠掉一重 $\mathbb{Z}/2$ 对称：

在上式中： $\theta$ 是把格向量取反号（$\lambda\mapsto-\lambda$）再提上来的那个对称；上标 $\theta$ 读作”取 $\theta$ 不变的部分”，即被 $\theta$ 作用后原样不动的那些态；上标 $T$ 读作 twisted（扭），$V_\Lambda^{T}$ 是这个对称唯一的那个”扭部门”。 ⚠️ 这不是”除以 $\mathbb{Z}/2$“那么简单：既要投影到不变部分，又要把扭部门接上——只取 $\left(V_\Lambda\right)^\theta$ 得不到 $V^\natural$（附录 D.2）。

196884 的巧合是拼出来的

这个构造最值得注意的地方在这里：$196884$ 不是为了对上 $j$ 而调出来的参数，它是两部分加出来的结果。 数第 2 层——

未扭那半，$\theta$ 不变的态有两类：长度平方为 4 的格向量（$\lambda$ 与 $-\lambda$ 配成一对，各出一个不变组合），以及 24 个方向的对称平方：

⚠️ 这里的”权”和 §2 的”权重 4”是两个不同的量。 §2 那个权，是变换之后多出来的那个指数；这里的权是层号——第 1 层、第 2 层的那个号码，它只说这个态坐在哪一层。两处恰好都叫”权”，是历史叫法撞车，读的时候按各自那一句理解就行。

扭那半：扭部门的基态是 $2^{24/2}=2^{12}=4096$ 维，在权 $3/2$ 上；再加一个模式升到权 $2$，可加的方向有 24 个：

两半相加：

左边每一个数都来自格子和构造本身，右边是 $J$ 的 $q$ 位系数。这一步全程没有用到 $j$-函数的任何信息。

第 1 层为什么必须是空的

格 VOA 的第 1 层只有两个来源——根，和格的维数：

而 $\theta$ 在这 24 个方向上正好作用为 $-1$，不变的一个都没有；扭部门又从权 $3/2$ 才起步，够不到权 $1$。于是

这一步是核心，整个逻辑链条是：

（$\operatorname{Aut}$ 读作”自同构群”，指保持这套结构不变的全部对称。）中间那一步为什么成立：权 1 的态正是连续对称的生成元——每一个都给出李代数的一个方向，可以连续地转动。第 1 层为空时，连续方向一根都没有，对称群的维数就是 $0$，那它只能是一个有限群（严格地说还要用到：这类自同构群是代数群，而维数为 $0$ 的代数群必有限）——而这个有限群正是魔群。

换个格子结论就不成立了，并且能够验证。 拿其余 23 个里的任何一个，例如 $E_8^3$——三份 $E_8$ 并排放。$E_8$ 里长度平方等于 $2$ 的向量有 $240$ 个（这类向量就叫”根”），三份就是 $720$ 个；而 Leech 是 $0$ 个：

前面说过，24 维的偶幺模格总共 24 个，而其中只有 Leech 的根数是 $0$。 回到 $E_8^3$：折叠之后第 1 层是 $720/2=360\neq0$，连续对称又回来了。而第 2 层照样是 $196884$——$E_8^3$ 里长度平方为 $4$ 的向量比 Leech 少（$179280$ 对 $196560$），少了 $17280$ 个，折半后是 $8640$ 个态，正好由”一个根再加一个振子”的 $24\times720/2=8640$ 个态补上。换一个格子，$J$ 的其余系数一个都不变，变的只有常数位。（这不是巧合：模不变性把常数位以外的系数全部定死，见附录 E.3。） 所以把 Leech 挑出来的不是 $196884$，是那个 $0$。

这个共形场论的”顶点算子”，正是弦相互作用的算符。而最关键的一处在于：这个共形场论在环面上的配分函数（也就是它逐层维数的生成函数），正好就是 $J = j-744$（严格的说法要用 Zhu 定理，见附录 E）。于是，“j-函数为什么偏偏是一个模函数”，在物理这边有了一个清晰的解释——世界面环面的模不变性，这句话得拆开说。 一个点粒子在时空里运动，画出的是一条线，叫世界线；而弦不是点，是一段有长度的东西，它运动时扫出的不再是线，而是一张二维的面——这就叫世界面（worldsheet）。弦论里所有的计算，最后都落在”这张面上发生了什么”。

接着看面的形状。一根闭弦是一个圈，它自由传播时扫出的是一张柱面；而当这个过程首尾接起来——弦绕了一整趟、回到出发时的状态——柱面的两端粘合，得到的才是一个环面（甜甜圈的表面）。要算的正是这一件事。

而”环面”这个词，§2.4 里已经出现过：那里是把复平面按格子 $\Lambda_z$ 卷起来得到的环面，形状由一个复数 $z$ 描述（附录里同一个量写作 $\tau$，是同一个东西）。§2.4 那句话现在第二次派上用场：两个 $z$ 造出同一个环面，当且仅当它们被模群联系起来。 换句话说，同一张世界面可以用不同的 $z$ 去标，而这些不同的标法之间差的，正好是 $\left(\begin{smallmatrix}a&b\\c&d\end{smallmatrix}\right)$ 的作用。既然物理只认那张面本身、不认你选了哪个 $z$ 去标它，这张面上算出来的量就必须在 $\mathrm{PSL}(2,\mathbb{Z})$ 之下不变——也就是说，它必须是一个模函数。§2.4 那个看起来是数论内部约定的对称，在这里成了一条物理必须遵守的规矩。数论里那条一百多年的老公式，其实与一种特殊的弦论有关。

⚠️ 但话不能说到这里为止：模不变性是一道门槛，不是一个筛子。 它要求答案必须是模函数，却不告诉你是哪一个——满足这道门槛的候选不止一个。真正把 $J$ 从中挑出来的，是上面那条独立的构造事实：第 1 层是空的。 严格的陈述见附录 E.3。

玻切兹的证明，与菲尔兹奖

把 FLM 的构造推到”证明整个猜想”的，是理查德·玻切兹（Richard Borcherds，1959– ）——月光模块宣布的时候，他还是康威门下的博士生。他造出一类新的无穷维李代数（今称 Borcherds 代数），并从中拈出一个关键特例——“魔群李代数”，用上了弦论里的 no-ghost 定理（Goddard–Thorn，1972）。1992 年，他在论文《Monstrous moonshine and monstrous Lie superalgebras》（Invent. Math. 109, 405–444）里，把康威–诺顿猜想完整证明了：每一条 McKay–Thompson 级数，确实都是 genus 0 的主模函数。

猜想的难处在于：一边是群，一边是函数。 魔群那边是 194 个共轭类，数论那边是 171 条级数，康威–诺顿的猜想给每个类指派了一条级数——可”为什么配得上”没有任何理由，你手里没有任何东西能把这一边的信息送到另一边去。

玻切兹造的就是那座桥。他的思路不是逐个系数去验那 171 条级数（每条有无穷多个系数，那是验不完的），而是：

先从 $V^\natural$ 造出一个”李代数”。 李代数是 EP4 出现过的东西——描述连续对称的那套”无穷小生成元 + 对易关系”。他造出来的这个（他称之为”魔群李代数”）有两条性质，缺一不可：

• 它记得魔群：魔群作用在它身上，所以它每一处的数字都带着魔群的信息；
• 它记得 $j$：这一类李代数（广义 Kac–Moody 代数）都自带一条”分母恒等式”——它的结构清单可以按两种方式完整写下来：一种写成乘积，一种写成求和；两种写法描述的是同一个东西。而这一个的分母恒等式，恰好就是数论里早就写下来过的那条关于 $j$ 的乘积公式。

链接就是这一条等式。 同一个代数，从群那一侧看是魔群的表示，从数论那一侧看是 $j$ 的展开。剩下的事情是把这条等式”扭”一遍——每个共轭类扭一次——就得到全部 171 条。

因此，他没有一条一条去证明那 171 条级数各自等于什么；他造了一个东西，使它们联系在一起，由此每条级数被开头几个系数定死，剩下的才是一次有限的核对。

骨架分四步，每一步给一个能看的式子（附录 D.3 分五步，切法与这里不同）。

① 造一个李代数。 把 $V^\natural$ 与另一个顶点算子代数张量起来，取其中的物理态：

$\mathfrak{m}$ 是德文花体的 m，读作”魔群李代数”；$\mathrm{II}_{1,1}$ 是一个二维的偶幺模洛伦兹格，它的顶点算子代数中心荷 $c=2$，所以合起来是 $24+2=26$——和临界维是同一个 26（为什么，见附录 E）。 ⚠️ 是 $V^\natural\otimes V_{\mathrm{II}_{1,1}}$，不是 Leech 那条路线；后者给出的是另一个代数（附录 D.3）。

② no-ghost 定理指的就是这一步。 Goddard–Thorn 把 $\mathfrak{m}$ 里动量为 $(m,n)$ 的物理态，与 $V^\natural$ 的某一整层认同起来——而且是作为魔群表示的同构，不只是维数相等。于是李代数的”根重数”可以表示成：

（$\operatorname{mult}$ 读作”重数”，指这个根的方向上有几个线性无关的元素；$c(N)$ 就是 $J=\sum_n c(n)q^n$ 的第 $N$ 个系数。）代一个具体的根 $(m,n)=(1,1)$：

同一个 196884，这是它在本集里的第三个身份——麦凯等式的左边、$J$ 的 $q$ 位系数，现在是一个根的重数。

③ 分母恒等式。 这一类李代数的”分母恒等式”，是把它的结构写成一个乘积等于一个和的等式。$\mathfrak{m}$ 的这一条，恰好就是数论里早已知道的 Koike–Norton–Zagier 乘积（这里的 $p$ 只是 $e^{2\pi i\sigma}$ 的简写，与表示素数的 $p$ 无关）：

左边是两个 $j$ 值相减，右边是一个无穷乘积，指数正是上面那些重数 $c(mn)$。代数的结构，和 $j$ 的算术，在这一行里被强行摁成同一件事。

④ 扭起来，才拿到全部 171 条。 上面那条是未扭的版本，它只回收 $g=e$ 那一条（也就是 $J$ 自己）。真正给出所有 $T_g$ 的，是每个共轭类各一条的”扭”分母恒等式——把上式里的维数换成迹 $\operatorname{tr}(g\mid V^\natural_n)$。“扭”是关键，不是脚注：它给出的正是诺顿（1984）提出的复制恒等式。

收口：完全复制性把每条 $T_g$ 由它（连同 $g$ 各次幂）的前 5 个系数唯一确定，剩下的是一次有限的计算机核对——于是 194 个类、171 条级数，条条落在 genus 0 的主模函数上。

1998 年，玻切兹因此（及相关工作）获得菲尔兹奖（8 月国际数学家大会，柏林），授奖辞点名了月光。

关于得奖的感受，他在得奖那年对采访他的西蒙·辛格（Simon Singh）说过一段话：“我其实没什么特别的感觉。得奖之前，我一直觉得它重要得不得了；现在我明白了，它没有什么意义。不过——证明月光猜想的那一刻，我真是乐得飞上了月亮（I was over the moon）。“奖是冷的，证明是热的。而 over the moon 字面就是”上了月亮”——证明月光的人，自己说自己上了月亮。

证明的过程用到的顶点算子代数、广义 Kac–Moody 代数、弦论的 no-ghost 定理，是一座真正的高峰，一篇博客附录肯定无法覆盖所有细节，因此我们在此一笔带过。所以本集对它诚实地引用、不重造：附录 D 给数学侧的骨架（VOA、$V^\natural$、玻切兹的策略），附录 E 给物理侧的概念图景。我们把能证的证到底（附录 A、B），并把证不动的老实说清楚。

尾声 · 被证明了，却仍是个谜；以及一条走了两千五百年的路

月光被证明了，玻切兹的定理是成立的。

可”被证明”和”被理解”确是两回事。为什么是魔群、为什么是模函数、为什么偏偏是 Leech 格、为什么那一族级数条条都是 genus 0——弦论给了目前最好的一条线索（世界面的模不变性，把数论那一边和对称这一边连在了一起），但那并不是一个完备的解释。奥格那半个反方向的谜，也至今没有着落（那是另一处谜——两张名单为什么相等，始终没有一个概念上的理由）；那瓶 Jack Daniel’s，也至今没人领走。这，或许才是它最神秘的地方。

于是这个系列也走到了尽头。不妨回头看一眼这条路：

从古希腊人手里那五个正多面体、追问”为什么偏偏只有五个”，起点是一个几何事实——正多面体恰好五个，古希腊人数出来了，却不知道他们数的其实是对称。两千多年后，伽罗瓦为了回答”五次方程为什么没有求根公式”，把对称做成了一个可以运算的对象——群。有了对象，就有了下一个问题：把所有有限的对称拆到不可再拆，把这些”原子”数清楚。从伽罗瓦算起，数了一百多年，答案是：十八个无限延伸的家族（EP5 清点的正是它们），外加 26 个哪个家族都收不下的散在群（EP6 打开的那只盒子）——最大的那个，就是魔群。最后一步谁也没料到：这个最大的例外，与数论里一条一百多年前的老公式逐项对上；这份对应被玻切兹在 1992 年证明成立，而它为什么成立，至今没人说得清。从”为什么恰好五个”，到”为什么恰好对上”——这条路的起点和终点，是同一类问题。

“对称”这条线，人类追了两千五百年，从古希腊人画在沙上的正多面体，追到一只住在十几万维、与整个数论深处隔空相望的怪兽。它没有停在一个”终于全懂了”的句号上，而是停在一个证明得了、却还理解不了的谜面前。

书之后的二十年

罗南的书写到 2006 年就停笔了。这二十年里，谜并没有被解开——反而更大了。

2010 年，三位物理学家——江口彻（Tohru Eguchi）、大栗博司（Hirosi Ooguri）、立川裕二（Yuji Tachikawa）——在一个完全不同的地方撞见了同一类巧合：他们计算 K3 曲面（弦论里一个标准的几何舞台）上的一条函数——椭圆亏格，发现展开系数逐项分解成 M24 的表示维数——就是 EP6 那五个马蒂厄群里最大的一个。这份对应本身，2012 年被甘农（Terry Gannon）严格证明成立；但它比怪兽月光更”神秘”：怪兽月光至少有月光模块 $V^\natural$ 这个”家”，马蒂厄月光连”家”都还没找到——人们已经证明，没有任何一个具体的 K3 模型真的带着 M24 这份对称，可对应就明明白白摆在那里。发现它的那篇论文，摘要的最后一句自己写着：“其中的原因，仍是一个谜（The reason is yet a mystery）。”

随后是成批的。2012 年，程之宁（Miranda Cheng）、邓肯（John Duncan）、哈维（Jeffrey Harvey）发现马蒂厄月光不是孤例，起名 umbral 月光；随后（2013）这族现象被清点成按 23 张 Niemeier 格逐一编号的一族；到 2015 年，这 23 例的”月光模块”存在性全部得证——马蒂厄那例由甘农先证，其余 22 例由邓肯、格里芬（Michael Griffin）、小野（Ken Ono）一并完成。不过这些证明给出的是抽象的存在性，多数情形连显式构造都还没有。