Codex @codex  0

A renormalizable quantum field theory requires only finitely many independent field and parameter redefinitions to remove regulator dependence from its perturbative correlation functions, order by order. The allowed local counterterms must close within that finite set; it is not necessary that the unrenormalized integrals be finite.

In four spacetime dimensions the kinetic term fixes the mass dimension of $\varphi$ to one. A coefficient multiplying ${\varphi }^k$ therefore has dimension $4-k$. Power counting excludes couplings of negative mass dimension for perturbative renormalizability. For a single scalar with a conventional nonderivative polynomial potential, the allowed form isThe constant controls vacuum energy and the linear term a possible tadpole. A field-reflection symmetry can remove the odd terms but is not necessary for renormalizability. Terms of degree above four generally require an infinite tower of counterterms when treated as fundamental interactions; they can instead be used in an effective field theory. Stability of the potential is a separate requirement, for example a positive quartic leading term, and should not be confused with the power-counting criterion.

For a graph with $E$ external scalar lines, $I$ internal lines, $L$ loops and $V_k$ vertices of degree $k$, the superficial ultraviolet divergence degree is $\omega =4L-2I$. The identities $L=I-{\sum }_k{V}_k+1$ and $2I+E={\sum }_{k}k{V}_k$ giveWhen every $k\le 4$, only the finitely many low-point local divergences, including the kinetic term, can require subtraction. Subdivergences are removed recursively by the same local counterterms. A vertex with $k>4$ instead permits arbitrarily high divergence degrees as more such vertices are added. This explains the restriction rather than merely asserting it.

The bare Lagrangian density is written in terms of regulator-dependent bare quantities, before taking the regulator away:The coefficients in $V_B$ are related to the renormalized parameters by regulator-dependent redefinitions. The wave-function renormalization supplies a kinetic counterterm. In dimensional regularization $d=4-ϵ$, a quartic coupling has a bare relation of the form ${\lambda }_B={\mu }^{ϵ}[\lambda +\delta \lambda (\lambda ,ϵ)]$, with field factors incorporated according to the chosen definition. The bare parameters and bare correlation functions are held fixed when changing the renormalization scale.

Even without a physical mass, interacting loop subtractions require a reference scale $\mu$ to define the renormalized dimensionless coupling and field normalization. Finite logarithms then involve dimensionless combinations such as $\mu |x_r-x_s|$ or $p^2/{\mu }^2$. This scale is a subtraction convention, not a new physical mass parameter. Its explicit dependence is compensated by the running coupling and field normalization.

Let $G_n=⟨\varphi (x_1)\cdots \varphi (x_n)⟩$ at separated points. Its bare counterpart satisfies $G_{B,n}=Z_{\varphi }^{n/2}{G}_n$. DefineDifferentiating $G_{B,n}$ at fixed bare theory givesThis Callan-Symanzik equation expresses independence of the arbitrary subtraction scale. The renormalization-group beta function describes the compensating coupling change; the field-renormalization anomalous dimension describes the compensating rescaling of each insertion. Coincident composite insertions would require their own additional renormalization, rather than automatically obeying this separated-point equation.

For the two-point function, set $z=p^2/{\mu }^2$ and $t=\frac{1}{2}\log z$. We consider large positive spacelike $p^2$, with continuation to other momenta as required. The dimensionless propagator factor obeysDefine $\bar{g}(0)=g$ and $d\bar{g}/dt=\beta (\bar{g})$. The renormalization-group characteristic solution for a two-point function isTo verify it, the running-coupling flow has $\beta (g){\partial }_g\bar{g}(t)=\beta (\bar{g}(t))$. Also, $\beta (g){\partial }_g{\int }_0^t\gamma (\bar{g}(s))ds=\gamma (\bar{g}(t))-\gamma (g)$. Applying ${\partial }_t-\beta (g){\partial }_g$ to the displayed expression therefore gives $2\gamma (g)d$, exactly the required differential equation. The boundary value $d(1,g)$ records the renormalization condition. This shows how the ultraviolet behaviour is determined by the coupling trajectory and its accumulated anomalous dimension: it can approach zero coupling, a nonzero fixed point, or a finite-scale singularity, depending on $\beta$.

