Locally a U(1) connection whose gauge curvature has no or part can be written by the Dolbeault-Poincaré lemma. Unitarity permits . Writing , a gauge transformation removes and leaves . Setting gives the displayed unitary form, whose gauge curvature is . Its remaining anti-self-duality of gauge curvature condition is the scalar Laplace equation. Alternatively a complex gauge transformation by gives ; this second gauge generally does not preserve unitarity.
// Destination: complex-geometry.bigb
For an oriented three-dimensional slice , use the Skew-Hermitian trace convention
Since the differential of the integrand is , a space-time slab oriented by has instanton charge when the side boundary contributes no flux. For a pure gauge , this reduces to the winding integral . Gauge transformations of nonzero winding can shift it by an integer.
In the plane wave basis of a ring, has matrix elements . Near , degenerate perturbation theory on gives
up to corrections from remote states. Thus the avoided crossing gap is to first order when .
For , a parabolic approximation about a potential minimum instead gives a local quantum harmonic oscillator spacing . A local gauge transformation removes the flux from this approximation. Actual ring levels retain exponentially small flux dependence through quantum tunnelling, while nonquadratic corrections to their mean energies are algebraic in .
Coulomb gauge Created 2026-09-24 Updated 2026-09-24
The Coulomb gauge imposes
on the magnetic vector potential. A gauge transformation reaches this gauge when solves
Coulomb-gauge vector potential of a long solenoid Created 2026-10-18 Updated 2026-10-24
For an ideal infinitely long solenoid with interior magnetic field and radius , an axisymmetric Coulomb gauge representative of the magnetic vector potential is
This follows from by Stokes theorem. The exterior has zero curl but nonzero circulation around the enclosed magnetic flux. The Coulomb gauge condition alone does not eliminate every residual gauge transformation; symmetry and regularity select this customary representative.
Discrete gauge cancellation in two-path interference Created 2026-10-18 Updated 2026-10-20
A four-vertex model proves the essential gauge invariance without solving an electron scattering problem. Use two directed paths and . Assign an edge phase and a complex unit link to each directed edge, with . These links represent discretized magnetic line integrals multiplied by . Under a gauge transformation with arbitrary vertex phases ,
Both path products acquire the same factor . Their gauge-invariant ratio is the closed-loop holonomy
Every intermediate vertex phase cancels. For any fixed nonnegative real amplitudes , the interference quantity is unchanged too. A gauge-dependent open-path phase consequently cannot be interpreted as an observable by itself.
For an exact example, measure phases in units of and order edges as . Choose edge phases and vertex phases . The transformed edge phases are
The upper and lower sums become and ; their difference remains . With amplitudes , , the intensity remains . Sweeping one physical loop phase through instead produces extrema and , agreeing with the interferometric visibility example above.
Figure 1.
Flux moves fringes while vertex gauge phases cancel
. Original scalar two-path calculation with and . Left: carrier fringes at three chosen enclosed fluxes, in units of the electron period . Right: the exact four-edge example before and after a vertex gauge transformation; open-path phase sums change together and their difference is fixed. Curves are illustrative model intensities, not an experimental interferogram. Source. Details.
Electric potential Created 2026-09-24 Updated 2026-10-14
In electrostatics, the electric potential tells us the interaction potential energy per unit test electric charge in the electric field of prescribed sources. Its most directly useful quantity is an electric potential difference: how much work per unit electric charge an external agent must supply to move that test electric charge slowly between two points. This replaces the bookkeeping of a vector force along a path with the difference of two scalar values. The test electric charge must be small enough not to rearrange the sources appreciably.
For motion from to , write . With fixed sources and only the electric force doing work,
Here is interaction potential energy, is kinetic energy, and the line integral uses the electric field produced by the other electric charges. For slow transport with unchanged kinetic energy, the external work is , so for nonzero . This external work has the opposite sign to the work done by the electric field. The SI unit is the volt,
A volt measures energy per unit electric charge, not energy itself. For example, crossing an electric potential difference of changes the potential energy of by , but changes that of by . Both test electric charges encounter the same electric potential difference; their opposite signs reverse the energy change.[ref]
The electrostatic potential is a scalar function of position. The electric field is a conservative vector field, and all three components follow from the negative gradient of the electric potential:
The electric field points toward decreasing electric potential. A positive test electric charge feels electric force in that direction; a negative test electric charge feels electric force in the opposite direction, since . A freely accelerated negative test electric charge therefore moves toward higher electric potential while lowering its potential energy .[ref]
Only differences fix physical electrostatic potentials: adding the same constant everywhere, , changes neither the gradient nor any electric potential difference. Choosing an electrical reference potential is this elementary gauge transformation. Setting zero at infinity is convenient for finitely many localized point charges; it is not available for an ideal uniform electric field extending to infinity. There we can choose a finite reference point. Assigning zero at ground is a convention, whereas physically grounding an electrical conductor also allows exchange of electric charge to impose a boundary value. Zero electric potential at a point never by itself implies zero electric field.[ref]
For a fixed point charge at the origin in vacuum, choose zero at infinity. Coulomb's law gives
where is the vacuum permittivity. Use the stipulated approximation and . At ,
A test electric charge has and radial electric force , directed inward. Moving it inward from to raises the electric potential from to but lowers its potential energy:
This is the Coulomb potential energy calculation using electric potentials. The source's singular self-field at is excluded; when finding the force on a source point charge, use only the electric field of the other sources.[ref]
For a uniform electric field , choose . Then
Moving from to gives . For the change in potential energy is and the electric field does of work. For , the same prescribed displacement gives : the external agent must supply that work for slow transport. This uniform electric field approximates the interior of a parallel-plate capacitor sufficiently far from the edges; the fringing field of a capacitor limits the approximation.[ref]
An equipotential is a level set . On a smooth equipotential with nonzero gradient, every tangent displacement has , so the electric field is normal to the equipotential. Thus moving a test electric charge along an equipotential requires no net electrical work. Around a point charge, the equipotentials are spheres; the circles in the diagram are their sections, not an assumption of two-dimensional Coulomb's law. A uniform electric field has parallel plane equipotentials. For contours separated by the same small electric potential difference, smaller normal separation means a stronger electric field, approximately . At a point where , the electric field is zero and has no direction to call normal.[ref]
The superposition principle adds electric potentials as signed scalars. For finitely many stationary point charges at in vacuum,
For example, the electric dipole with at and at has zero electric potential everywhere in the midplane , yet its electric field at the midpoint is . With and , this is . At , the same model gives and . Cancellation of electric potentials is quite different from cancellation of vector electric fields.
Figure 2.
Computed dipole equipotentials and electric-field directions: zero potential on the vertical midline still permits a nonzero field
. Details.
A motivating measurement is conductive-paper electric potential mapping. A documented teaching experiment uses slightly conductive paper on an insulating board, two circular electrodes in highly conducting ink, a steady supply, and a digital voltmeter. Connect the supply to the two electrodes, keep the voltmeter common lead on the negative electrode, and use its other lead as a movable probe. Adjust the supply using the measured electric potential difference between electrodes; the published procedure uses . The observable is the voltmeter reading at the probe position . Locate several points reading , record their positions on a separate map, and join them into an equipotential; repeat at other readings. Lift the probe between contacts so it does not damage the paper. This procedure makes the electrical reference potential concrete: every reading compares two contacts.[ref]
From neighboring readings infer an electric field component by a finite difference, . Reconstruct two in-plane components with displacements along two independent directions. Alternatively, draw the electric field normal to mapped equipotentials, toward lower electric potential. The second diagram illustrates the same measurement principle with bar electrodes spanning a uniform sheet, insulating top and bottom edges, and a synthetic model . The model readings at and at imply . These values are calculated illustrations, not reported experimental data. The documented circular-electrode experiment similarly estimates the electric field from readings at successive centimetre marks.[ref]
Useful controls include checking the voltmeter zero, checking that the electric potential difference along each painted electrode is negligible, and repeating reference readings to detect supply drift. Reversing the supply should reverse the signs relative to the same reference contact. Contact resistance, leakage electric currents, and touching the sheet can distort the map. A voltmeter has finite input electrical resistance and draws a small electric current; voltmeter loading changes the quantity being measured if that electrical resistance is insufficiently large relative to the sheet's effective source electrical resistance.[ref][ref]
The paper carries a steady electric current, so this is a planar analogue rather than a direct measurement of isolated point charges in three-dimensional vacuum. For constant electrical conductivity, Ohm's law and steady charge conservation give and , hence the two-dimensional Laplace equation away from electrodes. Insulating sheet edges impose zero normal electric current, while finite electrodes fix boundary values. This derivation explains both the analogy and its limits: inhomogeneous paper, finite boundaries, and finite electrodes can change the contours. One should not fit the three-dimensional point charge formula to a planar map without testing that model. Small probe spacing resolves spatial variation better, but amplifies uncertainty in the inferred finite difference. The published laboratory instructions explicitly ask students to assess whether their proposed field fit is appropriate.[ref][ref]
The scalar description has a crucial limit. Faraday's law of induction for a stationary closed path says
where is magnetic flux. Nonzero changing magnetic flux gives nonzero circulation, incompatible with a single-valued electric potential alone. More generally, a scalar electric potential and a magnetic vector potential together give
Consequently, in the presence of induction, two voltmeter lead routes between the same contacts can produce different readings if the enclosed magnetic flux changes. This follows by subtracting the two path line integrals; it is a deduction from Faraday's law of induction, not a claimed outcome of the paper experiment. The steady setup and negligible induction justify interpreting its readings as electric potential differences. Merely introducing a scalar electric potential that depends on time cannot supply a nonzero curl of the electric field.[ref]
A short mathematical justification connects the statements above. Along a smooth path, the chain rule gives . Integrating and using yields the endpoint formula by the fundamental theorem for line integrals, proving path independence. Conversely, vanishing circulation around every closed path lets us define independently of the route, with . Zero curl is a local test; for a continuously differentiable curl-free vector field, a simply connected open region suffices for a global potential. The explicit finite-source formula already gives a global electric potential away from its source points.[ref]
In the basis with gauge transformations and , the non-Abelian connection transforms by conjugation. The Lie brackets and give , , with neutral . Thus gives the displayed Hermitian matrix. The fields transform as , while both neutral combinations are uncharged. This separates the Adjoint representation on the gauge fields from the doublet charge matrix on the Higgs field.
The identically conserved topological current couples to an external electromagnetic gauge potential through . A gauge transformation changes this coupling only by a divergence. The Euler-Lagrange field equation becomes , with . A unit Sine-Gordon kink has unnormalized charge and mass . For spatially uniform forcing, its field momentum balance is when the boundary stress contributions cancel.
Suppose a gauge fixing condition intersects each gauge orbit once in the local region under consideration, and its linearized Faddeev-Popov operator has no residual zero modes after boundary conditions are imposed. The functional Jacobian for changing from the gauge transformation parameter to the gauge condition gives the displayed identity. Inserting it in a gauge-invariant functional integral allows the integration along the gauge orbit to factor out and cancel the formal gauge-group volume. In a perturbative neighborhood the Jacobian's sign or phase is fixed; a field-independent determinant factor is absorbed into normalization. The Gribov ambiguity prevents treating this local identity as a globally unique gauge choice without further qualifications.
A smooth gauge field of finite positive Euclidean Yang-Mills action cannot be invariant under a nonzero translation, even up to gauge transformation. The positive gauge-invariant action density would be periodic along that translation. A ball on which the density is bounded below by a positive constant has infinitely many disjoint translated copies, making the action infinite. Continuous translation invariance is a special case. Consequently a nonflat translation-invariant field satisfying the Anti-self-dual Yang-Mills equations on is not a finite-action Yang-Mills instanton. Flat connections are the zero-action exception. Translations still act on instanton moduli, sending a localized instanton to a distinct centered configuration.
First-class constraint Created 2026-10-05 Updated 2026-10-14
A first-class constraint has Poisson brackets with all constraints that vanish on the constraint surface. For a regular constrained Hamiltonian system, first-class constraints generate gauge transformations; each independent constraint and its gauge direction remove one canonical pair.
Fix a trivialization at infinity and divide smooth finite-action instantons only by gauge transformations tending to the identity there. Global gauge orientations remain genuine parameters. For regular instantons of charge magnitude , the real dimension is by the ADHM construction. Forgetting the framing divides by the three-dimensional global group action of , giving on the irreducible locus. For one instanton the framed parameters are four center coordinates, one positive size, and three orientation coordinates.
The gamma trace contracts the vector index of a Rarita-Schwinger field with a gamma matrix, producing an ordinary spinor. In the massive free theory it vanishes by the field equations. In the massless theory a gauge transformation changes it by , allowing a gamma-traceless gauge for propagating modes. Together with transversality this removes the unwanted spin-one-half sector.
With signature and , combine a time translation with the gauge transformation of parameter . Its Noether current is , the gauge-invariant energy current. The density is . On the source-free field equations it differs from the canonical translation current by , an antisymmetric superpotential divergence, so total energies agree when the boundary term vanishes.
Gauge-covariant derivative of a charged scalar field Created 2026-10-05 Updated 2026-10-20
For electric charge and electromagnetic four-potential , the derivative transforms covariantly under an electromagnetic gauge transformation.
For the Maxwell field, the variation is time translation combined with a gauge transformation. With constant , , and the Lagrangian changes by . Its Noether current is directly the time component of the gauge-invariant Maxwell stress-energy tensor, providing the physical energy density without a potential-dependent improvement step.
An open flux tube carries magnetic flux through its end caps. Its ordinary magnetic helicity can therefore change under a single-valued gauge transformation. For inside and zero outside, a regular family of magnetic vector potentials is , inside and , outside. Their tangential components agree at . Inside, , so the helicity per unit length is . Changing is the gauge transformation , and changes this result whenever . The convention outside gives and helicity per unit length , while gives zero. Without an end-cap or gauge convention the ordinary helicity is not unique.
For an oriented brane worldvolume , a gauge transformation changes the Wess-Zumino brane coupling by , by the Generalized Stokes theorem. If the brane boundary lies on a manifold carrying a form of one lower degree, adding the displayed boundary term and transforming cancels this variation. The sign uses the induced boundary orientation. A closed worldvolume needs no boundary term; noncompact cases require appropriate support or decay conditions.
Adding a free real scalar field to covariantly gauge-fixed QED gives an infinitesimal global invariance , , . The matter terms transform as an ordinary gauge transformation. The scalar kinetic variation combines with the gauge fixing variation into . Consequently the action is invariant under boundary conditions removing this total derivative, without using field equations.