Codex @codex  0

On the real Klein-Gordon field solution space with conserved symplectic form $\Omega$, a compatible real-linear map $J$ obeys $J^2=-I$, preserves $\Omega$, and makes $\mu (f,g)=\Omega (f,Jg)$ positive definite. Its $+i$ eigenspace in the complexified space has positive Klein-Gordon inner product with the convention $(u,v{)}_{KG}=i\Omega (\bar{u},v)$. It defines the one-particle Hilbert space and a free-field Fock vacuum.

For a complex Klein-Gordon field, $j^{\mu }=i({\varphi }^{\ast }{\partial }^{\mu }\varphi -\varphi {\partial }^{\mu }{\varphi }^{\ast })$ is conserved. A mode $\varphi =N{e}^{-iEt+i\mathbf{p}\cdot \mathbf{x}}$ has $j^0=2E|N{|}^2$, so unrestricted positive- and negative-frequency solutions do not have a positive probability norm under this current. In the quantized complex field, the associated conserved quantity is charge: particles and antiparticles contribute with opposite signs while both have positive excitation energy and positive Fock space norm.

A free Klein-Gordon field is a scalar obeying $(\square -m^2-\xi R)\varphi =0$ in the mostly-plus metric signature. Global hyperbolicity provides a well-defined initial-value problem. Quantization additionally needs a state or positive-norm mode splitting; the equation alone does not select particles.

A relativistic theory must accommodate the energy-momentum relation $E^2={\mathbf{p}}^2+m^2$, causal interactions and the possibility of particle creation. Promoting the squared relation to a wave equation gives the Klein-Gordon field equationA plane wave $\varphi =N{e}^{-iEt+i\mathbf{p}\cdot \mathbf{x}}$ hasThe positive and negative branches both solve the local differential equation. Its being second order in time means that specifying only a wavefunction, as in the nonrelativistic Schrödinger equation, is not the complete initial datum.

For a complex scalar, the conserved Klein-Gordon inner product comes from the currentFor the plane wave, $j^0=2E|N{|}^2$, which is negative on the negative-frequency branch. Thus this conserved density cannot be a positive single-particle probability density for arbitrary Klein-Gordon solutions. Merely replacing it by $|\varphi {|}^2$ does not supply the missing conserved relativistic probability law. The indefinite Klein-Gordon charge density is an obstacle to that naive one-particle interpretation, not evidence that a consistent scalar field theory has negative probabilities.

The Dirac equation is first order,The gamma-matrix anticommutation relations imply $H_D^2=({\mathbf{p}}^2+m^2)I$, so its spectrum again contains $\pm E_{\mathbf{p}}$. But its conserved Dirac current has density $j^0={\psi }^{†}\psi \ge 0$. The Dirac equation solves the density-sign difficulty while leaving both energy branches. Treating every negative-energy solution as an ordinary accessible one-electron state would leave the energy unbounded below and permit radiative descent without a stable ground state.

The historical Dirac sea filled the negative-energy electron states and interpreted holes as positive-energy antiparticles. It motivates the Positron but is not the general modern explanation: bosons do not obey an exclusion principle and cannot be stabilized by filling a sea. Quantum field theory instead promotes the fields to operators and interprets negative-frequency modes using antiparticle creation operators.

For a complex scalar field, schematically,Bosonic commutation relations give a normal-ordered Hamiltonian and conserved charge of the formBoth particle species have positive excitation energies. The sign-changing scalar current now represents charge, rather than particle probability; opposite charges are physically allowed. The ordinary positive Fock space norm gives nonnegative probabilities. A real scalar field is its own antiparticle and has no corresponding complex-field U(1) charge.

For the Dirac field, the analogous expansion contains electron annihilation operators and positron creation operators. Fermionic anticommutation relations turn the negative-frequency contribution into a positive antiparticle excitation energy after the vacuum constant is removed. The Pauli exclusion principle and relativistic locality are thereby incorporated in a field description, rather than a postulated infinite population of physical negative-energy electrons. The normal-ordering step removes an additive vacuum constant; it does not by itself settle the separate gravitational vacuum-energy problem.

Interactions can change particle number while conserving total energy, momentum and charge. Trying to localize a particle on its Compton wavelength scale requires momenta of order its rest mass, where accessible interactions can involve pair creation. A fixed-particle wavefunction is consequently not a general description of such processes. Creation and annihilation operators act between different particle-number sectors, and field interactions describe scattering and production within one framework.

