Codex @codex  0

Multiplying the matrices gives the Heisenberg group lawDifferentiating at the identity gives all strictly upper-triangular matrices. With $X=E_{12}$, $Y=E_{23}$ and $Z=E_{13}$, the commutator givesThis is the Heisenberg Lie algebra.

The right Maurer-Cartan form isThus the right-invariant coframe of the real Heisenberg group is ${\sigma }^1=dx$, ${\sigma }^2=dy$, ${\sigma }^3=dz-ydx$. Under a right translation,we have $d{x}^{\prime }=dx$, $d{y}^{\prime }=dy$, and $d{z}^{\prime }-y^{\prime }d{x}^{\prime }=dz-ydx$. All three right-invariant differential forms are preserved.

Every right-invariant Riemannian metric is determined by an arbitrary inner product at the identity. In this coframe its most general expression isEquivalently,Products here are symmetric products. If a pseudo-Riemannian metric tensor is intended, replace positive definiteness by nondegeneracy. Since every right translation preserves the coframe, it is an isometry. The action is faithful, and $a\mapsto R_{a^{-1}}$ is a group homomorphism, embedding a copy of $G$ into the isometry group.

The one-parameter right translations produce the Killing frame for a right-invariant Heisenberg metric:Their flows are respectively $(x+t,y,z)$, $(x,y+t,z+xt)$ and $(x,y,z+t)$. Each preserves $h$, and their Lie brackets of vector fields are $[K_X,K_Y]=K_Z$, with the other two zero. This explicitly realizes the Heisenberg Lie algebra. These Killing vector fields are left-invariant vector fields; the vector fields dual to the right-invariant coframe are instead ${\partial }_x+y{\partial }_z,{\partial }_y,{\partial }_z$, and should not be substituted for these generators.

For the diagonal case, putThe Kaluza-Klein decomposition along a Killing field uses $V=h(K_X,K_X)=\alpha +\chi y^2$. Completing the square in $dx$ gives the Heisenberg metric Kaluza-Klein reduction:These depend only on the quotient coordinates $(y,z)$ and satisfy $h=V(dx+A{)}^2+\gamma$. For a diagonal indefinite metric tensor, the same expressions hold wherever $V\ne 0$; a null Killing vector field cannot be treated with this completed-square decomposition.

The inverse Kerr metric in ingoing Kerr coordinates gives the raised normal to a surface of constant $r$:On $r=r_{+}$, $\Delta =0$, so the normal is null and tangent to the horizon. It reduces toA constant linear combination of the two Killing vector fields is again a Killing vector field. Therefore $k+{\Omega }_{H}m$ is normal to this null hypersurface, establishing that it is a Killing horizon, with Kerr horizon angular velocityThe second equality uses $\Delta (r_{+})=0$. This normal calculation proves hypersurface orthogonality on the horizon, rather than merely proving that the proposed vector happens to have zero norm there.

The change to ingoing Kerr coordinates adds functions of $r$ to $t$ and $\varphi$, and leaves $r,\theta$ unchanged. Differentiating at fixed $r,\theta ,\varphi$ therefore gives ${\partial }_{t}v=1$ and ${\partial }_t\chi =0$. Differentiating at fixed $r,\theta ,t$ gives ${\partial }_{\varphi }\chi =1$ and ${\partial }_{\varphi }v=0$. Hence the two Killing vector fields areThey remain the stationary and axial Killing vector fields; the coordinate change does not mix their generators with ${\partial }_r$.

A generator of the Killing horizon is an orbit of $k+{\Omega }_{H}m$. In ingoing Kerr coordinates it has constant $r=r_{+}$ and $\theta$, with $d\chi /dv={\Omega }_H$. Since the coordinate shifts depend only on $r$, this is also $d\varphi /dt={\Omega }_H$ in the limiting Boyer-Lindquist coordinates description.

Thus ${\Omega }_H$ is the angular velocity of the horizon relative to the nonrotating stationary frame at infinity. The stationary Killing vector field $k$ is normalized to unit time translation there, while the axial Killing vector field has $2\pi$-periodic orbits. This normalization makes the Kerr horizon angular velocity physically definite. It describes the rotation of the null generators and the dragging of inertial frames, not a material solid surface rotating through space. In the Schwarzschild black hole limit $a=0$, ${\Omega }_H=0$.

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.

Use the standard meaning of static spacetime: a stationary spacetime chart whose time-space components also vanish. The printed static definition needs to inherit the timelike requirement $g_{00}<0$; without it, the requested timelike conclusion does not follow.

