[论文解读] Energy minimizing harmonic almost complex structures

Weiyong He|arXiv (Cornell University)|Jul 29, 2019

Geometric Analysis and Curvature Flows参考文献 43被引用 4

一句话总结

本文在 $W^{1,2}$ Sobolev 框架下引入可容许的殆复结构，以研究紧致殆凯勒流形上能量极小化的调和殆复结构。通过将欧拉-拉格朗日方程重述为半线性椭圆组 $\Delta J - J\nabla_p J \nabla_p J = 0$，作者利用 $\epsilon$-正则性与定量分层方法建立了完整正则性，证明了能量极小化的可容许殆复结构即使在非复流形（如 $S^4$）上也是光滑的。该结果将 Schoen-Uhlenbeck 的正则性理论推广至非张量型、度量约束的设定。

ABSTRACT

We study the existence and regularity of energy-minimizing harmonic almost complex structures. We have proved results similar to the theory of harmonic maps, notably the classical results of Schoen-Uhlenbeck and recent advance by Cheeger-Naber.

研究动机与目标

• 在 $W^{1,2}$ Sobolev 空间中定义并研究可容许殆复结构，作为光滑殆复结构的推广。
• 在紧致黎曼流形（包括 $S^4$，其不存在光滑殆复结构）上，建立能量极小化可容许殆复结构的存在性与紧致性。
• 证明能量极小化可容许殆复结构是光滑的，将正则性理论扩展至调和映射之外。

提出的方法

• 将可容许殆复结构定义为光滑相容殆复结构在 $W^{1,2}$ 拓扑下的极限，同时保持与背景度量的相容性。
• 将调和殆复结构方程重述为 $\Delta J - J\nabla_p J \nabla_p J = 0$，即一个类似于调和映射方程的半线性椭圆系统。
• 通过将任意殆复结构投影至度量相容的殆复结构，构造比较殆复结构，从而克服背景度量带来的约束。
• 应用受 Schoen-Uhlenbeck 与 Cheeger-Naber 启发的 $\epsilon$-正则性与定量分层技术，以控制奇点集。
• 利用差分商与加权 $L^p$ 估计，证明 $\partial J \in L^p_{\text{loc}}$ 对所有 $p < \infty$ 成立，从而实现光滑性的逐步提升。
• 借助能量极小化系统的 Bochner 公式与单调性公式，控制增长与奇点行为。

实验结果

研究问题

• RQ1 在 $W^{1,2}$ 框架下，即使不存在光滑相容结构，能量极小化殆复结构是否仍可实现正则化？
• RQ2 与调和映射相比，背景黎曼度量如何约束调和殆复结构正则性理论？
• RQ3 $\epsilon$-正则性与定量分层在能量极小化殆复结构上适用程度如何？
• RQ4 能量极小化可容许殆复结构的奇点集是否可分层，并具有有限余维数？
• RQ5 若一个弱调和殆复结构的梯度属于 $L^2$，其是否必然光滑？

主要发现

• 在任意偶数维紧致黎曼流形（包括 $S^4$）上，能量极小化可容许殆复结构存在，且在 $W^{1,2}$ 拓扑下构成紧集。
• 能量极小化调和映射的主要正则性结果——如 $\epsilon$-正则性、奇点集的分层与正则性尺度——均推广至能量极小化可容许殆复结构。
• 通过差分商的归纳论证与加权估计，建立了 $\partial J$ 对所有 $p \in (1, \infty)$ 的 $L^p$ 可积性。
• 欧拉-拉格朗日方程 $\Delta J - J\nabla_p J \nabla_p J = 0$ 是一个支持完整正则性的半线性椭圆系统，可通过从 $W^{2,p}$ 到 $C^{1,\alpha}$ 再到光滑性的逐步提升实现。
• 从任意殆复结构出发，通过标准方法构造度量相容殆复结构，从而实现对 $\epsilon$-正则性证明至关重要的比较结构。
• 能量极小化可容许殆复结构的奇点集具有至少 4 维的 Hausdorff 余维数，与调和映射类似，且按正则性尺度分层。