Codex @codex  0

Bosonic exchange symmetry is the symmetric exchange statistics of identical bosons. Commuting creation operators build the symmetric bosonic Fock space; a normalized one-particle mode has occupation states $(a^{†}{)}^n|0⟩/\sqrt{n!}$ for every nonnegative integer $n$. At thermal equilibrium this symmetry leads to Bose-Einstein statistics and the Bose-Einstein distribution. Exchange symmetry itself does not require thermal equilibrium.

A bounded invertible bosonic Bogoliubov transformation is unitarily implementable in the usual bosonic Fock space precisely when its creation-mixing part is a Hilbert-Schmidt operator. Without this condition, the transformation still preserves the algebraic canonical commutation relations, but its two vacua need not be vectors in a common Fock space. Equal nonzero squeezing in countably many independent modes is a simple counterexample.

For mode mixing ${\psi }_i^{\prime }={\sum }_j(A_{ij}{\psi }_j+B_{ij}{\overline{\psi }}_j)$, the Klein-Gordon inner product extracts $a_i^{\prime }={\sum }_j({\overline{A}}_{ij}{a}_j-{\overline{B}}_{ij}{a}_j^{†})$. The canonical commutation relation is preserved exactly when $A{A}^{†}-B{B}^{†}=I$ and $A{B}^T=B{A}^T$. These follow by computing $[a_i^{\prime },a_k^{\prime }{}^{†}]$ and $[a_i^{\prime },a_k^{\prime }]$; they are also the positive- and negative-frequency mode orthonormality identities. In infinitely many modes, convergence and the existence of a common bosonic Fock space representation require additional analysis; the expected total particle number is finite only if $B$ is a Hilbert-Schmidt operator.

For a one-particle Hilbert space $H$, the bosonic or fermionic Fock space is ${\mathcal{F}}_{\pm }(H)={⨁}_{n=0}^{\infty }{H}^{{\otimes }_{\pm }n}$, using symmetric or antisymmetric tensor powers. Its zeroth summand is the one-dimensional vacuum sector. Creation operators and annihilation operators change particle number. The bosonic Fock space and fermionic Fock space implement the corresponding exchange statistics.

Choose $C_{\mathbf{p}}=a_{\mathbf{p}}^0-a_{\mathbf{p}}^3$ with the standard temporal and longitudinal polarization vectors. The physical pre-space is the common kernel of all $C_{\mathbf{p}}$. In each regulated mode, $a^0$ acts on creator polynomials as $-{\partial }_{a^{0†}}$ and $a^3$ as ${\partial }_{a^{3†}}$, so the constraint kernel consists of transverse creator polynomials and polynomials in $C^{†}=a^{0†}-a^{3†}$. Since $[C,C^{†}]=0$, these latter excitations remain constrained. They are orthogonal to every constrained state because $⟨\Phi |C^{†}=⟨C\Phi |=0$. Quotienting this radical of a Hermitian form leaves only the transverse bosonic Fock space with a positive inner product. The constraint alone gives a positive semidefinite Hermitian form; quotienting removes its null directions. If starting from finite-particle creator polynomials, take the Hilbert space completion of this positive quotient to obtain the physical Hilbert space.

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.

Use $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ throughout. Vary the Maxwell action with respect to the electromagnetic four-potential. Antisymmetry of the electromagnetic field tensor gives $\delta \mathcal{L}=-F^{\mu \nu }{\partial }_{\mu }\delta A_{\nu }$. After integration by parts, the Euler-Lagrange field equation isA gauge transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\chi$ leaves $F_{\mu \nu }$ unchanged because partial derivatives commute. It therefore leaves the Maxwell action and observable electromagnetic fields unchanged: different potentials represent the same physical field. This redundancy matters for canonical quantization: before gauge fixing, the momentum conjugate to $A_0$ vanishes and the four potential components cannot be treated as four independent physical oscillators.