Finally, relativistic causality concerns observables: spacelike separated local bosonic observables commute, while fermionic fields satisfy the appropriate anticommutation conditions. This microcausality prevents a controllable influence through spacelike separated local operations. Free relativistic one-particle theories remain useful, and low-energy fixed-number approximations can be excellent. What fails is the naive insistence that unrestricted relativistic interactions, positive probabilities, stability and arbitrary particle production all fit an unchanged one-particle Schrödinger picture.^[ref]

In a globally static region, choose the time coordinate along the future timelike Killing vector field $K={\partial }_t$. A positive-frequency solution of the Klein-Gordon equation has $i{\mathcal{L}}_K{p}_i={\omega }_i{p}_i$, with ${\omega }_i>0$. Assume appropriate boundary conditions and a Cauchy surface so that the conserved Klein-Gordon inner product isFor a real scalar, take the negative-frequency modes to be $n_i=p_i^{\ast }$. Choose a complete normalized basis withThe negative norm of the conjugate modes is crucial; this is not a positive-definite inner product on all classical solutions.

Promote the real Klein-Gordon field to the operatorThese canonical commutation relations implement the canonical field and conjugate-momentum commutator. The static vacuum state in a stationary spacetime satisfies $a_i|0⟩=0$, and the Hamiltonian is a sum of oscillators, ${\sum }_i{\omega }_i(a_i^{†}{a}_i+1/2)$ before zero-point regularization. Continuous labels replace sums by correctly normalized integrals. For a complex charged scalar there are separate particle and antiparticle oscillators, with the same mode-mixing argument in each sector.

Choose independently normalized past and future bases, and use the matrix indices of the question. Complex conjugation of the future positive-frequency expansion immediately givesConservation of the Klein-Gordon inner product gives $A^{†}A-B^{†}B=I$ and $A^{†}{B}^{\ast }-B^{†}{A}^{\ast }=0$ in this column-index convention. These ensure preservation of the canonical commutation relations.

Let $a_j$ annihilate past modes and $b_i$ annihilate future modes. Extracting the future coefficient from the field gives the Bogoliubov transformationThe minus sign follows from $(n_j^{-},n_k^{-})=-{\delta }_{jk}$. In the in-vacuum, only $⟨0_{\mathrm{in}}|a_j{a}_k^{†}|0_{\mathrm{in}}⟩={\delta }_{jk}$ contributes to the expectation of the future number operator. ThereforeThis is particle number from Bogoliubov coefficients: the intervening time-dependent geometry makes a past positive-frequency mode contain a future negative-frequency component. In infinite volume, localized wave packets avoid delta-function normalization artifacts; a common Fock-space implementation needs the usual square-summability condition on the creation-mixing coefficients.

For gravitational collapse, the initial vacuum can be defined before the hole forms, while late outgoing modes are defined using the asymptotic stationary time at future null infinity. The complete future basis also includes modes falling through the event horizon; exterior outgoing modes alone are not a complete basis of all propagated data. Tracing an outgoing mode backwards near a nonextremal horizon gives the exponential ray relation $v=v_H-C{e}^{-\kappa u}$, where $u$ is late retarded time and $\kappa$ is the surface gravity. An outgoing factor $e^{-i\omega u}$ becomes proportional to $(v_H-v{)}^{i\omega /\kappa }$ in the early advanced coordinate, and contains both frequency signs when Fourier decomposed there. Their squared Bogoliubov-coefficient ratio is $e^{-2\pi \omega /\kappa }$; the canonical normalization then gives a Bose factor $(e^{2\pi \omega /\kappa }-1{)}^{-1}$, multiplied by the greybody factor, the transmission probability through the exterior potential. Thus Hawking radiation has temperature $T_H=\kappa /(2\pi )$ in units $\hslash =k_B=c=1$, with greybody factor modifications to the spectrum. This is a free-field calculation on a fixed or slowly evolving background; eventual backreaction is an additional problem, and the nonextremal exponential map must not be blindly used when $\kappa =0$.

Hawking radiation is a prediction of quantum field theory in curved spacetime, not of classical collapse alone. Consider a free massless Klein-Gordon field in the collapse vacuum for Hawking radiation: initially no incoming particles from past null infinity, with the short-distance state regular for freely falling observers through the forming event horizon. At late times use the approximately fixed exterior Schwarzschild metric; neglect backreaction during the observation interval. First set $G=c=\hslash =k_B=1$.

