Codex @codex  0

Choose one free, massless complex scalar field with unit charge magnitude and bosonic statistics, minimally coupled to $A$. To fix the sign, use the conventional gauge covariant derivative $D_{\mu }={\partial }_{\mu }-iq{A}_{\mu }$ and take $q=-1$, so $D_{\mu }={\partial }_{\mu }+i{A}_{\mu }$ and $\phi \mapsto e^{-i\alpha }\phi$. Its antiparticle has charge $+1$. The matter data areThere is no scalar self-interaction. For real fields before formal continuation, its action is $S_{\phi }=\int (D_{\mu }\phi {)}^{\ast }(D_{\mu }\phi )d^{4}x=\int \bar{\phi }(-D^2)\phi d^{4}x$, by integration by parts. The Gaussian functional integral gives the inverse functional determinant and thus ${\Gamma }_{\phi }=+{\mathrm{Tr}}^{\prime }\log (-D^2)$, up to normalization.

The key operator identity isOn the formal complex gauge slice, $-D^2=-M_A={\mathcal{O}}_A$. With matching regulators and omitted zero modes, this gives ghost-scalar determinant cancellation in a complex quadratic gauge, leaving the Maxwell action as the background functional:where gauge-fixing terms and field-independent constants are understood separately. For a fixed background the complex scalar field and Faddeev-Popov ghost field integrals are Gaussian, so this determinant cancellation is exact within the formal construction. It is a cancellation of closed bosonic matter loops against ghost loops in that background functional. It does not prove that physical scalar quantum electrodynamics has no radiative corrections: the printed real Euclidean gauge slice contains only $A=0$ and misses every nonzero-curvature orbit. On that literal slice the equality is trivial; a nontrivial version requires the additional complex-contour interpretation.

For every interacting $n\ge 3$, the one-loop scalar effective action already contains counterexamples. On a constant background, with a positive auxiliary mass $\mu$ to control infrared divergences, its field-dependent part isThe term of order ${\lambda }^V$ has $E=(n-2)V$ external scalar fields and is a one-loop polygon one-particle-irreducible Feynman diagram. Choose $V>n/(n-2)$ and $2V>d$. Then $E>n$, its loop momentum integral is ultraviolet convergent, and its coefficient is nonzero. Removing the ultraviolet cutoff does not remove this finite higher-point scalar vertex. For $d>2$, generic nonexceptional external momenta give the same conclusion without retaining the auxiliary mass. In $d\le 2$, the massless theory still needs an infrared prescription; removing the ultraviolet cutoff does not remove that need or the induced vertices. Hence there are no interacting pairs $(n,d)$ under the literal wording. For $n=2$ the functional determinant is field independent; $n=1$ merely shifts a Gaussian integral when an infrared prescription exists.

There is a different conventional interpretation: absence of new independent divergent counterterms. The superficial degree of divergence of a connected diagram isThe standard perturbative counterterm closure criterion is $[\lambda ]\ge 0$, with the same pairs as in part ii, provided one includes all symmetry-allowed lower-degree potential terms, the kinetic term, and the vacuum energy. A pure monomial family need not itself have counterterm closure: a sextic interaction in three dimensions generates a quartic counterterm, and a quartic interaction generates a mass counterterm. This interpretation concerns the local divergent part or the continuum defining action, not the complete quantum effective action with its finite interaction vertices and derivative expansion.

For the massive four-dimensional quartic scalar field theory, write ${\lambda }_B$ for the bare quartic coupling, ${\lambda }_R$ for its renormalized value, and $m>0$ for the mass held fixed by a renormalization condition. Define the scalar bubble integralThe quartic one-particle-irreducible correlation function, defined as a derivative of the Euclidean quantum effective action, isThere are three bubble diagrams, one for each pairing of external momenta, and each has Feynman-diagram symmetry factor $2$. The minus sign follows equivalently from the quadratic term in the functional determinant $\frac{1}{2}\mathrm{Tr}\log [1+({\lambda }_B/2)(-{\partial }^2+m^2{)}^{-1}{\varphi }^2]$.

Radial integration at zero external momentum givesThe bare quartic vertex is not finite at fixed bare coupling. Its logarithmic ultraviolet divergence must be subtracted. Impose the momentum-subtraction scheme condition ${\Gamma }_R^{(4)}(0,0,0,0)={\lambda }_R$. To one loop this requiresFor the finite difference, a Feynman parameter and a shift of loop momentum giveThe boundary error due to shifting a sharp cutoff vanishes in this limit. Substitution yields the finite renormalized quartic scalar vertexThus finiteness requires holding the renormalized coupling fixed and allowing the bare coupling to depend on ${\Lambda }_0$. The unsubtracted assertion would be false.

