The canonical momentum is , so the Hamiltonian density and total energy are
The Euler-Lagrange field equation is . Multiplication by gives the local conservation of energy identity
Thus is conserved when the energy flux vanishes at spatial infinity. For finite energy with asymptotically constant fields, the endpoints must be scalar-field vacua, where .
Choose an antiderivative . For either sign , completing the square gives
Choosing to make the boundary term nonnegative proves the Bogomolny bound
These Bogomolny equations obtained by square completion for a one-dimensional kink describe minima within a fixed endpoint sector when a saturating configuration exists. Differentiating the spatial equation gives wherever , with smooth extension to its limiting scalar-field vacua. The absolute minimum across all sectors is a constant zero-potential scalar-field vacuum when one exists; the nontrivial minima are sector-specific kinks.
For , write . The scalar-field vacua are . A static finite-energy solution has the first integral
because differentiating its left side gives , and its value is zero at infinity. In either adjacent interval, . Set . The first-order equation becomes , with , and separation gives . Hence
For the endpoints are ; for they are . Thus there are four oriented static kink families, up to translation, namely two increasing kinks and two decreasing antikinks. Each has rest energy
A static field joining directly to would have to pass through at finite . The first integral then gives , and the Picard-Lindelöf theorem applied to the smooth second-order equation with those initial conditions forces . Therefore there is no such additional kink; this is the intermediate-vacuum obstruction to a kink. The Bogomolny classification of a rescaled phi-six kink also shows that if , only the scalar-field vacuum remains and there is no nontrivial finite-energy static kink. Indeed the first integral gives a monotone field wherever it is nonzero, precluding a return to the same scalar-field vacuum.
Figure 1.
Four oriented elementary phi-six kink profiles connecting adjacent vacua, with equal rest energy
. Details.
A Lorentz boost of the profile gives a moving solution with arbitrary :
If denotes the static profile and , then , proving the Euler-Lagrange field equation directly. Its energy is : since , changing variable to in the energy integral gives the factor . Reversing or yields the other moving elementary profiles.
The nonexistence conclusion concerns nonconstant fields: a constant scalar-field vacuum with is a zero-energy critical point of an energy functional in every dimension. Assume the potential is smooth, so the classical Euler-Lagrange equation is well defined. Write the two nonnegative energy terms as
For the admissible Derrick scaling ,
Stationarity at gives the Derrick virial identity
For , both terms have nonpositive sign, forcing and hence a constant vacuum. For , scaling alone only proves ; the gradient term is scale invariant, so it must not simply be declared zero.
The two-dimensional flat-target Derrick obstruction supplies that remaining step. Since and its integral is zero, continuity gives everywhere; smooth nonnegative has at those values. The field equation therefore becomes . Each is an entire harmonic function in . Its mean value property and the Cauchy-Schwarz inequality give, for every radius ,
Let to get . Thus also has only constant stationary field configurations of finite energy. The unconstrained real scalar target is essential in this argument; the spherical target in Question 2 has different field equations.
In the field equation is . Multiplication by gives the first integral
Finite energy makes an integrable nonnegative function, so along some sequence it tends to zero. Evaluating the constant first integral on that sequence gives . Choose
Consequently and
For a nonconstant entire solution the sign is fixed. Indeed a finite- zero of would have ; uniqueness of the smooth second-order equation with initial data would make the solution the constant vacuum. Thus never vanishes in a nonconstant solution. Conversely a smooth solution of the displayed first-order equation satisfies wherever it is nonconstant.
Under the usual soliton boundary conditions as , with in the vacuum manifold , the two endpoint components label the topological sector. For isolated scalar-field vacua this is an ordered pair of vacuum labels, not necessarily one universally normalized integer. More explicitly, for any smooth , the topological current
is identically conserved, taking and boundary conditions fixed during evolution. The choices and give the field-difference charge and the kink energy charge. The square completion for a one-dimensional kink gives
The first-order critical solution saturates this Bogomolny bound. A nonzero difference between endpoint vacuum components prevents continuous deformation to a vacuum while those boundary conditions remain fixed. Finite energy alone need not give finite endpoint values for arbitrary potentials, so these topological labels use the stated vacuum boundary conditions.
To evade the scalar-only obstruction, introduce a gauge field and a charged, generally multicomponent Higgs field. For a Yang-Mills-Higgs energy write , where contains and contains . Rescale and . Then scales by , while scales by , so
The magnetic term supplies the missing opposing scaling power. In the relation is , permitting Abelian Higgs vortices; in it is , permitting 't Hooft-Polyakov monopoles. In the monopole Bogomolny limit , achieves . Also, asymptotic ordinary derivatives need not vanish when a Higgs phase winds: the relevant vanishing quantity is the gauge covariant derivative. This allows nontrivial boundary winding with finite energy. Merely appending a gauge potential to a neutral one-component real field would not by itself furnish that Higgs mechanism.
There is a sign inconsistency in the printed model. For the ordinary cross product let . The vector triple-product identity gives . Consequently the printed has gauge curvature
Its gauge curvature cannot instead contain the printed negative quadratic term. For a noncommuting pure gauge potential for this gauge covariant derivative, whereas . Thus the printed gauge kinetic term assigns a nonzero value to a connection obtained by applying the gauge-field transformation law to the zero connection. Literally the printed action has global rotations but not the requested local triplet gauge symmetry. The cross-product convention for an adjoint covariant derivative makes the minimal repair explicit: change the gauge field strength quadratic term to a plus sign, retaining the printed gauge covariant derivative. Changing the sign in the gauge covariant derivative instead would be another consistent convention. The remaining calculation uses the first repair.
The corrected theory has local SO(3) gauge symmetry, equivalently the adjoint-field realization of the SU(2) Lie algebra; its adjoint scalar fields and gauge fields are insensitive to the center of a group of SU(2). Explicitly, and
Both and transform as triplets, so their dot products and the scalar potential are invariant. Assume , and take without loss of generality. For the minima have . Choose the scalar-field vacuum , whose stabilizer consists of rotations around the third axis: the residual gauge symmetry is SO(2), locally U(1).
In unitary gauge write , and . These are the neutral massless gauge field, two charged massive gauge fields and a real radial scalar field. Define
Substitution gives and . The entire physical-field Lagrangian density is therefore
In particular ; this directly verifies the scalar field kinetic and vector mass terms. Expanding the scalar potential gives . Comparing the quadratic terms with standard real scalar field and charged-vector mass terms yields the adjoint triplet Higgs spectrum,
This also rewrites the purely vector interactions, which are already contained in the displayed gauge field strengths rather than omitted from the theory.
The original symmetry remains unbroken at . The unique minimum is then , with three massless gauge fields and three massless real scalar field components; the quartic scalar field interaction remains. The physical degrees of freedom number . At the two broken generators supply two Goldstone bosons, eaten to give longitudinal gauge-boson polarizations of the charged vectors. The physical count is : two massive vectors, one massless vector and one radial scalar field. The scalar components eaten in unitary gauge are not additional physical particles.
For the broken phase all interactions containing the physical scalar field are
Multiplying interaction coefficients by and differentiating with respect to the external fields includes the identical-field factorials. The scalar vertices of an adjoint triplet Higgs model are
For example, the rule contains , whereas the rule contains only from its two identical scalar fields. There are no or vertices: the radial scalar field is neutral under the residual U(1). There is no derivative scalar-vector vertex in this physical spectrum in unitary gauge.
Figure 1.
All physical-scalar interaction vertices in the broken triplet Higgs model, with the unbroken-phase scalar vertices shown below; dashed lines are scalars and wavy lines are vectors
. Details.
For completeness, if the unbroken phase is chosen, its physical scalar fields are the three components , not a single radial . Expanding its gauge-covariant kinetic term gives
With all momenta incoming and Fourier transform convention , the three unbroken-phase rules are
The first rule follows by differentiating once on each possible scalar: for , the interaction is , which fixes the momentum sign. The remaining rules follow from the quadratic gauge interaction and . There are no unbroken-phase cubic scalar field Feynman vertices.
Use units , metric , and . Treat the complex scalar field and its adjoint as independent variables when varying the action. Their canonical momenta are
Canonical quantization in the Heisenberg picture imposes, at the same time ,
All other independent equal-time commutators vanish: in particular , together with the same-type field and momentum commutators. The Legendre transform gives the Hamiltonian density
The Euler-Lagrange equations are . The positive- and negative-frequency plane waves form a complete basis of solutions of the Klein-Gordon equation. Since the field is complex, their operator coefficients are independent rather than being adjoints of each other. Define the Lorentz-invariant phase space measure . A convenient expansion is
The minus sign is a phase convention: replacing by produces the usual plus-sign expansion without changing its commutators or number operator. The normalization is fixed by the canonical commutation relations. For example,
when . The cross commutators vanish and the other canonical relation follows by taking adjoints with the operator order reversed. Conversely these mode commutators can be obtained by Fourier inversion of the equal-time relations. This is canonical quantization of a complex scalar field.
Substitution into the spatial integral for makes the diagonal terms proportional to and . Terms creating or annihilating a pair have and a coefficient , so they cancel. The result before vacuum subtraction is
Commuting past leaves a divergent field-independent vacuum energy. The displayed zero-vacuum-energy form must therefore be understood as a normal-ordered Hamiltonian:
A regulator can be introduced before subtracting the constant. This is the normal-ordered Hamiltonian of a free complex scalar field; the unrenormalized Hamiltonian is not literally equal to this expression without that convention.
The scalar-field vacuum is annihilated by both annihilation operators. Their adjoints create two species of spin-zero bosons with the same positive energy and mass , because
Repeated creation operators give the bosonic Fock space. The negative-frequency part does not create a negative-energy physical state; it creates the antiparticle of positive energy. The charge distinguishes the two species.
For the global phase transformation , , Noether theorem gives . Its divergence is
With vanishing boundary flux, the integral of is a conserved charge. Substituting the modes gives, before charge normal ordering, . The pair terms cancel because their frequency difference is zero when their spatial momenta sum to zero. Taking the vacuum charge to vanish gives the complex scalar charge operator
The mode commutators imply and , so
Thus the particle carries charge , the antiparticle carries charge , and a state with occupation numbers has charge . Also and , agreeing with the phase transformation and charge conservation.