Codex @codex  0

Vary the scalar field with compactly supported variation, leaving the metric tensor fixed. The action variation isIntegration by parts moves the derivative from $\delta \varphi$ and gives the Euler-Lagrange equationFor the FRW metric, $\sqrt{-g}=a^3$, so the covariant wave operator becomesRearranging gives the requested scalar field evolution:The damping term is Hubble friction; it comes from the expanding volume factor $a^3$, not from a microscopic dissipative force.

For a homogeneous scalar field, every spatial derivative vanishes. The stress-energy tensor consequently has no momentum density or directional stress:The only spatial tensor left is ${\delta }^{ij}$, so the stress is isotropic. This is the perfect fluid form in its comoving frame. Now expand the time component of stress-energy conservation using the covariant derivative:The first term is $\dot{\rho }$. In the second, only $\lambda =0$ contributes, and ${\sum }_i{\Gamma }^i{}_{i0}=3H$, giving $3H\rho$. The third isHere the quoted Christoffel symbols include their lower-index symmetry ${\Gamma }^i{}_{j0}={\Gamma }^i{}_{0j}$. Therefore the cosmological continuity equation isAs a check using the scalar field equation, $\dot{\rho }=\dot{\varphi }(\ddot{\varphi }+V_{,\varphi })=-3H{\dot{\varphi }}^2=-3H(\rho +P)$, with exactly the same sign.

With zero scalar potential and a homogeneous scalar field, the preceding perfect fluid identification givesThis equation of state is that of a stiff fluid. The field equation integrates to $a^3\dot{\varphi }=K$, since ${\partial }_t(a^3\dot{\varphi })=0$. Hence $\rho =K^2/(2a^6)$, agreeing with the cosmological continuity equation for $w=1$. If this nonzero component dominates a flat universe, the Friedmann equation giveson the expanding branch. Integrating once more, $a^3=3\sqrt{4\pi G/3}|K|(t-t_B)$. Choosing the Big Bang at $t_B=0$ yieldsThe homogeneous free scalar as a stiff fluid construction requires $K\ne 0$; a constant zero-potential field has zero energy density and cannot dominate this expansion.

Use target signature $(-,+,\dots ,+)$ and worldsheet signature $(-,+)$. The Polyakov action has local worldsheet diffeomorphism and Weyl invariance, together with global target-space Poincaré symmetry. Under a worldsheet coordinate change $\sigma \mapsto {\sigma }^{\prime }$, the embedding coordinates are scalars and the worldsheet metric is a tensor:A Weyl transformation acts as $g_{ab}\mapsto e^{2\rho (\sigma )}{g}_{ab}$ and leaves $X$ unchanged. In two dimensions $\sqrt{-g}$ scales by $e^{2\rho }$ and $g^{ab}$ by $e^{-2\rho }$, so the action is invariant. Target translations act by $X^{\mu }\mapsto X^{\mu }+a^{\mu }$, and Lorentz transformations by $X^{\mu }\mapsto {\Lambda }^{\mu }{}_{\nu }{X}^{\nu }$ with ${\Lambda }^{\mathsf{T}}\eta \Lambda =\eta$; they leave $g$ unchanged. Infinitesimally the latter have $\delta X^{\mu }={\omega }^{\mu }{}_{\nu }{X}^{\nu }$, where ${\omega }_{\mu \nu }=-{\omega }_{\nu \mu }$.

Locally, the two diffeomorphism functions put the metric into the form $g_{ab}=e^{2\rho }{\eta }_{ab}$, and Weyl invariance removes the conformal factor. In this conformal gauge, the embedding coordinates are free scalar fields and satisfyThe metric equation must still be imposed after gauge fixing. Varying the ungauged metric gives the worldsheet stress-energy tensor constraintWith a dot and prime denoting the two coordinate derivatives, the independent Virasoro constraints areequivalently $(\dot{X}\pm X^{\prime }{)}^2=0$. Local conformal gauge leaves residual conformal transformations; on general worldsheet topologies it also leaves global moduli, rather than removing all metric information.