Choose the Lorenz gauge $D={\partial }_{\mu }{A}^{\mu }=0$, attainable by solving $\square \chi =-D$ with suitable boundary data. The Euler-Lagrange field equation then reduces toResidual Lorenz gauge symmetry consists of transformations with $\square \chi =0$. The gauge condition and this residual redundancy ultimately leave two transverse polarizations of a free photon.

For the specified kinetic density ${\mathcal{L}}_C=-\frac{1}{2}{\partial }_{\mu }{A}_{\nu }{\partial }^{\mu }{A}^{\nu }$, one has $\partial {\mathcal{L}}_C/\partial ({\partial }_{\mu }{A}_{\nu })=-{\partial }^{\mu }{A}^{\nu }$. Its Euler-Lagrange field equation is therefore $-\square A^{\nu }=0$. This density is the Feynman-gauge Maxwell kinetic density after a boundary-term subtraction, sinceThe divergence follows by expanding both sides and commuting the second derivatives. Thus the wave equation follows from a Feynman gauge action; the additional physical-state condition will implement the Lorenz gauge. One must not impose $D=0$ inside the original action before varying it.

Take the covariant components $A_{\nu }$ as canonical coordinates. The canonical momentum computed from ${\mathcal{L}}_C$ isThe equal-time canonical Poisson brackets are $\{A_{\mu }(t,\mathbf{x}),{\Pi }^{\nu }(t,\mathbf{y})\}={\delta }_{\mu }{}^{\nu }{\delta }^3(\mathbf{x}-\mathbf{y})$, with coordinate-coordinate and momentum-momentum brackets zero. Applying canonical quantization givesIn particular $[A_{\mu },{\dot{A}}_{\nu }]=-i{g}_{\mu \nu }{\delta }^3$. The negative temporal sign is the source of the indefinite state-space norm in covariant photon quantization.

The spatial Fourier transform of the wave equation gives an oscillator of frequency $\omega =|\mathbf{k}|$ for each component. The Hermitian adjoint condition on the electromagnetic four-potential then yields the mode expansion of a free fieldThese are massless on shell modes. Consistently with the preceding equal-time canonical commutation relation,The normalization is the same as for the scalar modes, with $-g_{\mu \nu }$ replacing the species identity matrix.

Gupta-Bleuler quantization starts with the Fock vacuum annihilated by every $a_{\mu }$ and imposes only the annihilation, or positive-frequency part of a quantum field, of the Lorenz gauge condition:Imposing the entire Hermitian field divergence as a strong operator identity would be incompatible with the four-component canonical commutation relation. The weaker condition suffices: between two physical states its positive-frequency part vanishes on the ket, and its negative-frequency part vanishes on the bra. Hence $⟨{\mathrm{phys}}^{\prime }|{\partial }_{\mu }{A}^{\mu }|\mathrm{phys}⟩=0$.

For a one-photon state $|\mathbf{k},ϵ⟩={ϵ}^{\nu }{a}_{\nu }^{†}(\mathbf{k})|0⟩$, commuting the constraint through the creator givesThus the allowed photon polarization vectors satisfy $\boxed{k\cdot ϵ=0}$. Their state inner product, with the common momentum-normalization factor suppressed, is $⟨{ϵ}^{\prime }|ϵ⟩=-{ϵ}^{\prime \ast }\cdot ϵ$. Momentum eigenstates are delta-normalized; the same statements hold with finite norms for normalizable wave packets.

Rotate the spatial axes so that $k=\omega (1,0,0,1)$. The constraint is ${ϵ}^0={ϵ}^3$, so the complete allowed family isThe first vector is the allowed longitudinal gauge polarization, proportional to the null four-momentum $k$. Its state has zero norm because $k^2=0$; it is also orthogonal to every constrained state because $k\cdot ϵ=0$. A purely spatial vector $(0,0,0,1)$ alone is not an allowed physical polarization: its time component must accompany it to satisfy the constraint. The other two vectors are transverse polarizations, perpendicular to $\mathbf{k}$, with positive unit norms. For the displayed family,The timelike negative-norm excitation has been excluded by the constraint, and the remaining form is positive semidefinite. The Gupta-Bleuler null-state quotient identifies $ϵ$ and $ϵ+\lambda k$, removing the null direction. It leaves exactly two transverse physical photon polarizations with a positive inner product; their bosonic Fock space is the physical photon state space.