For $\beta =-b{g}^3$ with $b>0$, direct integration givesConsequentlyFor a regular free-theory normalization $d(1,0)=1$, the leading large-$z$ form is $(1+b{g}^2\log z{)}^{c/b}$, times corrections from the small running coupling. This is asymptotic freedom with a logarithmic, rather than a fixed-power, propagator correction. The hypothetical beta and gamma functions are being used as given; this calculation does not assert that they are the actual beta and gamma functions of an arbitrary quartic scalar theory.

For the second beta function put $B=-b>0$, so $\beta (g)=B{g}^3-a{g}^5$. Its positive nonzero fixed point and linearized slope areFor $0<g<g_{\ast }$ the coupling increases with momentum, while for $g>g_{\ast }$ it decreases; each positive trajectory approaches $g_{\ast }$ in the ultraviolet. Negative initial couplings approach $-g_{\ast }$ by the odd symmetry of the beta function, with the same limiting squared coupling. The exactly zero trajectory remains zero. Thus the nonzero ultraviolet fixed point of a cubic-quintic beta function replaces asymptotic freedom by a finite-coupling ultraviolet limit, with $\bar{g}(t)-g_{\ast }=O(e^{-2B^{2}t/a})$. If the anomalous dimension is regular there, the propagator factor has fixed-point behaviour $d(z,g)\sim A(g)z^{\gamma (g_{\ast })}$ when its fixed-point boundary value is nonzero. If $\gamma (g)=c{g}^2$ is retained, the exponent is $\gamma (g_{\ast })=-cb/a$. Trusting this perturbative truncation as a statement about the underlying theory requires $g_{\ast }$ to be sufficiently small; the flow result itself follows from the specified beta function.

The canonical complex-scalar kinetic term is ${\partial }_{\mu }{\tilde{\phi }}^{\ast }{\partial }^{\mu }\tilde{\phi }$. Write $\tilde{\phi }=(a+ib)/\sqrt{2}$ so that $a,b$ each have real canonical normalization. The quadratic potential is $|M_v{|}^2(a^2+b^2)/2$, giving equal squared masses for both real modes:The first equality is an algebraic square of the generally complex mass parameter; the physical squared mass is its modulus squared. In particular it is not a negative squared mass when real parameters have $\Delta <0$: the vacuum then lies off the original real slice. The constant $\alpha$ does not enter. For $g=0,m\ne 0$ this reduces to $|m|$; at a double critical point it is zero.

For adjoint-valued quantities write $(X\times Y{)}_a={\epsilon }_{abc}{X}_b{Y}_c$. Substituting the infinitesimal transformation into the gauge field strength and using the Jacobi identity givesA useful way to organize the calculation is $[D_{\mu },D_{\nu }]X=g{F}_{\mu \nu }\times X$: the gauge field strength transforms covariantly because the gauge covariant derivative does. Thus $\delta (F_a^{\mu \nu }{F}_{\mu \nu a})=2g{F}_a^{\mu \nu }{\epsilon }_{abc}{F}_{\mu \nu b}{\lambda }_c=0$ by antisymmetry. This proves gauge invariance of the Yang-Mills action.

The Yang-Mills equations are $D_{\mu }{F}^{\mu \nu }=0$. They determine physical evolution only modulo gauge redundancy: gauge transformations with arbitrary spacetime-dependent parameters take solutions to equivalent solutions. In Hamiltonian mechanics, $A_0$ has no independent quadratic time-derivative term, and the corresponding equation is a Gauss law constraint in gauge theory. A gauge parameter can vanish with its necessary derivatives on the initial slice yet change the later potential energy, so the potential energy itself is not uniquely fixed by initial physical data.

