For spacetimes with timelike Killing fields, we introduce a "Fermi-Walker-Killing" coordinate system and use it to prove a Liouville Theorem for an appropriate volume element of phase space for a statistical mechanical system of particles. We derive an exact relativistic formula for the Helmholtz free energy of an ideal gas and compare it, for a class of spacetimes, to its Newtonian analog, derived both independently and as the Newtonian limit of our formula. We also find the relativistic thermodynamic equation of state. Specific examples are given in Kerr spacetime.
We study Finsler spacetimes and Killing vector fields taking care of the fact that the generalized metric tensor associated to the Lorentz-Finsler function $L$ is in general well defined only on a subset of the slit tangent bundle. We then introduce a new class of Finsler spacetimes endowed with a timelike Killing vector field that we call stationary splitting Finsler spacetimes. We characterize when a Finsler spacetime with a timelike Killing vector field is locally a stationary splitting. Finally, we show that the causal structure of a stationary splitting is the same of one of two Finsleria…
In the extremal Kerr spacetime the horizon Killing vector field is null on a timelike hypersurface crossing the horizon at a fixed latitude, and spacelike on both sides of the horizon in the equatorial plane. We explain in some detail how this behaviour is consistent with the existence of timelike Killing vectors everywhere off the horizon, and how it arises in a limit from the Kerr spacetime where there is a similar hypersurface strictly outside the horizon.
Moitvated in part by [3], in this note we obtain a rigidity result for globally hyperbolic vacuum spacetimes in arbitrary dimension that admit a timelike conformal Killing vector field. Specifically, we show that if M is a Ricci flat, timelike geodesically complete spacetime with compact Cauchy surfaces that admits a timelike conformal Killing field X, then M must split as a metric product, and X must be Killing. This gives a partial proof of the Bartnik splitting conjecture in the vacuum setting.
A new tool for the investigation of 2+1 dimensional gravity is proposed. It is shown that in a stationary 2+1 dimensional spacetime, the eigenvectors of the covariant derivative of the timelike Killing vector form a rigid structure, the {\it principal Killing triad}. Two of the triad vectors are null, and in many respects they play the role similar to the principal null directions in the algebraically special 4-D spacetimes. It is demonstrated that the principal Killing triad can be efficiently used for classification and study of stationary 2+1 spacetimes. One of the most interesting applicat…
A new solution to the Einstein-Maxwell field equations is presented describing a cylindrically symmetric homogeneous cosmology. The solution is conformally flat, it possesses seven Killing vectors of which the timelike one is rotating and one of the spacelike, pseudorotating. Our solution also admits a Kerr-Schild form. It is alternatively produced by different electromagnetic sources some of which represent constant null electromagnetic fields, while the others, a circularly polarized plane electromagnetic wave (seemingly, a unique situation in general relativity). The concrete electromagneti…
In a space-time $M$ with a Killing vector field $ξ^a$ which is either everywhere timelike or everywhere spacelike, the collection of all trajectories of $ξ^a$ gives a 3-dimension space $S$. Besides the symmetry-reduced action from that of Einstein-Hilbert, an alternative action of the fields on $S$ is also proposed, which gives the same fields equations as those reduced from the vacuum Einstein equation on $M$.
Axisymmetric spacetimes with a conformal symmetry are studied and it is shown that, if there is no further conformal symmetry, the axial Killing vector and the conformal Killing vector must commute. As a direct consequence, in conformally stationary and axisymmetric spacetimes, no restriction is made by assuming that the axial symmetry and the conformal timelike symmetry commute. Furthermore, we prove that in axisymmetric spacetimes with another symmetry (such as stationary and axisymmetric or cylindrically symmetric spacetimes) and a conformal symmetry, the commutator of the axial Killing vec…
We first classify all supersymmetric solutions of the 3-dimensional half-maximal ungauged supergravity that possess a timelike Killing vector coming from the Killing spinor bilinear by considering their identification under the complexification of the local symmetry of the theory. It is found that only solutions that preserve $16/2^n, 1 \leq n \leq 3$ real supersymmetries are allowed. We then classify supersymmetric solutions under the real local symmetry of the theory and we are able to solve the equations of motion for all of them. It is shown that all such solutions can be expressed as a di…
We consider the structure of halos of the axionic dark matter, which surround massive relativistic objects with static spherically symmetric gravitational field and monopole-type magneto-electric fields. We work with the model of pseudoscalar field with the extended periodic potential, which depends on additional arguments proportional to the moduli of the Killing vectors; in our approach they play the roles of model guiding functions. The covariant model of the axion field with this modified potential is equipped with the extended formalism of the Killing vector fields, which is established i…
We prove that global hyperbolicity is stable in the interval topology on the spacetime metrics. We also prove that every globally hyperbolic spacetime admits a Cauchy hypersurface which remains Cauchy under small perturbations of the spacetime metric. Moreover, we prove that if the spacetime admits a complete timelike Killing field, then the light cones can be widened preserving both global hyperbolicity and the Killing property of the field.
In realistic situations, black hole spacetimes do not admit a global timelike Killing vector field. However, it is possible to describe the horizon in a quasilocal setting by introducing the notion of a quasilocal boundary with certain properties which mimic the properties of a black hole horizon. Isolated horzons and Killing horizons are examples of such kind. In this paper, we construct a boundary of spacetime which is null and admits a conformal Killing vector field. Furthermore we construct the space of solutions (in general theory of relativity) which admits such quasilocal conformal Kill…
We classify all supersymmetric solutions of minimal gauged supergravity in four dimensions. There are two classes of solutions that are distinguished by the norm of the Killing vector constructed from the Killing spinor. If the Killing vector is timelike, the solutions are determined by the geometry of a two-dimensional base-manifold. When it is lightlike, the most general BPS solution is given by an electrovac AdS travelling wave. This supersymmetric configuration was previously unknown. Generically the solutions preserve one quarter of the supersymmetry. Also in the timelike case we show tha…
We study the Einstein field equations for spacetimes admitting a maximal two-dimensional abelian group of isometries acting orthogonally transitively on spacelike surfaces and, in addition, with at least one conformal Killing vector. The three-dimensional conformal group is restricted to the case when the two-dimensional abelian isometry subalgebra is an ideal and it is also assumed to act on non-null hypersurfaces (both, spacelike and timelike cases are studied). We consider both, diagonal and non-diagonal metrics and find all the perfect-fluid solutions under these assumptions (except those …
We determine the timelike Killing vector field that gives the correct definition of energy for test fields propagating in a Kerr-Newman-de Sitter spacetime, and use this result to prove that test fields cannot destroy extremal Kerr-Newman-de Sitter black holes.
We define the cohomogeneity one string, string with continuous symmetries, as its world surface is tangent to a Killing vector field of a target space. We classify the Killing vector fields by an equivalence relation using isometries of the target space. We find that the equivalence classes of Killing vectors in Minkowski spacetime are partitioned into seven families. It is clarified that there exist seven types of strings with spacelike symmetries and four types of strings with timelike symmetries, stationary strings.
By using the Bondi-Sachs-van der Burg formalism we analyze the asymptotic properties at null infinity of axisymmetric electrovacuum spacetimes with a translational Killing vector and, in general, an infinite ``cosmic string'' (represented by a conical singularity) along the axis. Such spacetimes admit only a local null infinity. There is a non-vanishing news function due to the existence of the string even though there is no radiation. We prove that if null infinity has a smooth compact cross section and the spacetime is not flat in a neighbourhood of null infinity, then the translational Kill…
Using the ADM formulation of the Einstein-Maxwell axion-dilaton gravity we derived the formulas for the variation of mass and other asymptotic conserved quantities in the theory under consideration. Generalizing this kind of reasoning to the initial dota for the manifold with an interior boundary we got the generalized first law of black hole mechanics. We consider an asymptotically flat solution to the Einstein-Maxwell axion-dilaton gravity describing a black hole with a Killing vector field timelike at infinity, the horizon of which comprises a bifurcate Killing horizon with a bifurcate surf…
A subclassification of stationary spacetimes, endowed with one timelike and one spacelike Killing vectors, i.e., Petrov $G{_2}I$ on $T_2$ spaces, is proposed. Special attention deserves the Collison's theorem [1] and the branch of metrics circularly cyclicly (axially) symmetric possessing additionally the conformal flatness property reported by Garcia and Campuzano [2].
Einstein's field equations of gravitation are known to admit closed timelike curve (CTC) solutions. Deutsch approached the problem from the quantum information point of view and proposed a self-consistency condition. In this work, the Deutsch equation is formulated as an eigenvalue problem. The disappearance of entanglement between two qubits in an Einstein-Podolsky-Rosen (EPR) state near a CTC is demonstrated. The method is utilized to analyze the discontinuous evolution of two chronology respecting (CR) qubits near a CTC.
The supersymmetric extension of charged point particle's motion is applied to investigate symmetries of gravitational fields and electromagnetic fields. We mainly focus on the role of the Killing- Yano tensors of both usual and generalized types. Results obtained by systematic analysis strengthen the connection of the Killing- Yano tensor and superinvariants (functions commuting with the supercharge).
Spherically, plane, or hyperbolically symmetric spacetimes with an additional hypersurface orthogonal Killing vector are often called ``static'' spacetimes even if they contain regions where the Killing vector is non-timelike. It seems to be widely believed that an energy-momentum tenor for a matter field compatible with these spacetimes in general relativity is of the Hawking-Ellis type I everywhere. We show in arbitrary $n(\ge 3)$ dimensions that, contrary to popular belief, a matter field on a Killing horizon is not necessarily of type I but can be of type II. Such a type-II matter field on…
Binary black hole spacetimes with a helical Killing vector, which are discussed as an approximation for the early stage of a binary system, are studied in a projection formalism. In this setting the four dimensional Einstein equations are equivalent to a three dimensional gravitational theory with a $SL(2,\mathbb{C})/SO(1,1)$ sigma model as the material source. The sigma model is determined by a complex Ernst equation. 2+1 decompositions of the 3-metric are used to establish the field equations on the orbit space of the Killing vector. The two Killing horizons of spherical topology which chara…
We study some symmetry and integrability properties of four-dimensional Einstein-Maxwell gravity with nonvanishing cosmological constant in the presence of Killing vectors. First of all, we consider stationary spacetimes, which lead, after a timelike Kaluza-Klein reduction followed by a dualization of the two vector fields, to a three-dimensional nonlinear sigma model coupled to gravity, whose target space is a noncompact version of $\mathbb{C}\text{P}^2$ with SU(2,1) isometry group. It is shown that the potential for the scalars, that arises from the cosmological constant in four dimensions, …
In 4 spacetime dimensions there is a well known proof that for any asymptotically flat, stationary, and axisymmetric vacuum solution of Einstein's equation there exists a "$t$-$ϕ$" reflection isometry that reverses the direction of the timelike Killing vector field and the direction of the axial Killing vector field. However, this proof does not generalize to higher spacetime dimensions. Here we consider asymptotically flat, stationary, and axisymmetric (i.e., having one or more commuting rotational isometries) black hole spacetimes in vacuum general relativity in $d \geq 4$ spacetime dimensio…
We explore some implications of the hypothesis that quantum mechanics (QM) is universal, i.e., that QM does not merely describe information accessible to observers, but that it also describes the observers themselves. From that point of view, "free will" (FW) - the ability of experimentalists to make free choices of initial conditions - is merely an illusion. As a consequence, by entangling a part of brain (responsible for the illusion of FW) with a distant particle, one may create nonlocal correlations that can be interpreted as superluminal signals. In addition, if FW is an illusion, then QM…
In a 5-dimensional spacetime ($M,g_{ab}$) with a Killing vector field $ξ^a$ which is either everywhere timelike or everywhere spacelike, the collection of all trajectories of $ξ^a$ gives a 4-dimensional space $S$. The reduction of ($M,g_{ab}$) is studied in the geometric language, which is a generalization of Geroch's method for the reduction of 4-dimensional spacetime. A 4-dimensional gravity coupled to a vector field and a scalar field on $S$ is obtained by the reduction of vacuum Einstein's equations on $M$, which gives also an alternative description of the 5-dimensional Kaluza-Klein theor…
We show that, for general static or axisymmetric stationary spacetimes, a cosmological Killing horizon exists only if $R_{ab}n^{a}n^{b}< 0$ for a hypersurface orthogonal timelike $n^{a}$, at least over some portion of the region of interest of the manifold. This implies violation of the strong energy condition by the matter fields, the simplest example of which is a positive cosmological constant.
The simple structure of doubly torqued vectors allows for a natural characterization of doubly twisted down to warped spacetimes, as well as Kundt spacetimes down to PP waves. For the first ones the vectors are timelike, for the others they are null. We also discuss some properties, and their connection to hypersurface orthogonal conformal Killing vectors, and null Killing vectors.
For a given timelike displacement vector the covariant Hamiltonian quasi-local energy expression requires a proper choice of reference spacetime. We propose a program for determining the reference by embedding a neighborhood of the two-sphere boundary in the dynamic spacetime into a Minkowski reference, so that the two sphere is embedded isometrically, and then extremizing the energy to determine the embedding variables. Applying this idea to Schwarzschild spacetime, we found that for each given future timelike displacement vector our program gives a unique energy value. The static observer me…
We show how one can systematically construct vacuum solutions to Einstein field equations with $D-2$ commuting Killing vectors in $D>4$ dimensions. The construction uses Einstein-scalar field seed solutions in 4 dimensions and is performed both for the case when all the Killing directions are spacelike, as well as when one of the Killing vectors is timelike. The later case corresponds to generalizations of stationary axially symmetric solutions to higher dimensions. Some examples representing generalizations of known higher dimensional stationary solutions are discussed in terms of their rod s…
We study the power of closed timelike curves (CTCs) and other nonlinear extensions of quantum mechanics for distinguishing nonorthogonal states and speeding up hard computations. If a CTC-assisted computer is presented with a labeled mixture of states to be distinguished--the most natural formulation--we show that the CTC is of no use. The apparent contradiction with recent claims that CTC-assisted computers can perfectly distinguish nonorthogonal states is resolved by noting that CTC-assisted evolution is nonlinear, so the output of such a computer on a mixture of inputs is not a convex combi…
We compute the conserved charges for Kerr anti-de Sitter spacetimes in various dimensions using the conformal and the counterterm prescriptions. We show that the conserved charge corresponding to the global timelike killing vector computed by the two methods differ by a constant dependent on the rotation parameter and cosmological constant in odd spacetime dimensions, whereas the charge corresponding to the rotational killing vector is the same in either approach. We comment on possible implications of our results to the AdS/CFT correspondence.
A link between the possibility of extending a geodessically incomplete kinked spacetime to a spacetime which is geodesically complete and the energy conditions is discussed for the case of a cylindrically-symmetric spacetime kink. It is concluded that neither the strong nor the weak energy condition can be satisfied in the four-dimensional example, though the latter condition may survive on the transversal sections of such a spacetime. It is also shown that the matter which propagates quantum-mechanically in a kinked spacetime can always be trapped by closed timelike curves, but signaling conn…
Modulo conventional scale factors, the Simon and Simon-Mars tensors are defined for stationary vacuum spacetimes so that their equality follows from the Bianchi identities of the second kind. In the nonvacuum case one can absorb additional source terms into a redefinition of the Simon tensor so that this equality is maintained. Among the electrovacuum class of solutions of the Einstein-Maxwell equations, the expression for the Simon tensor in the Kerr-Newman-Taub-NUT spacetime in terms of the Ernst potential is formally the same as in the vacuum case (modulo a scale factor), and its vanishing …
Killing vector fields in three dimensions play important role in the construction of the related spacetime geometry. In this work we show that when a three dimensional geometry admits a Killing vector field then the Ricci tensor of the geometry is determined in terms of the Killing vector field and its scalars. In this way we can generate all products and covariant derivatives at any order of the ricci tensor. Using this property we give ways of solving the field equations of Topologically Massive Gravity (TMG) and New Massive Gravity (NMG) introduced recently. In particular when the scalars o…
We study the space of Killing fields on the four dimensional AdS spacetime $AdS^{3,1}$. Two subsets $\mathcal{S}$ and $\mathcal{O}$ are identified: $\mathcal{S}$ (the spinor Killing fields) is constructed from imaginary Killing spinors, and $\mathcal{O}$ (the observer Killing fields) consists of all hypersurface orthogonal, future timelike unit Killing fields. When the cosmology constant vanishes, or in the Minkowski spacetime case, these two subsets have the same convex hull in the space of Killing fields. In presence of the cosmology constant, the convex hull of $ \mathcal{O}$ is properly co…
Let $(M,g)$ be a spacetime which admits a complete timelike conformal Killing vector field $K$. We prove that $(M,g)$ splits globally as a standard conformastationary spacetime with respect to $K$ if and only if $(M,g)$ is distinguishing (and, thus causally continuous). Causal but non-distinguishing spacetimes with complete stationary vector fields are also exhibited. For the proof, the recently solved "folk problems" on smoothability of time functions (moreover, the existence of a {\em temporal} function) are used.
The formation of a naked singularity in a model of f(R) gravity having as source a linear electromagnetic field is considered in view of quantum mechanics. Quantum test fields obeying the Klein-Gordon, Dirac and Maxwell equations are used to probe the classical timelike naked singularity developed at r=0. We prove that the spatial derivative operator of the fields fails to be essentially self-adjoint. As a result, the classical timelike naked singularity remains quantum mechanically singular when it is probed with quantum fields having different spin structures.
We study fixed points of isometries of the higher-dimensional Kerr-NUT-(A)dS spacetimes that form generalizations of symmetry axes. It turns out that, in the presence of nonzero NUT charges, some parts of the symmetry axes are necessarily singular and their intersections are surrounded by regions with closed timelike curves. Motivated by similarities with the spacetime of a spinning cosmic string, we introduce geometric quantities that characterize various types of singularities on symmetry axes. Expanding the Kerr-NUT-(A)dS spacetimes around candidates for possible fixed points, we find the K…
We show that Petrov type I vacuum solutions admitting a Killing vector whose Papapetrou field is aligned with a principal bivector of the Weyl tensor are the Kasner and Taub metrics, their counterpart with timelike orbits and their associated windmill-like solutions, as well as the Petrov homogeneous vacuum solution. We recover all these metrics by using an integration method based on an invariant classification which allows us to characterize every solution. In this way we obtain an intrinsic and explicit algorithm to identify them.
We consider 5D Einstein-Maxwell (EM) gravity in spacetimes with three commuting Killing vectors: one timelike and two spacelike Killing vectors one of them being hypersurface-orthogonal. Assuming a special ansatz for the Maxwell field we show that the 2-dimensional reduced EM equations are completely integrable by deriving a Lax-pair presentation. We also develop a solution generating method for explicit construction of exact EM solutions with considered symmetries. We also derive explicitly a new rotating six parametric 5D EM solution which includes the dipole black ring solution as a particu…
The use of Lax pair tensors as a unifying framework for Killing tensors of arbitrary rank is discussed. Some properties of the tensorial Lax pair formulation are stated. A mechanical system with a well-known Lax representation -- the three-particle open Toda lattice -- is geometrized by a suitable canonical transformation. In this way the Toda lattice is realized as the geodesic system of a certain Riemannian geometry. By using different canonical transformations we obtain two inequivalent geometries which both represent the original system. Adding a timelike dimension gives four-dimensional s…
In this paper we study some global properties of static potentials on asymptotically flat $3$-manifolds $(M,g)$ in the nonvacuum setting. Heuristically, a static potential $f$ represents the (signed) length along $M$ of an irrotational timelike Killing vector field, which can degenerate on surfaces corresponding to the zero set of $f$. Assuming a suitable version of the null energy condition, we prove that a noncompact component of the zero set must be area minimizing. From this we obtain some rigidity results for static potentials that have noncompact zero set components, or equivalently, tha…
It is shown that a general radial conformal Killing vector in Minkowski space-time can be associated to a generator of time evolution in conformal quantum mechanics. Among these conformal Killing vectors one finds a class which maps causal diamonds in Minkowski space-time into themselves. The flow of such Killing vectors describes worldlines of accelerated observers with a finite lifetime within the causal diamond. Time evolution of static diamond observers is equivalent to time evolution in conformal quantum mechanics governed by a hyperbolic Hamiltonian and covering only a segment of the tim…
The time independent spherically symmetric solutions of General Relativity (GR) coupled to a dynamical unit timelike vector are studied. We find there is a three-parameter family of solutions with this symmetry. Imposing asymptotic flatness restricts to two parameters, and requiring that the aether be aligned with the timelike Killing field further restricts to one parameter, the total mass. These "static aether" solutions are given analytically up to solution of a transcendental equation. The positive mass solutions have spatial geometry with a minimal area 2-sphere, inside of which the area …
Symplectic mechanics of relativistic spinning compact bodies. I. linear-in-spin integrability under Killing-Yano symmetry
Université de Caen Normandie, ENSICAEN, CNRS/IN2P3, LPC Caen UMR6534（法国卡昂诺曼底大学、ENSICAEN、CNRS/IN2P3、LPC Caen UMR6534）；Department of Physics, National University of Singapore（新加坡国立大学物理系）
We derive formulas for variations of mass, angular momentum and canonical energy in Einstein (n-2)-gauge form field theory by means of the ADM formalism. Considering the initial data for the manifold with an interior boundary which has the topology of (n-2)-sphere we obtained the generalized first law of black hole thermodynamics. Supposing that a black hole evevt horizon comprisesw a bifurcation Killing horizon with a bifurcate surface we find that the solution is static in the exterior world, when the Killing timelike vector field is normal to the horizon and has vanishing electric or magnet…
Two formulations of quantum mechanics, inequivalent in the presence of closed timelike curves, are studied in the context of a soluable system. It illustrates how quantum field nonlinearities lead to a breakdown of unitarity, causality, and superposition using a path integral. Deutsch's density matrix approach is causal but typically destroys coherence. For each of these formulations I demonstrate that there are yet further alternatives in prescribing the handling of information flow (inequivalent to previous analyses) that have implications for any system in which unitarity or coherence are n…
We develop a method for computing the free-energy of a canonical ensemble of quantum fields near the horizon of a rotating black hole. We show that the density of energy levels of a quantum field on a stationary background can be related to the density of levels of the same field on a fiducial static space-time. The effect of the rotation appears in the additional interaction of the "static" field with a fiducial abelian gauge-potential. The fiducial static space-time and the gauge potential are universal, i.e., they are determined by the geometry of the given physical space-time and do not de…
The main concepts of general relativistic thermodynamics and general relativistic statistical mechanics are reviewed. The main building block of the proper relativistic extension of the classical thermodynamics laws is the four-temperature vector β, which plays a major role in the quantum framework and defines a very convenient hydrodynamic frame. The general relativistic thermodynamic equilibrium condition demands βto be a Killing vector field. We show that a remarkable consequence is that all Lie derivatives of all physical observables along the four-temperature flow must then vanish.