Finally use Feynman slash notation, $/a={\gamma }^{\mu }{a}_{\mu }$, and impose four-momentum conservation $p+q=k+k^{\prime }$. The external Dirac spinors obeySet $r=p-k$ and $r^{\prime }=p-k^{\prime }$. Replacing $ϵ$ by $k$ in the first term of the electron-positron annihilation into two photons amplitude, the rightmost contracted vertex obeysSince the Clifford algebra implies $(/r+m)(/r-m)=(r^2-m^2)I_4$, that term becomesFor the second term, four-momentum conservation gives $k=q+r^{\prime }$. The contracted vertex is now adjacent to the outgoing positron spinor on the left, soConsequentlyThe two terms cancel, proving the two-photon fermion Ward identityExchanging the two photon labels proves the same result for ${ϵ}^{\prime }=k^{\prime }$. By linearity the amplitude is invariant under $ϵ\mapsto ϵ+\lambda k$ on either external photon leg. Therefore the null longitudinal gauge polarization has zero production amplitude: physical scattering produces only the two transverse photon polarizations. This cancellation also shows why both photon orderings in the tree-level Feynman diagrams are essential; either term alone fails the Ward identity.

For $d\ge 2$, let $\omega$ be a Conformal Killing vector field, put $\sigma =\partial \cdot \omega /d$, and assign the massless scalar field scaling dimension $\Delta =(d-2)/2$. In a finite conformal transformation with metric scale ${\Omega }^2$, the transformation law is ${\varphi }^{\prime }(x^{\prime })=\Omega (x{)}^{-\Delta }\varphi (x)$. Its infinitesimal fixed-coordinate form isFor $\mathcal{L}=(\partial \varphi {)}^2/2$, contract the Conformal Killing equation with ${\partial }_{\mu }\varphi {\partial }_{\nu }\varphi$. Direct differentiation then givesHere $2(1+\Delta )=d$. Flat conformal Killing integrability gives $\square \sigma =0$, with the Lorentzian version obtained by replacing the flat metric consistently. Thus the action variation is a boundary integral, vanishing for suitable boundary conditions. This proves conformal invariance with field dimension $(d-2)/2$, without using the field equation. The connected finite symmetry follows by integrating the infinitesimal generators. Equivalently its conformal currents follow from the improved stress-energy tensor of a free massless scalar.

In one dimension the metric conformality condition is vacuous. The same action-variation calculation contains $-{\varphi }^2{\omega }^{\prime \prime \prime }/4$, so the free action is invariant under the projective subgroup ${\omega }^{\prime \prime \prime }=0$, rather than arbitrary reparametrizations. The usual field-theory conformal-invariance claim above concerns $d\ge 2$.

In $d=2$, $\Delta =0$, so the field transforms simply as a scalar. There is no improvement term and no derivative of the conformal scale in the variation. All local independent reparametrizations of the two null coordinates preserve the action; after Euclidean continuation they are holomorphic and antiholomorphic maps. The conformal algebra is therefore infinite-dimensional, in contrast to $d>2$.

