技术摘要：面积最小化子流形的哈塞原理 (Hasse Principle)

1. 问题陈述与动机

本文在几何测度论领域建立了数论中哈塞原理（Hasse principle）的一个解析类比。在数论中，哈塞原理指出，丢番图方程的整系数解信息可以通过实数解和模素幂次的解来重建。

本文解决的核心问题是不同系数环中面积最小化代表元之间的关系：

• 整同调 ($\mathbb{Z}$)：经典的面积最小化流（area-minimizing currents）设定。
• 实同调 ($\mathbb{R}$)：具有实系数的面积最小化平坦链（flat chains）。
• 模同调 ($\mathbb{Z}/n\mathbb{Z}$)：具有 $\mathbb{Z}/n\mathbb{Z}$ 系数的面积最小化平坦链。

虽然在所有这三种设定下都存在极小值存在性定理（Federer-Fleming 针对 $\mathbb{Z}$，以及针对 $\mathbb{R}$ 和 $\mathbb{Z}/n\mathbb{Z}$ 的扩展），但并没有先验理由预期这些不同系数系统中的极小值之间存在联系。本文研究了是否可以从其在实同调和模同调中的还原中，唯一地恢复出整面积最小化流。

2. 方法论

证明策略受到 Hasse-Minkowski 定理结构的启发，依赖于一个三步“提升”（lifting）论证，旨在从模 $\mathbb{Z}/n\mathbb{Z}$ 的流重建一个整面积最小化流。

2.1. 先验密度界限

第一步涉及建立 $\mathbb{Z}/n\mathbb{Z}$ 同调中面积最小化代表元的一致密度上界。

• 紧致设定：利用跨不同黎曼度量的平稳变分（stationary varifolds）的单调性公式，作者导出了仅取决于同调类和度量、而与 $n$ 无关的密度界限。
• 欧氏设定：对于 Plateau 问题，作者结合了 Gromov-White 扩展单调性公式与 Federer 的球面积分几何，根据边界数据对极小值的密度进行了估计。

2.2. 正则性提升与提升 (Lifting)

第二步处理将 $\mathbb{Z}/n\mathbb{Z}$-循环提升为整循环的障碍。

• 障碍：主要的障碍在于奇异集的 $(d-1)$ 维层，具体表现为三个片层相交的“Y型”三向接点（triple junctions）。
• 解决：通过将密度上界（第一步）与正则性理论（特别是来自 [26] 的结果）相结合，作者表明对于足够大的 $n$，任何 $\mathbb{Z}/n\mathbb{Z}$ 最小化代表元的密度都严格小于 $n/2$。该密度界限强制消除了 Y 型奇异性，从而允许该模极小值被提升为一个整面积最小化流。

2.3. 渐近分析与同调确定

第三步确定了提升流的具体整同调类。

• 挑战：不同的整同调类可能共享相同的模 $n$ 还原。
• 解决方案：作者利用了 Federer 的实平坦链理论。实同调中面积最小化代表元的质量控制了整同调中质量的渐近增长。通过分析增长率，作者证明了对于较大的 $n$，提升的流必然属于原始的整同调类（或涉及挠性的特定余类），从而有效地将其与具有相同模还原的其他类区分开来。

3. 主要贡献与结果

3.1. 主要哈塞原理 (定理 1 & 5)

本文证明了对于紧致黎曼流（或具有适当边界的欧氏空间），存在一个整数 $N$，使得对于所有 $n \ge N$（在紧致情况下 $n$ 需被挠数 $\tau_d$ 整除）：

• 整面积最小化流的 $\mathbb{Z}/n\mathbb{Z}$ 还原是到 $\mathbb{Z}/n\mathbb{Z}$ 面积最小化流集合的双射。
• 面积最小化性质得以保持：一个整流是面积最小化的，当且仅当其模 $n$ 还原也是面积最小化的。
• 意义：这意味着关于整极小值的的信息可以完全从实极小值和模极小值中恢复，镜像了哈塞原理。

3.2. 锐利性与非普遍性 (定理 3 & 4)

本文展示了这种恢复并非普遍现象，且需要全套数据（实数与所有模数）：

• 定理 3：对于任何非挠类，都可以构造出度量，使得其整面积相对于其模或实还原而言任意大。这表明不存在一致界限，且如果仅考虑有限个 $n$，信息将会丢失。
• 定理 4：在余维数 $\ge 2$ 的可定向流形上，面积最小化整流是非普遍校正的（not generically calibrated）。存在度量开集，其中给定类中的任何面积最小化流都不能被弱闭测度形式校正。

3.3. 具体应用

• 推论 1.0.1：紧致流形上的每个面积最小化整流对于无穷多个 $n$ 都是模 $n$ 面积最小化的。这适用于 Kähler 子簇、特殊拉格朗日（special Lagrangians）以及结合/共结合（associative/coassociative）子流形。
• 定理 6 (欧氏设定)：对于 Plateau 问题，模 $n$ 解是由整流得到的，这提高了正则性。
• 定理 7 (平面对)：一对定向平面是模 $n$ 面积最小化的（对于 $n \ge 4$），当且仅当它是作为整流面积最小化的。这完成了对 $n \ge 4$ 时面积最小化平面对的分类。
• 定理 8 (乘积)：面积最小化子流形的乘积是非普遍面积最小化的。在乘积流形上存在度量，使得极小值的笛卡尔积对于乘积同调类而言不再是极小值。

4. 意义与主张

本文声称架起了两个看似迥异的领域——数论与几何测度论——之间的桥梁。

• 正则性理论：它解决了一个“正则性间隙”问题，即虽然一般的 $\mathbb{Z}/n\mathbb{Z}$ 极小值具有余维数为 1 的奇异集，但那些作为整极小值还原而来的（对于大 $n$）极小值，则享有整极小值更好的正则性（余维数为 2）。
• 校正理论：它为“面积最小化子流形是普遍校正的”这一猜想提供了反面证据，特别是在高余维数情况下。
• Künneth 公式：它量化了 Künneth 公式在笛卡尔乘积下无法保持面积最小化性质的失效程度。
• Lavrentiev 间隙：这些结果被解释为不同系数环之间范数呈现的 Lavrentiev 间隙的表现，表明如果没有来自实同调的渐近控制，整质量范数的齐次性会发生剧烈失效。

作者明确指出，其结果是定量且锐利的，依赖于代数拓扑（挠性、普遍系数定理）与解析几何（单调性、正则性、校正）之间的相互作用。本文并不旨在提出新的实验应用，而是确立了不同环上的极小化问题之间基础性的结构联系。