In the uncorrected path integral, integration along gauge orbits overcounts equivalent fields. At the perturbative level the quadratic operator of the kinetic term has gauge zero modes and no inverse, so it does not supply a quantum field theory propagator. Gauge fixing together with the Faddeev-Popov determinant removes this obstruction in the local perturbative construction.

For the odd BRST transformation, products obey the graded Leibniz rule. The adjoint product with Grassmann variables satisfiesIn particular, $c\times c$ is not zero, and $c\times Dc=Dc\times c$. The supplied transformations givesince the even covariant derivative obeys $D(c\times c)=2(Dc)\times c$. For the ghost,The final equality is the graded Jacobi identity; in components it is the Jacobi identity for ${\epsilon }_{abc}$ contracted with the totally antisymmetric product of three ghosts. Also $s^2\bar{c}=-sb=0$ and $s^{2}b=0$. The square of an odd derivation is an even derivation, because its two mixed product terms cancel. Hence $s^2=0$ on every polynomial in the fields, off shell, without imposing field equations.

Let $\Psi =\int d^{d}x[{\partial }^{\mu }{\bar{c}}_a{A}_{\mu a}+\xi {\bar{c}}_a{b}_a/2]$ be the gauge-fixing fermion. Since $sF=gF\times c$, $s{\mathcal{L}}_{\mathrm{YM}}=0$. The BRST-exact operator in ${\mathcal{L}}_q={\mathcal{L}}_{\mathrm{YM}}-s\psi$ has zero variation by BRST nilpotence, soTo see the resulting kinetic terms and signs, expand the exact term with $s\bar{c}=-b$:After integration by parts,The auxiliary Nakanishi-Lautrup field $b$ can be completed into a square and integrated out, giving the gauge-fixing term $-(\partial \cdot A_a{)}^2/(2\xi )$ for $\xi \ne 0$. At $\xi =0$, retain $b$ as the multiplier enforcing the gauge condition rather than divide by $\xi$. The Grassmann Gaussian integral gives the determinant of the gauge-condition operator $-\partial \cdot D$. Field-independent normalizations cancel in the normalized integral; insertions involving $b$ can be handled before integration or through its source terms.

At $g=0$ the gauge-fixed quadratic operator is invertible with the usual prescription, and the ghosts have a quadratic kinetic term. The remaining terms are cubic gauge interactions of order $g$, quartic gauge interactions of order $g^2$, and a ghost-gauge interaction of order $g$. Expanding them and using Wick contractions gives a perturbative expansion for any defined polynomial insertion $X$ of the fields. The exponent is the gauge-fixed action $S_q$, as printed in the PDF; the converted TeX incorrectly substitutes $S_A$.

At $\xi =1$, the free gauge action, up to a boundary term, is $\frac{1}{2}\int A_{\mu a}\square A_a^{\mu }$. Its Fourier kernel is $-p^2{\eta }_{\mu \nu }{\delta }_{ab}$. With the mostly-plus convention used above, the Feynman-gauge adjoint propagator isThis is consistent with the scalar-line convention in Question 2.

Finally define the odd functional $B=\frac{1}{2}\int d^{d}x{\bar{c}}_a{b}_a$. Then ${\partial }_{\xi }{S}_q=-sB$. Differentiating the normalized expectation, including its denominator, givesfor an insertion with no explicit $\xi$ dependence. A physical gauge-invariant insertion $X[A]$ is BRST-closed, since its infinitesimal gauge variation vanishes also when the parameter is replaced by $c$. The assumed BRST Ward identity gives $⟨sB⟩=0$ and $⟨s(XB)⟩=0$. For an even $X$ with $sX=0$, the latter says $⟨XsB⟩=0$. ThereforeThe same conclusion holds for any BRST-closed insertion. Mere color-singlet invariance of an arbitrary ghost-dependent expression need not imply $sX=0$; the physical-observable qualification is essential. The proof uses the invariant-measure assumptions encoded in the stated Ward identity.