For target translations, differentiation of the Lagrangian with respect to ${\partial }_a{X}_{\mu }$ gives the Noether currentThe embedding equation is ${\partial }_a{j}^{a\mu }=0$. In conformal gauge, $j^{\tau \mu }={\dot{X}}^{\mu }/(2\pi {\alpha }^{\prime })$, so integration over the closed string givesPeriodic boundary conditions make its time derivative vanish. For an infinitesimal Lorentz transformation, the antisymmetric coefficient of ${\omega }_{\mu \nu }$ gives the current $j^{a,\mu \nu }=X^{\mu }{j}^{a\nu }-X^{\nu }{j}^{a\mu }$. Its divergence vanishes because the remaining product of embedding derivatives is symmetric in $\mu ,\nu$. Thus the Noether charge isThese are the target-space Noether charges of a string.

For the circular solution take $R>0$, and let ${\mathbf{e}}_r=(\cos \sigma ,\sin \sigma )$ and ${\mathbf{e}}_{\sigma }=(-\sin \sigma ,\cos \sigma )$. Its derivatives areEach spatial coordinate has equal second derivatives in $\tau$ and $\sigma$, while the time coordinate has both second derivatives zero. Furthermoreso both the field equations and the Virasoro constraints hold, including the collapse instants.

At target time $t=X^0=R\tau$, the string is a circle in the $X^1{X}^2$ plane of radius $R|\cos (t/R)|$. It contracts from radius $R$ to zero and re-expands; the negative cosine reverses material labels by a half-turn rather than creating a negative radius. The spatial configuration repeats after target time $\pi R$. This is a pulsating circular string. Its induced metric degenerates at collapse, but the conformal-gauge embedding and constraints give its continuation.

The integrals of $\sin \sigma$ and $\cos \sigma$ vanish, so the momentum isThe spatial velocity is radial, giving zero angular momentum density in the plane; all boost-charge terms integrate to zero as well. Hence $J^{\mu \nu }=0$ for every pair of indices.

At maximum expansion, all string elements are instantaneously at rest, and the length is $L_0=2\pi R$. Thus the rest mass per unit length, equal to the string tension, isAt other times the instantaneous circumference is $L=2\pi R|\cos \tau |$, and the elements have speed $|\sin \tau |$. Their Lorentz factor is $1/|\cos \tau |$, so the energy remains $TL/\sqrt{1-v^2}=2\pi TR$. The rest-energy density is $T$; the total rest-frame energy divided by the changing circumference is not constant. This distinguishes the requested intrinsic mass density from the larger energy density of moving string elements.

The string nonlinear sigma model regards the target-space metric, the Kalb–Ramond field and the dilaton as couplings of the two-dimensional worldsheet theory. Schematically its Euclidean terms areQuantization produces running background couplings and a possible worldsheet Weyl anomaly. Gauge-fixed matter bosons contribute central charge $D$, while the reparameterization bc ghost system contributes $-26$ in each chirality. In the critical flat background cancellation therefore requires $D=26$. In a curved background, vanishing improved sigma-model beta functions further imposes field equations for $G,B,\Phi$. For example, the leading metric condition isThese are spacetime conditions because the couplings are functions of the embedding coordinates, not additional worldsheet coordinates.

The leading equations arise by varying the string-frame massless effective actionThe factor $e^{-2\Phi }$ is the sphere contribution in the string genus expansion. Higher sigma-model orders generate higher-derivative terms in the ${\alpha }^{\prime }$ expansion; higher genera give string-loop corrections. Thus conformal consistency of the quantum worldsheet determines the low-energy target equations and their action. This is a massless-sector truncation: the bosonic tachyon is not removed by writing an action only for $G,B,\Phi$.

For a brane embedding $X^{\mu }(\xi )$, the D-brane worldvolume pullbacks areThe dilaton is evaluated at the embedding. When $T_p$ denotes the physical tension in a background with constant mode ${\Phi }_0$, the convention is $\tilde{\Phi }=\Phi (X)-{\Phi }_0$, so $e^{-\tilde{\Phi }}=1$ in that vacuum. Equivalently one can use $\tilde{\Phi }=\Phi (X)$ and a coefficient with the constant $e^{-{\Phi }_0}$ not already included. The physics is the same; the two conventions must not count that constant factor twice.

