The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$

技术摘要：作为 $\mathbb{Q}$ 上伽罗瓦群的 Mathieu 群 $M_{23}$

问题陈述
反伽罗瓦问题（Inverse Galois Problem）询问是否每个有限群都作为有理数域 $\mathbb{Q}$ 的有限伽罗瓦扩张的伽罗瓦群出现。在 1984 年至 1989 年间，26 个奇特单纯群（sporadic finite simple groups）中的 25 个已被实现为 $\mathbb{Q}$ 上的伽罗瓦群，而 Mathieu 群 $M_{23}$ 曾是唯一的例外。以往试图在 $\mathbb{Q}$ 上实现 $M_{23}$ 的尝试均告失败，仅能在其他域（如 $\mathbb{Q}(\sqrt{-23})$、$\mathbb{Q}(\sqrt{-7})$ 或特定的数域 $F$）上实现，或者未能产生 $\mathbb{Q}(t)$ 的正则扩张（regular extension）。本文通过证明 $M_{23}$ 确实是 $\mathbb{Q}$ 上的一个伽罗瓦群，解决了这一问题。

方法论
作者结合了刚性方法（rigidity method）、数值 Belyi 映射算法以及代数验证。

1. 标准刚性的失效： 标准刚性方法依赖于在 $M_{23}$ 中寻找一个三元组共轭类 $(C_1, C_2, C_3)$，使得相关的 Nielsen 类的大小为 1（即“刚性”三元组）。作者证明了对于 $M_{23}$，不存在这样的刚性三元组。任何 $G_\mathbb{Q}$-稳定多重集中最小的 Nielsen 类大小为 7，对应于类 $\{2, 23A, 23B\}$。
2. 非刚性三元组与 Hurwitz 空间： 作者并未使用刚性三元组，而是利用了三元组 $\{2, 23A, 23B\}$。黎曼存在定理意味着，存在恰好七个 $M_{23}$-覆盖，其在 $S = \{0, \sqrt{-23}, -\sqrt{-23}\}$ 处分支，且局部单值性（local monodromy）属于这些类。该覆盖对点稳定子的商产生了一个亏格为 4 的曲线 $X_C$。
3. 数值计算 Belyi 映射： 利用 BelyiDB 软件包（实现了由 Klug、Musty、Schiavone、Sijsling 和 Voight 实现的算法，并受 Hejhal 和 Stark 的启发），作者数值计算了与该 Nielsen 类相关的七条曲线 $X_C$。这涉及高精度计算微分形式的幂级数展开。
4. 代数识别： 计算出的曲线系数通过 PSLQ 算法被识别为代数数。值得注意的是，作者发现这七条曲线中其中一条的模域（field of moduli）为 $\mathbb{Q}$，尽管此前预期 $G_\mathbb{Q}$ 会在七个元素的集合上传递作用。这个不动点使得该曲线可以下降（descend）到一个定义在 $\mathbb{Q}$ 上的模型 $X$。
5. 构造扩张：
   • 作者将亏格为 4 的曲线 $X_K$（其中 $K=\mathbb{Q}(\sqrt{-23})$）构造为 $\mathbb{P}^3$ 中一个二次型与一个三次型的完全交集。
   • 他们在 $X$ 上计算有理函数 $u$ 和 $v$，以定义一个 23 阶映射 $t: X \to \mathbb{P}^1$。
   • 通过分析函数域 $K(X)$ 并应用小素数下的线性代数，他们重建了一个关于 $V$ 的度数为 23 的多项式 $F(T, V) \in \mathbb{Q}[T, V]$。
6. 伽罗瓦群验证：
   • 几何单值性： 分支点处的局部单值性（在 $\pm\sqrt{-23}$ 处为 23-循环，在 0 处为特定循环类型）意味着几何单值群 $G_{geom}$ 包含 $M_{23}$。
   • 算术单值性： 通过在模 31 下对多项式进行特化，并使用 Magma 认证算术单值群为 $M_{23}$，他们证明了 $G_{arith} = M_{23}$。由于 $M_{23}$ 不是任何更大 $S_{23}$ 子群的正规子群，因此 $G_{geom} = G_{arith} = M_{23}$。

关键贡献与结果

• 定理 1.1： 存在一个具有伽罗瓦群 $M_{23}$ 的 $\mathbb{Q}$ 伽罗瓦扩张。
• 定理 1.3： 存在一个具有伽罗瓦群 $M_{23}$ 的正则伽罗瓦扩张 $L/\mathbb{Q}(t)$。这是一个更强的结论，通过希尔伯特不可约性定理，这意味着存在无穷多个 $\mathbb{Q}$ 上的此类扩张。
• 显式多项式： 作者提供了具有有理系数的显式 23 阶多项式。
  • 示例 1.2： 一个多项式 $f(x)$，其分裂域是仅在 $\{2, 3, 23\}$ 处分歧的 $M_{23}$-扩张。
  • 示例 3.7： 一个高度较低的特化多项式 $f(x)$，仅在 $\{2, 7, 23\}$ 处分歧。
• 推论 1.4： 结果可推广至任何数域 $k$，证明了对于任何奇特有限单纯群 $G$，都存在 $k(t)$ 的正则 $G$-扩张以及 $k$ 的相互独立的 $G$-扩张。

意义
本文完成了将所有 26 个奇特单纯群实现为 $\mathbb{Q}$ 上伽罗瓦群的任务。$M_{23}$ 的实现是最后一个悬而未决的案例。这项工作不仅具有重要意义在于其结果本身，更在于其方法论：它成功地通过利用一个 Hurwitz 空间上的不动点，绕过了标准刚性方法的失效，从而处理了一个非刚性三元组。这使得定义在数域上的覆盖能够下降到定义在 $\mathbb{Q}$ 上的覆盖，作者指出他们对这种现象缺乏概念性的解释，称之为“奇迹”。

作者使用 Magma 计算代数系统对他们的主张进行了认证，并公开了代码。他们明确声明，虽然使用了 AI 工具进行文献检索、代码生成和校对，但最终的数学结果和验证均是在没有 AI 辅助的情况下完成的。