arXiv2021
Given a hermitian line bundle $L\to M$ on a closed Riemannian manifold $(M^n,g)$, the self-dual Yang-Mills-Higgs energies are a natural family of functionals \begin{align*} &E_ε(u,\nabla):=\int_M\Big(|\nabla u|^2+ε^2|F_\nabla|^2+\frac{(1-|u|^2)^2}{4ε^2}\Big) \end{align*} defined for couples $(u,\nabla)$ consisting of a section $u\inΓ(L)$ and a hermitian connection $\nabla$ with curvature $F_\nabla$. While the critical points of these functionals have been well-studied in dimension two by the gauge theory community, it was shown in previous work of the second- and third-named authors that critical points in higher dimension converge as $ε\to 0$ (in an appropriate sense) to minimal submanifolds of codimension two, with strong parallels to the correspondence between the Allen-Cahn equations and minimal hypersurfaces. In this paper, we complement this idea by showing the $Γ$-convergence of $E_ε$ to ($2π$ times) the codimension two area: more precisely, given a family of couples $(u_ε,\nabla_ε)$ with $\sup_εE_ε(u_ε,\nabla_ε)<\infty$, we prove that a suitable gauge invariant Jacobian $J(u_ε,\nabla_ε)$ converges to an integral $(n-2)$-cycle $Γ$, in the homology class dual to the Euler class $c_1(L)$, with mass $2 π\mathbb{M}(Γ)\le\liminf_{ε\rightarrow 0}E_ε(u_ε,\nabla_ε)$. We also obtain a recovery sequence for any integral cycle in this homology class. Finally, we apply these techniques to compare min-max values for the $(n-2)$-area from the Almgren-Pitts theory with those obtained from the Yang-Mills-Higgs framework, showing that the former values always provide a lower bound for the latter. As an ingredient, we also establish a Huisken-type monotonicity result along the gradient flow of $E_ε$.