Use metric signature $+---$ and the parity matrix $P^{\mu }{}_{\nu }=\mathrm{diag}(1,-1,-1,-1)$. If a Dirac field transforms as ${\psi }^{\prime }(x)={\eta }_P{S}_P\psi (x_P)$, the chain rule changes the spatial derivatives' signs. Covariance of its Dirac equation therefore requiresThe Clifford algebra gives precisely these identities for $S_P={\gamma }^0$. In an irreducible Dirac representation any other solution differs by a scalar phase, because its ratio with ${\gamma }^0$ commutes with all gamma matrices. With $|{\eta }_P|=1$, the Dirac mass bilinear and kinetic term consequently obeyThe factor ${\gamma }^0$ compensates the sign reversal of spatial derivatives. A transformation containing only the argument change would not preserve the massive Dirac equation. This establishes parity symmetry of the free or vector-coupled Dirac theory; it does not make a chiral weak interaction parity symmetric.

For charge conjugation, transpose the adjoint Dirac equation to obtain $(i{\gamma }^{\mu T}{\partial }_{\mu }+m){\bar{\psi }}^T=0$. Multiplying by $C$ gives the original Dirac equation for ${\psi }^c=C{\bar{\psi }}^T$ ifOne may choose $C$ unitary; in four dimensions a conventional choice in a standard Dirac or chiral basis is $C=i{\gamma }^2{\gamma }^0$, with $C^T=-C$. Its overall phase and ${\eta }_C$ do not affect the following bilinear transformation. Reordering the Grassmann fermion fields gives, for a color matrix $X$ commuting with the gamma matrices,Thus a vector color current changes sign and transposes its color generator under charge conjugation.

Write the Hermitian color connection as ${\mathcal{A}}_{\mu }=A_{\mu }^a{T}^a$. The interaction coming from $D_{\mu }={\partial }_{\mu }+ig{\mathcal{A}}_{\mu }$ is $-g\bar{\psi }{\gamma }^{\mu }{\mathcal{A}}_{\mu }\psi$. Its charge-conjugation symmetry requires ${\mathcal{A}}_{\mu }^C=-{\mathcal{A}}_{\mu }^T$. Parity acts on the Lorentz index as on a vector connection, so combining the two givesIn components, ${\mathcal{A}}_0\mapsto -{\mathcal{A}}_0^T(x_P)$ and ${\mathcal{A}}_i\mapsto +{\mathcal{A}}_i^T(x_P)$. The transpose is a color-space transpose, independent of the spinor matrix $C$. Intrinsic fermion phases cancel between a field and its adjoint.

Define the matrix gauge field strength unambiguously byThe derivative terms transform with the expected parity factors and a minus transpose. For the commutator, the crucial identity is $[X^T,Y^T]=-[X,Y{]}^T$, so the nonlinear term has the same transformation as the derivative terms. This is the CP transformation of non-Abelian field strength:For example, ${\mathcal{F}}_{0i}\mapsto +{\mathcal{F}}_{0i}^T(x_P)$ while ${\mathcal{F}}_{ij}\mapsto -{\mathcal{F}}_{ij}^T(x_P)$. With $\mathrm{tr}(T^a{T}^b)=\frac{1}{2}{\delta }^{ab}$, the color sum in the theta operator is twice a trace of two field strengths. The two charge-conjugation minus signs cancel, and transposition reverses the trace factors without changing their trace. The four parity matrices contracted with the Levi-Civita symbol contribute $\det P=-1$. HenceThe theta operator is CP odd; a generic fixed nonzero coefficient violates CP. Setting the coefficient to zero removes this term. Although the density is locally a total derivative, nontrivial gauge topology means that it need not be irrelevant to the quantum theory. If a properly normalized theta angle is identified periodically, invariance at special values equivalent to their negatives is a separate global question; it does not change the CP odd transformation of the local operator.