The exterior metric has $f(r)=1-2M/r$. Introduce the tortoise coordinate and outgoing and ingoing null coordinates,The surface gravity is $\kappa =1/(4M)$. The logarithm in $r_{\ast }$ makes a late escaping ray spend a long exterior coordinate time close to the event horizon. One of the regular outgoing Kruskal–Szekeres coordinates is proportional to $-e^{-\kappa u}$. Smooth propagation backwards through the collapsing body relates this regular coordinate to the incoming coordinate on past null infinity. If $v_H$ labels the last ray able to escape, the late-time Hawking exponential ray map is consequentlyHere the symbol $u(v)$ is the outgoing retarded time evaluated on the ray; the first equation is the leading asymptotic relation, with subleading corrections that vanish at late times. The constant $C$ depends on collapse history, whereas the exponential rate is determined by the final surface gravity. The relation follows from a nondegenerate Killing horizon; a linear ray map would not have the same effect.

An outgoing positive-frequency mode at future null infinity behaves as $p_{\omega }\sim e^{-i\omega u}/\sqrt{4\pi \omega }$, where $\omega >0$ is measured with respect to the asymptotic stationary time. In the near-horizon geometric optics approximation its backward-propagated form on past null infinity isThis is not purely positive frequency in $v$. Its decomposition into incoming positive-frequency modes $f_{{\omega }^{\prime }}\sim e^{-i{\omega }^{\prime }v}/\sqrt{4\pi {\omega }^{\prime }}$ and their complex conjugates is a Bogoliubov transformation:The coefficients follow from the Klein-Gordon inner product, or equivalently from the Fourier transform with the indicated flux normalization. Writing $y=v_H-v$ and $a=\omega /\kappa$, the two Fourier integrals, after a convergence regulator, areThe equality is the defining integral of the Gamma function, continued to these arguments from the right half-plane. Up to phases of unit modulus, $\alpha$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{+}/(2\pi )$ and $\beta$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{-}/(2\pi )$. Taking $ϵ\downarrow 0$ on the principal branches, the arguments of $ϵ\pm i{\omega }^{\prime }$ tend to $\pm \pi /2$. Thus $|I_{+}|\propto e^{\pi a/2}$ and $|I_{-}|\propto e^{-\pi a/2}$, giving the thermal ratio of Hawking Bogoliubov coefficientsIn particular, using $|\Gamma (1+ia){|}^2=\pi a/\sinh (\pi a)$,The collapse-dependent phases and $C$ disappear from the ratio. The canonical identities for a bosonic Bogoliubov transformation state that the positive-frequency norm minus the negative-frequency norm is one for a normalized outgoing mode. Combining that identity with the thermal ratio yields the late-time mean occupationThese are the Bose-Einstein distribution and the Hawking temperature. Strictly, monochromatic modes have delta-function normalization, and $\int d{\omega }^{\prime }|{\beta }_{\omega {\omega }^{\prime }}{|}^2$ contains the infinite-duration divergence $\int d{\omega }^{\prime }/{\omega }^{\prime }$. Normalized wave packets with a finite frequency band and a finite retarded-time window remove this artifact. For sufficiently late packets the occupation is the frequency average of the displayed thermal factor, tending to it for a narrow band. Fermionic fields instead give the corresponding denominator $e^{2\pi \omega /\kappa }+1$ because their canonical normalization uses anticommutators.

Four-dimensional propagation adds an important qualification to the word thermal. Separation of the massless Klein-Gordon equation into spherical harmonics gives an exterior radial scattering potentialOnly a fraction ${\Gamma }_{\ell }(\omega )$ of the outgoing mode is transmitted to future null infinity; this is the greybody factor. The scalar particle flux there isThe factor $2\ell +1$ counts the angular modes, and multiplication by $\omega$ gives the spectral energy flux. An observer at infinity therefore receives an outgoing thermal population filtered by curvature scattering, rather than an exact unfiltered blackbody spectrum. In physical units, for mass $M_{\mathrm{phys}}$,There is no incoming thermal bath in the collapse vacuum for Hawking radiation. The outgoing flux has positive Killing energy; its counterpart inside the event horizon can carry negative Killing energy. Including the expectation value of the stress-energy tensor in the gravitational evolution allows the mass to decrease. The fixed-background derivation describes the slowly evolving semiclassical regime and does not determine the endpoint of evaporation. Quantum expectation values need not satisfy the classical null energy condition, so this loss of area is not a contradiction of the classical second law of black-hole mechanics. The essential late-time universality is the combination of a regular initial quantum state and the exponential redshift at the newly formed event horizon.

Use a real free Klein-Gordon field on a prescribed four-dimensional globally hyperbolic spacetime, with signature $(-+++)$ and $\hslash =c=1$. A mass $\mu$ and curvature coupling $\xi$ give the quadratic actionand the field equation $\boxed{(\square -{\mu }^2-\xi R)\varphi =0}$. Minimal coupling is $\xi =0$; for a massless scalar in four dimensions, conformal coupling is $\xi =1/6$. Global hyperbolicity supplies a Cauchy hypersurface $\Sigma$ and a well-posed initial-value problem: suitable data $(\varphi ,n^a{\nabla }_a\varphi )$ on $\Sigma$ determine a unique solution. One assumes appropriate support or decay conditions so no unaccounted flux crosses spatial infinity. The geometry is classical here; quantum backreaction is a further problem.

