Coulomb gauge - Imported Knowlpedia Content

Definition

Let $A_0$ be a connection on a principal bundle with compact structure group over a Riemannian manifold, and write another connection as $A=A_0+a$ . The connection $A$ is in Coulomb gauge relative to $A_0$ when

d_{A_0}^*a=0,

where $d_{A_0}^*$ is the covariant codifferential on adjoint-bundle-valued one-forms. This is a gauge-fixing condition: it requires the displacement $a$ to be $L^2$ -orthogonal to infinitesimal gauge directions $d_{A_0}\phi$ . It does not by itself assert that every gauge orbit has a representative satisfying the equation, or that such a representative is unique.

Local slice interpretation

The space of connections is affine, so the expression $A-A_0$ is an adjoint-bundle-valued one-form even though neither connection is itself a globally defined one-form. Infinitesimally, the tangent to the gauge orbit through $A_0$ is $\operatorname{im}d_{A_0}$ . The Coulomb condition selects its formal $L^2$ -orthogonal complement $\ker d_{A_0}^*$ .

After suitable Sobolev completions and under standard regularity hypotheses, this complement yields a local slice modulo the stabilizer of $A_0$ Freed–Uhlenbeck, chapter 3. It is therefore local analytical structure, not a canonical global section of the gauge-orbit map.

Local trivializations and Uhlenbeck gauge

On a trivial bundle over a coordinate ball, with the product connection as reference, the condition becomes $d^*a=0$ . Uhlenbeck's gauge theorem says, roughly, that a connection with sufficiently small scale-invariant curvature norm can be gauge transformed into such a Coulomb gauge with quantitative Sobolev control Uhlenbeck, theorem 1.3.

Boundary versions normally add a condition on the normal component of $a$ . Without that extra condition, integration by parts does not identify $\ker d^*$ as the full orthogonal complement of exact gauge directions.

Residual symmetry

If $A_0$ has a nontrivial stabilizer, its stabilizing gauge transformations preserve the slice condition. Even for an irreducible connection, a Coulomb representative is generally unique only in a sufficiently small neighborhood and after controlling constant or based gauge transformations.

References

Daniel S. Freed and Karen K. Uhlenbeck, Instantons and Four-Manifolds, 2nd ed., Springer, 1991. DOI record. Relevant: chapter 3, Sobolev gauge groups and Coulomb slices.
Karen K. Uhlenbeck, “Connections with $L^p$ Bounds on Curvature,” Communications in Mathematical Physics 83 (1982), 31–42. DOI record. Relevant: theorem 1.3, local Coulomb gauges with norm estimates.