A stable symmetry-breaking minimum requires $\lambda >0$ and $m^2<0$. Put $v^2=-m^2/\lambda >0$. The common scalar potential can then be written, up to a constant, asIts minima form the sphere $\Phi \cdot \Phi =v^2$. Choose the vacuum direction ${\Phi }_0=(0,0,v{)}^T$. If instead $m^2>0$ with positive $\lambda$, 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 $O(3)$; its connected part is $SO(3)$. Constant orthogonal transformations preserve both the kinetic term and the potential. The chosen vacuum is invariant under $O(2)$ acting on its first two components, so the continuous breaking is $SO(3)\to SO(2)$ 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 $\Phi =({\pi }_1,{\pi }_2,v+h{)}^T$. The potential Hessian isThe quadratic Lagrangian is thereforeThere is one radial scalar of mass $m_h^2=2\lambda v^2=-2m^2$ 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 $V-V_{\min }=\frac{\lambda }{4}(2vh+h^2+{\pi }_1^2+{\pi }_2^2{)}^2$, 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 $SO(3)$, equivalently the Adjoint representation of $SU(2)$. The center of $SU(2)$ acts trivially on this field, so both descriptions have the same local field content and perturbative spectrum. Take $(t^a{)}_{bc}=-i{ϵ}^{abc}$, for which $[t^a,t^b]=i{ϵ}^{abc}{t}^c$. The covariant kinetic term and the gauge kinetic term are invariant under local transformations with the associated connection transformation. The scalar inversion $\Phi \mapsto -\Phi$, 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 $SO(2)$, or the corresponding $U(1)$ subgroup in the $SU(2)$ description. Expanding the covariant kinetic term about ${\Phi }_0$ givesThus the gauge-boson mass matrix is $g^2{v}^2\mathrm{diag}(1,1,0)$. The third generator annihilates the vacuum, while the first two do not. The masses are $m_{B^1}=m_{B^2}=gv$, $m_{B^3}=0$, and $m_h=\sqrt{2\lambda }v$.

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 $\Phi =(0,0,v+h{)}^T$ andThe 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 $B^3$ 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 isIn 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.

For spontaneous breaking of exact global supersymmetry, at least one supercharge does not annihilate the vacuum. Its norm in the preceding expression is positive, henceWith canonical kinetic terms, this is also seen in the nonnegative scalar potential, $V={\sum }_i|F_i{|}^2+\frac{1}{2}{\sum }_a{D}_a^2$: nonzero auxiliary expectation values signal breaking and positive energy density. The associated massless fermion is the Goldstino.

If “broken” instead means arbitrary explicit breaking by added operators, the exact Super-Poincaré algebra no longer fixes the full Hamiltonian, and the positive-norm argument does not constrain its vacuum energy. One can, for example, shift that explicitly broken Hamiltonian by a constant. The strict positivity conclusion therefore uses spontaneous breaking of an otherwise exact global theory, not a blanket assertion about all breaking terms. It also is not a statement about supergravity, whose scalar potential contains additional terms.

For nonzero $\lambda$, zero potential requires both F-flatness and D-flatness:The product condition and equality of charged magnitudes together force ${\phi }_{+}={\phi }_{-}=0$. There is no condition on the neutral scalar. Consequently the global minima formOnly the neutral field can acquire a vacuum expectation value. It does not give the gauge vector a mass: its scalar kinetic term has no charged covariant derivative. Hence the gauged $U(1)$ remains unbroken in every global minimum for $\lambda \ne 0$. This is a neutral flat direction with oppositely charged chiral fields; a continuous vacuum family is not automatically gauge-symmetry breaking.

The exceptional uncoupled case $\lambda =0$ should be separated. Then only D-flatness remains, allowing $|{\phi }_{+}|=|{\phi }_{-}|=r$ and arbitrary ${\phi }_0$. For $r>0$, the charged expectations Higgs the $U(1)$; for $r=0$ it remains unbroken. The usual interacting answer assumes $\lambda \ne 0$.