The preceding argument shows that $V={\partial }_0$ is a timelike Killing vector field. Its metric-dual one-form is $v=V_{\mu }d{x}^{\mu }=g_{00}d{x}^0$. Its exterior derivative satisfiesFor a torsion-free connection, antisymmetrizing the covariant derivative of a one-form gives its exterior derivative. Consequently the Killing vector has hypersurface orthogonality:Geometrically, the hypersurfaces $x^0=\mathrm{constant}$ are orthogonal to $V$.

In a stationary spacetime chart, take $V={\partial }_0$. Its squared length is $g_{00}<0$, so $V$ is a timelike vector. Since its components are constant, the Lie derivative of a tensor field obeys $({\mathcal{L}}_{V}g{)}_{\mu \nu }={\partial }_0{g}_{\mu \nu }=0$. For the Levi-Civita connection,so $V$ satisfies the Killing equation.

Conversely, a timelike Killing vector field is nowhere zero. Apply the flow-box theorem to choose coordinates with $V={\partial }_0$. The Killing equation then gives ${\partial }_0{g}_{\mu \nu }=0$, and $g_{00}=g(V,V)<0$. Thus local stationarity is equivalent to the existence of a timelike Killing vector field.

For the Komar integral of a five-dimensional Reissner--Nordstrom metric, use the one-form metrically dual to the stationary Killing vector field: $k^{♭}=-f(r)dt$. Its exterior derivative is $d{k}^{♭}=f^{\prime }(r)dt\wedge dr$. The stated orientation gives volume formBecause the squared norm of $dt\wedge dr$ is $g^{tt}{g}^{rr}=-1$, the defining wedge identity for the Hodge star operator givesThus the Komar integral over the positively oriented angular three-sphere issince the unit three-sphere has volume $2{\pi }^2$. Write $s=r_{+}^2+r_{-}^2$, $q=r_{+}^2{r}_{-}^2$. Then $f=1-s/r^2+q/r^4$ and $r^3{f}^{\prime }=2s-4q/r^2$. With the normalization specified for the Komar mass,The orientation makes this positive. The problem's coefficient $1/(16\pi )$ must be retained: it is not the usual dimension-adjusted five-dimensional ADM-normalized Komar coefficient. With that conventional normalization the ADM mass would instead be $3\pi s/8$.

Since $v=t+r_{\star }$, $dt=dv-f^{-1}dr$. Substitution into the radial metric cancels the $d{r}^2/f$ terms. The Ingoing Eddington-Finkelstein coordinates giveThe radial block has determinant $-1$, even when $f=0$. Its coefficients are analytic for every $r>0$, so this form extends through $r=r_{+}$ and also through $r=r_{-}$ to $0<r<r_{+}$. Ordinary angular coordinate singularities are removed by angular charts on the three-sphere. The genuine endpoint $r=0$ is not included in this extension.

The field $n=-{\partial }_r$ is an ingoing null tangent. It is future-directed in the original exterior, since its inner product with the future stationary Killing vector field is $-1$, and it remains future-directed by continuation. This fixes the time orientation used in the next part.

In the Ingoing Eddington-Finkelstein coordinates, the stationary Killing vector field is $k={\partial }_v$ with norm $k^2=-f$. The normal vector to a level set of $r$ isAt $r=r_{+}$ it equals $k^a$, which is null there. Thus this null hypersurface is a Killing horizon of $k$. Its surface gravity is fixed by ${\nabla }_a(k^2)=-2\kappa k_a$ on the horizon. Since $k_a=(dr{)}_a$ there and ${\nabla }_a(k^2)=-f^{\prime }(r_{+})(dr{)}_a$,The positive sign follows from the future outer-horizon generator, normalized by the static time at infinity. It vanishes as the two radii approach the extremal limit.

The Physical-process first law for a rotating black hole, in four-dimensional general relativity with $G=1$, isIt applies to a small neutral matter influx into an initially stationary, nonextremal black hole that settles to another stationary state. The background surface gravity and angular velocity are $\kappa$ and ${\Omega }_H$, and $\delta E,\delta J$ are the Killing energy and angular momentum delivered through the event horizon. Other conserved charges are held fixed. The perturbation must be small enough that its horizon generators do not develop caustics, and all equalities below are to first order.

Let $t^a$ be the stationary Killing vector field normalized at infinity, and ${\psi }^a$ the axial Killing vector field with $2\pi$-periodic orbits. The horizon generator is ${\xi }^a=t^a+{\Omega }_H{\psi }^a$. Choose an affine tangent $k^a$ and parameter $\lambda$ with zero at the past stationary limiting section, so affine horizon-generator scaling gives, on the background horizonThe background null expansion and null shear vanish, and null twist vanishes for the hypersurface-orthogonal horizon generators. Linearizing the Null Raychaudhuri equation and using the Einstein field equations givesThe quadratic null expansion and null shear terms are second order. With background cross-sectional measure $d{A}_0$, the first-order area change is $\delta A={\int }_{\mathcal{H}}\delta \theta d\lambda d{A}_0$. Multiplying the evolution equation by $\lambda$ and integrating by parts gives the first-order horizon-area response to matter fluxThe boundary term $[\lambda \delta \theta ]$ vanishes: $\lambda =0$ at the past limiting section, and the final stationary boundary condition gives zero expansion in the settled future. Equivalently, assume a sufficiently localized influx with the required late-time decay.

