Use units , metric , and . Treat the complex scalar field and its adjoint as independent variables when varying the action. Their canonical momenta are
Canonical quantization in the Heisenberg picture imposes, at the same time ,
All other independent equal-time commutators vanish: in particular , together with the same-type field and momentum commutators. The Legendre transform gives the Hamiltonian density
The Euler-Lagrange equations are . The positive- and negative-frequency plane waves form a complete basis of solutions of the Klein-Gordon equation. Since the field is complex, their operator coefficients are independent rather than being adjoints of each other. Define the Lorentz-invariant phase space measure . A convenient expansion is
The minus sign is a phase convention: replacing by produces the usual plus-sign expansion without changing its commutators or number operator. The normalization is fixed by the canonical commutation relations. For example,
when . The cross commutators vanish and the other canonical relation follows by taking adjoints with the operator order reversed. Conversely these mode commutators can be obtained by Fourier inversion of the equal-time relations. This is canonical quantization of a complex scalar field.
Substitution into the spatial integral for makes the diagonal terms proportional to and . Terms creating or annihilating a pair have and a coefficient , so they cancel. The result before vacuum subtraction is
Commuting past leaves a divergent field-independent vacuum energy. The displayed zero-vacuum-energy form must therefore be understood as a normal-ordered Hamiltonian:
A regulator can be introduced before subtracting the constant. This is the normal-ordered Hamiltonian of a free complex scalar field; the unrenormalized Hamiltonian is not literally equal to this expression without that convention.
The scalar-field vacuum is annihilated by both annihilation operators. Their adjoints create two species of spin-zero bosons with the same positive energy and mass , because
Repeated creation operators give the bosonic Fock space. The negative-frequency part does not create a negative-energy physical state; it creates the antiparticle of positive energy. The charge distinguishes the two species.
For the global phase transformation , , Noether theorem gives . Its divergence is
With vanishing boundary flux, the integral of is a conserved charge. Substituting the modes gives, before charge normal ordering, . The pair terms cancel because their frequency difference is zero when their spatial momenta sum to zero. Taking the vacuum charge to vanish gives the complex scalar charge operator
The mode commutators imply and , so
Thus the particle carries charge , the antiparticle carries charge , and a state with occupation numbers has charge . Also and , agreeing with the phase transformation and charge conservation.
Continue with metric signature . The Pauli matrices obey . Block multiplication in the chiral gamma-matrix representation gives
and
Hence , the required Clifford algebra. Multiplying the Dirac equation by yields
The antisymmetric part of drops out because partial derivatives commute. Therefore every component of the Dirac spinor satisfies the Klein-Gordon equation. The converse is not true: four arbitrary scalar solutions need not obey the first-order Dirac equation.
The Lorentz group consists of real invertible matrices preserving the Minkowski metric: . Writing gives , so there are six continuous parameters: three spatial rotation angles and three boost rapidities. The Proper orthochronous Lorentz group is the connected component with determinant that preserves time orientation. Parity and time reversal are additional discrete operations and are not encoded by the six real parameters in an exponential near the identity.
For the real-generator convention used here, vector generators can be written
Take and use the same parameters in the spinor representation. The Lorentz-spinor generators from a Clifford algebra are
To verify the Lorentz algebra, first commute a generator with one gamma matrix:
For example, this follows by moving through each product using the Clifford anticommutator. Applying the commutator derivation rule to then gives
No extra factor of belongs in these generators with this commutator convention. Hermitian-generator conventions shift the factors of into the brackets and the exponential instead.
The same gamma commutator proves
Indeed, to first order , exactly the infinitesimal vector action defined above. Exponentiating proves the finite relation. The spinor field transforms as with ; combining this relation with preserves the Dirac equation. A rotation gives , so the spinor matrices give the double-cover spin representation, rather than a single-valued ordinary representation of the Lorentz group itself.
For a boost in direction , is Hermitian, with eigenvalues . A real rapidity therefore produces eigenvalues in , whose moduli are not one. The finite-component spinor representation is not unitary for boosts, although the rotation matrices are unitary. The Lorentz group is noncompact; this does not forbid the unitary infinite-dimensional action on the physical Hilbert space of states.
Nevertheless, since ,
This Dirac spinor pseudo-unitarity implies , and consequently
The Dirac adjoint is precisely the adjoint needed to form this Lorentz scalar; ordinary alone is not a scalar.
Let . It anticommutes with every gamma matrix and commutes with every , so . Thus the axial current transforms as a four-vector under proper Lorentz transformations:
Under parity it is an axial vector, acquiring the additional pseudovector sign. Contracting two axial currents cancels that sign and uses the invariant metric. Therefore is compatible with Lorentz invariance, including parity invariance of this contraction. Lorentz invariance of the interaction does not require the axial current to be conserved.
Retain zeroth and first spatial-gradient orders in the long-wavelength approximation in cosmology. Spatial Ricci curvature, , and scalar anisotropic stress are of second gradient order. Put and . The supplied Einstein field equations then reduce to
The scalar-field stress projections show that the momentum constraint is a first-gradient equation and must be retained. The square is not a spatial derivative and cannot yet be dropped merely by invoking the long-wavelength approximation in cosmology. The time-derivative dot on the trace-free evolution equation is visible in the PDF and missing from the TeX aid.
Using , the last equation becomes . Hence
The time-independent spatial tensor must also satisfy the momentum constraint and the symmetry inherited from . This is inflationary shear damping: expanding regions lose anisotropic expansion, without requiring the frozen spatial metric shape to vanish. The matter evolution, useful below, is and , the leading Klein-Gordon equation in each local region.
Use natural units and the Minkowski metric . For the real scalar field, choose . The conjugate momentum is . Under an active translation , the density changes by . The Noether theorem therefore gives the canonical stress-energy tensor
Its divergence is , which vanishes on the Klein-Gordon equation. With vanishing flux at spatial infinity, the charges are conserved. In particular,
The minus sign is required because and . These are the four-momentum of a free real scalar field.
For canonical quantization, impose , with both equal-time field-field commutators zero. Inverting the mode expansion gives
The equal-time canonical commutation relation then yields
For example, the two mixed field-momentum terms in the first commutator have coefficients and ; the delta function sets their sum to one.
Insert the mode expansion into the quadratic energy. Spatial integration supplies . In the and terms, the coefficient is proportional to . The remaining terms give
Here is the divergent zero-point energy, formally . Thus the vacuum-free energy formula requires normal ordering, or equivalently subtraction of this constant. In a finite box with a cutoff this is the ordinary sum , so the subtraction is explicit before passing to the continuum.
Likewise, use the Hermitian momentum expression . Terms containing two annihilators or two creators vanish by antisymmetry under , leaving the symmetric number-operator expression. Its vacuum term is zero with an inversion-symmetric regulator. Therefore the normal-ordered free scalar four-momentum is
The creation operator commutators follow directly from :
Starting from a vacuum annihilated by every , each creation adds a particle of mass , energy and momentum . The real scalar field has one spin-zero species: its antiparticle is the same species. Products of creation operators commute, so multiparticle states are invariant under exchange of their labels. In a normalized discrete mode, exists for every ; there is no exclusion restriction. These are bosonic statistics from commuting creation operators and prove Bose–Einstein statistics. For completeness, the single-mode thermal sum gives , the Bose-Einstein distribution at zero chemical potential.
Particle gauge fixing and BRST. Put . The classical constraint generates , , . Consequently the variation of along a gauge orbit is the operator on . A path integral restricted to that gauge must include its Faddeev-Popov determinant; anticommuting FP ghosts represent the determinant, rather than its inverse. Constant gauge zero modes and any proper-time modulus must be treated separately, so the relevant determinant is .
A convenient point-particle Faddeev–Popov ghost action at is
The FP ghost normalization has been chosen to give the graded Poisson bracket , with the bracket symmetric on two odd variables. The particle BRST charge and Klein–Gordon constraint are
where the odd constant parameter is placed on the left. The product is even. Accounting for the odd parameter in this convention gives
These are canonical BRST transformations. Direct variation checks the sign: the bosonic kinetic term changes by , while the FP ghost term changes by . Hence
and the action is invariant for the corresponding boundary conditions. The BRST charge is conserved because commutes with the gauge-fixed Hamiltonian and is constant on the FP ghost equation of motion.
Quantization gives and . Since commutes with the FP ghosts,
It generates the same variations by , with an ordinary commutator against the even generator. Represent by multiplication and by differentiation. On a ghost-number-zero wavefunction , is exactly , namely
the Klein-Gordon equation for the mostly-plus metric. The specified FP ghost sector matters: for an unrestricted wavefunction , BRST closure only constrains , not every component independently. The complete physical prescription uses BRST cohomology, not an assertion that every vector in the entire ghost-extended kernel is a new Klein–Gordon particle.
String oscillator algebra and FP ghost Virasoro generators. Use the same bosonic brackets as above and the odd brackets
Quantization turns them into
The here are worldsheet ghost fields, not the matter fermion oscillators used in the NS question.
Contract with the two factors in the cubic FP ghost term of the given BRST operator. The first contraction contributes and the second contributes . Their sum is . Reordering and normal ordering therefore give the ghost oscillator Virasoro generators
For these formulas have no additive ambiguity. At , moving annihilators past creators produces infinite zero-point sums. Their regularized finite constant shifts and corresponds to a term proportional to in . The convention fixed below has a ghost oscillator vacuum weight , or equivalently the usual intercept-one shift. Whether that shift is written outside the normally ordered sum or incorporated in its definition is a convention; it must not be omitted twice or counted twice. In the chosen oscillator convention this is explicitly
Equivalently, the normally ordered BRST charge contains the intercept term ; the formal un-ordered operator in the question includes that choice only after its ordering prescription is fixed.
The oscillator brackets directly give
If , then . The graded Jacobi identity now yields Virasoro closure from BRST nilpotence:
In particular a central extension cannot remain in the total generators if the quantum BRST charge is nilpotent.
Low-level descendant calculation. Let be the oscillator ground state, annihilated by , and . All annihilate it. The nonzero-mode FP ghost generators act as
For example . Similarly on the two level-two terms gives and , hence . These signs are essential: FP ghosts have an indefinite pairing.
The matter generators create
Contracting the level-one term with gives . At level two the first term gives , and the double contraction of the second gives ; cross terms vanish because oscillator levels differ. Thus the normalized oscillator/Virasoro descendant coefficients, conventionally denoted by the requested norms, are
Comparing the first with gives the oscillator highest weight
In this normalization the question's is . Comparing level two with gives
This is the bosonic-string critical dimension from ghost descendants. It checks cancellation of the matter and FP ghost Virasoro anomalies without replacing the FP ghost calculation by a remembered central-charge value.
There is a necessary ghost zero-mode pairing qualification to the word “norm”. If are Hermitian in the full FP ghost space and , then
A bare full-ghost inner product cannot at the same time normalize this ket to one. FP ghost zero modes need saturation in actual amplitudes. The above equations are the coefficients of and , or the corresponding normalized contravariant Virasoro form. They are not positive-definite Hilbert norms. The algebraic coefficient calculation is sufficient for the requested critical-dimension argument and remains valid without that false normalization.
Finally, impose the stated ground-state conditions . They imply , so and
This is the bosonic tachyon. When using an oscillator vacuum at arbitrary momentum to establish the coefficients, it need not already be BRST closed; demanding closure selects this ground-state mass shell. The two uses should not be confused.
Use , transverse coordinates , , and the Minkowski metric
The relativistic particle phase-space action becomes
In the light-cone gauge , solve the mass-shell condition for , assuming . The reduced phase-space action is , with
The last equality selects the future-directed momentum sector and makes positivity transparent. With and , the Schrodinger equation is
The inverse acts only on Fourier modes with nonzero . Multiplication by gives . Therefore
The light-cone Hamiltonian thus gives the same Klein-Gordon equation as covariant quantization.
For the massive two-form field, take . Apply to its field equation. Antisymmetry of makes , so
Expanding , the other divergence terms vanish by this condition, leaving . The light-cone decomposition of a massive two-form makes its dependent components explicit. The divergence equation is
Taking and , respectively, gives
The equation follows from these expressions: the two terms containing cancel and . Consequently and are independent, each satisfying the Klein-Gordon equation with mass . The number of independent particle polarizations is
This is the exterior square of the vector representation of the massive little group . In the analogous Proca equation, determines from and , leaving components. A massive field has no gauge freedom that would justify setting these longitudinal components to zero. If , instead use the two-form gauge field symmetry : the light-cone gauge for a two-form removes , leaving transverse particle polarizations. The massive and massless counts are different.
In the closed-string mode expansion, are center-of-mass canonical variables, while are independent left- and right-moving transverse string oscillators. Their complex conjugates are . The two zero-mode Lagrange multipliers impose the remaining mass-shell condition and closed-string level matching. The string level operators are
Their quantum definitions use normal ordering. The symplectic terms in the phase-space action give
with all brackets between distinct sectors zero. The nonzero-index string oscillators obey and similarly for the right-moving sector. Define the momentum-labelled oscillator vacuum by
For , has . Hence
Starting with , a finite product with creation operators of mode has eigenvalue . The Fock space is generated by these products; both level operators have nonnegative integer eigenvalues. This establishes the integer string oscillator level property. Subtracting their physical zero-mode constraints enforces .
There is a distinction between the displayed classical zero modes and their quantum constraints. With the normal-ordering constant of a string , these are
At the massless first closed-string level, the states are
Their transverse polarization tensor splits into a symmetric trace-free part, an antisymmetric part, and its trace. These are the graviton, Kalb–Ramond field, and dilaton, with respective particle polarization counts , , and one. They have the transverse little group representations of massless particles. In a Lorentz-consistent bosonic string theory, the first chiral level is a massless vector, not a massive vector with one missing physical polarization; the closed-string products are therefore massless. This fixes . Equivalently, regularized transverse zero-point energy gives , and Lorentz consistency fixes the critical dimension of the bosonic string .
It follows that the bosonic string mass spectrum is
The ground state has and is a tachyon; level one is massless; for the mass is . The masslessness claim uses the consistent quantum theory, rather than an unshifted reading of the classical .
A massive two-form at closed-string level two is present. To see it without confusing it with the level-one massless Kalb–Ramond field, the level-two states in one chiral sector are
They have components and assemble into the symmetric traceless square of the massive little group vector space . The full closed-string level is . For two symmetric trace-free matrices , the map
is an equivariant map onto antisymmetric matrices. To verify surjectivity, take diagonal with distinct entries in positions and with only its symmetric entry nonzero. Their commutator gives the antisymmetric basis element. Finite-dimensional representations of the compact little group are completely reducible, so this quotient representation is also a subrepresentation. It has exactly particle polarizations and is described by the massive field equation with . At this gives 300 particle polarizations, consisting in light-cone coordinates of 24 components and 276 components .
For the scalar wave separation in Kerr spacetime, continue to use and . First verify the determinant in the hint. Direct multiplication of the covariant components gives
Hence the block determinant is . Inverting this block gives
The other inverse components are , , and . The covariant wave operator on a scalar consequently has the divergence form
Let denote the azimuthal mode number, to distinguish it from the axial vector . Insert the mode in the massless Klein-Gordon equation. Single-valuedness makes an integer. The derivatives give
With , division by the mode factor gives, on patches where ,
The radial and angular expressions must be opposite constants. Defining the separation constant as , we obtain the two ordinary differential equations
These equations also hold at zeros of a mode by continuity, without dividing there. Regular angular solutions are scalar spheroidal harmonics, with discrete . For the angular equation becomes the associated Legendre function equation, with and , providing a useful check of the signs and normalization. The radial function here is exactly in the chosen ansatz, without an additional factor of .
Use natural units and the Minkowski metric . A real scalar field assigns a real variable to each spatial point. Its Lagrangian density can be taken to be
The principle of stationary action gives the Euler-Lagrange equation . With , this is the Klein-Gordon equation. An additional nonlinear part of describes interactions.
The canonical momentum is . The Legendre transform in mechanics gives the canonical Hamiltonian density of a real scalar field
The Hamiltonian equations and recover the same field equation. In canonical quantization, the fields become operators satisfying the equal-time canonical commutation relations
A spatial lattice makes the analogy with many coupled quantum-mechanical coordinates precise. Each lattice field value is a coordinate, with its own conjugate momentum. The path integral is another representation of the same quantum evolution.
To see its origin, first consider one coordinate with . Split a time interval into steps of length and insert position and momentum resolutions of the identity. The short-time kernel is
Multiplying the kernels and integrating over intermediate positions gives the phase-space path integral
The endpoints of are fixed. The momentum integrals are Gaussian integrals; completing the square produces the configuration-space path integral
At finite slicing its normalization contains . This fixes the composition law and the initial delta-function kernel. One sums over all paths, not merely solutions of the classical equation. Restoring replaces the weight by ; stationary phase explains the emergence of classical trajectories.
For the field, use scalar field configuration eigenstates , satisfying . Insert their completeness relations on every time slice. This gives
The endpoint field configurations are fixed. Integrating the Gaussian momentum variables leaves the scalar field path integral . The functional measure means a regulated product over the field variables. A spacetime lattice or another ultraviolet cutoff makes this product finite before the continuum limit; interacting continuum calculations may require renormalization. The oscillatory Minkowski weight is an amplitude, not a positive probability density.
For vacuum expectation values, the boundaries must select the vacuum rather than arbitrary field configurations. Long imaginary-time evolution suppresses excited states: , so after normalization only the lowest-energy component remains as . This is vacuum projection by imaginary time. The corresponding Feynman i-epsilon prescription in the real-time integral specifies the vacuum boundary conditions and the poles of the propagator. With , the Euclidean path integral has the weight , where
It is often a useful regulated starting point; analytic continuation returns the vacuum time-ordered quantities.
Introduce a classical source and define the normalized vacuum generating functional
with the same vacuum prescription in numerator and denominator. A functional derivative brings down . The order of the time slices makes the operator insertion time-ordered. Thus source differentiation inserts time-ordered field operators:
The denominator removes vacuum diagrams and gives normalized expectation values. It is essential that these are time-ordered products; differentiating this vacuum functional does not directly give every possible operator ordering.
The free theory illustrates the method. Its quadratic kernel is with the vacuum pole prescription, and completing the square gives the Gaussian evaluation of a free scalar generating functional
Two source derivatives give . Higher derivatives give all pairings, the content of Wick theorem. For an interaction , one may use path-integral perturbation by source derivatives:
Expanding this expression generates Feynman diagrams and their Wick contractions. The connected generating functional retains connected contributions; in particular . These functionals turn the computation of field-operator expectations into source differentiation of an ordinary regulated integral.