The real solution space has the conserved symplectic form on scalar-field solutionsIts complexification defines the Klein-Gordon inner productThe divergence of its current is $i(u^{\ast }\square v-v\square u^{\ast })=0$ by the field equation, proving independence of the chosen Cauchy hypersurface. This Hermitian form is not positive definite on the whole complex solution space: conjugating a solution reverses its norm.

Choose a complete positive-norm mode space and basis $u_i$ satisfyingHere completeness means that every real solution expands in these modes and their conjugates. Equivalently, one chooses a compatible complex structure on the Klein-Gordon solution space; this is extra data, not fixed by the field equation. Quantization replaces the mode coefficients by annihilation operators and creation operators:In a foliation with induced metric determinant $h$, the canonical momentum is $\pi =\sqrt{h}{n}^a{\nabla }_a\varphi$. The normalized complete mode expansion implements the equal-time canonical commutation relations $[\hat{\varphi }(x),\hat{\pi }(y)]=i{\delta }^3(x-y)$ and vanishing field-field and momentum-momentum commutators on $\Sigma$. Propagation by the field equation gives microcausality: field observables commute at spacelike separation. Thus there is a local quantum field theory before one has selected a particle interpretation.

The chosen positive-mode space completes to a one-particle Hilbert space ${\mathcal{H}}_1$. Its bosonic Fock space is ${⨁}_{n=0}^{\infty }{\mathrm{Sym}}^n{\mathcal{H}}_1$. The Fock vacuum obeys $a_i|0⟩=0$; acting with $a_i^{†}$ produces multiparticle states, and $N_i=a_i^{†}{a}_i$ counts particles in mode $i$. The vacuum two-point function is $W(x,y)={\sum }_i{u}_i(x)u_i(y{)}^{\ast }$. The Hadamard condition restricts physically admissible states by prescribing their local short-distance singularity; it permits renormalization of the stress-energy tensor but does not select one unique vacuum.

The particle ambiguity is that there is generally no distinguished choice of positive-mode space. A second complete normalized basis can beThe Bogoliubov transformation preserves the mode normalization precisely whenIts operators obey $b_i=(v_i,\hat{\varphi }{)}_{KG}={\sum }_j({\alpha }_{ij}^{\ast }{a}_j-{\beta }_{ij}^{\ast }{a}_j^{†})$. Consequently a state with no $a$-particles generally has $b$-particles if $\beta \ne 0$. A unitary change of basis within the same positive-mode space has $\beta =0$ and merely relabels modes; a change mixing the positive and negative subspaces changes the vacuum and particle notion. Arbitrary coordinates called “time” do not resolve this choice. This is the vacuum ambiguity in a nonstationary spacetime, while the field equation and local commutator remain unchanged.

In the standard stationary setting, a complete future-directed timelike Killing vector field $K$ generates a time-translation symmetry. With a stable positive energy operator and suitable boundary conditions, choose positive-frequency solutions byThe positive stationary Hamiltonian selects a particle splitting: positive spectral modes define annihilation operators, and the normal-ordered Hamiltonian is $H_K={\sum }_i{\omega }_i{a}_i^{†}{a}_i$. Its ground state is the vacuum state in a stationary spacetime. The Killing symmetry transports this splitting unchanged, so no positive-negative mixing is induced by stationary evolution. Degeneracies allow unitary basis changes without changing the vacuum. Stationarity fixes the ground-state particle interpretation relative to this time flow; it does not forbid excited or thermal states.

The qualification is that asymptotic stationarity alone, in the sense used for a Kerr exterior, is insufficient for a global positive-energy construction: $K$ becomes spacelike in an ergoregion of a stationary spacetime. The usual unambiguous construction applies to a strictly stationary spacetime with the stated stability and spectral assumptions, or to appropriate stationary asymptotic regions for scattering. Zero modes or instability need separate treatment. Likewise different observer time flows on different regions need not define the same particles.

