Codex @codex  0

The affine current algebra is the one-dimensional central extension of the loop algebra of a finite-dimensional Lie algebra, with central element acting as the level $k$. A restricted module has $J_{n}v=0$ for all sufficiently large $n$ for each vector $v$; this makes the Sugawara construction finite on each vector after normal ordering. In a compact unitary positive-energy representation, the nontrivial integrable levels are positive integers in the standard basic normalization.

In a Dirac field mode expansion, the antiparticle contribution to $\bar{\psi }\Gamma \psi$ first appears with operator order $d{d}^{†}$. Normal ordering changes it to $-d^{†}d$ using the fermionic anticommutation relations. Thus its scattering coefficient is $-{\bar{v}}_{\mathrm{in}}\Gamma v_{\mathrm{out}}$. Pair-annihilation and creation terms have the operator orders $db$ and $b^{†}{d}^{†}$. Keeping these orders and a fixed external-state convention determines interference signs, especially between exchange and annihilation graphs in a Yukawa interaction.

For RNS string matter normalized by $[{\dot{X}}^{\mu }(\sigma ),X^{\nu }({\sigma }^{\prime })]=-i\pi {\eta }^{\mu \nu }\delta (\sigma -{\sigma }^{\prime })$ and $\{{\psi }_1^{\mu }(\sigma ),{\psi }_1^{\nu }({\sigma }^{\prime })\}=\pi {\eta }^{\mu \nu }\delta (\sigma -{\sigma }^{\prime })$, put $A={\partial }_{+}X$ and $J={\psi }_1\cdot A$. Then $[A^{\mu }(\sigma ),A^{\nu }({\sigma }^{\prime })]=(i\pi /2){\eta }^{\mu \nu }{\partial }_{\sigma }\delta (\sigma -{\sigma }^{\prime })$. The noncentral part of $\{J(\sigma ),J({\sigma }^{\prime })\}$ is $\pi \delta A^2+(i\pi /2){\partial }_{\sigma }\delta {\psi }_1(\sigma )\cdot {\psi }_1({\sigma }^{\prime })$. The distributional derivative identity $f(\sigma ,{\sigma }^{\prime }){\delta }^{\prime }=f(\sigma ,\sigma ){\delta }^{\prime }+({\partial }_{{\sigma }^{\prime }}f)(\sigma ,\sigma )\delta$, with a vanishing coincident Grassmann bilinear, converts this to $\pi \delta {\theta }_{++}$. Use the chiral equation of motion to identify ${\partial }_{\sigma }{\psi }_1={\partial }_{+}{\psi }_1$. Quantum normal ordering adds a central contact term proportional to ${\delta }^{\prime \prime }$, the local form of the N=1 super-Virasoro algebra central extension.

For normal ordering of a fermion bilinear, charge conjugation sends $\bar{\psi }\Gamma \psi$ to $\bar{\psi }(C^{-1}\Gamma C{)}^T\psi$. In particular the Dirac current is odd and the axial current is even under charge conjugation.

With the oscillator symplectic form of an open string, the quadratic generators $L_n={\sum }_k{\alpha }_k\cdot {\alpha }_{n-k}/2$ obey $\{{\alpha }_k,L_n\}=-ik{\alpha }_{k+n}$. Their Poisson brackets close without a central term, so they are first-class constraints. Quantization requires normal ordering and can produce the Virasoro central extension.

For the connected tree scattering amplitude of one particle and one antiparticle of a complex scalar field, the Dyson series inserts $-i\lambda {\varphi }^{†2}{\varphi }^2/4$. There are $2!$ assignments of the particle and antiparticle external attachments to each pair of identical field factors, giving $2!2!=4$ and hence the displayed Feynman vertex. With relativistic normalization of a one-particle state, integrating the vertex position gives $i\mathcal{T}(2\pi {)}^4{\delta }^4(p_1+q_1-p_2-q_2)$ with $\mathcal{T}=-\lambda$. Vacuum diagrams and one-particle self-energy insertions are separate disconnected contributions; normal ordering eliminates the single-vertex vacuum and tadpole contractions.