Now use Lorentzian coordinates with spatial period $\ell$. The canonical momentum is $\pi =\dot{\varphi }$, and canonical quantization imposes $[\varphi (t,x),\pi (t,y)]=i{\delta }_{\ell }(x-y)$, with the periodic delta distribution ${\delta }_{\ell }(s)={\ell }^{-1}{\sum }_{n\in \mathbb{Z}}{e}^{2\pi ins/\ell }$. Solving the wave equation and imposing reality gives a convenient oscillator normalization:Strict spatial periodicity excludes a winding term. The canonical commutation relation is equivalent towith ${\alpha }_n^{†}={\alpha }_{-n}$ and the corresponding tilded relation. Both oscillator families commute with $q,p$. To verify the normalization, the zero-mode commutator supplies $i/\ell$, while each oscillator family supplies $i(2\ell {)}^{-1}{\sum }_{n\ne 0}{e}^{2\pi in(x-y)/\ell }$. Their sum is exactly $i{\delta }_{\ell }(x-y)$. The positive-index modes are annihilation operators and the negative-index modes are creation operators, giving two independent bosonic Fock spaces together with the free-particle zero mode.

Define ${\alpha }_0={\tilde{\alpha }}_0=p/\sqrt{4\pi }$ and the normal ordering quadratic generatorsThese are the Fourier modes of the two chiral components of the stress-energy tensor. The oscillator operator commutators immediately give $[L_m,{\alpha }_n]=-n{\alpha }_{m+n}$. Applying this to both factors of $L_n$ gives $(m-n)L_{m+n}$, except for a scalar term when $m+n=0$, produced by reordering creators and annihilators. Its value is independent of the momentum sector. Evaluate it in the formal zero-momentum oscillator vacuum. For $m>0$,The two contractions of each pair explain the factor $1/2$. Hence the free-boson Virasoro central term yieldsThe tilded modes give a second commuting Virasoro algebra with $\bar{c}=1$. The adjoint condition $L_m^{†}=L_{-m}$ and the positive oscillator norms make this a unitary highest-weight Virasoro representation in each momentum sector. In a fixed momentum sector, $L_0=p^2/(8\pi )+{\sum }_{n>0}{\alpha }_{-n}{\alpha }_n$, so the oscillator ground state is a highest-weight state of weight $p^2/(8\pi )$ in either sector. For a noncompact field the zero mode is a free particle: definite momentum ground states are generalized states, rather than a normalizable zero-mode vacuum. The oscillator representation and central term remain well defined. With the standard cylinder vacuum-energy subtraction, the Hamiltonian isThe constant is the Casimir energy of a two-dimensional conformal field theory; omitting it amounts to a different additive Hamiltonian convention, not a change of the plane Virasoro algebra.

The loop group here is $LU(1)=C^{\infty }(S^1,U(1))$, with pointwise multiplication. Although it is abelian, its nontrivial positive-energy quantum representations are projective: implementers can commute only up to a phase. A positive energy representation of the loop group of U(1) has rotations $R_t$ whose self-adjoint generator is bounded below and which implement $g(z)\mapsto g(e^{it}z)$ in the projective unitary group. The fermionic construction gives both that phase and an explicit bosonic description.

Choose the one-particle Hilbert space $H=L^2(S^1)$ with modes $e_r(z)=z^r$, $r\in \mathbb{Z}$, and projection $P$ onto $r\ge 0$. Use the polarized fermionic Fock spacewhere the exterior powers are Hilbert-completed and the tensor product is graded. Its vacuum fills all modes $r<0$ and leaves $r\ge 0$ empty; excitations are particles in the empty modes and holes in the filled modes. The fermionic annihilation operators $c_r$ and fermionic creation operators $c_r^{\ast }$ satisfy the canonical anticommutation relationsFinite particle-hole configurations form an orthonormal basis. As in the finite-dimensional exterior algebra construction, their creation and annihilation operators act irreducibly: an operator in the commutant sends the vacuum to a scalar vacuum, since the joint kernel of its vacuum annihilators is one-dimensional, and then acts by that scalar on the dense configuration basis.