For particle creation by a nonstationary spacetime, choose normalized positive-frequency modes $u_j^{\mathrm{in}}$ in the stationary early region and $u_i^{\mathrm{out}}$ in the stationary late region. Propagate both sets by the Klein-Gordon equation through the intermediate time-dependent geometry. Compute their overlaps on any common Cauchy hypersurface:The initial in-vacuum has $a_j^{\mathrm{in}}|0_{\mathrm{in}}⟩=0$. Since $a_i^{\mathrm{out}}={\sum }_j({\alpha }_{ij}^{\ast }{a}_j^{\mathrm{in}}-{\beta }_{ij}^{\ast }{a}_j^{\mathrm{in}†})$, contracting the in operators yields the particle number from Bogoliubov coefficients:Thus the procedure is to fix asymptotic mode choices, solve the classical wave equation, project using the conserved inner product, and take squared negative-frequency overlaps. Particle energy comes from the time-dependent background, so particle creation does not contradict the linear deterministic field equation. For an initial state diagonal in in-mode occupation numbers $n_j$, with no anomalous correlations, the more general expectation is ${\sum }_j[|{\alpha }_{ij}{|}^2{n}_j+|{\beta }_{ij}{|}^2(n_j+1)]$.

For continuous spectra, sums become integrals and normalized wave packets avoid meaningless squares of delta functions. A finite total count requires the appropriate convergence of the double sum or integral. The bosonic mode mixing implementability condition is that $\beta$ be Hilbert-Schmidt; otherwise the two Fock representations need not be unitarily equivalent, even though the local field algebra and finite-mode particle calculations still make sense. This distinction between deterministic field evolution and a chosen representation is essential to quantum field theory in curved spacetime.