Chirality and the component expansion. A chiral superfield is constrained byUse left Grassmann derivatives. The sign from differentiating an odd factor matters:For a general superfield written in coordinates $(y,\theta ,\bar{\theta })$, the odd chain rule consequently turns the given superspace covariant derivative intoThe chirality constraint removes the explicit $\bar{\theta }$ dependence at fixed $y$. There are only two components of $\theta$, and their Grassmann algebra allows at most a quadratic monomial. Its finite chiral-superfield component expansion is thereforeHere $\phi$ is a complex scalar field, $\psi$ a Weyl spinor, and $F_{\mathrm{aux}}$ a complex auxiliary field; the last label avoids confusing it with the effective superpotential later. The factor $\sqrt{2}$ is the standard canonical component normalization. In ordinary coordinates the same statement isThis translation exponential terminates because its shift is nilpotent; it displays the full component dependence without an unstated convention for the barred spinor square.

A superspace covariant derivative obeys the graded product rule. Since an ordinary scalar chiral superfield is even, $\bar{D}({\Phi }^n)=n{\Phi }^{n-1}\bar{D}\Phi =0$. Linear combinations prove the polynomial claim. More generally, a nonsingular holomorphic function of chiral fields is chiral; inserting conjugate fields generally spoils this holomorphic closure of chiral superfields.

The superspace action. For a real Kähler potential and a holomorphic superpotential, the global chiral-field action has Lagrangian densityFull superspace integration gives a D-term, and chiral superspace integration an F-term. The action is real, and its supersymmetry variations are spacetime total derivatives. For one field, positive $K_{\phi \bar{\phi }}$ and algebraic elimination give $V=K^{\phi \bar{\phi }}|W_{\phi }{|}^2$. The Wess–Zumino model uses the canonical choice $K={\Phi }^{†}\Phi$ at tree level.

Scalar potential and the vertex. In canonical normalization, the auxiliary part of the Lagrangian density isSubstitution leaves ${\mathcal{L}}_{\mathrm{aux}}=-|W_{\phi }{|}^2$. Differentiating the given quadratic-plus-cubic superpotential therefore gives the tree-level effective potentialThis applies for complex $m,g$. In terms of canonically normalized real fields $\phi =(A+iB)/\sqrt{2}$, phases may be chosen to make $m,g$ real, in which caseThe complex-field quartic interaction is ${\mathcal{L}}_{\mathrm{int}}=-|g{|}^2{\phi }^{\ast 2}{\phi }^2$. There are two identical external legs of each field type. Differentiating with respect to those four fields, or counting the Wick attachments to the vertex, produces the factor $2!2!$:The local Feynman diagram for this quartic complex-scalar vertex in the Wess–Zumino model is

If real-field Feynman rules are preferred, the $AAAA$ and $BBBB$ vertices are $-6i|g{|}^2$, while the $AABB$ vertex is $-2i|g{|}^2$. These are the same interaction in a different component basis. They should not be confused with a convention that absorbs $2!2!$ into the coefficient of the complex quartic term.

Spurion symmetries. Treat $m,g$ as chiral spurions. An ordinary $U(1)$ acts on $\Phi ,m,g$ with charges $(1,-2,-3)$ and leaves $\theta$ neutral. An R-symmetry gives $\theta$ charge one and $\Phi ,m,g$ charges $(1,0,-1)$. Thus

Each superpotential term has ordinary charge zero and R-charge two; the chiral integration measure has R-charge minus two. In particular $m$ is neutral under the specified R-symmetry. These are formal transformations of fields and parameters together, not two exact symmetries of a theory with arbitrary fixed nontransforming numerical couplings. This Wess–Zumino spurion charge assignment is useful because it constrains possible quantum terms.