Several features motivate the Dirac-Born-Infeld action. Without gauge or two-form fields, it is the relativistic induced-volume action for a tensionful extended object. An open-string boundary couples to its gauge potential $A$, so a bulk transformation $B\mapsto B+d\Lambda$ is canceled by $A\mapsto A-P[\Lambda ]/(2\pi {\alpha }^{\prime })$. Thus only $P[B]+2\pi {\alpha }^{\prime }F$ can enter. For slowly varying constant field strength, the open-string disk partition function resums its dependence into the determinant; expansion gives the Maxwell kinetic term. The disk has Euler characteristic one, giving $e^{-\Phi }$ rather than the closed-string sphere's $e^{-2\Phi }$. Worldvolume covariance and the induced metric then combine these ingredients into the determinant expression.

Explicitly, in flat background and static gauge $X^a={\xi }^a$ with transverse fluctuations $X^I$, the weak-field expansion starts asThe linear term in the antisymmetric matrix $F$ vanishes; the quadratic term follows from expanding $\frac{1}{2}\mathrm{Tr}\log (1+2\pi {\alpha }^{\prime }{\eta }^{-1}F)$. Thus the DBI action contains both the scalar and gauge kinetic energies, while higher powers and derivatives are string-scale corrections.

For two coincident D-branes, an oriented open string has independent labels $r,s\in \{1,2\}$ at its ends. Its Chan-Paton factors are the matrix units $E_{rs}$. The four massless vector modes span the Lie algebra of $U(2)$: diagonal strings supply the two Abelian fields, and oppositely oriented interbrane strings supply the off-diagonal modes. Joining strings multiplies these matrices, producing the non-Abelian commutators. Transverse vector polarizations become adjoint scalar fields. This is Coincident-D-brane gauge enhancement.

The massless gauge/scalar dynamics reduce to dimensionally reduced Yang-Mills theory in a flat background with constant dilaton and vanishing pulled-back $B$, at energies and field variations well below the string scale. More precisely, derivative corrections satisfy ${\alpha }^{\prime }{E}^2\ll 1$, and one expands in small dimensionless field strengths and scalar gradients rather than retaining the full nonlinear determinant. Weak string coupling suppresses loop corrections. After subtracting the constant brane vacuum energy and using the scalar normalization fixed below, the coefficient isA bosonic brane additionally has an open-string tachyon; the displayed action governs its massless sector and is not a stable complete truncation. For supersymmetric branes the corresponding leading action also has the massless fermions.

There is a sign qualification in the printed scalar potential. With the stated $D_a\varphi ={\partial }_a\varphi +i[A_a,\varphi ]$, take $A_a,{\varphi }^I$ Hermitian and $[{\varphi }^I,{\varphi }^J{]}^2$ to mean the literal matrix product. Then dimensional reduction hasConsequently $F_{IJ}{F}^{IJ}=-[{\varphi }^I,{\varphi }^J{]}^2$. The consistent low-energy action isThis is the Hermitian commutator potential in D-brane Yang-Mills theory. Its potential energy is $-\sum \mathrm{Tr}[{\varphi }^I,{\varphi }^J{]}^2/(4g_{\mathrm{YM}}^2)\ge 0$, because a Hermitian-matrix commutator is anti-Hermitian. For a concrete check, take ${\varphi }^1=v{\sigma }_1$, ${\varphi }^2=v{\sigma }_2$ with Pauli matrices. Then $[{\varphi }^1,{\varphi }^2{]}^2=-4v^{4}I$, so the literal printed plus sign would make the static energy negative and unbounded below. The printed plus sign is consistent only if its square denotes the positive norm $[{\varphi }^I,{\varphi }^J{]}^{†}[{\varphi }^I,{\varphi }^J]$, rather than a literal square. The gauge-boson mass calculation below uses the unambiguous kinetic terms.

In an ordinary separated-brane vacuum the scalar expectation values commute and can be simultaneously diagonalized:Their eigenvalue vectors specify the transverse positions, up to the normalization to be determined. The trace encodes the center of mass; their difference encodes separation. When the two vectors coincide, every $U(2)$ transformation commutes with the vacuum. When they are distinct, only independent diagonal phases do, so the unbroken group is $U(1)\times U(1)$. The off-diagonal vectors acquire mass by the Higgs mechanism.

