The Euler-Lagrange equation of each component of the string embedding map is the wave equation . Its left- and right-moving solutions are identified by the endpoint Neumann boundary conditions, so the resulting open-string mode expansion is
Indeed, the Fourier cosine series makes vanish at . The canonical momentum density is . Imposing the equal-time canonical commutation relations gives the covariant quantization of the bosonic string
with .
It is cleaner to use the action of the charge than to expand every double sum. The commutators from part a give, for , or any ,
Thus acts on every mode in the vector representation of the Lorentz algebra. Apply the Jacobi identity to the action of on every mode. The result agrees with the action of
There is no extra scalar term: the orbital and oscillator pieces commute with one another, and direct use of their canonical commutation relations gives no central contribution. Hence the displayed operators obey precisely the standard Lorentz algebra.
Choose complete orthonormal sets of complex Klein-Gordon solutions and that have positive frequency with respect to the asymptotic timelike Killing fields in the remote past and future. Their normalization uses the conserved Klein-Gordon inner product:
The real quantum field has either mode expansion of a free field
Completeness relates the mode bases by the Bogoliubov transformation
and hence
Preservation of the canonical commutation relations requires
The past and future notions of positive frequency therefore define the generally different in-vacuum and out-vacuum. Nonzero means that the in-vacuum is a squeezed state containing out-particles.
The in-vacuum satisfies . For the out-mode number operator , substitute the operator transformation and use the canonical commutation relations. Only the contraction survives, giving the particle number from Bogoliubov coefficients
For a continuous mode label, the sum becomes the corresponding integral with Dirac-delta normalization.
The equal-time canonical commutation relation for the transverse-traceless graviton and its canonical momentum is the transverse-traceless projector. At zero momentum the supplied polarization completeness relation gives
where symmetry and tracelessness of remove the trace term. Thus the charge generates precisely the transformation in part i:
This is the soft, field-independent part of the Noether charge associated with the large diffeomorphism.
Expand the quantized field using the normalized mode
The canonical commutation relation fixes the Wronskian . Writing , the primed correlators are
Each unprimed expression includes . The imaginary part of the mixed correlator gives
Consequently the classicality parameter of a cosmological perturbation is
It tends to zero on superhorizon scales, so the perturbation becomes effectively classical even while its amplitude grows as . In ordinary slow-roll inflation, instead freezes to a constant; its analogous normalized commutator also vanishes, but behaves as for the leading de Sitter mode rather than .
The conserved number operator is
Substitution of into the Landau-Ginzburg theory gives
The imaginary term is a total derivative, so
Thus is the number density and is the canonical momentum conjugate to . The canonical commutation relation is . Consequently, for in volume ,
Equivalently, the averaged phase obeys . This number-phase conjugacy means that a state of sharp has no sharp phase, whereas a phase-selected state exhibiting spontaneous symmetry breaking must superpose different number sectors. Such sectors become effectively degenerate in the thermodynamic limit.
Let be a Cauchy hypersurface with induced metric , lapse , shift , and future unit normal . For the normalization of the action in the question, the canonical momentum density is
The equal-time canonical commutation relations are
and
With the conventional extra factor in the action, loses the factor two.
For complex classical solutions, the Klein-Gordon inner product is
The integrand is a conserved current because both fields obey the Klein-Gordon equation. Applying the divergence theorem between two Cauchy hypersurfaces shows that the value is independent of the foliation, provided there is no boundary flux.
For the real scalar field expansion , the equal-time fields extract . The two mixed canonical commutation relation terms yield , while the other oscillator commutators vanish. This verifies the normalization of the mode expansion directly from the canonical fields.
The reduced canonical commutation relation for a transverse field uses a transverse delta function instead of an unconstrained componentwise delta. Its Fourier transform is the spatial transverse projector. It can be derived from the two-polarization oscillator expansion or from the Dirac bracket after gauge fixing.
An unnormalized bosonic coherent state is for a complex label . The canonical commutation relation gives and overlap . Multiplication by produces a normalized coherent state. The unnormalized form makes the coherent-state resolution of identity and thermal time slicing particularly simple.
A fermionic mode with canonical anticommutation relations has the symmetrically ordered Hamiltonian operator . Its empty-state zero-point contribution is . A quantum harmonic oscillator with bosonic canonical commutation relations contributes instead. For a Dirac field, sum over both particle and antiparticle modes and over spin: there are four independent oscillators per spatial momentum in four spacetime dimensions. Comparing bosonic and fermionic vacuum energies requires a common regularization in quantum field theory, matching degrees of freedom and a stated vacuum-energy subtraction convention.
Wronskian normalization Created 2026-09-28 Updated 2026-10-05
The canonical commutation relation fixes the antisymmetric product of a mode function and its canonical-momentum mode . In the convention , one commonly has .