先来回顾一下调和映射到底在干什么。给定两个黎曼流形，从一个流形到另一个流形的映射，如果它是Dirichlet能量（也就是梯度模方在全空间上的积分）的临界点，就称它为调和映射。通俗地讲，它是一张弹性膜在目标曲面上“最松弛”的挂法。当目标流形是单位球面 Sᵏ 时，调和映射满足一个非常漂亮的椭圆方程：公式图 1：球面值调和映射所满足的椭圆方程，其中 ΔM 是定义域上的拉普拉斯算子，|∇Mu|² 是映射的梯度模方。如果定义域是二维曲面，故事非常圆满：任意一个弱调和映射都是光滑的，这是 Morrey、Schoen、Helein 等人接力完成的结果。可一旦维度升到三维以上，事情立刻变得棘手。即使加上“能量极小”或“稳定驻定”这类相当强的变分条件，奇异点仍然可能冒出来。最经典的例子是径向投影 x → x/|x| 从 R^{k+1} 打到 Sᵏ，它在相同边值条件下是能量极小的。更让人后背发凉的是，如果放弃稳定性假设，甚至可以构造出处处不连续的弱调和映射——这是 T. Riviere 在 1995 年给出的著名反例。于是数学家要回答一个更精细的问题：对于稳定驻定调和映射，奇异集最多能“猖狂”到什么程度？这里的核心度量是余维数（codimension）。一个集合的余维数越大，说明它周围“光滑方向”越多，集合本身被压得越小。如果奇异集的余维数至少为 m，就意味着从任意奇异点往外看，至少有 m 个彼此独立的方向上映射是光滑的。R. Schoen 和 K. Uhlenbeck 在 1982 年左右建立了能量极小调和映射的部分正则性理论，证明奇异集余维数至少为 3。后来 F. Lin 和 C. Wang 把结论推广到稳定驻定情形，但当定义域维数为 6、目标球面维数 k 满足 6 ≤ k ≤ 9 时，留下了一个尴尬的空白：既不能证明全正则，也构造不出奇异例子。这个缺口是“质性”的，不是简单改进常数就能补上的——它直接关系到奇异行为是否真的存在。本文的定理 1.1 把这个缺口彻底焊死：若 M 是 n 维黎曼流形，u: M → Sᵏ 是稳定驻定调和映射，则奇异集的 Hausdorff 维数满足：当 3 ≤ k ≤ 6 时不超过 n-k-1，当 k ≥ 7 时不超过 n-7。换句话说，前者余维数至少 k+1，后者余维数至少 7。更关键的是，这个结果是锐利的——存在能量极小的 0 齐次映射，在临界维数处真实地产生奇异，比如 k ≥ 7 时的赤道映射。上界再压低一点，就会把真实例子排掉，所以这是“刚刚好”的答案。
核心思路：方向性测试向量场取代各向同性平均
这篇论文最强的地方，是它在证明策略上做了一个“反常规”的转向。之前 Schoen-Uhlenbeck 和 Lin-Wang 处理类似结论时，采用的标准套路是：取测试向量场 |∇u|·êⱼ∘u，其中 êⱼ 是目标球面上共形向量场的生成元，代入第二变分公式，然后对所有方向 j 求和，最后配合 Kato 型不等式得到统一估计。这个求和操作的本质是“各向同性平均”：给每个目标方向分配相同权重。当定义域维数 n 等于目标维数 k 时，这种平均与径向投影 x/|x| 的高度对称性完美匹配，因此能得到锐利估计。但问题在于：当 n < k 时，真正的临界模型不再是径向投影，而是赤道映射（x/|x|, 0, …, 0），它在目标空间里只占一个低维子空间，其余方向完全“躺平”。各向同性平均把所有方向一视同仁，自然抓不住这种几何不对称。本文的核心策略，是放弃平均，转而选择与映射几何紧密耦合的方向性测试向量场。作者引入的典型测试场是：公式图 2：核心测试向量场的定义。其中 êⱼ∘u 是球面上的共形向量场沿 u 的拉回，ū 是 u 在球面上的平均值，(eⱼ∧ū)u 是由叉积诱导的旋转作用。乍一看这个表达式有点吓人，但它的几何含义非常清晰：第一项是共形向量场的拉回，第二项是围绕平均值 ū 的无穷小旋转。两者相减，相当于把测试场里“绕均值旋转”的分量扣除，使得测试方向更纯粹地反映映射自身的几何特征。把 Xⱼ 代入稳定性不等式公式图 3：稳定性的精确定义。对任何取值于切丛 T_uSᵏ 的测试向量场 X，二阶变分非负。这是整个证明的第一块基石。经过一系列并不简单但非常优雅的计算（包括利用调和映射方程做分部积分），可以得到一个关键的能量上界：公式图 4：能量上界。E(u) 是映射在球面上的 Dirichlet 能量，ū 是映射的平均值。这个不等式表明：非平凡映射的能量被平均值长度 1-|ū|² 牢牢控制住。“挑选方向”在几何分析里其实早有先例。Schoen 和 Uhlenbeck 推导能量极小映射到半球的最优正则性时，就利用了特定几何方向带来的优势；J. Simons 分析稳定极小锥时，也发现法向测试变分远比切向有效。本文的贡献在于，把这种“不对称性直觉”提炼成了一套系统的证明框架，并且用在了最需要它的地方。
关键技术：球谐分解与稳定性不等式的精妙配合
有了能量上界还不够，要证明映射必须是常数，还需要一个足够强的能量下界来夹逼。这个下界从哪里来？答案是球谐函数（spherical harmonic functions），也就是球面上拉普拉斯算子的特征函数。对 n 维单位球面 Sⁿ，特征值是 0, n, 2(n+1), …，对应的特征函数分别是常数、坐标函数 x₁,…,xₙ₊₁、二次齐次调和多项式，依此类推。任意一个平方可积函数都可以按这些特征函数展开。把调和映射 u 限制在 Sⁿ 上做球谐展开，会得到这样的结构：公式图 5：映射的球谐展开。ū 是平均值，H_u 是一个 (k+1)×(n+1) 矩阵，编码了映射的“线性部分”，后面的高阶项不影响主要估计。这个矩阵 H_u 是全文真正的“主角”。当 k > n 时，H_u 的像空间 Im H_u 不可能是整个 R^{k+1}，必然有一个非平凡的正交补。如果挑选一个子空间 L 落在正交补里，那么 Π_L u 的球谐展开里就没有一阶项——换句话说，它的第一个非零频率被抬高了。这样一来，普通的 Poincare 不等式（常数为 n）可以升级为一个谱常数更大的改进版本：公式图 6：L 方向上的改进 Poincare 不等式。因为 Π_L u 缺失一阶项，谱常数从普通的 n 提升到 2(n+1)。而 L 的正交补方向仍然用普通的 Poincare 不等式（常数为 n）。一高一低两个常数组合起来，就能推出一个精确的能量下界：公式图 7：组合后的能量下界。每一项的系数都经过精确计算，d 是子空间 L 的维数，n 是定义域球面的维数。现在把上界和下界摆在一起比较。当 2 ≤ n ≤ 4 且 k ≥ n+1 时取 d=1，当 n=5 且 k ≥ n+2 时取 d=2，可以逐项验证：上界系数严格小于下界系数。唯一的可能就是 E(u)=0，也就是 u 必须是常数。这样，定理 1.2 在除 (5,6) 之外的所有情形都得到了证明。这个技巧最漂亮的地方，是把“子空间方向的选取”和“谱常数的提升”焊接在了一起。几何上的不对称性被转化为不等式系数的优势，最后用纯代数的方式决定胜负——就像拿着放大镜对准最薄弱的位置，然后轻轻一推。
这篇论文给稳定调和映射到球面的正则性理论画上了一个阶段性的句号。核心结果可以浓缩成一句话：在目标为球面、条件为稳定驻定的前提下，奇异集的余维数上界已被精确锁定——3 ≤ k ≤ 6 时至少为 k+1，k ≥ 7 时至少为 7，并且这些界都被真实的极小映射实现，不可再改进。从应用角度看，这一结果直接强化了 M. Karpukhin 和 D. Stern 构造的调和映射的部分正则性结论。对于研究极小曲面、调和映射流以及相关几何变分问题的人而言，这是一个可以放心引用的“黑箱定理”，省去了一堆边界情形的担忧。有趣的是，论文在 AI 使用声明中提到，策略探索阶段得到了 AI 辅助，但所有证明细节、文本撰写和数学验证均由作者本人独立完成。当数学研究也开始拥抱 AI 辅助，这个领域的门槛或许正在悄悄改变——当然，核心的洞察力和证明功力，依然是人的领地。当然，这不会是终点。球面对称性在这篇证明中扮演了重要角色，对一般紧致目标流形（比如复射影空间或其他对称空间）能否成立类似的最优正则性，仍然是一个开放问题。而 (5,6) 情形的处理高度技术化，其中是否藏着更简明的几何解释，也值得后续挖掘。数学的浪漫在于：六十年前从一张弹性膜开始的提问，最终要用谱几何、变分学与不等式的精密组合来回答。而每一个被补齐的边界维度背后，都是几何规律对混沌的一次微小胜利。
[1] J. Eells, J. H. Sampson. Harmonic mappings of Riemannian manifolds. Amer. J. Math., 1964.[2] R. Schoen, K. Uhlenbeck. A regularity theory for harmonic maps. J. Differential Geom., 1982.[3] L. C. Evans. Partial regularity for stationary harmonic maps into spheres. Arch. Ration. Mech. Anal., 1991.[4] T. Riviere. Everywhere discontinuous harmonic maps into spheres. Acta Math., 1995.[5] H. Brezis, J.-M. Coron, E. Lieb. Harmonic maps with defects. Comm. Math. Phys., 1986.[6] X. Li. Optimal Regularity of Stable Harmonic Maps to Spheres. arXiv:2608.20272, 2026.