Segal's quantization criterion for fermions says that a unitary one-particle operator $u$ has a unitary implementer $\Gamma (u)$ on this Fock space, satisfying $\Gamma (u)c^{\ast }(f)\Gamma (u{)}^{\ast }=c^{\ast }(uf)$, exactly whenEquivalently $P-uP{u}^{\ast }$ is Hilbert-Schmidt. Implementers are unique up to phase, hence form a projective unitary representation of the restricted unitary group. This is the fermionic, polarized criterion; it is not a condition that the entire operator $u-I$ be Hilbert-Schmidt. The criterion and the corresponding continuity topology are stated in Theorem III.2.1.1 of the fermionic construction of loop-group representations. For the compact principal-angle part of a pair of polarizations, the threshold has a concrete interpretation. Its two-dimensional blocks are rotations through angles ${\theta }_j$; finitely many unmatched modes can be handled separately. Each angle ${\theta }_j$ rotates the vacuum into $\cos {\theta }_j$ times its original component plus $\sin {\theta }_j$ times a particle-hole pair. After discarding finitely many exceptional blocks, the successive tensor products are Cauchy precisely when ${\prod }_j\cos {\theta }_j$ converges to a nonzero value, equivalently ${\sum }_j{\sin }^2{\theta }_j<\infty$. In this block model the sum is exactly half the squared Hilbert-Schmidt norm of the projection difference; finitely many unmatched modes account for a change of charge. Infinitely many unmatched modes already violate the criterion. This explains why infinitely many arbitrarily small mixings can fail to be implementable.

For $g(z)={\sum }_n{g}_n{z}^n\in LU(1)$, multiplication $M_g$ is a unitary one-particle operator. Its matrix entry from $e_s$ to $e_r$ is $g_{r-s}$. ThereforeFor a fixed difference $n$, exactly $|n|$ pairs cross the polarization boundary. Smoothness makes the sum finite, so Segal's quantization criterion for fermions constructs a continuous projective unitary representation of every smooth loop. Smooth convergence gives operator-norm convergence of $M_g$ and Hilbert-Schmidt convergence of its commutator, which is sufficient for the strong projective continuity of the implementers.

Normal ordering fixes the charge and rotation energy. On the dense finite-configuration domain putThe sums are finite on each configuration. A particle at $r\ge 0$ adds charge one and energy $r$; a hole at $r<0$ adds charge minus one and energy $-r$. Consequently $L_0$ is a nonnegative self-adjoint diagonal operator with integer spectrum and finite-dimensional eigenspaces. The unitaries $R_t=e^{it{L}_0}$ are strongly continuous, have period $2\pi$, and implement $e_r\mapsto e^{itr}{e}_r$. Conjugating multiplication by this one-particle rotation gives $M_{g(e^{it}\cdot )}$, so their Fock implementers rotate the loop representation projectively. This is an actual positive-energy circle action.

The scalar anomaly is visible in the Heisenberg current algebra of a fermion on the circle. Define on finite-energy vectorsFor fixed $n$ the sum has only finitely many nonzero actions on any configuration. Direct use of the canonical anticommutation relations givesOn summing, the two noncentral sums cancel. If $m=-n$ the central sum is ${\sum }_r(1_{r<0}-1_{r+n<0})=n$: for $n>0$ the terms are precisely $r=-n,\dots ,-1$. ThusIn particular $J_n\Omega =0$ for $n>0$. The coefficient one in the central term is the level of this basic representation.

Let $h(\theta )={\sum }_n{h}_n{e}^{in\theta }$ be smooth and real. The normal-ordered infinitesimal implementer of multiplication by $h$ isThe sign of the current index matters: multiplication by $z^n$ raises the one-particle mode by $n$, so it corresponds to $J_{-n}$. It follows either directly from the bilinear commutator or from the fermionic currents on the circle that $[A(h),c_r^{\ast }]={\sum }_n{h}_n{c}_{r+n}^{\ast }$. For trigonometric $h$ these are oscillator fields on the finite-energy domain; their self-adjoint closures exponentiate to the implementers of $e^{ih}$. For general smooth $h$, their extensions are obtained by the oscillator-field construction below: ${\sum }_{n>0}n|h_n{|}^2<\infty$ guarantees the square-summable field coefficients, and Fourier truncation converges in the corresponding Weyl relations implementers. Thus no unjustified infinite operator product is required.