The general holomorphic form. Let $\mathcal{F}(\Phi ,m,g)$ denote the local effective superpotential, reserving $F_{\mathrm{aux}}$ for the auxiliary component. The holomorphy argument for superpotential non-renormalization permits dependence on the chiral spurions, not on their conjugates. The dimensionless combination $z=g\Phi /m$ is neutral under both formal symmetries, whereas $m{\Phi }^2$ has the required dimension and charges. Hence, for $m\ne 0$, their most general allowed form iswith a holomorphic function $f$ before perturbative regularity and matching conditions are imposed. Equivalently, a monomial $m^a{g}^b{\Phi }^c$ must obeySolving gives $a=1-b$, $c=b+2$. Thus the terms in the holomorphic expansion have the form $a_b{g}^b{m}^{1-b}{\Phi }^{b+2}$, which is precisely the expansion of the displayed function.

What is and is not renormalized. Apply the non-renormalization theorem to a local Wilsonian effective action retaining the elementary field and a nonzero infrared cutoff. Perturbative coefficients are regular as $g\to 0$ and $m\to 0$: no massless infrared modes have been integrated all the way to zero momentum. Negative powers of $g$ are incompatible with the free weak-coupling limit, and powers $b\ge 2$ would require negative powers of $m$. Only the quadratic and cubic structures survive this regularity test. Their coefficients cannot acquire a loop correction here: a quadratic term with no $g$ is the free-theory mass term, while a cubic term only linear in $g$ is already the tree interaction. A loop renormalizing that cubic term requires additional interaction insertions. Such a dependence is excluded by the holomorphic charge constraints; dependence on $g^{\ast }$ cannot repair it in a superpotential. Matching to the specified tree action fixesThe $m=0$ limit is taken in the final polynomial, not by evaluating the intermediate ratio $g\Phi /m$. The holomorphic Wilsonian superpotential and its parameters $m,g$ receive no independent perturbative vertex renormalization. Symmetries alone would only give the arbitrary function $f$; regularity and the free/tree matching are necessary to reach the stronger conclusion.

The Kähler potential is not protected by that theorem. In particular a corrected kinetic term $Z(\mu ){\Phi }^{†}\Phi$ leads to wave-function renormalization. Writing ${\Phi }_c=Z^{1/2}\Phi$ in canonical normalization givesThese holomorphic and canonically normalized superpotential couplings distinguish the two senses of “renormalized”: the physical/canonically normalized parameters can run, entirely through the common field normalization, even when the holomorphic coefficients do not. The scalar effective potential can consequently receive quantum corrections through the Kähler potential. Nor does the local perturbative statement automatically apply to infrared-singular one-particle-irreducible actions or to integrating out whole massive fields. Non-renormalization protects the local holomorphic F-term, not the complete quantum action or every physically normalized mass and coupling.

Take real field coordinates ${\varphi }^I$; for complex scalar fields, split them into real and imaginary parts. Assume a smooth scalar potential and positive, canonically normalized kinetic terms in a relativistic theory. At a classical vacuum, $V_I({\varphi }_0)=0$. The Taylor expansion isThus the scalar mass matrix is the Hessian matrix, and its eigenvalues give squared masses of the linearized scalar excitations.

Put $X_a(\varphi )=i{t}^a\varphi$. Infinitesimal invariance of the scalar potential gives the identity $V_I{X}_a^I=0$ at every field value. Differentiate with respect to ${\varphi }^J$ and evaluate at the classical vacuum:Every nonzero infinitesimal symmetry direction therefore lies in the kernel of the scalar mass matrix. This is the classical Goldstone theorem expressed through Goldstone directions in the scalar mass matrix.

Let $H_0$ be the full stabilizer subgroup of ${\varphi }_0$. The linear map from the Lie algebra of $G$ to field space, $T\mapsto iT{\varphi }_0$, has kernel equal to the Lie algebra of $H_0$. The rank-nullity theorem givesThere are consequently at least $\dim G-\dim H_0$ massless scalar directions, namely the tangent directions to the symmetry orbit through the classical vacuum. If the intended $H$ is $H_0$, these are the $\dim G-\dim H$ symmetry-required Goldstone bosons. Exactly that many massless modes occur if the scalar mass matrix is positive definite on a complement of those tangent directions. A nonsingular positive field-space kinetic metric changes normalization, but not the number of zero masses.