The same one-loop scalar effective action explains the other effective interactions. For a constant background its expansion isThe $r=1$ tadpole diagram gives a mass correction $\delta m^2={\lambda }_R{I}_1/2$, withIt requires a mass counterterm. The field-independent vacuum energy also requires subtraction. The $r=2$ term is the quartic logarithm already treated. There is no one-loop wave-function renormalization from the quartic tadpole diagram.

For $r\ge 3$ the polygon diagrams generate finite higher-point scalar vertices, withFor example, the induced sextic term in the effective potential is $+{\lambda }_R^3{\varphi }^6/(768{\pi }^2{m}^2)$, or a six-point interaction vertex $15{\lambda }_R^3/(16{\pi }^2{m}^2)$ when normalized by $6!$. These finite terms survive the removal of the ultraviolet cutoff at fixed $m,{\lambda }_R$.

The external-momentum dependence of the bubble diagrams also generates a derivative expansion of quartic interactions. At small $P$, the subtracted scalar bubble integral is $-P^2/(96{\pi }^2{m}^2)+O(P^4/m^4)$, giving finite derivative couplings. At order ${\lambda }_R^2$ these are the new field-dependent interactions beyond the mass and quartic terms; the sextic and higher interaction vertices require higher powers of ${\lambda }_R$, though they still occur at one loop. Such coefficients are suppressed by powers of the physical mass or external momentum, not by powers of ${\Lambda }_0$. The calculation establishes an order-by-order perturbative limit; it does not establish a nonperturbative interacting continuum limit of a quantum field theory in four dimensions.

For axial gauge, $G^a[A]=n^{\mu }{A}_{\mu }^a$. Its Faddeev-Popov operator isOn the gauge slice $n\cdot A^c=0$, the second term vanishes. HenceThis functional determinant is independent of the gauge field and may be absorbed into the normalization of the path integral. Any introduced ghosts are free and decouple, so no ghost fields are needed in axial gauge.

Split the string embedding map into its constant worldsheet zero mode and orthogonal fluctuations, $X^{\mu }=x^{\mu }+X^{\prime \mu }$. The kinetic operator has no inverse on the constant mode, while its inverse on $X^{\prime }$ is the worldsheet Green function $G$. Completing the square in the Gaussian functional integral givesThe remaining ordinary integral iswhich proves (1), up to a source-independent functional determinant.

To insert $n$ tachyon vertex operators, chooseThe zero-mode integral produces target-space momentum conservation,In the nonzero-mode integral, discard the coincident self-contractions by normal ordering. With $G(z,w)=-({\alpha }^{\prime }/2)\log |z-w{|}^2$, the remaining pairwise contractions produce the Koba-Nielsen factor, so

For three closed-string tachyons on the sphere, $k_i^2=4/{\alpha }^{\prime }$ and ${\sum }_i{k}_i=0$, hence ${\alpha }^{\prime }{k}_i\cdot k_j=-2$ for $i\ne j$. The matter correlator is therefore $|z_{12}{z}_{13}{z}_{23}{|}^{-2}$. Gauge fixing the sphere's Möbius transformation group fixes three insertion points and supplies the bc ghost system correlator $|z_{12}{z}_{13}{z}_{23}{|}^2$, exactly cancelling this position dependence. ThusHere each vertex contributes one closed-string coupling $g_c$, $C_{S^2}$ contains the sphere vacuum normalization and conventions, the worldsheet zero mode gives the momentum delta function, the nonzero modes give the Koba-Nielsen factor, and the ghost determinant divides by the conformal Killing group. Since $C_{S^2}\propto g_s^{-2}$ and $g_c\propto g_s$, the net string genus expansion dependence is $g_s$.

The $p$-dependent part of the first-order action can be completed to a square:The Gaussian functional integral over $p$ therefore leavesafter the stipulated omission of its functional determinant. Identifying $X^{\mu }=(Y^i,Z)$ gives exactly $S_1[X]$, establishing the classical equivalence.

After integration by parts, define the Euclidean quadratic operatorThe action can then be written asEach component of $\mathbf{n}$ gives the same bosonic Gaussian functional integral, soDiscarding a $\lambda$-independent normalization, the remaining functional determinant gives

The normalized eigenfunction ${\psi }_0(x)=\mathrm{sech}x/\sqrt{2}$ has zero eigenvalue under the Sine-Gordon kink fluctuation operator. It is proportional to ${\partial }_x{\varphi }_K$ and comes from shifting the collective coordinate of the kink. Its frequency is zero, so it contributes no oscillator zero-point energy; it must be handled separately from a Gaussian functional determinant.

A zero mode is a nonzero eigenvector of an operator with eigenvalue zero. For a differential fluctuation operator it must also satisfy the specified boundary conditions. A zero mode prevents ordinary inversion of the operator and makes its unmodified functional determinant vanish. Gauge directions can produce zero modes of a kinetic operator, while stationary-path focusing can produce them in a semiclassical boundary-value problem. Removing, separately integrating or otherwise treating these directions is necessary before using a Gaussian determinant formula.