Write the off-diagonal entries of $A_a$ as $W_a$ and $W_a^{\ast }$ and put $\Delta v^I=v_1^I-v_2^I$. At a constant diagonal vacuum, $D_a{\varphi }^I=i[A_a,⟨{\varphi }^I⟩]$, soThe quadratic off-diagonal gauge kinetic term is $-f_{ab}^{\ast }{f}^{ab}/(2g_{\mathrm{YM}}^2)$ with $f_{ab}={\partial }_a{W}_b-{\partial }_b{W}_a$, and the scalar kinetic term supplies $-{\sum }_I(\Delta v^I{)}^2{W}_a^{\ast }{W}^a/g_{\mathrm{YM}}^2$. Comparing these with the complex massive-vector action givesHere the term W-boson means this broken-generator vector, not specifically an electroweak particle. The normalization places the gauge coupling outside the action, so no extra $g_{\mathrm{YM}}$ multiplies these $v_r^I$; rescaling to canonically normalized scalar fields moves that coupling into the usual Higgs mass formula.

The corresponding open-string vector oscillator stretched over distance $L=|X_1-X_2|$ has classical stretching mass $TL=L/(2\pi {\alpha }^{\prime })$. Its unstretched mass contribution vanishes because it is the vector level, rather than the bosonic tachyon level. Equating it with the gauge-theory mass givesThe component relation follows by rotational covariance and a common choice of transverse origin; a uniform translation adds the same constant to both brane coordinates. This is the D-brane scalar-position normalization. Together with the string tension determined in Question 1, it fixes the exact normalization of scalar eigenvalues as brane positions.

Let a dot denote differentiation with respect to an affine geodesic parameter $s$. The five-dimensional geodesic Lagrangian isBecause $z$ is cyclic, its Euler-Lagrange equation gives the conserved quantityThis is the conserved momentum per unit five-dimensional mass associated with the Killing vector field ${\partial }_z$. For the other coordinates, differentiate $\partial L/\partial {\dot{x}}^i={\gamma }_{ij}{\dot{x}}^j+k{A}_i$. Using $\dot{k}=0$ givesThe first two terms combine into ${\gamma }_{ij}({\ddot{x}}^j+{\Gamma }^j{}_{lm}{\dot{x}}^l{\dot{x}}^m)$, with the Christoffel symbols of $\gamma$. Define the four-dimensional electromagnetic field tensor $F_{ij}={\partial }_i{A}_j-{\partial }_j{A}_i$ and raise its index with $\gamma$. The complete reduced geodesic equations areThis is the Kaluza-Klein geodesic Lorentz force. The Christoffel symbols describe the gravitational motion in general relativity in the four-dimensional metric tensor, while the right-hand side is antisymmetric in its lowered indices and gives the relativistic Lorentz force. In particular,Thus the force preserves the four-dimensional velocity norm, as a Lorentz force must. A particle with $k=0$ is neutral and follows an ordinary four-dimensional geodesic. Nonzero compact momentum gives electric charge, with its sign determined by the direction of motion around the circle.

To identify the actual charge-to-mass ratio, suppose the five-dimensional particle has mass $M>0$ and $s$ is its five-dimensional proper time, so $g_5(\dot{X},\dot{X})=-1$. Then $\gamma (\dot{x},\dot{x})=-(1+k^2)$. Four-dimensional proper time obeys $d\tau /ds=\sqrt{1+k^2}$; since $k$ is constant, $u^i=d{x}^i/d\tau$ satisfiesHere $q$ is in the geometric normalization of the supplied potential $A$. The relation $m^2=M^2+p_z^2$ also follows directly from the five-dimensional mass shell, and continues to identify the effective mass when the higher-dimensional particle is massless. The distinction between the two proper times prevents mistaking $k$ itself for the physical four-dimensional charge-to-mass ratio. A rescaling of $A$ to a canonically normalized electromagnetic potential correspondingly rescales $q$.

For the wave calculation, take a scalar field of five-dimensional mass $M$ in units $\hslash =c=1$, obeying $({\square }_5-M^2)\Psi =0$. In the coordinate order $(x^i,z)$, direct inversion of the metric tensor givesThe determinant follows by the triangular change of coframe from $(d{x}^i,dz)$ to $(d{x}^i,dz+A_{i}d{x}^i)$, whose determinant is one. Write $J=\sqrt{|\det \gamma |}$. Since all coefficients are $z$-independent, the scalar covariant wave operator isExpanding the right-hand side verifies both cross terms $-2A^i{\partial }_i{\partial }_z\Psi$, the term $-J^{-1}{\partial }_i(J{A}^i){\partial }_z\Psi$, and the coefficient $1+A_i{A}^i$ of ${\partial }_z^2\Psi$.