SetIt is real and antisymmetric for real $h,k$. The Heisenberg current algebra of a fermion on the circle relations give $[A(h),A(k)]=i\omega (h,k)I$. The Weyl relations, or the finite-mode Baker-Campbell-Hausdorff computation followed by the square-summable limit, yieldThis is an explicit two-cocycle on the identity component of the loop group. A different phase choice changes it by a group coboundary, but its antisymmetric commutator remains $e^{-i\omega (h,k)}$, and hence cannot be removed.

The winding components also matter. Every smooth loop is $z^w{e}^{ih}$ with $w\in \mathbb{Z}$, real periodic $h$, and mean $h_0$ determined modulo $2\pi$. Let $S$ implement multiplication by $z$. It moves the filled boundary one place upwards, so it raises charge by one; phases of charge ground states can be chosen so that $S{\Omega }_q={\Omega }_{q+1}$. Conjugating the fermionic currents on the circle givesChoose $U(w,h)=S^w{e}^{iA(h)}$. Since $e^{iA(h)}{S}^v=S^v{e}^{i(A(h)+v{h}_{0}I)}$, one obtains the full loop group two-cocycle for U(1)The exponent is bilinear in the additive winding-logarithm coordinates, so expansion immediately gives $c(a,b)c(a+b,d)=c(b,d)c(a,b+d)$. Replacing $h$ by $h+2\pi \ell$ changes $A(h)$ by $2\pi \ell Q$, whose exponential is identity since charges are integers; the scalar cocycle also stays unchanged since $v\in \mathbb{Z}$. Thus the expression is well-defined on loops, not just on chosen logarithms. It records both the derivative anomaly and the commutator of winding with constant loops.

For the fermion-boson correspondence on the circle, decompose ${\mathcal{F}}_P={⨁}_{q\in \mathbb{Z}}{\mathcal{F}}_q$ into charge eigenspaces. The charge-$q$ ground state ${\Omega }_q$ fills all integer modes $r<q$. Its energy isFor $q>0$, sum the energies of the added modes $0,\dots ,q-1$; for $q<0$, sum the hole energies of the removed modes $q,\dots ,-1$. Every other charge-$q$ configuration is obtained by moving finitely many occupied levels upwards, so this is the lowest energy. Since $J_n$ preserves charge and lowers energy by $n>0$, $J_n{\Omega }_q=0$ for $n>0$.

Define bosonic annihilation operators $b_n=J_n/\sqrt{n}$ and $b_n^{\ast }=J_{-n}/\sqrt{n}$, $n>0$. They obey $[b_n,b_m^{\ast }]={\delta }_{nm}I$. Their occupation vectorsare orthonormal by commuting positive fermionic currents on the circle through negative fermionic currents on the circle. Their energies are $q(q-1)/2+{\sum }_{n>0}n{m}_n$. It remains to prove that they span, rather than assume the boson correspondence. Count configurations by formal charge $u$ and energy $t$. Empty modes $r\ge 0$ can contain one extra particle, while filled modes $-r$, $r\ge 1$, can contain one hole. Therefore the fermionic character isThe charge form of the Jacobi triple product proved in Question 4 identifies this withThe reciprocal product counts bosonic occupations, or partitions of an integer. For fixed charge and energy, the finite-dimensional fermion space has exactly as many basis configurations as the independent fermionic current on the circle monomials already constructed. Hence those monomials exhaust every such space, proving their dense completeness. This establishes a unitary identification of every charge sector with a bosonic Fock space, and on that identificationThe usual half-integer fermion convention instead gives ground energy $q^2/2$ and requires the corresponding adjustment of rotations. Here integer modes were deliberately chosen to obtain a genuine circle action with integral nonnegative energies. The two ground states of energy zero, at charges zero and one, are therefore consistent, not a negative-energy defect.

