A classical field-theory soliton is a smooth, localized finite-energy solution that behaves as a persistent object. Stability may follow from a topological charge or from a balance among energy terms with different scaling behavior.
A non-topological soliton is a localized finite-energy field configuration whose existence or stability is not protected by a nontrivial topological charge. A conserved ordinary Noether charge can instead obstruct its decay. A Q-ball is a standard complex-scalar example: its profile is localized while its phase rotates in time.
For a complex scalar field with global invariance and Lagrangian , a Q-ball is a localized phase-rotating configuration with conserved Noether charge . At fixed charge its real profile can minimizeSuch solutions require a suitable potential and charge range; the complex nature of a field alone does not ensure existence. A common condition is .
This nonnegative potential has its only vacuum at , since . For the complex kinetic normalization , the small-amplitude mass squared is , whereas . The radial Q-ball equation has a positive localized profile for frequencies , for example in three spatial dimensions. It is a standard non-topological soliton potential: the effective profile potential is negative somewhere, while its quadratic coefficient near zero is positive. The conserved Noether charge, not vacuum winding, supplies the stabilization mechanism.
For a one-dimensional Q-ball, the profile equation gives . Its rest energy is therefore . A Lorentz transformation replaces the rest coordinates by , . The scalar solution has energy and momentum . Substitution and give the displayed values and .
For in space dimensions, write , and . Eliminating the rotation frequency by gives the displayed fixed-charge scaling. The positive-power charge term can balance the gradient and potential terms even for . This evades the static Derrick theorem because the field is time-dependent and the relevant variations preserve its Noether charge.
A breather is a spatially localized nonlinear-wave solution periodic in time. It does not separate into independently traveling lumps while it breathes. A Sine-Gordon breather arises from a complex-conjugate soliton pair. In the quantum sine-Gordon model, the associated neutral kink-antikink bound particles are also called breathers.
A weak-coupling expansion of a vacuum-subtracted soliton mass begins with the classical energy and adds the Gaussian fluctuation approximation. For Sine-Gordon theory, . The term of order includes both the vacuum-subtracted fluctuation frequencies and the appropriate mass counterterm.
In a common finite-volume regularization in quantum field theory, the oscillator contribution is , including every discrete and continuum-derived mode and treating translation as a collective coordinate. Physical frequencies are when coordinates are measured in units of . A mass counterterm is added only afterwards. The vacuum subtraction removes the extensive vacuum energy but can leave an ultraviolet divergence.
Compare the same total number of finite-box modes in the soliton and vacuum sectors before removing the ultraviolet cutoff. A localized bound state replaces a continuum mode, and its contribution must be retained. For the Sine-Gordon kink fluctuation operator and the odd phase branch , the bound translation mode replaces the free oscillator. Thus the complete oscillator correction is in this convention. The continuum integral alone misses the finite contribution.
The scattering phase shift of the Sine-Gordon kink fluctuation operator gives a continuum frequency sum. In mode-number regularization of soliton masses, the zero-frequency translation mode replaces the vacuum oscillator at . The bare difference is . Integration by parts cancels the lower endpoint against and produces the displayed upper surface term. Although vanishes, its product with tends to . Vacuum normal ordering cancels the logarithmic bulk ultraviolet divergence, leaving this finite one-loop soliton mass correction. Parameters and finite counterterms must be fixed by a stated renormalization condition.
The rest mass of a stable soliton is the lowest energy in its topological sector minus the vacuum energy, in the infinite-volume limit. If Euclidean kernels have nonzero overlap with the sector's lowest-energy states, then , followed by the infinite-volume limit. A Euclidean path integral represents these kernels, with boundary wavefunctionals included if necessary.
If a labeled soliton approaches before a collision and afterwards, its spatial shift is . For , define its time delay at a fixed spatial point by . Thus a positive forward shift of a right-moving soliton is a negative time delay. For a stationary soliton, the spatial shift is well defined but this time-delay definition is not.
A narrow outgoing energy packet has phase , so stationary phase gives the arrival shift . For two equal-mass solitons with relative rapidity , . The convention instead gives . Classical time delays determine only the energy-dependent phase difference, not its constant branch.
A many-soliton spatial shift is pairwise additive when . In the all-kink sector of Sine-Gordon theory, . Dominant spectator exponentials in the Sine-Gordon multisoliton tau representation multiply the effective exponential of kink , so their logarithms add. This is a classical signature of factorized scattering, with no independent many-body contribution to the asymptotic shift.
A finite-energy field configuration has integrable energy density after the vacuum energy has been subtracted. The boundary conditions used for a localized classical field-theory soliton require approaching a vacuum at spatial infinity. In one dimension the two ends may approach distinct scalar-field vacua; in a gauge theory the asymptotic field can have nontrivial winding even when its local energy density tends to zero.
For arbitrary maps , integrability of the Dirichlet energy does not imply continuous extension to the one-point compactification. For large , takeand interpolate smoothly to a constant on a bounded disk. Its exterior energy isThe field has no limit because keeps winding. A continuous extension at the point at infinity instead requires uniformly outside sufficiently large disks. This fixed-limit boundary condition is standard for a sigma-model lump, but is extra information beyond finite energy for arbitrary fields.
A collective coordinate parametrizes a family of static classical field-theory solitons, for example their position or internal orientation. Derivatives with respect to these parameters are zero modes in field theory when the family has constant energy. Slowly varying coordinates describe low-energy motion, provided the excluded modes and radiation are negligible; gauge variations must first be removed in a gauge-theory soliton.
The conjugate momentum to a periodic internal soliton angle generates shifts of that angle. Single-valued wavefunctions, or Bohr-Sommerfeld quantization with zero Maslov index, quantize this canonical momentum. A theta term can shift the relation between canonical momentum and mechanical charge without changing integer canonical labels.
A collective-coordinate approximation substitutes a finite-parameter soliton ansatz into the field action and integrates over space. Its Euler-Lagrange equations approximate the slow motion of the soliton parameters.
Substitute the instantaneous Sine-Gordon kink profile and prescribed velocity with into the field density. For , , the integrals and give the displayed collective-coordinate effective Lagrangian. Its equation is . This is relativistic particle motion with mass and topological coupling charge . When varies, the prescribed velocity omits a width-change contribution; acceleration correction for an instantaneous boosted kink describes the exact chain-rule distinction.
The actual derivative of is . The omitted contribution is first order in acceleration. Its cross term with the translation velocity integrates to zero because . The square adds to the spatially integrated density, since and . Thus the instantaneous-boost effective action for a sine-Gordon kink is an adiabatic truncation rather than the exact action restricted to that accelerating configuration-space profile.
Substitute a static soliton family with slowly time-dependent collective coordinates into the action. The kinetic energy induces a Riemannian metric on the family, after imposing any Gauss law constraint in gauge theory constraint and projecting out gauge directions. If its static energy is constant, the Euler-Lagrange equations are the geodesic equations of . An approximately flat family instead carries a potential . This approximation neglects excitations of the other field modes and is justified only when their effects are small on the time and energy scales studied.
Quantizing a moduli-space approximation gives wavefunctions with measure and, under the minimal scalar ordering, the Hamiltonian operator , where is the Laplace-Beltrami operator. Global identifications, statistics and regularity supply additional restrictions on wavefunctions. Curvature-dependent ordering terms or quantum corrections are extra choices, not determined by the classical kinetic energy alone.
A topological charge is an integer or other discrete invariant determined by the homotopy class or characteristic class of a field configuration. Continuous finite-energy deformations cannot change it without crossing a singular or forbidden configuration.
A normalized vacuum field on a sphere surrounding a core can define with integer topological degree. Nonzero degree obstructs its extension through the enclosed ball while staying in the vacuum manifold. This accounts for the winding number of a vortex and the spherical degree of a magnetic monopole, with the appropriate vacuum targets.
A nonzero topological degree obstructs smooth unwinding with fixed boundary data, but does not by itself give a stable finite size. In three dimensions a two-derivative energy scales as and can decrease as a configuration shrinks at fixed degree. The four-derivative Skyrme term scales as and can balance this tendency. Derrick theorem addresses the energetic issue; a singular limiting configuration can evade smooth homotopy conservation.
A local current whose conservation follows from field geometry rather than requiring the field equation. For Skyrmions, pulling back the closed volume form on the target three-sphere gives the current associated with topological baryon number in the Skyrme model. Its spatial integral is a topological charge, unchanged by smooth evolution with the prescribed boundary behaviour.
A closed target -form pulls back under a spacetime field to a closed form . Its dual defines an identically conserved topological current. For a compact oriented spatial -manifold and an equally dimensional oriented target with , the spatial integral is the topological degree. Conservation follows without the field equations; changing boundary flux can change the charge.
A connected component, or homotopy class, of admissible field configurations with fixed asymptotic conditions. Distinct topological sectors cannot be joined by a continuous deformation within that configuration space. A nonzero topological charge labels a sector, but a stable finite-size energy minimum also depends on the energy functional.
For negative frequency , the one-dimensional focusing nonlinear Schrödinger equation has the localized stationary profileGalilean boosts generate moving profiles with a translational collective coordinate and constant velocity.
Let a real localized profile satisfy . Then solves the cubic focusing nonlinear Schrodinger equation in the potential with the displayed phase and any harmonic-oscillator trajectory . Imaginary terms require ; real terms require and the remaining time-dependent phase. The translation is exact and causes no profile deformation, unlike a generic collective-coordinate effective Lagrangian approximation.
For , translation of a solution at velocity must be accompanied by the displayed phase. Direct differentiation cancels the terms proportional to , leaving the original equation. A standing profile of frequency thus gives . Its centre travels uniformly, while its L2 norm is unchanged.
Derrick's scaling argument tests a static field configuration by rescaling space. A soliton can be stationary only if energy terms with opposite scaling powers balance at the original scale.
For smooth fields into with nonnegative differentiable potential and finite energy, Derrick scaling in two spatial dimensions forces the potential integral to vanish. Thus the field takes values where and , so its static field equation makes every component harmonic. Each first derivative is an entire harmonic function in L2 space; the mean-value inequality on arbitrarily large balls forces it to vanish. Hence the field is constant. The scale identity alone does not exclude a pure-gradient model; this additional argument uses the flat unconstrained target. Curved-target harmonic maps, for example the O3 nonlinear sigma model, can instead have finite-energy nonconstant solutions.
Under Derrick scaling, an energy term containing spatial derivatives and homogeneous of degree in those derivatives scales as in spatial dimensions.
For a smooth gauge field on with finite positive magnetic energy, dilate its connection one-form by . Its gauge curvature scales as , so the energy scales as . A static stationary configuration must have zero derivative at , forcing and hence . This Derrick scaling argument assumes the dilation preserves the boundary conditions and that boundary terms vanish. It does not exclude four-dimensional Yang-Mills instantons, whose Euclidean action is scale invariant.
In three space dimensions, rescale to and to . The gauge curvature then scales with two derivatives, and the adjoint covariant derivative of the Higgs field with one. Magnetic, Higgs-gradient and potential energies give the displayed formula. Stationarity requires , which permits nonzero energies. In the Bogomolny-Prasad-Sommerfield monopole limit , the Bogomolny equations give .
Stationarity of a static solution under Derrick scaling requires . This necessary relation among the separately scaling energy terms is the Derrick virial identity.
A scalar-field kink is a one-dimensional finite-energy static solution approaching different vacua as and . Its boundary values define a topological sector.
An antikink is a scalar-field kink with the opposite orientation of its vacuum boundary values. If joins vacua to , then joins to . For an even double-well potential and an odd centered phi-four kink, the centered antikink is . With , a kink has and an antikink has . Their localized energies coincide by spatial reflection.
For the static energythe kink joining the vacua and isIt saturates the Bogomolny bound by satisfying the first-order equation .
For the real scalar field with metric and potential , the static phi-four kink is and satisfies . Its mass is . A Lorentz boost gives . The stress-energy tensor gives . Similarly, , proving the energy–momentum relation .
For with , set . A well-separated kink–antikink pair at is approximated by . At its midpoint, and . The static stress-energy tensor component is therefore negative there. Momentum conservation gives the force on the left half-line as , which is positive. Its leading magnitude is . Thus the pair attracts. This is a controlled leading-tail estimate at large separation, not an exact superposed solution or a theorem about all subsequent collision outcomes.
For the initial field and zero initial time derivative, evaluate the scalar-field momentum flux at the midpoint: and . The force on the left kink is the displayed positive value, attractive toward the right antikink. This exact initial expression has the large-separation asymptotic for . If the initial velocity at the cut is , subtract .
Linearizing about the phi-four kink gives the displayed one-dimensional Schrödinger operator in unit kinetic normalization. Its translational zero mode in field theory is proportional to . The localized shape eigenfunction has squared frequency , while the continuum starts at . Substitution verifies both bound-state eigenfunctions. The Pöschl-Teller potential permits a short completeness argument for the bound modes. In let . Then , its partner is , and . The last operator has no bound states. The kernels of and give the two stated modes, while the partner spectra exclude any further normalizable bound modes.
For in the unit kinetic normalization, . Substitution of therefore gives the free-particle collective-coordinate effective Lagrangian . Its quantization has momentum and energy to this order. The exact uniformly moving classical kink is a Lorentz boost of the static one, with energy .
Kinks in a phi-six model commonly arise from a nonnegative degree-six potential with three degenerate vacua. For the unit-vacuum normalizationthe kink joining to isand has mass . A rescaled model with has the elementary kinkand its mass is in the normalization .
For and , the three scalar-field vacua are . The static first integral is . In either adjacent interval, obeys , giving the displayed four oriented kink profiles with . Each has rest energy . The intermediate-vacuum obstruction to a kink excludes a direct static connection from to : reaching zero would give zero derivative, and uniqueness of the smooth second-order field equation forces the zero solution. A Lorentz boost replaces by .
// Destination: relativistic-quantum-field.bigb
If a proposed kink must cross a third degenerate vacuum, its first integral makes both the field derivative and potential vanish there. ODE uniqueness prevents it from crossing at finite distance, so the two elementary kink sectors can be joined only at infinite separation.
A gauge-theory soliton is a finite-energy localized classical field configuration stabilized by topology or a balance among differently scaling energy terms.
A smooth finite-energy monopole in an Yang-Mills theory with an adjoint Higgs field uses the normalized Higgs direction at infinity to define a map . Its nonzero degree supplies the magnetic topological sector. Unlike a singular Abelian Dirac monopole, the non-Abelian gauge and Higgs fields can have a regular core. In the zero-potential limit the Bogomolny-Prasad-Sommerfield monopole equations are .
A Bogomolny-Prasad-Sommerfield monopole is a finite-energy Yang-Mills-Higgs configuration satisfying . Its magnetic charge is the degree of the normalized Higgs field at spatial infinity.
For the trace inner product and adjoint covariant derivative, compatibility gives . The gauge-theory Bianchi identity and imply . Therefore , equal to the energy density on a Bogomolny-Prasad-Sommerfield monopole. If the energy density is instead defined with an overall factor , this Laplacian is twice that density.
For zero scalar potential, the static field equations are and . If , the gauge-theory Bianchi identity gives the first equation. For the second,using and . Thus the first-order equations imply the full second-order equations locally, independently of the radial ansatz.
A spherically symmetric SU(2) monopole can be written with the internal Higgs direction aligned with the spatial radial direction and the gauge field built from the invariant tensor .
For a Bogomolny-Prasad-Sommerfield monopole, the dimensionless radial Bogomolny equations are and . The displayed profiles solve both equations: differentiating gives , while differentiating gives . At the origin and , giving a regular core. At infinity decays exponentially and , giving the vacuum Higgs magnitude and a long-range Abelian magnetic field.
For and with , set . The equation equates radial coefficients to give and transverse coefficients to give . These are exactly the displayed two radial equations. The sign depends on the chosen orientation and on the order of indices in the gauge ansatz.
The Abelian Higgs model couples a complex scalar field to a gauge field and permits magnetic vortex solitons in two spatial dimensions.
For , write and absorb into the vector field. The quadratic Lagrangian has a real scalar of mass and a vector of mass . The two scalar plus two massless-vector polarizations in the symmetric phase become one radial scalar plus three massive-vector polarizations. The removed phase supplies the longitudinal mode; local vortices retain global winding and quantized flux.
// Target: cosmology.bigb
In two dimensions, scale and . The magnetic field has scaling weight two, the gauge covariant derivative of the Higgs field has weight one, and the potential has weight zero. Their integrated energies therefore have the powers shown. Stationarity gives , a Derrick virial identity. This balance allows a planar Abelian Higgs vortex to have finite size even though a scalar-gradient-plus-nonnegative-potential model has no comparable magnetic term.
This planar Abelian Higgs model replaces the usual magnetic energy by . Use and . The magnetic term is singular at a zero of the Higgs field, so the admissible class must have finite energy; formal field equations are first derived where . Its positive-flux Bogomolny equations are and . On those solutions extends regularly across zeros.
Write away from its zeros and use the oriented planar Hodge star with . The first Bogomolny equation gives . A zero of multiplicity contributes and phase winding . Combining the smooth magnetic field with these delta sources gives the displayed equation and the topological boundary condition . Prescribed zero positions and multiplicities reduce multi-vortex construction to this scalar elliptic problem; a regular solution reconstructs both smooth fields.
Let . The identityand completing the square give, when the current boundary integral vanishes,For flux , the lower bound is , saturated by the two first-order Bogomolny equations. Division by is interpreted in the finite-energy sense at its zeros.
Use metric , and Lagrangian . The Euler-Lagrange field equations are and . Varying gives a kinetic contribution and potential contribution ; variation of gives . For static fields in temporal gauge , the positive Bogomolny vortex equations imply the scalar equation because . They imply the spatial gauge equations because and , while . The Gauss equation then vanishes identically.
An Abelian Higgs vortex has quantized magnetic flux and a Higgs field whose phase winds at spatial infinity. Its vortex number is under the convention .
For a unit Abelian Higgs vortex, the piecewise profiles and inside , with both equal to one outside, are continuous finite-energy trial fields. In the normalization , their radial energy is the displayed function. Its minimum has and , an upper-bound estimate above the exact Bogomolny bound . Derivative jumps at the matching radius are allowed in the variational energy space; the trial profile is not an exact solution.
When and its gauge covariant derivative decays fast enough, on a large circle write locally. The tangential derivative gives . The integrated error tends to zero, so Stokes theorem turns total magnetic flux into the phase change . This integer is the winding number of the normalized Higgs field on the circle. For positive Bogomolny vortex equations it is the total zero multiplicity.
The vortex number is the total multiplicity of the zeros of the Higgs field, equivalently its phase winding at infinity or its magnetic flux divided by in the standard normalization.
At critical coupling, the Abelian Higgs vortex moduli space is the space of gauge-equivalence classes of static -vortex solutions. Vortex positions provide complex coordinates, and the field-theory kinetic energy induces an Riemannian metric whose geodesics approximate slow vortex motion.
Interchanging two Abelian Higgs vortices replaces by . Thus is a single-valued relative coordinate on the unordered Abelian Higgs vortex moduli space. Coincidence is smooth in ; a geodesic crossing from positive real to negative real changes the line of separation by , explaining right-angle scattering of Abelian Higgs vortices. The asymptotic cone in the coordinate has angular period and must not be treated as a singularity of the actual coincidence metric.
A head-on geodesic through the smooth coincidence point of the two-vortex moduli space emerges along the orthogonal axis. Two identical critically coupled vortices therefore scatter through in the slow-motion approximation.
Away from zeros of the Higgs field, write with . The Bogomolny vortex equation gives and . Consequently , where , and on a regular phase patch. If the contours of and are orthogonal, then , so : the gauge potential is tangent to constant-amplitude contours. This does not imply that it is curl-free. At a vortex zero, and the phase is only locally defined. Including phase winding distributionally gives . The usual Taubes equation uses , so its delta coefficients double.
With and , use the critical-coupling energy . For positive vortex number, integration by parts givesThe boundary divergence vanishes for the usual decaying vortex fields, and magnetic flux is . The two squares vanish exactly at the Bogomolny vortex equations. Reversing both signs treats negative . Energy coefficients and the numerical bound change together under other normalizations.
For metric , set and use the physical magnetic field . At critical coupling, define . The identity completes the energy into nonnegative squares plus half the magnetic flux and half the current boundary integral. For unit-magnitude vacuum boundary data, the combined boundary contribution is , since there. In the more restrictive covariantly decaying sector the current integral separately vanishes and the flux is . Equality for positive requires and . The factor appears instead if the symbol denotes the coordinate component .
Choose positions and positive integer multiplicities . Solve the Taubes equation with at infinity and near each position. The planar existence theorem supplies such a solution for every finite multiset of positions; see the original existence theorem. Set , and , with . The singular terms cancel in , while has precisely the selected zeros. These fields satisfy the Bogomolny vortex equations, with . Their vortex number is . Complex conjugation of together with gives antivortices.
If solves the Taubes equation for a metric and solves it for , then solves it for . The vortex divisors add, so the total vortex number is .
Integrating the Taubes equation on a compact surface of area gives . A nontrivial vortex with nonzero Higgs field requires the strict inequality .
At the integrable curvature scale on the Poincare disc, the vortex Taubes equation reduces to the Liouville equation. Holomorphic self-maps of the disc then generate explicit vortex solutions.
For metric , these smooth fields satisfy the Bogomolny vortex equations with one simple zero at the origin. Their curvature coefficient is , and their physical magnetic field is . The magnetic flux is , and the critically coupled energy in the conformal-surface vortex square completion normalization is .
For the disc metric and a holomorphic map , the Higgs magnitudesolves the critically coupled vortex equations. Choosing gives a radial vortex of winding .
A Yang-Mills instanton is a finite-action Euclidean gauge field with self-dual or anti-self-dual curvature. On , its asymptotic pure gauge defines a map whose degree is the instanton number.
It is a gauge-field instanton solving the Euclidean Yang-Mills equations, with additional finite-action and duality conditions.
For integer instanton number , a topological angle can weight each Euclidean gauge-field sector by in a stated convention. The sector sum is then -periodic in . In temporal gauge, the same integer describes a change in the vacuum winding or Chern-Simons number, with compatible orientation conventions. Classical instanton action fixes exponential suppression, while determinants and collective-coordinate integrals supply prefactors.
Take , , , , and , satisfyingRegular data modulo construct framed Anti-self-dual Yang-Mills equations solutions of charge magnitude . The ADHM factorization identity gives an explicit gauge curvature proof. The two complex matrices and the two rectangular maps have real parameters; three real matrix constraints remove , and quotient by removes another , giving dimension at regular points. Degenerate data can describe zero-size singular limits rather than smooth instantons.
With , , formThe two ADHM construction constraints say that has zero off-diagonal blocks and equal diagonal blocks, so it equals . Assume it is invertible everywhere. Choose an orthonormal kernel bundle frame , so and , and set . The orthogonal complement projector is . Differentiating the kernel equation givesIts space-time differential two-form entries are combinations of , , and , all anti-self-dual. Thus the constructed gauge curvature satisfies the Anti-self-dual Yang-Mills equations.
With Skew-Hermitian generators obeying and , putThe gauge curvature is self-dual. The identity gives . Radial integration yields action and charge one with . The parameters are center , size , and global gauge orientation in a framed description. Replacing by reverses duality and charge.
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.
For an anti-Hermitian SU(2) connection on tending to at infinity, the Chern-Simons 3-form and Maurer-Cartan equation give . This is the second-Chern convention with the boundary orientation. Defining instanton charge with the opposite trace sign reverses this integer.
For a fixed principal bundle, orientation and instanton sign, quotient the Yang-Mills instanton solutions by gauge equivalence of principal connections. Boundary or framing conditions determine the gauge group on a noncompact base. At an anti-self-dual solution, infinitesimal deformations obey modulo . Combining this with gives an elliptic deformation operator. This description does not assert that every quotient is a smooth manifold: reducible connections can have nontrivial stabilizers.
The scale in a BPST instanton changes the width of its action density while leaving total action unchanged. This reflects conformal invariance of four-dimensional classical Yang-Mills action. As , gauge curvature concentrates at the center and the smooth family approaches a bubbling boundary, not another smooth zero-size instanton.
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.
Both the self-dual Yang-Mills equations and the Anti-self-dual Yang-Mills equations imply the second-order Yang-Mills equations because the Bianchi identity holds for every principal connection. Finite action is additionally required to call the solution a Yang-Mills instanton; the implication itself is a local differential identity.
The self-dual Yang-Mills equations require a gauge curvature two-form to have positive Hodge star operator eigenvalue on an oriented Riemannian four-manifold. By the Bianchi identity, they imply the full second-order Yang-Mills equations. Smooth finite-action solutions saturate the Yang-Mills instanton Bogomolny bound. Reversing orientation exchanges this equation with the Anti-self-dual Yang-Mills equations.
In oriented Euclidean four-space, gauge curvature is self-dual when . The Hodge star squares to one on two-forms, so this picks its positive eigenspace; the negative eigenspace is anti-self-duality of gauge curvature. The Bianchi identity then implies the Yang-Mills equations, and the action saturates the positive-charge Yang-Mills instanton Bogomolny bound.
With orientation , , and temporal gauge , the mixed gauge curvature is . The self-dual Yang-Mills equations then have the displayed form. Placing first in the orientation reverses the sign, so the metric alone does not specify it.
For and positive Euclidean action, decomposition into self-dual and anti-self-dual curvature givesEquality holds for a self-dual or anti-self-dual connection.
The anti-self-dual Yang-Mills equations require the curvature of a connection on an oriented Euclidean four-manifold to satisfy . In complex coordinates they can be written
Anti-self-dual gauge curvature obeys in oriented Euclidean four-space. In the corresponding two-spinor convention it has vanishing symmetric primed curvature spinor. A matrix-valued two-form which is both self-dual and anti-self-dual is zero, because adding the two equations gives .
Locally, the ASDYM equations permit a complex gauge with . The trace equation then gives and . The remaining curvature equation is . A complex gauge generally makes valued in the complexification of a Lie algebra; reconstructing a real connection requires its inherited reality condition. The gauge/potential construction is local and need not preserve prescribed behaviour at infinity.
Articles were limited to the first 100 out of 128 total.
Articles by others on the same topic
There are currently no matching articles.