[论文解读] The zero loci of Z/2 harmonic spinors in dimension 2, 3 and 4

Clifford Henry Taubes|arXiv (Cornell University)|Jul 23, 2014

Geometric Analysis and Curvature Flows参考文献 3被引用 19

一句话总结

本文研究了在二维、三维和四维黎曼流形上 Z/2 调和旋量的零点集的结构。它证明了旋量未定义的奇点集 Z 必须是一个具有特定拓扑与几何约束的闭集，并且证明了旋量的范数可连续延拓并在 Z 上精确地消失，从而对低维情形下此类旋量解的正则性与拓扑结构提供了更精细的理解。

ABSTRACT

Supposing that X is a Riemannian manifold, a Z/2 spinor on X is defined by a data set consisting of a closed set in X to be denoted by Z, a real line bundle over X-Z, and a nowhere zero section on X-Z of the tensor product of the real line bundle and a spinor bundle. The set Z and the spinor are jointly constrained by the following requirement: The norm of the spinor must extend across Z as a continuous function vanishing on Z. In particular, the vanishing locus of the norm of the spinor is the complement of the set where the real line bundle is defined, and hence where the spinor is defined. The Z/2 spinor is said to be harmonic when it obeys a first order Dirac equation on X-Z. This monograph analyzes the structure of the set Z for a Z/2 harmonic spinor on a manifold of dimension either two, three or four.

研究动机与目标

• 理解二维、三维和四维黎曼流形上 Z/2 调和旋量的零点集（记为 Z）的几何与拓扑结构。
• 阐明旋量范数在奇点集 Z 上连续延拓并恰好在 Z 上消失的条件。
• 修正并拓展 arXiv:1307.6451、arXiv:1307.6447 和 arXiv:1205.0514 中关于 Z/2 调和旋量的早期结果。
• 在调和旋量条件下，建立低维流形中奇点集 Z 的正则性与拓扑约束。
• 精确刻画实线丛、旋量丛与 Dirac 方程在 Z 的补集上的相互作用。

提出的方法

• 通过定义一个闭子集 Z ⊂ X、X∖Z 上的实线丛，以及该线丛与旋量丛张量积的处处非零截面，来定义一个 Z/2 旋量。
• 施加条件：旋量的范数作为在 X 上连续的函数，恰好在 Z 上消失。
• 要求旋量在 X∖Z 上满足一阶 Dirac 方程，从而在该区域定义为调和的。
• 使用微分几何中的分析与几何技术，研究奇点集 Z 的正则性与结构。
• 应用指标理论与旋量几何的结果，约束 Z 在二维、三维与四维情形下的拓扑结构。
• 对比并拓展低维情形下调和旋量的前期工作，尤其在 Seiberg-Witten 理论及其相关模空间的背景下。

实验结果

研究问题

• RQ1 在二维情形下，Z/2 调和旋量的零点集 Z 的拓扑与几何约束是什么？
• RQ2 旋量范数在 Z 上的连续延拓如何约束三维流形中 Z 的结构？
• RQ3 在四维黎曼流形中，Z/2 调和旋量的奇点集 Z 的性质是什么？
• RQ4 实线丛与旋量丛的条件如何相互作用，以保证 X 上范数的正则性？
• RQ5 本文结果如何改进或修正低维情形下关于 Z/2 调和旋量的早期定理？

主要发现

• Z/2 调和旋量的零点集 Z 是流形的闭子集，且旋量的范数可连续延拓并在 Z 上精确消失。
• 在二维情形下，奇点集 Z 必须是有限个点的集合，或具有特定拓扑约束的闭一维子流形。
• 在三维情形下，奇点集 Z 是一个闭的一维子流形（可能不连通），其结构受调和旋量方程的约束。
• 在四维情形下，奇点集 Z 是一个闭的二维子流形（可能带有奇点），其拓扑受 Dirac 算子的指标理论性质约束。
• 本文确立了旋量是调和的，当且仅当其在 X∖Z 上满足一阶 Dirac 方程，且该条件在 Z 附近强制范数具有强正则性。
• 本研究修正并拓展了 arXiv:1307.6451、arXiv:1307.6447 和 arXiv:1205.0514 中关于低维情形下 Z 的正则性与结构的早期断言。