Use ${\eta }_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and $\hslash =c=1$. In the interaction picture, fields evolve with the free Hamiltonian, while interactions enter the state evolution through the Dyson series. Write the Klein-Gordon field as $\varphi ={\varphi }^{(+)}+{\varphi }^{(-)}$, with the positive-frequency part of a quantum field containing annihilation operators and ${\varphi }^{(-)}=({\varphi }^{(+)}{)}^{†}$ containing creation operators. The mode normalization in the PDF corresponds to $[a_{\mathbf{p}},a_{\mathbf{q}}^{†}]=(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$ and $E_{\mathbf{p}}=\sqrt{|\mathbf{p}{|}^2+m^2}$.

The time-ordered product places fields with the latest time on the left. For two bosonic insertions,The normal-ordered product $:\varphi (x_1)\cdots \varphi (x_n):$ instead moves every creation operator to the left of every annihilation operator, without adding the commutators generated by that rearrangement. Its vacuum expectation value is zero whenever a nonempty set of free-field factors remains.

The mode commutator gives the positive-frequency Wightman functionDefine the Feynman propagator here to be the two-point function itself, rather than that function divided by $i$. ThenEquivalently,The positive-energy pole is below and the negative-energy pole above the real axis. Closing the energy contour integral below for positive time separation and above for negative time separation gives the two terms above. Thus this is the scalar Feynman propagator pole prescription, and $(\square +m^2){\Delta }_F=-i{\delta }^4$. In particular, $T\{\varphi (x)\varphi (y)\}=:\varphi (x)\varphi (y):+{\Delta }_F(x-y)$: the difference between time ordering and normal ordering is the Wick contraction.

For $n$ free bosonic fields, the Wick theorem stateswhere $P$ runs over all sets of disjoint pairs of indices, including the empty set, and $V(P)$ is the set of paired indices. The empty normal-ordered product equals one. This is an operator identity for free fields, understood with smearing or a regulator when products of operator-valued distributions require it.

Here is an inductive proof of the scalar Wick theorem. Sort the arguments chronologically so that $x_1^0$ is the latest. For any remaining set $I$, commuting the annihilation part of ${\varphi }_1$ through the creation parts in a normal-ordered product givesThe creation part of ${\varphi }_1$ is already in the correct position. Every commutator on the right is a scalar, so no further operator rearrangement is needed for it. Because $x_1$ is latest, that commutator is ${\Delta }_F(x_1-x_j)$. Assume the Wick theorem for the other $n-1$ fields and multiply its expansion by ${\varphi }_1$. The first term of the displayed identity gives every pairing in which index 1 is unpaired; the sum gives every pairing in which 1 is paired with exactly one $j$. Each final partial pairing has exactly one such construction. The one-field identity supplies the base case, proving the theorem by mathematical induction. Applying time ordering restores arbitrary argument order.

Taking the vacuum expectation value retains only complete pairings. Odd free correlators vanish; for example the free scalar four-point function is ${\Delta }_{12}{\Delta }_{34}+{\Delta }_{13}{\Delta }_{24}+{\Delta }_{14}{\Delta }_{23}$. These facts explain why propagators are the edges of Feynman diagrams.

For the interacting quartic scalar field theory, the interaction Hamiltonian density is $\lambda {\varphi }^4/4!$. With a single time ordering acting on external insertions and interaction vertices, the unnormalized numerator expands asApply the proved Wick theorem term by term. Each complete pairing connects external insertions and four-legged vertices by Feynman propagators. There are $4!$ assignments of four distinct incident legs at a vertex, canceling its factorial. Permuting identical integrated vertices cancels the corresponding part of $v!$. Permutations still leaving the labeled graph unchanged give its Feynman-diagram symmetry factor. For example,whereas the two-point tadpole diagram has coefficient $-i\lambda /2$, because choosing the two vertex legs contracted with the labeled external fields gives $4\cdot 3$ possibilities and the other two contract with each other.

Thus the position-space rules attach ${\Delta }_F$ to every edge, $-i\lambda \int d^{4}z$ to every four-legged interaction vertex, and divide by the graph's Feynman-diagram symmetry factor. Fourier transformation gives the momentum-space Feynman rules:Enforce momentum conservation at each vertex, retaining the overall four-momentum delta function. External lines of these correlation functions remain unamputated. The unnormalized expression includes Vacuum Feynman diagrams; dividing by $N_0=⟨0|S|0⟩$ cancels those disconnected vacuum factors. They should not be discarded without that normalization.

There is a time-ordering convention in the printed correlation-function notation worth making explicit. The usual interacting correlator uses the single global time ordering in $N_n$ above. If the displayed $T\{{\varphi }_1\cdots {\varphi }_n\}S$ is read literally with $S$ outside that ordering, the external block and the vertex block are separately time ordered: their cross-contractions are $D^{+}(x_i-z)$ because each external field stands to the left of every vertex field. The same pairing construction then uses ${\Delta }_F$ for lines within either block and $D^{+}$ for lines between blocks; in momentum space the latter is $2\pi \theta (p^0)\delta (p^2-m^2)$. This literal product is different from the conventional globally time-ordered interacting correlator, and does not have the ordinary external Feynman propagators derived above.

A symmetry preserves the action, possibly up to a boundary term. In a classical field theory, this connects transformations of fields to conserved quantities. In a quantum field theory, it also constrains states, observables and scattering amplitudes. Continuous symmetries have Noether currents; discrete symmetries can be equally important without supplying a current through the same theorem.

For a local density depending on fields ${\Phi }_a$ and their first derivatives, define ${\Pi }_a^{\mu }=\partial \mathcal{L}/\partial ({\partial }_{\mu }{\Phi }_a)$ and ${\mathcal{E}}_a=\partial \mathcal{L}/\partial {\Phi }_a-{\partial }_{\mu }{\Pi }_a^{\mu }$. Suppose a one-parameter transformation has fixed-coordinate variation $\delta {\Phi }_a=\epsilon R_a$ and satisfies $\delta \mathcal{L}=\epsilon {\partial }_{\mu }{K}^{\mu }$. The Noether's first theorem asserts thatFor Grassmann-valued fields the derivatives and ordering are chosen consistently; the same integration-by-parts argument applies. To prove the theorem, expand the density variation and integrate its derivative term once algebraically:Comparison with the assumed divergence gives ${\partial }_{\mu }{j}^{\mu }=-{\sum }_a{\mathcal{E}}_a{R}_a$. On shell every Euler-Lagrange expression vanishes. Integrating this continuity equation over space gives the Noether charge $Q=\int j^0{d}^{3}x$ and $dQ/dt=-{\int }_{\partial {\mathbb{R}}^3}\mathbf{j}\cdot d\mathbf{S}$. Thus $Q$ is conserved whenever the boundary flux vanishes. Boundary conditions are part of the conservation statement; the local identity alone does not discard nonzero flux.

Translations illustrate the theorem in every relativistic field theory. For $R_a=a^{\nu }{\partial }_{\nu }{\Phi }_a$ and $K^{\mu }=a^{\mu }\mathcal{L}$, the current is $a^{\nu }{T}^{\mu }{}_{\nu }$, whereThe four charges are energy and momentum. For the Klein-Gordon field they reduce to the expressions derived in Question 1. Lorentz invariance gives angular momentum and boost currents. With a symmetric improved stress-energy tensor, these are $M^{\lambda \mu \nu }=x^{\mu }{T}^{\lambda \nu }-x^{\nu }{T}^{\lambda \mu }$. The canonical Dirac expression also carries an intrinsic spin current; improvement incorporates it into the symmetric tensor. Together translations and Lorentz transformations form the Poincaré group.

Internal symmetries act on field components without moving spacetime points. The global phase symmetry of a complex scalar field, $\delta \varphi =-i\epsilon \varphi$, hasIts charge distinguishes particles and antiparticles. A Dirac phase transformation $\delta \psi =-i\epsilon \psi$ gives $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$. This is preserved by the real-scalar Yukawa interaction, because the phases of $\bar{\psi }$ and $\psi$ cancel; consequently fermion number is conserved even while scalar and fermion particles interact. A multiplet of real scalars with a potential depending only on ${\sum }_a{\varphi }_a^2$ has orthogonal internal rotations. Their antisymmetric currents can be written $j_{ab}^{\mu }={\varphi }_a{\partial }^{\mu }{\varphi }_b-{\varphi }_b{\partial }^{\mu }{\varphi }_a$.

Discrete examples include $\varphi \mapsto -\varphi$ for an even real-scalar potential, parity symmetry in quantum field theory, and charge conjugation, which interchanges a complex scalar with its conjugate and reverses the electromagnetic potential. Discrete transformations are not generated by an infinitesimal continuous parameter, so Noether theorem does not attach a local conserved current to each of them. Nevertheless they forbid interaction terms and relate physical processes.

A global symmetry in field theory uses parameters constant across spacetime and can act nontrivially on physical states. A gauge redundancy allows arbitrary spacetime-dependent parameters and relates descriptions of the same physical configuration. In scalar electrodynamics, replacing the scalar's global phase by a local phase requires the compensating gauge transformation of $A_{\mu }$ and the gauge covariant derivative; the invariant contraction uses the opposite representation for ${\varphi }^{\ast }$. In Yang-Mills theory, matter transforms in a representation of a non-Abelian gauge group and the gauge potential transforms so that covariant derivatives and field strengths transform covariantly. Gauge fixing, such as Coulomb gauge, chooses representatives of these descriptions rather than changing physical predictions. The current-contracted propagator identity of Question 3 illustrates why a noncovariant gauge choice leaves scattering Lorentz invariant.

The arbitrary local parameter produces a stronger statement than one independent conserved charge for each function. For the abelian scalar transformation, vary the action with an arbitrary compactly supported $\alpha (x)$ and integrate its derivative term:ThereforeThis consequence of Noether second theorem, the Noether identity for abelian scalar gauge symmetry, holds off shell: gauge invariance makes the field equations dependent. In Hamiltonian language the same redundancy is reflected by the Gauss law constraint in gauge theory and the elimination of unphysical gauge degrees of freedom. Gauge transformations that vanish at the boundary are redundancies; transformations with nontrivial boundary behaviour can instead carry physical surface charges. This is why identifying every gauge transformation with a zero-charge operation would be too strong.

Finally, symmetry of the action need not imply symmetry of a chosen vacuum. For a complex scalar with a symmetry-preserving potential whose minima occur at nonzero $|\varphi |$, different constant phases label degenerate vacua. Choosing one breaks the global phase symmetry of the state; the Goldstone theorem supplies a massless mode under its usual relativistic assumptions. When the same phase is gauged, the Higgs mechanism describes the phase degree of freedom becoming the longitudinal polarization of a massive gauge boson; the local redundancy is still present in the underlying description. At the quantum level a classical symmetry can also fail through a quantum anomaly, so a classical Noether derivation alone does not guarantee an exact quantum Ward identity. Conserved charges, physical global transformations and local gauge redundancy are related but distinct consequences of symmetry.

Fix a classical globally hyperbolic spacetime with metric signature $(-+++)$; in this solution take $\hslash =1$. A free real Klein-Gordon field can be specified bywhere $\mu$ is its mass, $\xi$ its curvature coupling and $\mathcal{R}$ the scalar curvature. Global hyperbolicity ensures a well-posed initial-value problem on a Cauchy hypersurface $\Sigma$ and the existence of retarded and advanced propagators. Thus compactly supported field and normal-derivative data determine a classical solution. This fixes the dynamics, but not a Fock vacuum.

For real solutions with suitable support or falloff, the symplectic form on scalar-field solutions iswith $n$ the future unit normal. The field equation makes the current conserved, so this symplectic form is independent of $\Sigma$ when boundary flux vanishes. Quantize the initial data by the canonical commutation relation: with $\pi =n^a{\nabla }_a\varphi$ and the delta function defined relative to $d\Sigma$, $[\hat{\varphi }(x),\hat{\pi }(y)]=i{\delta }_{\Sigma }(x,y)$ and the two equal-field commutators vanish. Equivalently, construct the field algebra using the causal propagator. A state on that algebra is additional input.

To construct a particle representation, complexify the classical solution space. Its conserved Klein-Gordon inner product isIt is indefinite on all complex solutions. Choose a complete positive-norm subspace and an orthonormal mode basis $u_i$ with $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and $(u_i,u_j^{\ast })=0$. Such a choice is encoded by a compatible complex structure on the Klein-Gordon solution space. Its positive subspace gives the one-particle Hilbert space, and the associated bosonic Fock space contains symmetrized many-particle states. The field expansion isThe creation operator $a_i^{†}$ adds a particle in mode $i$, the annihilation operator removes one, and the number operator is $N_i=a_i^{†}{a}_i$. For continuous mode labels the sums and Kronecker deltas become integrals and delta functions, or one can work with normalized wave packets.

The ambiguity is precisely that the field equation and global hyperbolicity do not select that positive subspace. A different normalized basis may mix $u_j$ and $u_j^{\ast }$ by a Bogoliubov transformation, and then its annihilation operators mix $a_j$ and $a_j^{†}$. Its Fock vacuum and number operators differ. The Hadamard condition constrains physically acceptable short-distance singularities and allows local renormalization, but it still leaves many states. Hence there is generally no observer-independent particle count on an arbitrary dynamical geometry.

In a stable strictly stationary spacetime, a globally future timelike Killing vector field $K$ gives a preferred time translation. Fix its normalization and suitable boundary conditions, and choose positive-frequency solutions satisfying $i{\mathcal{L}}_{K}u=\omega u$ with $\omega >0$. The corresponding positive spectral subspace gives the preferred vacuum state in a stationary spacetime. Unitary changes of basis within it leave the vacuum and the particle notion unchanged. This construction assumes a well-defined positive stationary generator; stationarity by itself is insufficient if $K$ becomes spacelike, as in a Kerr ergoregion, or if unstable or zero modes obstruct the ground-state construction. It selects a preferred ground state under the stated assumptions, not a unique state among all thermal and excited states.

If the geometry is suitably stationary in the asymptotic past and future, choose those preferred mode spaces separately, giving the in-vacuum and out-vacuum. Propagate the past modes through the intervening region using the field equation and compare them to the future modes using the conserved Klein-Gordon inner product. Adopt the conventionThe canonical identities for a bosonic Bogoliubov transformation read $\alpha {\alpha }^{†}-\beta {\beta }^{†}=I$ and $\alpha {\beta }^T=\beta {\alpha }^T$. Extracting the future annihilation operator with the same inner product givesIn the in-vacuum, only $⟨a_j{a}_k^{†}⟩={\delta }_{jk}$ contributes to $⟨b_i^{†}{b}_i⟩$. Therefore the particle number from Bogoliubov coefficients isNonzero $\beta$ is the production of future particles from the past vacuum. Summing over future modes gives the total expected particle number when that sum is finite. For infinitely many modes, a Hilbert-Schmidt operator $\beta$ is the condition for unitary implementability between these pure bosonic Fock space representations; finite-volume or wave-packet calculations must respect the relevant measures and convergence. Particle production is determined by the negative-frequency mixing, rather than by identifying a single instantaneous vacuum throughout the time-dependent region.

Consider a real Klein-Gordon field on a prescribed globally hyperbolic spacetime, obeying $(\square -m^2)\varphi =0$ with metric signature $(-,+,+,+)$. A curvature coupling can be included as $m^2\mapsto m^2+\xi R$. A Cauchy hypersurface $\Sigma$ and compactly supported smooth data $(\varphi ,n^a{\nabla }_a\varphi )$ determine a unique solution; appropriate falloff can replace compact support. The real solution space has conserved symplectic formConservation follows by integrating the divergence-free current ${\varphi }_1{\nabla }^a{\varphi }_2-{\varphi }_2{\nabla }^a{\varphi }_1$, with no boundary flux. On complex solutions the conserved Klein-Gordon inner product isIt is indefinite on the full complex solution space.

Choose a complete positive-norm mode subspace, with modes $u_j$ satisfyingEquivalently choose a compatible complex structure on the Klein-Gordon solution space. The mode labels may be continuous, in which case sums and Kronecker symbols become integrals and Dirac delta functions. Construct the one-particle Hilbert space from these modes and its bosonic Fock space. Promote the field to the operator-valued distributionFor a foliation with spatial metric determinant $h$, the conjugate momentum density is $\hat{\pi }=\sqrt{h}{n}^a{\nabla }_a\hat{\varphi }$. Mode completeness gives the equal-time canonical commutation relationsThe Fock vacuum obeys $a_j|0⟩=0$, and $a_j^{†}{a}_j$ counts particles in the chosen mode. For local products and a renormalized stress-energy tensor, physically admissible states are further restricted by the Hadamard condition. The field algebra exists without a preferred Fock vacuum.