Single-valuedness under the compact coordinate period requires the Fourier seriesFor the $n$th Kaluza-Klein mode, put $q_n=n/R$ and $D_i={\partial }_i-i{q}_n{A}_i$. The five-dimensional Klein-Gordon equation reduces toThis is the charged four-dimensional Klein-Gordon equation: the divergence expression includes both the spacetime connection and the gauge connection. Its interpretation as electric charge can also be checked directly. Under the fibre coordinate change $z^{\prime }=z-\chi (x)$, the metric retains its form with $A^{\prime }=A+d\chi$, and the scalar Fourier coefficient changes by ${\psi }_n^{\prime }=e^{i{q}_n\chi }{\psi }_n$. Hence $D_i^{\prime }{\psi }_n^{\prime }=e^{i{q}_n\chi }{D}_i{\psi }_n$, exactly the transformation law for a field of charge $q_n$.

The Kaluza-Klein charge quantization is thereforePositive and negative integers give opposite charges, and the zero mode is neutral. Restoring $\hslash$ gives compact momenta $p_z=n\hslash /R$, so their fundamental spacing is $\hslash /R$. These are charges in the metric's geometric normalization. If $A_i=\kappa {\mathcal{A}}_i$ for a physically normalized electromagnetic potential ${\mathcal{A}}_i$, the physical charge unit is $\kappa /R$ in natural units, or $\kappa \hslash /R$ with $\hslash$ restored. Determining $\kappa$ requires an electromagnetic action normalization not specified by the metric ansatz alone.

For an expanding universe, cosmic inflation requires $\ddot{a}>0$. Including any vacuum contribution in the total density and pressure, the acceleration equation gives $\boxed{\rho +3P<0}$, or $w=P/\rho <-1/3$ for positive density. Equivalently the comoving Hubble radius $(aH{)}^{-1}={\dot{a}}^{-1}$ decreases. Since $|{\Omega }_{\mathrm{total}}-1|=|k|/(aH{)}^2$, prolonged acceleration suppresses curvature and addresses the flatness problem. A sufficiently long inflationary phase also stretches a region that was initially causally connected to encompass the observed region, addressing the horizon problem. The condition on acceleration must last long enough; an arbitrarily short interval is insufficient.

For a homogeneous canonical scalar field $\Phi$ with potential $V(\Phi )$,Thus $V>{\dot{\Phi }}^2$ is sufficient for inflation. A suitably flat positive potential gives slow-roll inflation: Hubble damping in $\ddot{\Phi }+3H\dot{\Phi }+V_{,\Phi }=0$ keeps the kinetic energy small compared with $V$, so $P_{\Phi }\simeq -{\rho }_{\Phi }$.

Use $\hslash =c=1$. For a canonical light scalar field with effective mass $m^2\ll H^2$, define the canonical Fourier mode $u_k=a\delta {\Phi }_k$. In the nearly de Sitter approximation it obeysDeep inside the Hubble radius, $k\gg aH$, the mode behaves like a Minkowski oscillator. Choosing the Bunch-Davies vacuum sets $u_k\to e^{-ik\eta }/\sqrt{2k}$. The normalized de Sitter solution isInflation stretches the physical wavelength until it exits the Hubble radius. For $|k\eta |\ll 1$, the growing scalar solution freezes with $|\delta {\Phi }_k{|}^2=|u_k/a{|}^2\to H^2/(2k^3)$. The dimensionless power spectrum is thereforeHere $H_k$ is evaluated when $k=aH$, since slow evolution near horizon exit fixes the frozen amplitude. Nearly constant $H$ and a light field make this spectrum almost scale-invariant; slow background evolution and small mass corrections produce a small tilt. The stretched vacuum modes supply the primordial stochastic fluctuations.

Work initially in units $G=c=\hslash =k_B=1$ and consider gravitational collapse settling to a nonextremal Schwarzschild black hole. Classically, outgoing rays sufficiently close to the forming event horizon suffer an arbitrarily large redshift. Quantum mechanically, the meaning of positive frequency at past null infinity differs from that at future null infinity; a Bogoliubov transformation between these two mode descriptions can therefore mix creation operators and annihilation operators. Hawking's argument computes that mixing and obtains a thermal occupation, even when the incoming state has no particles.

