Adjoint triplet Higgs spectrum Created 2026-10-07 Updated 2026-10-14
For a gauged real scalar triplet with vacuum and generators , the covariant kinetic term yields gauge-boson squared masses . Two Goldstone bosons become longitudinal vector modes through the Higgs mechanism. One radial scalar, two massive three-polarization vector fields and one massless two-polarization field remain. The physical count is unchanged. In unitary gauge, the scalar kinetic term includes .
A fermion mass that violates an otherwise restored chiral symmetry is multiplicatively rather than additively renormalized in perturbation theory: corrections vanish with the symmetry-breaking mass or coupling. A chiral gauge representation can forbid a bare mass altogether until a Higgs mechanism and Yukawa coupling make a gauge-invariant term possible. A scalar-partner bilinear may respect all those ordinary symmetries and therefore needs separate supersymmetry protection.
A nonzero complex fundamental doublet has trivial stabilizer in the gauged . Its three angular directions are gauge directions, absorbed by the Higgs mechanism. For vacuum , the three gauge bosons have equal mass ; one radial scalar remains. There is no unbroken photon-like gauge generator in this theory.
Gauge-boson mass matrix 2026-10-05
With canonically normalized gauge field kinetic terms, a gauge-boson mass matrix is the real symmetric matrix of coefficients in the displayed quadratic mass term. Its eigenvalues are squared physical gauge boson masses. For a complex scalar field vacuum in the Higgs mechanism, . Thus for real , : it is a Gram matrix and a positive semidefinite matrix. An unbroken generator annihilates the vacuum expectation value and lies in its null space. Diagonalizing the matrix identifies the massive and massless field combinations.
An unbroken gauge symmetry forbids an explicit local Proca mass for its gauge vector. A Higgs mechanism can generate that mass through a charged vacuum expectation value, but the stability of the resulting vector scale then depends on the scalar sector that fixes the expectation. Gauge invariance alone does not protect a fundamental scalar mass.
The Goldstone-boson equivalence theorem reduces high-energy electroweak longitudinal scattering to scalar scattering. Without the radial Higgs boson, a nonlinear sigma-model description gives an amplitude of order . In the corresponding linear scalar model, the contact and Higgs-exchange terms give, for the charged-to-neutral Goldstone channel,
The growing terms cancel, leaving at high energy. Thus the Higgs mechanism supplies both vector masses and the interactions required for controlled longitudinal scattering. The tree expression is not valid as an unresummed approximation arbitrarily close to the Higgs pole.
Higgs field Created 2026-09-24 Updated 2026-10-03
The Standard Model Higgs field is a complex doublet of hypercharge . Its nonzero vacuum expectation value triggers the Higgs mechanism.
Higgs field potential Created 2026-10-05 Updated 2026-10-14
For and , the minimum has with . In unitary gauge, gives . The canonically normalized Higgs boson therefore has . The angular modes produce the Goldstone bosons absorbed in the Higgs mechanism.
A physical polarization of a massive spin-one gauge boson whose spatial polarization points along its spatial momentum. Together with two transverse polarizations it supplies the three physical spin states. In the Higgs mechanism, a broken-direction Goldstone boson supplies this extra state as the gauge boson acquires mass.
The unbroken group is the stabilizer subgroup of the chosen vacuum expectation value:
Its Lie algebra consists of generators with . The vacuum manifold is the orbit under the stated transitivity assumption. Its tangent space is the image of , so its dimension is .
Let be the scalar mass matrix, with canonical scalar kinetic terms. Invariance of the scalar potential gives for every . Differentiate with respect to and evaluate at the minimum, where :
Thus every independent tangent direction is a zero eigenvector of . These are the Goldstone directions in the scalar mass matrix; for a global symmetry they are physical massless Goldstone bosons. For a generic nondegenerate minimum transverse to the orbit, they are precisely all the zero eigenvalues. Without that nondegeneracy assumption, additional massless scalars are possible.
For a local gauge group, use the orthogonal unitary-gauge slice near a scalar vacuum. Since by antisymmetry, the proposed condition is equivalent to
It sets the gauge-orbit components of the scalar fluctuation to zero. This is an admissible local unitary gauge: on a basis of independent broken tangent vectors , the variation of these conditions under the broken gauge parameters is . This Gram matrix is invertible on that basis, so the implicit function theorem selects the required gauge transformation near the vacuum. Unbroken transformations remain as a residual gauge symmetry; no global gauge slice through zeros of the scalar field is being asserted.
Write . To quadratic order, the covariant kinetic term contains
The middle term vanishes in this unitary gauge. The gauge-boson mass rank from a real scalar vacuum is therefore determined by
These are squared masses: the physical gauge boson masses are square roots of the matrix's nonzero eigenvalues after diagonalization. For real ,
Its kernel consists exactly of the unbroken generators. With , the rank is , so exactly gauge-field combinations become massive. Each removed scalar Goldstone mode supplies the extra longitudinal polarization of a massive gauge boson.
The remaining physical scalar fluctuations lie in the orthogonal complement of the orbit tangent space. They have no massless modes if is positive definite on that complement. The unconditional absence of massless scalars does not follow from the printed assumptions. For a concrete counterexample, take a real doublet, and
Its entire minimum set is one circle orbit, as required, but its Hessian matrix vanishes at the minimum. Gauging the rotation gives one vector of squared mass and removes the angular scalar. The radial scalar remains massless at quadratic order, since its potential starts at fourth order in the radial fluctuation. This is an accidental massless radial mode beyond Goldstone modes. Thus the intended no-massless-scalar conclusion needs nonzero transverse curvature.
In the Standard Model, the Higgs doublet contains four real components and breaks to . Three Goldstone bosons become the longitudinal components of and , while the photon remains massless. The remaining radial Higgs boson is massive for the ordinary quartic potential with positive curvature. With ,
The colour gauge group is unbroken. This is the Higgs mechanism, with the generic curvature condition realized by the standard Higgs potential.
For parallel type-II D-branes, an oriented open string has endpoint labels , its Chan-Paton factors. At coincidence, the massless states form matrices, giving adjoint fields of . Tangential polarizations produce the Yang-Mills theory gauge field; transverse polarizations produce adjoint scalar fields. The leading low-energy action is the dimensional reduction of ten-dimensional super Yang-Mills theory to dimensions. Expanding the Dirac-Born-Infeld action gives the gauge and scalar kinetic terms, while dimensional reduction supplies the Hermitian commutator potential in D-brane Yang-Mills theory:
The sign is important: for Hermitian , the commutator is anti-Hermitian. Zero potential requires commuting scalars, whose simultaneous eigenvalues are brane positions through the D-brane scalar-position normalization
This makes the Higgs mechanism geometrical. Separating branes gives masses to strings joining different positions; bringing them together gives Coincident-D-brane gauge enhancement.
Two parallel D3-branes in type IIB superstring theory give four-dimensional N=4 super Yang-Mills theory with gauge group , containing a gauge field, six real adjoint scalar fields and four adjoint Weyl fermions. On its Coulomb branch, choose
For distinct position vectors, breaks to . The off-diagonal vector multiplets are the two orientations of a string joining the branes, and
The same mass follows from the scalar covariant-derivative term, . The overall describes center-of-mass motion; the relative sector is Higgsed to its Cartan . At coincidence the off-diagonal states become massless and the full gauge symmetry is restored.
The Abelian Higgs model has local , and a nonzero minimally charged scalar expectation value has trivial stabilizer . Thus and , while and are trivial. The defects are local strings, or Nielsen-Olesen vortices, whose winding fixes flux .
Put and . The specified gauge-field shift is , so
Expanding the potential gives . Hence the broken-phase spectrum of the Abelian Higgs model follows from
The phase is not an additional physical massless scalar: the Higgs mechanism supplies the vector's longitudinal polarization. In the symmetric phase the complex scalar has two real degrees of freedom and the massless vector has two polarizations, a total of four. In the broken phase there are one scalar and three massive-vector polarizations, again four. The symmetric phase is the thermally restored phase; the origin of the given zero-temperature potential is unstable, not a separate stable particle vacuum. The local polar change of variables cannot remove global vortex winding everywhere, so the massive spectrum is consistent with string defects.
Assume and . The minima of the scalar potential have . Choose the vacuum expectation value . Its stabilizer subgroup consists exactly of matrices with , so
The continuous spontaneous symmetry breaking is and has two broken generators. For the full orthogonal group, the cross-product notation requires the gauge connection to transform in the adjoint, as an axial vector: . The scalar field transforms as the ordinary vector . This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for ; assigning an ordinary-vector transformation to the connection would fail.
Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives . Put
These are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths gives
The scalar field kinetic term has no radial-vector cross term, because and lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomes
For each real vector the mass term is , while for the complex pair it is . Hence the adjoint triplet Higgs spectrum is
The radial scalar also has in the question's potential normalization. The two lost scalar modes supply the longitudinal polarizations of the massive vectors through the Higgs mechanism.
For the lepton kinetic terms let , , and denote the left neutral triplet entry by . The missing singlet is the perpendicular combination
Its overall sign is immaterial. The real orthogonal matrix is orthogonal, so the sum of the kinetic terms of and is with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for , and only a left-handed kinetic term for the massless neutrino. This is orthogonal completion of mixed neutral lepton kinetic terms. The heavy charged field is , as printed in the PDF, not the TeX's .
To compute the charge commutator, the canonical anticommutation relations imply
The quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, . Left/right mixed commutators vanish since .
In either triplet, write
The displayed current has a factor two relative to the projected bilinears, since . Consequently its charges are and . The neutral combinations have canonical anticommutators because . Applying the matrix commutator gives
where is the electromagnetic charge in the lepton sector. The neutrino, heavy neutral lepton and singlet contribute zero. This establishes triplet charged-current closure on electromagnetic charge, with the requested proportionality independent of normalization choices for the weak Noether charges. The PDF correctly writes ; the TeX repeats incorrectly. Equal-time algebra does not require conservation of the separate fermionic weak currents after symmetry breaking. For full gauge-theory charges, the corresponding charged-boson contributions must also be included.
Work with canonically normalized real components of the scalar field; a complex representation can first be written in terms of its real and imaginary components. At a vacuum expectation value , expansion of the scalar potential gives
The linear term vanishes by stationarity. Thus the scalar mass matrix is the Hessian matrix of the scalar potential. Invariance under each Lie algebra generator gives the identity . Differentiating this identity with respect to and evaluating at the stationary point removes the term containing , leaving
The kernel of the map is precisely the Lie algebra of the stabilizer subgroup H. Consequently its restriction to a complementary space of broken Lie algebra generators is injective: a linear combination that annihilates would belong both to the stabilizer algebra and its complement, and hence would vanish. There are therefore independent Goldstone directions in the scalar mass matrix, tangent to the vacuum manifold. There are symmetry-protected massless scalars.
This Goldstone theorem guarantees at least that many zero quadratic masses. The claim that these are all the massless scalars additionally requires nonzero curvature transverse to the vacuum orbit. For example, , with , has an ordinary spherical vacuum manifold but its entire Hessian matrix vanishes there. These accidental massless radial modes beyond Goldstone modes are not excluded by the hypotheses. For the indicated orthogonal group breaking, the protected number is
For the Higgs doublet, put and wherever . If , then
This explicitly exhibits the three angular coordinates as an SU(2) transformation of a real radial field. In particular, the polar coordinates for the electroweak Higgs doublet can locally be chosen in the form
At the vacuum the three variations generated by , , and acting on are independent over the reals. They span the three broken directions; the remaining generator annihilates the vacuum. This proves that the exponential supplies local angular coordinates. An inverse local gauge transformation, applied also to the gauge fields, removes these three fields in unitary gauge. They supply the longitudinal polarizations of the massive W bosons and Z boson through the Higgs mechanism. The parameterization is local about a nonzero vacuum, rather than a coordinate system through every possible zero of the Higgs doublet.
Use the metric and define the charged W bosons and neutral gauge fields by
where , , and . Direct substitution into the gauge-covariant kinetic term gives
and hence
The electroweak doublet gauge-boson mass matrix in the basis is
Its normalized zero direction is and its massive direction is . Thus the scalar-vector terms in physical fields are
with the tree-level electroweak gauge-boson masses
These are also charge eigenstates. The unbroken U(1) gauge symmetry has generator ; on the Higgs doublet, . Since , the combinations have charges , while Z, the photon, and H are neutral. The photon disappears from the displayed scalar-vector terms because . The photon is massless and has no direct tree-level coupling to the remaining radial scalar in this sector. This does not remove its interactions with charged W bosons, or exclude a scalar-to-photon interaction generated by loops.
Finally, retain the printed normalization of the Higgs field potential:
The kinetic term is , so the Higgs radial mass for a half-normalized quartic potential is . The extra factor of two familiar from a potential with prefactor , rather than , does not apply here.
Use target signature and a closed-string spatial coordinate . Write for the compact coordinate and for the noncompact coordinates. In conformal gauge, the wave equation factorizes, so every coordinate is a sum of a function of and a function of . The closed-string boundary conditions are
Thus the derivatives of each chiral part are periodic and have integer Fourier modes; only their worldsheet zero modes can produce the winding displacement. Integrating these Fourier series gives the closed-string mode expansion
The oscillator reality conditions are and similarly for the tilded modes. The coefficient of follows by integrating the canonical momentum density . Single-valued wavefunctions of the center coordinate have momentum , with . Equivalently, the compact chiral worldsheet zero modes are and , where
Here tildes denote the left-moving sector. This convention will also fix the sign in compact-circle closed-string level matching.
Choose a noncompact light-cone pair and impose light-cone gauge in string theory , with . The Virasoro constraints then solve for in terms of the transverse coordinates. For example, with , one has . Thus there are two independent transverse oscillator Fock spaces, including among the transverse coordinates. Quantization gives , and the same relation for the tilded oscillators, with the two sectors commuting. Lorentz consistency gives the critical dimension of the bosonic string and string intercept one in each sector. Accordingly
count 24 transverse oscillator species. The two zero-mode constraints give the lower-dimensional bosonic string mass spectrum
Taking their difference and average yields
Every choice of transverse string oscillators and integer charges satisfying this closed-string level matching is a physical string state in light-cone gauge. The eliminated longitudinal oscillators do not supply additional polarizations.
To classify all massless states, positivity of the two compact terms implies . When the sum is two, masslessness forces , and closed-string level matching then forces . The states have polarizations. In 25 noncompact dimensions, their decomposition gives a graviton, a Kalb–Ramond field, a dilaton, two Abelian gauge vectors from the metric and two-form with one compact index, and the radius scalar field. Their physical polarization counts are
The first two numbers are the symmetric traceless second-rank tensor and antisymmetric second-rank tensor of the massless little group .
When , closed-string level matching requires . The compact contribution obeys
and equality occurs precisely at . The charges have ; the charges have . Each charge has 24 polarizations supplied by its single excited sector. At a general radius these have
Finally, requires . The exceptional massless ground states of a bosonic circle occur at
Each charge is a scalar field. These special radii must be included if “general radius” is to mean a complete classification, rather than only a generic radius. At a generic radius the massless spectrum is the neutral 576-state spectrum above; at exceptional radii one adds exactly the states just listed. The neutral ground state remains tachyonic.
The map
sends to and to . Reversing all right-moving compact string oscillators, , preserves their commutators and oscillator number; the left-moving oscillators are unchanged. Both the mass formula and compact-circle closed-string level matching are therefore unchanged, with a one-to-one map of the complete oscillator basis. This proves T-duality of the full spectrum, including winding, massive and tachyonic states.
At the self-dual circle the four single-oscillator charge families give new massless states. Each family decomposes into a 25-dimensional gauge vector with 23 polarizations and one scalar field. There are also four massless ground states, with charges and . Thus the massless spectrum at the bosonic self-dual circle has
The gauge interpretation follows directly from the chiral compact-boson operators. With , the exponential has conformal weight . At the self-dual radius,
have weight one and satisfy , , and . These are the level-one current relations; the right sector supplies another copy. Multiplying these currents by a noncompact oscillator produces six gauge vectors in total. The nine scalar string vertex operators form the representation, accounting for the radius scalar field and eight new scalar fields. The remaining neutral fields are the graviton, two-form and dilaton.
A radius deformation as a Higgs mechanism is the expectation value of the Cartan–Cartan scalar string vertex operator . Its stabilizer is , so
The four compact single-oscillator scalar field polarizations become longitudinal polarizations of the four massive vectors, exactly as in the Higgs mechanism. The other four extra scalar fields have masses or and need not remain massless; one pair becomes tachyonic on either side of the self-dual point. Together with the original bosonic tachyon, this means that the gauge-symmetry interpretation is formal and does not assert a stable bosonic-string vacuum.
Take and split the coordinates into along the branes and transverse to them. In conformal gauge the wave equation permits a separated mode with . For Neumann boundary conditions at both ends, selects and integer . The zero-frequency solution is independent of , with a constant position and a term linear in time. Therefore the open-string mode expansion is
The canonical momentum density integrated over this interval is .
For Dirichlet boundary conditions, subtract the static interpolation between fixed endpoint positions and . The remaining field vanishes at both ends, selecting with integer and excluding a momentum worldsheet zero mode. The expansion is
Here . There is no factor in the sine series with this reality convention: changing to reverses both the sine and the denominator. These are the integer-mode expansion with parallel D-brane endpoints; they are not the half-integer modes of a coordinate with a Neumann condition at one endpoint and a Dirichlet condition at the other.
The endpoints can move on -dimensional worldvolumes but are fixed in the transverse directions. Thus these are open strings attached to D-branes, or stretched between parallel D-branes at and . The tangential momenta describe propagation on the brane; the transverse positions describe its embedding. Let . The linear spatial worldsheet zero mode contributes to . Quantization with string intercept one gives
The first term is also the square of the classical stretched-string energy , since the string tension is .
For two coincident D3-branes, label the ends of an oriented open string by . The four endpoint combinations give Chan-Paton factors , which form the full algebra of matrices. Under a change of brane basis these transform as , the adjoint action of . At , the first oscillator level is massless. Its tangential polarization supplies a four-dimensional vector , while the 22 transverse polarizations supply real adjoint scalar fields . This is the bosonic D3-brane low-energy field content.
The endpoint matrices multiply in their boundary order in disk amplitudes. The difference between the two orders in the three-vector interaction gives the matrix commutator; the kinematic factor is the one-derivative Yang-Mills theory cubic vertex. Factorization and the vector gauge redundancy then supply the quartic interaction with the same commutator. Equivalently, the leading low-energy action is the dimensional reduction of 26-dimensional Yang-Mills theory, with
For Hermitian scalar fields the last displayed term corresponds to a nonnegative potential, because their commutators are anti-Hermitian. Higher-derivative terms are suppressed at energies well below . Ignoring the tachyon, the gauge sector is four-dimensional Yang-Mills theory, accompanied by 22 adjoint scalar fields. It is not pure Yang-Mills theory, nor the supersymmetric six-scalar D3-brane theory of a ten-dimensional superstring.
Separate the two branes and use the D-brane scalar-position normalization
A Yang-Mills gauge transformation preserves this expectation value only when it is diagonal if . Thus the unbroken group is . The scalar field kinetic term supplies a mass for the off-diagonal vectors, since
Summing over gives , exactly the mass of the stretched string. The two diagonal gauge vectors remain massless. This identifies brane separation with an adjoint Higgs mechanism, rather than an explicit deletion of the off-diagonal strings.
For the ground state of an open string joining the two different branes, , so the bosonic stretched-string tachyon threshold is
At equality it is massless, and above it the stretched ground state has positive mass squared. The same-brane ground strings still have ; this calculation removes only the stretched-string instability, not the original instability of the bosonic branes.
Use natural units and the Minkowski metric . A massive spin-one particle has three physical particle polarizations, whereas a massless gauge boson has two. Giving a vector a mass must account for this extra longitudinal state while preserving a positive physical state space, controlled high-energy scattering and, if a fundamental perturbative theory is sought, renormalizability.
At the free-field level there is no inconsistency. The Proca action
gives the Proca equation . Taking its divergence gives , and then . For the divergence constraint removes one of the four components, leaving three positive-norm physical modes. The time component is constrained, rather than an independent negative-norm propagating oscillator. The mass term does, however, change under , so the ordinary massless gauge invariance is no longer manifest.
The difficulty becomes acute for generic interactions. Inverting the quadratic operator gives the Proca propagator
The longitudinal part approaches order at large momentum, rather than falling as . Thus the usual ultraviolet power counting deteriorates. There is a parallel external-state problem: for ,
Longitudinal external legs can generate powers of in a scattering amplitude. These are the high-energy obstruction for a hard vector mass. Conserved Abelian currents can remove dangerous contractions, so one should not conclude that every massive-vector interaction is impossible.
For a massive non-Abelian vector with gauge-like cubic and quartic couplings, cancellations among diagrams remove the largest powers, but without a suitable additional sector longitudinal scattering still grows like , where is the symmetry-breaking scale. A partial-wave coefficient is then of order . Partial-wave unitarity requires its real part to remain bounded, so perturbation theory fails at energies of order the electroweak scale times a modest loop factor, around the TeV scale for electroweak vectors. This is a limit on the perturbative description, not a proof that a low-energy massive-vector effective field theory is inconsistent.
The Higgs mechanism supplies a weakly coupled completion. For an Abelian example, take a complex scalar field with
Locally write . Its gauge-covariant kinetic term becomes
The combination is invariant under , . In unitary gauge , it contains with , as well as the correlated and interactions. The two original gauge polarizations and two real scalar components become three massive-vector polarizations and one radial Higgs boson. The would-be Goldstone boson supplies the longitudinal state. This counting explains why the Goldstone theorem for spontaneously broken global symmetries does not imply an extra physical massless particle here. Local gauge symmetry is a redundancy; choosing a Higgs background after gauge fixing does not explicitly break the gauge invariance of the action.
The extra scalar interactions also repair high-energy scattering. By the Goldstone-boson equivalence theorem, the leading longitudinal-vector amplitude can be computed using the would-be Goldstone bosons. For a charged-to-neutral channel in the linear scalar model, the scalar contact and radial-exchange terms give
This Higgs cancellation in longitudinal vector scattering removes the uncontrolled growth. It also shows why a very large scalar self-coupling would itself make perturbation theory unreliable; introducing a scalar is not a license to ignore partial-wave unitarity.
Although the unitary gauge propagator looks like the badly behaved Proca propagator, renormalizability is conveniently established in an R-xi gauge. Using Cartesian scalar fluctuations, the quadratic mixing is . The gauge-fixing term cancels it and gives
At fixed finite this falls as . The would-be scalar modes and Faddeev-Popov ghosts remain in intermediate calculations. Gauge identities, organized through BRST symmetry, make unphysical states cancel from physical amplitudes and constrain counterterms to the gauge-invariant renormalizable form. With a renormalizable scalar sector and cancellation of gauge anomalies, spontaneously broken gauge theory is renormalizable and unitary on its physical states; the bosonic construction is demonstrated in the original massive Yang-Mills renormalizability proof. The ultraviolet limit and limit do not commute, so the unitary-gauge numerator alone is not a valid disproof of this result.
In the Standard Model, a Higgs doublet breaks the manifest electroweak group from to . The scalar kinetic term yields
Three scalar directions supply the longitudinal polarizations of and , while the unbroken electromagnetic generator leaves the photon massless. The radial Higgs boson remains physical.
There is an important Abelian alternative. The Stueckelberg mechanism introduces a scalar with , invariant under , . With suitable conserved-current couplings this can describe a renormalizable massive Abelian gauge theory without a radial Higgs particle. A naive non-Abelian analogue involves a nonlinear group-valued scalar and derivative interactions suppressed by inverse powers of the symmetry-breaking scale; it is generally an effective field theory, not a power-counting-renormalizable substitute. Strongly coupled or composite sectors can provide other completions. A free vector mass is consistent; the central problem is obtaining the longitudinal state and its interactions in a theory with controlled ultraviolet behavior and physical unitarity.
The string nonlinear sigma model regards the target-space metric, the Kalb–Ramond field and the dilaton as couplings of the two-dimensional worldsheet theory. Schematically its Euclidean terms are
Quantization produces running background couplings and a possible worldsheet Weyl anomaly. Gauge-fixed matter bosons contribute central charge , while the reparameterization bc ghost system contributes in each chirality. In the critical flat background cancellation therefore requires . In a curved background, vanishing improved sigma-model beta functions further imposes field equations for . For example, the leading metric condition is
These are spacetime conditions because the couplings are functions of the embedding coordinates, not additional worldsheet coordinates.
The leading equations arise by varying the string-frame massless effective action
The factor is the sphere contribution in the string genus expansion. Higher sigma-model orders generate higher-derivative terms in the expansion; higher genera give string-loop corrections. Thus conformal consistency of the quantum worldsheet determines the low-energy target equations and their action. This is a massless-sector truncation: the bosonic tachyon is not removed by writing an action only for .
For a brane embedding , the D-brane worldvolume pullbacks are
The dilaton is evaluated at the embedding. When denotes the physical tension in a background with constant mode , the convention is , so in that vacuum. Equivalently one can use and a coefficient with the constant not already included. The physics is the same; the two conventions must not count that constant factor twice.
Several features motivate the Dirac-Born-Infeld action. Without gauge or two-form fields, it is the relativistic induced-volume action for a tensionful extended object. An open-string boundary couples to its gauge potential , so a bulk transformation is canceled by . Thus only can enter. For slowly varying constant field strength, the open-string disk partition function resums its dependence into the determinant; expansion gives the Maxwell kinetic term. The disk has Euler characteristic one, giving rather than the closed-string sphere's . Worldvolume covariance and the induced metric then combine these ingredients into the determinant expression.
Explicitly, in flat background and static gauge with transverse fluctuations , the weak-field expansion starts as
The linear term in the antisymmetric matrix vanishes; the quadratic term follows from expanding . Thus the DBI action contains both the scalar and gauge kinetic energies, while higher powers and derivatives are string-scale corrections.
For two coincident D-branes, an oriented open string has independent labels at its ends. Its Chan-Paton factors are the matrix units . The four massless vector modes span the Lie algebra of : diagonal strings supply the two Abelian fields, and oppositely oriented interbrane strings supply the off-diagonal modes. Joining strings multiplies these matrices, producing the non-Abelian commutators. Transverse vector polarizations become adjoint scalar fields. This is Coincident-D-brane gauge enhancement.
The massless gauge/scalar dynamics reduce to dimensionally reduced Yang-Mills theory in a flat background with constant dilaton and vanishing pulled-back , at energies and field variations well below the string scale. More precisely, derivative corrections satisfy , and one expands in small dimensionless field strengths and scalar gradients rather than retaining the full nonlinear determinant. Weak string coupling suppresses loop corrections. After subtracting the constant brane vacuum energy and using the scalar normalization fixed below, the coefficient is
A bosonic brane additionally has an open-string tachyon; the displayed action governs its massless sector and is not a stable complete truncation. For supersymmetric branes the corresponding leading action also has the massless fermions.
There is a sign qualification in the printed scalar potential. With the stated , take Hermitian and to mean the literal matrix product. Then dimensional reduction has
Consequently . The consistent low-energy action is
This is the Hermitian commutator potential in D-brane Yang-Mills theory. Its potential energy is , because a Hermitian-matrix commutator is anti-Hermitian. For a concrete check, take , with Pauli matrices. Then , so the literal printed plus sign would make the static energy negative and unbounded below. The printed plus sign is consistent only if its square denotes the positive norm , rather than a literal square. The gauge-boson mass calculation below uses the unambiguous kinetic terms.
In an ordinary separated-brane vacuum the scalar expectation values commute and can be simultaneously diagonalized:
Their eigenvalue vectors specify the transverse positions, up to the normalization to be determined. The trace encodes the center of mass; their difference encodes separation. When the two vectors coincide, every transformation commutes with the vacuum. When they are distinct, only independent diagonal phases do, so the unbroken group is . The off-diagonal vectors acquire mass by the Higgs mechanism.
Write the off-diagonal entries of as and and put . At a constant diagonal vacuum, , so
The quadratic off-diagonal gauge kinetic term is with , and the scalar kinetic term supplies . Comparing these with the complex massive-vector action gives
Here the term W-boson means this broken-generator vector, not specifically an electroweak particle. The normalization places the gauge coupling outside the action, so no extra multiplies these ; rescaling to canonically normalized scalar fields moves that coupling into the usual Higgs mass formula.
The corresponding open-string vector oscillator stretched over distance has classical stretching mass . Its unstretched mass contribution vanishes because it is the vector level, rather than the bosonic tachyon level. Equating it with the gauge-theory mass gives
The component relation follows by rotational covariance and a common choice of transverse origin; a uniform translation adds the same constant to both brane coordinates. This is the D-brane scalar-position normalization. Together with the string tension determined in Question 1, it fixes the exact normalization of scalar eigenvalues as brane positions.
A stable symmetry-breaking minimum requires and . Put . The common scalar potential can then be written, up to a constant, as
Its minima form the sphere . Choose the vacuum direction . If instead with positive , the minimum is at the origin and the assumed nonzero vacuum expectation value is not a stable vacuum of these models.
In the ungauged theory, the internal symmetry is global ; its connected part is . Constant orthogonal transformations preserve both the kinetic term and the potential. The chosen vacuum is invariant under acting on its first two components, so the continuous breaking is with two broken generators. The vacuum orientations are genuinely different degenerate global vacua.
The global triplet scalar symmetry breaking is visible directly in the fluctuation masses. Write . The potential Hessian is
The quadratic Lagrangian is therefore
There is one radial scalar of mass and two massless Goldstone bosons. The two Goldstone modes describe motion tangential to the vacuum sphere. They remain physical, since a global rotation has only constant parameters and cannot remove arbitrary spacetime-dependent fluctuations. All three original real-scalar degrees of freedom remain. Interactions persist: the shifted potential is , containing cubic and quartic terms. Masslessness of the angular modes is protected by the exact continuous symmetry through Goldstone's theorem.
In the gauged theory, the three-component real field is the vector representation of local , equivalently the Adjoint representation of . The center of acts trivially on this field, so both descriptions have the same local field content and perturbative spectrum. Take , for which . The covariant kinetic term and the gauge kinetic term are invariant under local transformations with the associated connection transformation. The scalar inversion , with the gauge field unchanged, is also a discrete invariance of the displayed action.
The vacuum leaves rotations about its third axis unbroken. The residual gauge group is , or the corresponding subgroup in the description. Expanding the covariant kinetic term about gives
Thus the gauge-boson mass matrix is . The third generator annihilates the vacuum, while the first two do not. The masses are , , and .
The quadratic derivative mixing displays what happens to the Goldstone fields. With the generator convention just chosen,
Local rotations can set the two angular fields to zero in unitary gauge. Then and
The two Goldstone modes supply the longitudinal polarizations of the two massive vector bosons. They do not survive as additional physical massless scalars. The radial scalar is still physical, and retains only two transverse polarizations. This adjoint triplet Higgs spectrum realizes the Higgs mechanism; the gauge group is only partially broken, so one massless gauge boson remains.
The degree-of-freedom check is
In contrast, the global theory has just the three scalar modes, including its two physical Goldstone bosons. A vacuum expectation value in the local theory is a choice of gauge-fixed description: the direction can be changed by gauge transformations and is not itself an observable. Gauge-independent masses and the physical degree count express the actual effect. Both theories retain Lorentz symmetry in the constant scalar vacuum.
A symmetry preserves the action, possibly up to a boundary term. In a classical field theory, this connects transformations of fields to conserved quantities. In a quantum field theory, it also constrains states, observables and scattering amplitudes. Continuous symmetries have Noether currents; discrete symmetries can be equally important without supplying a current through the same theorem.
For a local density depending on fields and their first derivatives, define and . Suppose a one-parameter transformation has fixed-coordinate variation and satisfies . The Noether's first theorem asserts that
For Grassmann-valued fields the derivatives and ordering are chosen consistently; the same integration-by-parts argument applies. To prove the theorem, expand the density variation and integrate its derivative term once algebraically:
Comparison with the assumed divergence gives . On shell every Euler-Lagrange expression vanishes. Integrating this continuity equation over space gives the Noether charge and . Thus is conserved whenever the boundary flux vanishes. Boundary conditions are part of the conservation statement; the local identity alone does not discard nonzero flux.
Translations illustrate the theorem in every relativistic field theory. For and , the current is , where
The four charges are energy and momentum. For the Klein-Gordon field they reduce to the expressions derived in Question 1. Lorentz invariance gives angular momentum and boost currents. With a symmetric improved stress-energy tensor, these are . The canonical Dirac expression also carries an intrinsic spin current; improvement incorporates it into the symmetric tensor. Together translations and Lorentz transformations form the Poincaré group.
Internal symmetries act on field components without moving spacetime points. The global phase symmetry of a complex scalar field, , has
Its charge distinguishes particles and antiparticles. A Dirac phase transformation gives . This is preserved by the real-scalar Yukawa interaction, because the phases of and cancel; consequently fermion number is conserved even while scalar and fermion particles interact. A multiplet of real scalars with a potential depending only on has orthogonal internal rotations. Their antisymmetric currents can be written .
Discrete examples include for an even real-scalar potential, parity symmetry in quantum field theory, and charge conjugation, which interchanges a complex scalar with its conjugate and reverses the electromagnetic potential. Discrete transformations are not generated by an infinitesimal continuous parameter, so Noether theorem does not attach a local conserved current to each of them. Nevertheless they forbid interaction terms and relate physical processes.
A global symmetry in field theory uses parameters constant across spacetime and can act nontrivially on physical states. A gauge redundancy allows arbitrary spacetime-dependent parameters and relates descriptions of the same physical configuration. In scalar electrodynamics, replacing the scalar's global phase by a local phase requires the compensating gauge transformation of and the gauge covariant derivative; the invariant contraction uses the opposite representation for . In Yang-Mills theory, matter transforms in a representation of a non-Abelian gauge group and the gauge potential transforms so that covariant derivatives and field strengths transform covariantly. Gauge fixing, such as Coulomb gauge, chooses representatives of these descriptions rather than changing physical predictions. The current-contracted propagator identity of Question 3 illustrates why a noncovariant gauge choice leaves scattering Lorentz invariant.
The arbitrary local parameter produces a stronger statement than one independent conserved charge for each function. For the abelian scalar transformation, vary the action with an arbitrary compactly supported and integrate its derivative term:
Therefore
This consequence of Noether second theorem, the Noether identity for abelian scalar gauge symmetry, holds off shell: gauge invariance makes the field equations dependent. In Hamiltonian language the same redundancy is reflected by the Gauss law constraint in gauge theory and the elimination of unphysical gauge degrees of freedom. Gauge transformations that vanish at the boundary are redundancies; transformations with nontrivial boundary behaviour can instead carry physical surface charges. This is why identifying every gauge transformation with a zero-charge operation would be too strong.
Finally, symmetry of the action need not imply symmetry of a chosen vacuum. For a complex scalar with a symmetry-preserving potential whose minima occur at nonzero , different constant phases label degenerate vacua. Choosing one breaks the global phase symmetry of the state; the Goldstone theorem supplies a massless mode under its usual relativistic assumptions. When the same phase is gauged, the Higgs mechanism describes the phase degree of freedom becoming the longitudinal polarization of a massive gauge boson; the local redundancy is still present in the underlying description. At the quantum level a classical symmetry can also fail through a quantum anomaly, so a classical Noether derivation alone does not guarantee an exact quantum Ward identity. Conserved charges, physical global transformations and local gauge redundancy are related but distinct consequences of symmetry.