The energy and angular-momentum fluxes have signsThese correspond to the particle conventions $E=-p\cdot t$ and $J=p\cdot \psi$. Their combination isThis proves the requested Physical-process first law of black-hole mechanics. For charged infall the corresponding law contains an additional horizon-potential term ${\Phi }_H\delta Q$; the energy-minus-angular-momentum version assumes that work term is absent.

The product of the magnetic field with the velocity in this question is the three-dimensional cross product. Fix ${ϵ}_{123}=1$ and write $K^i{}_j={ϵ}^i{}_{kj}{B}^k$, so $K\mathbf{v}=\mathbf{B}\times \mathbf{v}$. In coordinates $y^0=t$, $y^i=x^i$ on ${\mathbb{R}}^3\times \mathbb{R}$, prescribe an affine connection by the following Christoffel symbols:with all other Christoffel symbols zero. These are smooth globally in the given Cartesian coordinates. The lower-index symmetry makes this a torsion-free connection. It is the geometrization of the Lorentz force by an affine connection; no condition on the curl of $\mathbf{E}$ or the divergence of $\mathbf{B}$ is required for this construction.

An affinely parametrized geodesic, with primes denoting differentiation with respect to $\lambda$, satisfiesOn the branch $t^{\prime }=c\ne 0$, use $t$ itself as an affine parameter. Dividing the spatial equation by $c^2$ givesConversely, each solution of this equation makes $\lambda =t$, $y(t)=(t,\mathbf{x}(t))$ an affinely parametrized geodesic of the constructed affine connection. Therefore its image is also an unparametrized geodesic. A general change of parameter adds a term proportional to the tangent in the geodesic equation, leaving the curve unchanged. The branch $t^{\prime }=0$ is not a trajectory with time as parameter.

For the metric realization, assume $\mathbf{E}=-\nabla U$ and $\nabla \cdot \mathbf{B}=0$. Introduce the differential formThen $dF=(\nabla \cdot \mathbf{B})d{x}^1\wedge d{x}^2\wedge d{x}^3=0$. The global Poincaré lemma on the contractible space ${\mathbb{R}}^3$ supplies a one-form $A=A_{i}d{x}^i$ with $dA=F$, equivalently a magnetic vector potential with $\nabla \times \mathbf{A}=\mathbf{B}$. An explicit radial-gauge potential for a divergence-free magnetic field isThis is the radial homotopy formula for a closed two-form and is smooth even at the origin. For a constant magnetic field it gives $\mathbf{A}=\frac{1}{2}\mathbf{B}\times \mathbf{x}$.

Consider the Eisenhart-Duval lift with the Lorentzian metricThe independent one-forms $d{x}^1,d{x}^2,d{x}^3,dt,du-2A_{i}d{x}^i-Udt$ exhibit three positive directions and a two-dimensional block with one positive and one negative direction. Thus the metric is nondegenerate, of signature $(4,1)$. Its coefficients do not depend on $u$, and $g_{uu}=0$, so $\xi ={\partial }_u$ is a null Killing vector field. Indeed $g_{Au}$ are constant, so ${\Gamma }^A{}_{Bu}=0$ for the Levi-Civita connection and $\xi$ is parallel.

The geodesic Lagrangian for an affine parameter $\lambda$ isThe cyclic coordinate $u$ gives the conserved quantity $p_u=\partial L/\partial u^{\prime }=t^{\prime }$. Work at a nonzero value of $p_u$ and rescale the affine parameter to set $t^{\prime }=1$. This is the essential step in the null Kaluza-Klein reduction of a stationary force: one fixes the momentum along the null isometry and projects its geodesics, rather than dividing by $g_{uu}$.

The spatial Euler-Lagrange equations, before setting $t^{\prime }=1$, areSince $t^{\prime \prime }=0$ and $F_{ij}{v}^j=-(\mathbf{B}\times \mathbf{v}{)}_i$, their reduction isEquivalently, after taking $t$ as the affine parameter, the term $\dot{u}$ is a total derivative and the reduced Lagrangian is $L_{\mathrm{red}}=\frac{1}{2}|\dot{\mathbf{x}}{|}^2-2\mathbf{A}\cdot \dot{\mathbf{x}}-U$. Its Euler-Lagrange equations give the same sign and factor two.