To see why the frequency mixing is universal, use final Schwarzschild time $t$, the Schwarzschild tortoise coordinate $r_{\ast }$, and retarded time $u=t-r_{\ast }$. Near the final event horizon, $r_{\ast }\sim (2\kappa {)}^{-1}\log (r-2M)$, with Schwarzschild surface gravity $\kappa =1/(4M)$. On a fixed advanced-time section, $u=v-2r_{\ast }$, so $r-2M$ is proportional to $e^{-\kappa u}$. Tracing a ray back through the regular collapsing region maps this small separation smoothly to its separation from the last escaping incoming ray. If $U$ is an affine incoming null coordinate and $U_H$ labels that limiting ray, the Hawking exponential ray map isThe logarithm at a simple horizon root fixes the exponent. Smooth propagation through the earlier collapse changes $A$ and phases but not the leading exponential redshift.

For a massless bosonic test scalar field, an outgoing mode of frequency $\omega >0$ at future null infinity behaves as $e^{-i\omega u}$. Trace it backward in the high-frequency geometric optics approximation. Its relevant incoming dependence is, up to normalization and a phase,Here $\Theta$ is the Heaviside step function. Incoming rays with $U>U_H$ do not escape. This truncated logarithmic phase is not purely positive frequency with respect to $U$. Decomposing it into incoming positive-frequency solutions $e^{-i{\omega }^{\prime }U}$ and negative modes $e^{+i{\omega }^{\prime }U}$ gives the Bogoliubov transformation. With $x=U_H-U$, the two relevant Fourier transform integrals areThe former is the positive-frequency coefficient and the latter is the negative-frequency coefficient; the Klein-Gordon inner product introduces the same frequency normalization into their modulus ratio. By the defining integral of the Gamma function and analytic continuation in its Laplace parameter,For a complex number $z$ in the right half-plane, $|z^{-1-ia}|=|z{|}^{-1}{e}^{a\arg z}$. As $ϵ\downarrow 0$, the two arguments tend to $+\pi /2$ and $-\pi /2$. This gives the thermal ratio of Hawking Bogoliubov coefficients:The regulator fixes the branches and is essential to the sign of the thermal exponent.

Expand the outgoing annihilator as $b=\int d{\omega }^{\prime }({\alpha }_{\omega {\omega }^{\prime }}^{\ast }{a}_{{\omega }^{\prime }}-{\beta }_{\omega {\omega }^{\prime }}^{\ast }{a}_{{\omega }^{\prime }}^{†})$, including a complete set of incoming channels. The canonical identities for a bosonic Bogoliubov transformation express $[b,b^{†}]=1$. For normalized outgoing wave packets, they give $\int (|\alpha {|}^2-|\beta {|}^2)d{\omega }^{\prime }=1$. In the incoming Fock vacuum, the outgoing mean of the particle number operator is $N_{\omega }=\int |\beta {|}^{2}d{\omega }^{\prime }$. Combining the two identities with the thermal ratio, in the late-time narrow-frequency packet limit, yieldsWave packets avoid interpreting the divergent normalization of infinitely long continuum modes as a finite particle count. The temperature is the Hawking temperature, and the occupation is the zero-chemical-potential Bose-Einstein distribution. Restoring constants, the Schwarzschild black hole temperature is $T_H=\hslash c^3/(8\pi GM{k}_B)$ for physical mass $M$.

The preceding thermal occupation describes the horizon-originating channel before exterior scattering. The exterior angular and curvature potential partly reflects it. For a scalar field, the number flux at future null infinity is consequentlywhere the greybody factor ${\Gamma }_{\ell }$ is the transmission probability of a partial wave. Multiplication by $\omega$ gives its energy flux. Thus the asymptotic spectrum has the thermal denominator but is not an exact blackbody spectrum. For fermionic fields the canonical anticommutation relations replace the minus sign in the occupation denominator by a plus sign, at the same Hawking temperature.

The relevant state is the collapse vacuum for Hawking radiation: no incoming thermal bath at past null infinity, and regular short-distance behavior in freely falling coordinates at the forming event horizon. It predicts an outgoing flux, unlike equilibrium with a thermal bath on an eternal black hole. The derivation uses quantum field theory in curved spacetime on a prescribed classical geometry; it does not require outgoing particles to follow forbidden classical paths out of the interior. Positive energy carried to infinity is accompanied, in the semiclassical description, by negative Killing-energy flux into the black hole. Including that flux in slow backreaction decreases its mass, giving black-hole evaporation.