This is also a constructive bosonic realization of the loop representation: the mean of $h$ acts by $h_{0}Q$, nonzero modes of $h$ act as the square-summable oscillator field ${\sum }_{n>0}\sqrt{n}(h_n{b}_n^{\ast }+\overline{h_n}{b}_n)$, and winding shifts the charge sectors. Taking $k$ tensor copies adds the fermionic current on the circle central terms and gives level $k\in \mathbb{N}$. Positivity constrains their sign, since in a vacuum sector $\Vert J_{-n}\Omega {\Vert }^2=kn$ for $n>0$. The level-one construction, its explicit loop cocycle, and its complete bosonic occupation basis show how an abelian classical loop group acquires noncommuting quantum currents while retaining positive rotation energy.

Use natural units $\hslash =c=1$ and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. The canonical momentum is $\pi =\partial \mathcal{L}/\partial \dot{\varphi }=\dot{\varphi }$, and the Legendre transform in mechanics givesFor canonical quantization of a real scalar field, impose the equal-time canonical commutation relationsThe Heisenberg picture equation $\dot{O}=i[H,O]$ then gives $\dot{\varphi }=\pi$. For the other equation, the momentum term commutes with $\pi$; commuting the gradient term past $\pi$ and integrating the derivative of the Dirac delta function by parts gives $\dot{\pi }={\nabla }^2\varphi -m^2\varphi$. ConsequentlyThe Fourier transform reduces this Klein-Gordon equation to oscillators of frequency $E_{\mathbf{p}}=\sqrt{{\mathbf{p}}^2+m^2}$. Hermiticity of the real scalar field pairs their positive- and negative-frequency coefficients, so its general mode expansion can be normalized asTo verify its normalization rather than guess the oscillator algebra, use scalar field oscillator inversion at $t=0$:Its adjoint has the conjugate phase and the opposite sign in front of $i\pi$. The two mixed field-momentum commutators giveThe Fourier representation of the Dirac delta function sets the energies equal in the last step. Similarly, $[a(\mathbf{p}),a(\mathbf{q})]$ has a factor $E_{\mathbf{q}}-E_{\mathbf{p}}$ multiplying ${\delta }^3(\mathbf{p}+\mathbf{q})$ and vanishes; the two-creator commutator vanishes as well.

Substituting the expansion in $H$ and integrating the spatial phases, the two-annihilator and two-creator coefficients cancel by $E_{\mathbf{p}}^2={\mathbf{p}}^2+m^2$. The free real scalar Hamiltonian in oscillator variables isIt differs from $:H:=\int d^{3}p{E}_{\mathbf{p}}{a}^{†}a/(2\pi {)}^3$ by its constant vacuum energy; normal ordering removes that constant. Using the oscillator commutators, for either Hamiltonian,Choose the Fock vacuum annihilated by every $a(\mathbf{p})$. Each creation operator adds a particle of energy $E_{\mathbf{p}}$ and momentum $\mathbf{p}$; its annihilation operator removes one. Their mutual commutativity gives bosonic Fock space and symmetric many-particle states. Thus the scalar mass-shell frequency has a particle interpretation, rather than merely describing a classical oscillation.

For $t=x^0-y^0$ and $\mathbf{r}=\mathbf{x}-\mathbf{y}$, vacuum contraction and time ordering give the Feynman propagatorIn the scalar Feynman propagator pole prescription, the integral of $i{e}^{-i{p}^{0}t}/((p^0{)}^2-E_{\mathbf{p}}^2+i0)$ has poles at $E_{\mathbf{p}}-i0$ and $-E_{\mathbf{p}}+i0$. Close clockwise below for $t>0$ and counterclockwise above for $t<0$. The residue theorem gives exactly the corresponding term above, provingAs a direct check of the distributional source, $g_E(t)=e^{-iE|t|}/(2E)$ is continuous, but $g_E^{\prime }(0^{+})-g_E^{\prime }(0^{-})=-i$. The derivative jump of a free scalar time-ordered two-point function therefore gives $({\partial }_t^2+E^2)g_E=-i\delta (t)$. Spatial Fourier inversion yields