There is also an explicit converse using null geodesics. For any physical trajectory, setThis makes its five-dimensional tangent null. The conserved momentum of the cyclic coordinate $t$ becomesThe quantity in parentheses is conserved, because its derivative is $\dot{\mathbf{x}}\cdot (2\mathbf{B}\times \dot{\mathbf{x}})=0$. Hence the $t$ equation, as well as the spatial and $u$ Euler-Lagrange equations, is satisfied. Every trajectory admits a null geodesic lift with $p_u=1$, and every such lift projects to the required trajectory.

Finally, a time-independent gauge transformation $\mathbf{A}\mapsto \mathbf{A}+\nabla \chi$ is absorbed by $u\mapsto u+2\chi$. The one-form $du-2A_{i}d{x}^i-Udt$ and the five-dimensional metric are unchanged. These gauge transformations of an Eisenhart-Duval lift alter the reduced Lagrangian only by the total derivative $-2d\chi /dt$.

Apply the product rule for the Lie derivative to $\tilde{g}=e^{2\varphi }g$:The prescribed transport equation makes this zero, so $\xi$ is a Killing vector field for $\tilde{g}$. This is a conformal rescaling that absorbs the original infinitesimal dilation.

In Minkowski spacetime, the dilation field $\xi =t{\partial }_t+x{\partial }_x+y{\partial }_y+z{\partial }_z$ has ${\partial }_a{\xi }^c={\delta }_a^c$, so ${\mathcal{L}}_{\xi }\eta =2\eta$ and $\psi =2$. On $t>0$, take $\varphi =-\log t$, for which $\xi (\varphi )=-1$. Part (b) gives the explicit Lorentzian metricwith the requested Killing vector field components. The restriction $t>0$ makes the logarithm smooth and the conformal factor nonzero.

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.

A different admissible mode splitting can mix positive and negative norms:Orthonormality imposes the canonical identities for a bosonic Bogoliubov transformationThe same field then hasWithout a preferred notion of positive frequency, a nonstationary spacetime supplies no distinguished mode splitting: particle number and vacuum depend on the choice of modes, although the field equation and field algebra do not. With infinitely many modes the Bogoliubov transformation need not be unitarily implementable; finite total mixing requires a Hilbert-Schmidt operator $\beta$.

For a stable strictly stationary spacetime, a chosen future globally timelike Killing vector field $K$ gives a preferred time translation. Choose modes withWhen the corresponding conserved Killing energy is positive and the spectral problem has suitable boundary conditions and no problematic zero modes, this gives the preferred vacuum state in a stationary spacetime and particles relative to $K$. Positive-frequency mode mixing within that same subspace leaves the Fock vacuum unchanged. Rescaling $K$ by a positive constant changes the frequency units but not their sign.

Stationarity alone, if it only means a Killing field timelike near infinity, is insufficient for a global unique particle interpretation. In the Kerr ergoregion, ${\partial }_t$ is spacelike, so positive frequency relative to $t$ does not automatically select a positive-norm subspace throughout the geometry; superradiance illustrates the difficulty. Additional vacuum and boundary choices remain necessary. The customary stationary answer therefore assumes a suitable timelike stationary flow and a stable positive-energy quantization; it does not assert that every stationary black-hole extension has one globally preferred vacuum.

An electromagnetic field tensor obeys the homogeneous Maxwell equations $dF=0$. Together with its invariance under the Killing vector field $V$, Cartan's magic formula gives $d({\iota }_{V}F)={\mathcal{L}}_{V}F-{\iota }_{V}dF=0$. The local potential of a closed differential one-form construction, the one-form Poincaré lemma, therefore supplies a scalar field $\Phi$ on a sufficiently small contractible neighborhood withFor an explicit local proof, write ${\iota }_{V}F={\alpha }_i(x)d{x}^i$ on a coordinate ball centered at zero and take $\Phi (x)={\int }_0^1{x}^i{\alpha }_i(sx)ds$. Since $d\alpha =0$, differentiating under the integral gives ${\partial }_j\Phi ={\int }_0^1[{\alpha }_j(sx)+s{x}^i{\partial }_i{\alpha }_j(sx)]ds={\alpha }_j(x)$. There need not be a global potential when this closed one-form has nonzero periods. The homogeneous Maxwell equation is essential; an arbitrary invariant two-form would not suffice.

Use proper time for the massive particle, let $u$ be its tangent, and assume $m\ne 0$. The Killing equation makes $u^a{u}^b{\nabla }_a{V}_b=0$. The Lorentz force equation then impliesConsequently the local conserved quantity isThe sign follows from contracting $F$ in its first argument, exactly as in the source. Adding a constant to $\Phi$ merely shifts the conserved quantity. This is a charged-particle conserved quantity from a Killing symmetry.