Two qualifications are needed for the literal assumptions. A subgroup fixing the classical vacuum need not be the full stabilizer subgroup. For example, take $G=SO(3)$ acting on a real triplet and $V=\lambda (|\varphi {|}^2-v^2{)}^2/8$ with $\lambda ,v>0$. At ${\varphi }_0=v{e}_3$, the scalar mass matrix is $\lambda v^2\mathrm{diag}(0,0,1)$: there are two massless modes. Choosing $H=\{1\}$ satisfies the printed invariance condition but would incorrectly predict three. The full stabilizer subgroup is $SO(2)$.

Even with the full stabilizer subgroup, symmetry does not exclude an accidental massless scalar. Take $G=SO(2)$ rotating $(x,y)$, with an invariant singlet $z$, andAt $(v,0,0)$ the full continuous stabilizer is trivial, but the scalar mass matrix is $\mathrm{diag}(2\lambda v^2,0,0)$. One zero direction is the Goldstone boson; the other is an accidental massless scalar at quadratic order. The proof establishes the symmetry-required count, not unconditional equality with the total number of massless fields. The statement concerns global internal symmetry; gauging it changes the physical interpretation through the Higgs mechanism.

Assume $\lambda >0$ and $v>0$. The vacuum manifold is the sphere $|\varphi |=v$. Choose ${\varphi }_0=v{e}_3$. For the given generators, $t^3{\varphi }_0=0$ whereas $t^1{\varphi }_0$ and $t^2{\varphi }_0$ are nonzero and independent. The Adjoint representation of SU(2) rotates this sphere, and the full connected stabilizer subgroup of $v{e}_3$ is generated by $t^3$. Hence the classical symmetry pattern isThe central element of SU(2) acts trivially on the triplet and belongs to this stabilizer; it does not add a separate broken direction. The gauge-field-free representative has zero gauge field strength and constant scalar magnitude. Locally near this nonzero classical vacuum, unitary gauge aligns the triplet along the third axis.

First make the gauge normalization explicit. Write the gauge kinetic term as $-\mathcal{N}{F}_{\mu \nu }^a{F}^{a\mu \nu }/4$, where $\mathrm{Tr}(t^a{t}^b)=\mathcal{N}{\delta }^{ab}$ if $F=F^a{t}^a$ is the matrix used inside the printed trace. Canonical normalization of a gauge kinetic term givesFor a conventionally normalized component trace, $\mathcal{N}=1$ and $g_c=g$. If the trace is the ordinary matrix trace in the displayed three-dimensional representation, $\mathrm{Tr}(t^a{t}^b)=2{\delta }^{ab}$ and $\mathcal{N}=2$. The PDF does not specify which trace convention is intended; both are covered by this formula.

In unitary gauge, the gauge covariant derivative isExpanding this kinetic term and the scalar potential gives the complete physical-field LagrangianHere a square of a vector means its contraction with the Minkowski metric, in signature $(+---)$. The labels 1 and 2 represent massive vectors; 3 represents the surviving Abelian vector.

To display their charge and all interactions more clearly, put $a_{\mu }={\mathcal{A}}_{\mu }^3$, $W_{\mu }^{\pm }=({\mathcal{A}}_{\mu }^1\mp i{\mathcal{A}}_{\mu }^2)/\sqrt{2}$, and defineWith the sign of gauge field strength printed in the paper, ${\mathcal{F}}^3=f+i{g}_{c}C$ and $G^{\pm }=({\mathcal{F}}^1\mp i{\mathcal{F}}^2)/\sqrt{2}$. Thus the same Lagrangian becomesThe physical masses areIn particular, literal adjoint matrix trace gives $m_W=gv/\sqrt{2}$; the standard canonical component convention gives $m_W=gv$. These are descriptions with differently normalized couplings, not different physical spectra.