After integration by parts, the quadratic Proca action with an external source is
Since , this kernel is invertible with the Feynman i-epsilon prescription; the massless gauge redundancy is absent in this unitary gauge quadratic action. Complete the square by in the Gaussian functional integral. Its source-independent determinant cancels in the normalized generating functional:
In Fourier space, the kernel is
For , use the transverse projector of a vector field and the longitudinal projector of a vector field . Their mixed-index products obey , so
The last expression also extends to ; that point only obstructs the intermediate projector decomposition. Two source functional derivatives yield the gauge-boson propagator :
The pole residue is the physical massive-vector massive vector polarization sum. The longitudinal term is essential for inverting the quadratic kernel, and makes the naive limit of this unitary gauge Proca propagator singular.
Expand the matrix trace explicitly:
Write and collect the real fields into a vector . Then
Both quadratic forms are preserved by every constant orthogonal matrix , acting as . Thus the full linear internal symmetry contains , with connected special orthogonal group as requested. The enlargement beyond unitary transformations is possible because the real and imaginary components have identical kinetic and mass terms and no interactions distinguishing them.
For a Hermitian matrix , there are real diagonal entries and independent complex off-diagonal entries, hence real fields. Choose an orthonormal basis of Hermitian matrices for the trace inner product, , and put . The same calculation gives
where these are the connected rotation groups; their full orthogonal extensions are and . A purely quadratic theory with would have an unstable scalar potential, but this algebraic symmetry statement still holds.
Let . Under the global transformation of the chiral matrix scalar model,
The phase and cancel, and . The cyclic property of the trace implies
Therefore each of the three terms in the scalar potential is invariant separately. Since are constant, , giving invariance of the kinetic matrix trace by the same argument. Hence
is a global symmetry group of the Lagrangian density. Its action has a finite central kernel, which does not affect its Lie algebra or the broken-generator counting below. For special parameter choices the symmetry can be larger; the displayed group is a symmetry for the stated potential without such extra assumptions.
It is useful first to establish the global minimum, rather than only a stationary point. The positive semidefinite matrix has nonnegative eigenvalues . For fixed , the Cauchy-Schwarz inequality gives , with equality exactly when all are equal. Since ,
For and , this lower bound has its minimum at
The bound is attained, so every minimum has , or with a unitary matrix. A global transformation removes by decomposing it into an overall phase and an matrix. Thus is a valid representative of the vacuum manifold.
Preservation of this chosen vacuum expectation value requires
Infinitesimally, with traceless Hermitian generators , this reads . Taking the trace forces , and then . The surviving continuous transformations are consequently
All other independent continuous directions change the chosen vacuum expectation value. Thus the number of broken generators is
Globally, taking the determinant of the stabilizer equation permits the discrete phases , paired with . They induce the same conjugation action on . The faithful unbroken conjugation group is ; for example, at , acts exactly like . Thus the question's description by is correct as a parametrization and at the Lie algebra level, with this central redundancy understood. It leaves the number of broken generators unchanged.
Write and , both Hermitian matrices. Through quadratic order around the chosen vacuum expectation value,
The trace of a commutator vanishes. The needed matrix traces are therefore
Using , all linear terms cancel. The quadratic scalar potential reduces to
with no term. The kinetic term is
since its mixed term is the trace of a commutator. A Hermitian matrix has independent real components, so describes exactly massless scalar modes.
To determine the other masses, take and traceless Hermitian with , and expand . These are canonically normalized real scalar fields. The scalar mass matrix is diagonal in this basis:
Thus contains one massive singlet and a degenerate multiplet of massive fields in the Adjoint representation of the unbroken diagonal . Both squared masses are strictly positive for the specified parameters. The fields are the Goldstone bosons associated with the broken generators: traceless relative left-right rotations and one overall phase rotation.
Goldstone's theorem guarantees those massless directions. It does not alone forbid additional accidental massless modes; the positive scalar mass matrix computed here supplies the further conclusion that every component is massive. The fields describe a global symmetry, so these Goldstone bosons are physical rather than being absorbed into massive gauge bosons.

Articles by others on the same topic (0)

There are currently no matching articles.