The approximation applies to the late radiation of a large nonextremal black hole while its surface gravity changes slowly on a time scale ${\kappa }^{-1}$. Backward propagation involves very high locally measured frequencies, so the calculation assumes the usual regular short-distance quantum-field state. It determines the leading radiation and temperature, not the Planck-scale endpoint of black-hole evaporation. The exponential horizon redshift forces positive/negative frequency mixing with a thermal ratio, giving outgoing Hawking radiation at $T_H=\kappa /(2\pi )$.

The gravitational variable and the fields held fixed in a variation must be specified. For bosonic matter a second-order metric tensor formulation is sufficient. For spinorial matter a vierbein and a spin connection are needed to define the local Lorentz representation and its covariant derivative. “Second order” refers to a connection already expressed through derivatives of the vierbein; “first order” treats that connection as an independent variable.

For a metric tensor, a scalar field and an Abelian gauge field, consider the Einstein-Hilbert action with matter,Here $e=\sqrt{-g}$ and the connection in $R$ is Levi-Civita. The metric tensor variation uses $\delta e=-e{g}_{\mu \nu }\delta g^{\mu \nu }/2$ andMetric compatibility makes the last two terms a divergence. ThusStationarity for arbitrary compactly supported variations givesExplicitly,Scalar field and gauge-potential variations give ${\nabla }^2\varphi -V^{\prime }=0$ and ${\nabla }_{\mu }{F}^{\mu \nu }=0$. Their equations imply stress-energy conservation, consistently with the contracted Bianchi identity. If the boundary metric tensor is fixed instead of using compactly supported variations, add the Gibbons–Hawking–York boundary term, ${\kappa }^{-2}{\int }_{\partial M}{\epsilon }_{\partial M}\sqrt{|h|}K$, with the outward-normal orientation. Fixing the metric tensor alone does not otherwise remove the normal derivatives of its variation.

For spinorial matter, write $g_{\mu \nu }=e_{\mu }{}^a{e}_{\nu }{}^b{\eta }_{ab}$ and ${\nabla }_{\mu }\chi ={\partial }_{\mu }\chi +{\omega }_{\mu ab}{\gamma }^{ab}\chi /4$. In the second-order theory set $\omega =\omega (e)$ before varying. A symmetrized Dirac action, in the same no-$i$, mostly-plus convention as the earlier solutions, isVarying $\bar{\chi }$ and integrating by parts gives $(/\nabla +m)\chi =0$; varying $\chi$ gives the adjoint equation. The spinor components held fixed in a gravitational variation are components in the Lorentz frame. Both ${\gamma }^{\mu }=e_a{}^{\mu }{\gamma }^a$ and $\omega (e)$ vary with the vierbein. The former gives the canonical stress, and integrating the spin-connection variation supplies its spin-current improvement. On the Dirac equations the resulting symmetric stress tensor isThe off-shell expression also contains $g_{\mu \nu }{\mathcal{L}}_{\chi }/e$; this vanishes on the matter equations for the displayed symmetrized action. Treating the coordinate gamma matrices as fixed while varying the metric tensor would miss the displayed stress. Local Lorentz invariance removes the independent antisymmetric vierbein equation, leaving the symmetric Einstein field equations with this matter source.

In a first-order vierbein formulation, $e^a$ and an antisymmetric Lorentz connection ${\omega }^{ab}$ are independent. Defineand use $R(e,\omega )=e_a{}^{\mu }{e}_b{}^{\nu }{R}_{\mu \nu }{}^{ab}$. The curvature form of a connection variation is $\delta R^{ab}=D_{\omega }\delta {\omega }^{ab}$. For the Einstein-Hilbert term, integration by parts in form notation gives a connection equation proportional towhen matter has no connection dependence. For an invertible vierbein this forces $T^a=0$, so $\omega =\omega (e)$. The vierbein equation then becomes the second-order Einstein field equations. This applies to the scalar and Maxwell examples: use $F=dA$, which is independent of $\omega$ and remains gauge invariant even if torsion is present.