Morse theory for the Yang-Mills energy function near flat connections

preprint2024arXivOpen access

Abstract

A result (Corollary 4.3) in an article by Uhlenbeck (1985) asserts that the W1,pW^{1,p}-distance between the gauge-equivalence class of a connection AA and the moduli subspace of flat connections M(P)M(P) on a principal GG-bundle PP over a closed Riemannian manifold XX of dimension d≥2d\geq 2 is bounded by a constant times the LpL^p norm of the curvature, ∥FA∥Lp(X)\|F_A\|_{L^p(X)}, when GG is a compact Lie group, FAF_A is LpL^p-small, and p>d/2p>d/2. While we prove that this estimate holds when the Yang-Mills energy function on the space of Sobolev connections is Morse-Bott along the moduli subspace M(P)M(P) of flat connections, it does not hold when the Yang-Mills energy function fails to be Morse-Bott, such as at the product connection in the moduli space of flat SU(2)\mathrm{SU}(2) connections over a real two-dimensional torus. However, we prove that a useful modification of Uhlenbeck's estimate always holds provided one replaces ∥FA∥Lp(X)\|F_A\|_{L^p(X)} by a suitable power ∥FA∥Lp(X)λ\|F_A\|_{L^p(X)}^λ, where the positive exponent λλ reflects the structure of non-regular points in M(P)M(P). The proof of our refinement involves gradient flow and Morse theory for the Yang-Mills energy function on the quotient space of Sobolev connections and a Lojasiewicz distance inequality for the Yang-Mills energy function. A special case of our estimate, when XX has dimension four and the connection AA is anti-self-dual, was proved by Fukaya (1998) by entirely different methods. Lastly, we prove that if AA is a smooth Yang-Mills connection with small enough energy, then AA is necessarily flat.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.