With $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, a free real scalar field has mode expansion of a free field $\varphi =\int d{\Pi }_p(a{e}^{-ipx}+a^{†}{e}^{ipx})$ and commutator $[a(p),a^{†}(q)]=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$. Substitution into the quadratic Hamiltonian density gives $H=\frac{1}{2}\int d{\Pi }_p{E}_p(a^{†}a+a{a}^{†})$. The terms with two annihilation operators or two creation operators cancel by $E_p^2={\mathbf{p}}^2+m^2$. Normal ordering removes the constant vacuum energy. The commutators $[H,a(p)]=-E_{p}a(p)$ and $[H,a^{†}(p)]=E_p{a}^{†}(p)$ give the boson energy without changing under this subtraction. Replacing $a(p)$ by $\sqrt{2E_p}c(p)$ recovers the noncovariant normalization $[c(p),c^{†}(q)]=(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$.

The scattering phase shift $\delta (k)=2\arctan (m/k)$ of the Sine-Gordon kink fluctuation operator gives a continuum frequency sum. In mode-number regularization of soliton masses, the zero-frequency translation mode replaces the vacuum oscillator at $k=0$. The bare difference is $-m/2-(2\pi {)}^{-1}{\int }_0^{\Lambda }\delta (k)k/\sqrt{k^2+m^2}dk$. Integration by parts cancels the lower endpoint against $-m/2$ and produces the displayed upper surface term. Although $\delta (\Lambda )$ vanishes, its product with $\omega (\Lambda )$ tends to $2m$. Vacuum normal ordering cancels the logarithmic bulk ultraviolet divergence, leaving this finite one-loop soliton mass correction. Parameters and finite counterterms must be fixed by a stated renormalization condition.

The historical interpretation fills the negative-energy electron states of the Dirac equation and uses the Pauli exclusion principle to prevent additional electrons from falling into them. Removing an electron of energy $-E$ and charge $-e$ gives a hole of excitation energy $E$ and charge $+e$, interpreted as a positron. A quantum field theory instead treats negative-frequency field coefficients as independent antiparticle creation operators in a Fock space, with positive excitation energies after normal ordering. No literal infinite material sea is needed. Bosonic antiparticles also exist, although a filled-sea exclusion argument cannot stabilize bosonic negative-energy levels.

Particle operators obey a rapidity-dependent exchange rule $A_i({\theta }_1)A_j({\theta }_2)=S_{ij}^{kl}({\theta }_1-{\theta }_2)A_l({\theta }_2)A_k({\theta }_1)$, with repeated species indices summed. A consistent associative algebra must give the same coefficients when a triple product is brought to decreasing or increasing rapidity order by either sequence of adjacent exchanges. This is the Faddeev-Zamolodchikov associativity constraint. Rapidity ordering here is distinct from the creation/annihilation convention of ordinary normal ordering.

For constant internal matrices acting on Dirac fields, the equal-time canonical anticommutation relations givewith the corresponding spatial delta functions for fields. The quartic terms cancel after fermion reordering. Integrating proves the displayed algebra for well-defined global Noether charges, with normal ordering and a regulator that preserves the nonanomalous internal symmetry. Orthogonal chiral projectors make the left/right mixed commutators zero. This reduces current-charge closure to a finite matrix calculation.

For $d$ free target coordinates, normal ordering of $L_m={\sum }_n:{\alpha }_{m-n}\cdot {\alpha }_n:/2$ gives a matter central charge $d$. On the formal zero-momentum vacuum, the double contractions yield $⟨L_m{L}_{-m}⟩=(d/2){\sum }_{r=1}^{m-1}r(m-r)=d(m^3-m)/12$. Two target-metric contractions give ${\eta }_{ab}{\eta }^{ab}=d$, so timelike target coordinates do not subtract from this central charge. Transverse-only and covariant generators must not be confused.

Insert the real scalar field mode expansion into its quadratic Hamiltonian density and use the Fourier representation of the Dirac delta function. The two-annihilator and two-creator terms cancel by $E_{\mathbf{p}}^2={\mathbf{p}}^2+m^2$. The remaining symmetric expression is $H=\frac{1}{2}\int d^{3}p{E}_{\mathbf{p}}(a^{†}a+a{a}^{†})/(2\pi {)}^3$. Normal ordering removes its constant vacuum energy, yielding the displayed operator. The canonical commutation relations give $[:H:,a_{\mathbf{p}}]=-E_{\mathbf{p}}{a}_{\mathbf{p}}$ and $[:H:,a_{\mathbf{p}}^{†}]=E_{\mathbf{p}}{a}_{\mathbf{p}}^{†}$.

Contracting an antighost with the cubic FP ghost term of the BRST operator produces the bilinear generators. They give $[L_m,b_n]=(m-n)b_{m+n}$ and $[L_m,c_n]=-(2m+n)c_{m+n}$. Their zero-mode additive constant depends on the vacuum and normal ordering convention; it must agree with the corresponding $c_0$ term in the charge.

A Nambu spinor groups an annihilation operator with an opposite-momentum creation operator to express pairing in a quadratic Hamiltonian as a matrix problem. Its components are not independent: the spinor at $-k$ is related to conjugated components at $k$. This redundancy must be accounted for when summing energies and normal ordering constants. Component phases are a convention and change the displayed off-diagonal matrix entries.

For a canonically quantized real scalar field, the quadratic Hamiltonian contains $\frac{1}{2}{\sum }_{\mathbf{p}}{E}_{\mathbf{p}}$ in a regulated box. Normal ordering subtracts this zero-point energy, leavingThe vacuum momentum is zero with an inversion-symmetric regulator. The canonical commutation relation then gives $[P^{\mu },a_{\mathbf{p}}^{†}]=p^{\mu }{a}_{\mathbf{p}}^{†}$, identifying the momentum and energy added by one particle. The un-subtracted energy differs by a constant and is not literally the same operator.

Spatial integration of the free Hamiltonian density cancels particle-antiparticle pair terms through $E_p^2-{\mathbf{p}}^2-m^2=0$. The raw Hamiltonian is $\int d{\Pi }_p{E}_p(a^{†}a+b{b}^{†})$. Normal ordering removes the field-independent vacuum energy and gives $H=\int d{\Pi }_p{E}_p(a^{†}a+b^{†}b)$. Both creation operators increase the energy by $E_p$, so a negative-frequency field mode represents a positive-energy antiparticle, not a negative-energy state.

Treat $\varphi ,{\varphi }^{†}$ as independent variables when taking the Legendre transform. Their canonical momenta areThe canonical quantization of a complex scalar field imposes, at equal times,with $[\varphi ,{\varphi }^{†}]=[\varphi ,\varphi ]=[\pi ,{\pi }^{†}]=[\pi ,\pi ]=0$, together with their adjoints, and $[\varphi ,{\pi }^{†}]=[{\varphi }^{†},\pi ]=0$. These are canonical commutation relations for two real scalar degrees of freedom, written in a complex basis. Local fields are operator-valued distributions, so these identities are understood after smearing or with a regulator.

The Hamiltonian density is $\pi \dot{\varphi }+{\pi }^{†}{\dot{\varphi }}^{†}-\mathcal{L}$, givingThe Heisenberg equation of motion is $\dot{O}=i[H,O]$. For example, $i[\int {\pi }^{†}\pi ,\varphi ]={\pi }^{†}$, while commuting $\pi$ with the gradient term and integrating its derivative of a Dirac delta distribution gives ${\nabla }^2{\varphi }^{†}$. ThusBoth fields satisfy the Klein-Gordon equation. Their spatial Fourier modes therefore have frequencies $\pm E_p$, $E_p=\sqrt{{\mathbf{p}}^2+m^2}$. A complex scalar field has independent coefficients for these two frequency sectors, so, defining the invariant measure $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, its mode expansion isOne can recover the mode operators at any fixed time using complex scalar mode inversion:Substitution of the expansion verifies these inverses: the spatial integral selects the appropriate momentum, while the two frequency sectors acquire factors $E_p\pm E_q$. The unwanted sector vanishes when the delta function sets $E_p=E_q$. The canonical commutation relations then give, for example,Likewise $[b(p),b^{†}(q)]$ has the same value. The cross commutators vanish; their coefficients contain $E_p-E_q$ on the corresponding momentum delta function. Conversely, these oscillator brackets reproduce the equal-time field brackets, confirming the normalization of the measure.

Insert the mode expansion into $H$ and integrate over space. The terms $a^{†}{b}^{†}$ and $ba$ enforce opposite spatial momenta; their coefficient is $-E_p^2+{\mathbf{p}}^2+m^2=0$. For the diagonal terms the coefficient is $E_p^2+{\mathbf{p}}^2+m^2=2E_p^2$. Combining this with the two invariant measures leavesIn a box, $E_0={\sum }_{\mathbf{p}}{E}_p$, one half-quantum for each of the two real oscillator species. It diverges as the cutoff is removed. Normal ordering removes this vacuum energy, yielding the normal-ordered Hamiltonian of a free complex scalar field:In this nongravitational free theory an additive constant in $H$ changes only an overall state phase, not Heisenberg equations of motion, energy differences or scattering probabilities. It is therefore consistent to choose the Fock vacuum energy as zero. Both creation operators raise the energy: $[H,a^{†}(p)]=E_p{a}^{†}(p)$ and $[H,b^{†}(p)]=E_p{b}^{†}(p)$. Repeated creation builds a bosonic Fock space of spin-zero particles and antiparticles, with the same positive mass and energy. The negative-frequency part of the field does not describe negative-energy physical particles.

The global phase symmetry of a complex scalar field, with orientation $\varphi \mapsto e^{-i\alpha }\varphi$, has the indicated Noether current. Taking its divergence, the two first-derivative terms cancel, givingThe same calculation holds for its normal-ordered version. Integrating its temporal component gives a conserved charge when spatial boundary flux vanishes.

Here the ordering convention is important. Direct substitution into the literally ordered product $i\int ({\varphi }^{†}\dot{\varphi }-{\dot{\varphi }}^{†}\varphi )d^{3}x$ yieldsThe pair terms again vanish, now because their coefficient is a difference of equal energies. Reordering the $b$ term produces a divergent vacuum constant: with a finite-mode regulator $Q_{\mathrm{bare}}=N_a-N_b-N_{\mathrm{modes}}$. Thus the requested finite charge formula uses zero vacuum charge, or equivalently the vacuum subtraction of a complex scalar charge. With that conventional subtraction,The subtraction changes neither current conservation nor the action of $Q$ on fields; without it, the unrenormalized product does not literally equal the displayed normal-ordered operator.

Finally the oscillator commutators giveor $\boxed{Q{a}^{†}=a^{†}(Q+1),Q{b}^{†}=b^{†}(Q-1)}$. Acting on a charge eigenstate, the first creator raises its charge by one and the second lowers it by one. Starting from the neutral Fock vacuum, their one-particle states therefore have charges $+1$ and $-1$ respectively. This is the complex scalar charge operator $N_a-N_b$, whereas the energy counts the sum of the two occupations. A multiparticle state has additive charge equal to the number of particles minus the number of antiparticles.

The real scalar field has canonical momentum $\pi =\dot{\varphi }$. Its Legendre transform givesThe first three terms constitute $H_0$, the free massive Hamiltonian operator. The remaining term is $H_I=\lambda \int {\varphi }^4{d}^{3}x/4!=-\int {\mathcal{L}}_I{d}^{3}x$. This sign is a consequence of having no time derivatives in the interaction: the canonical momentum is unchanged, while the interaction enters the Hamiltonian density with the opposite sign to the Lagrangian density.

In the interaction picture, operators evolve with $H_0$ and states evolve with $H_I(t)$ constructed from the free interaction-picture field. Their evolution operator satisfiesIntegrating once gives $U_I=I-i{\int }_{t_0}^t{H}_I(t_1)U_I(t_1,t_0)d{t}_1$. Repeated substitution orders the integrations as $t\ge t_1\ge \cdots \ge t_n\ge t_0$. Replacing the ordered simplex by the full integration cube introduces $1/n!$ and a time-ordered product, which proves the Dyson seriesTaking the asymptotic limits with the usual adiabatic or regulated scattering prescription yieldsThe field in this expression is the free field evolving in the interaction picture, not an independently prescribed classical field. For quantum fields the expansion is a regulated perturbation series; the time-ordering symbol cannot be dropped because the operators at different times need not commute.

Use relativistically normalized two-particle states $|p_1,p_2⟩=a^{†}(p_1)a^{†}(p_2)|0⟩$, with $⟨p|q⟩=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$. The connected first-order scattering contribution isHere the connected S-matrix uses a normalized vacuum and physical external one-particle states. At this order, normal ordering the vertex separates the four-external-leg contribution from vacuum and tadpole pieces; those disconnected or external-mass contributions are not the two-to-two scattering amplitude.

Two fields annihilate the incoming particles and two create the outgoing ones. There are $\left(\genfrac{}{}{0ex}{}{4}{2}\right)$ choices of the annihilating fields, two assignments of the incoming momenta and two assignments of the outgoing momenta. Hence the total factor is $\left(\genfrac{}{}{0ex}{}{4}{2}\right)2!2!=4!$, the external-leg factorial cancellation at a quartic scalar vertex. Each attachment contributes its plane-wave factor, soThe spacetime integral is the four-momentum conservation delta function, givingIn particular, the tree scattering amplitude is independent of angle.

For completeness, derive the relativistic two-body phase space in the centre-of-mass frame. Write $\sqrt{s}=2E_{\ast }$, $p_{\ast }^2=E_{\ast }^2-m^2$. The spatial delta function sets the two final momenta opposite, and the energy delta function is $\delta (\sqrt{s}-2\sqrt{p^2+m^2})$. Its radial Jacobian is $E_{\ast }/(2p_{\ast })$. ThusThe invariant flux factor is $\mathcal{F}=4p_{\ast }\sqrt{s}$ for equal initial masses. Using $d\sigma =|T{|}^{2}d{\Phi }_2/\mathcal{F}$, the labeled angular density is ${\lambda }^2/(64{\pi }^{2}s)$. The outgoing quanta belong to one real scalar field, so they are identical. A full-sphere integration counts each event twice and requires the identical final-state symmetry factor $1/2!$. ConsequentlyEquivalently one may integrate the labeled density over a hemisphere representing each event once. The final-state factor is separate from the vertex factorial: applying it at the vertex instead would give the wrong elastic scattering from a quartic scalar contact interaction cross-section.

Use units $\hslash =c=1$ and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. The canonical momentum of the real scalar field is $\pi =\partial \mathcal{L}/\partial \dot{\varphi }=\dot{\varphi }$. Canonical quantization replaces the classical fields by operator-valued distributions and imposes the equal-time canonical commutation relationsThese relations are imposed on an initial slice, with smeared fields understood. In the Heisenberg picture, simultaneous unitary time evolution of both operators preserves their commutators. Since the momentum is $\dot{\varphi }$, the requested equal-time commutator is $[\varphi (t,\mathbf{x}),\dot{\varphi }(t,\mathbf{y})]=i{\delta }^{(3)}(\mathbf{x}-\mathbf{y})$.

The Legendre transform in mechanics, applied pointwise, gives the canonical Hamiltonian density of a real scalar field. ThusTo obtain its dynamics rather than assume them, use the Heisenberg equation of motion $\dot{O}=i[H,O]$. The momentum-square term gives $[H,\varphi ]=-i\pi$. The field-square term gives $[H,\pi ]=i{m}^2\varphi$, while differentiating the Dirac delta function in the gradient term and integrating by parts gives $[H,\pi ]=-i{\nabla }^2\varphi +i{m}^2\varphi$. ConsequentlyBoundary terms vanish for suitably decaying smeared fields. This is the Klein-Gordon equation as an operator identity.

A spatial Fourier transform reduces the Klein-Gordon equation to ${\ddot{\varphi }}_{\mathbf{p}}+E_p^2{\varphi }_{\mathbf{p}}=0$, where $E_p=\sqrt{{\mathbf{p}}^2+m^2}$. Its two frequency branches and the Hermitian adjoint condition giveThe invariant-normalized scalar mode extraction can be written particularly simply asSubstituting the mode expansion of a free field proves these inversion formulas: the opposite-frequency coefficient is proportional to $E_p-E_q$ and vanishes after spatial Fourier inversion. Alternatively they are the corresponding Klein-Gordon inner products. Taking their commutators using the equal-time fields gives $(E_p+E_q)(2\pi {)}^3{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$ in the mixed case. In the two equal-type cases the delta function enforces $\mathbf{q}=-\mathbf{p}$, multiplying $E_p-E_q=0$. ThereforeConversely these mode commutators reproduce $[\varphi ,\dot{\varphi }]=i{\delta }^{(3)}$: the two frequency contributions each supply half the spatial Dirac delta function.

For the covariant oscillator Hamiltonian of a real scalar field, insert the mode expansion of a free field into $H$. Spatial integration sets the two momenta equal in the mixed terms and opposite in the two-creator or two-annihilator terms. The latter have coefficient $-E_p^2+{\mathbf{p}}^2+m^2=0$. The mixed terms giveThe constant $E_0$ is the divergent zero-point energy; a finite box and a momentum cutoff make its meaning explicit. Normal ordering sets the free vacuum energy to zero and leaves all commutators unchanged. Directly applying the mode commutators to the mixed expression yieldsChoose the Fock vacuum by $a(p)|0⟩=0$. Each creation operator adds a boson of energy $E_p$ and four-momentum $p$, while each annihilation operator removes one. Products of commuting creation operators give bosonic statistics from commuting creation operators and unrestricted occupation numbers. The real scalar field has one spin-zero species, identical to its antiparticle. Its one-particle states obey $⟨q|p⟩=(2\pi {)}^{3}2E_p{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$, precisely the relativistic normalization of a one-particle state.

For the Feynman propagator, put $z=x-y$ and contract the two fields in the Fock vacuum. Only $a{a}^{†}$ survives, giving the Wightman functionThe stipulated time-ordered product convention is $i{\Delta }_F(z)=\theta (z^0)W(z)+\theta (-z^0)W(-z)$. In a contour integral over $p^0$, the Feynman i-epsilon prescription places the positive-energy pole just below the real axis and the negative-energy pole just above it. For $z^0>0$ close below, clockwise, obtaining $-i{e}^{-i{E}_p{z}^0}/(2E_p)$; for $z^0<0$ close above, obtaining $-i{e}^{i{E}_p{z}^0}/(2E_p)$. Changing $\mathbf{p}\mapsto -\mathbf{p}$ in the second contribution therefore provesActing with $\square +m^2$ multiplies the integrand by $-(p^2-m^2)$. The remaining factor tends to $-1$ as a distribution, so Fourier inversion givesThe sign also follows from the derivative jump of a free scalar time-ordered two-point function: the first time derivative of $i{\Delta }_F$ jumps by $⟨[\dot{\varphi },\varphi ]⟩=-i{\delta }^{(3)}$, so that of ${\Delta }_F$ jumps by $-{\delta }^{(3)}$.