The black hole rigidity theorem asserts that a rotating stationary black hole must be axisymmetric. This theorem holds for General Relativity with suitable matter fields, in four or more dimensions. We show that the theorem can be extended to any diffeomorphism invariant theory of vacuum gravity, assuming that this is interpreted in the sense of effective field theory, with coupling constants determined in terms of a ``UV scale'', and that the black hole solution can locally be expanded as a power series in this scale.
We consider arbitrary stationary and axisymmetric black holes in general relativity in $(d +1)$ dimensions (with $d \geq 3$) that satisfy the vacuum Einstein equation and have a non-degenerate horizon. We prove that the canonical energy of axisymmetric electromagnetic perturbations is positive definite. This establishes that all vacuum black holes are stable to axisymmetric electromagnetic perturbations. Our results also hold for asymptotically deSitter black holes that satisfy the vacuum Einstein equation with a positive cosmological constant. Our results also apply to extremal black holes pr…
We study the interior electrovacuum region of axisymmetric and stationary black holes with surrounding matter and find that there exists always a regular inner Cauchy horizon inside the black hole, provided the angular momentum $J$ and charge $Q$ of the black hole do not vanish simultaneously. In particular, we derive an explicit relation for the metric on the Cauchy horizon in terms of that on the event horizon. Moreover, our analysis reveals the remarkable universal relation $(8πJ)^2+(4πQ^2)^2=A^+ A^-$, where $A^+$ and $A^-$ denote the areas of event and Cauchy horizon respectively.
We prove that in Einstein-Maxwell theory the inequality $(8πJ)^2+(4πQ^2)^2 < A^2$ holds for any sub-extremal axisymmetric and stationary black hole with arbitrary surrounding matter. Here $J, Q$, and $A$ are angular momentum, electric charge, and horizon area of the black hole, respectively.
We construct a one-parameter family of stationary axisymmetric and asymptotically flat spacetimes solutions to the Einstein-Vlasov system bifurcating from the Kerr spacetime. The constructed solutions have the property that the spatial support of the matter is a finite, axisymmetric shell located away from the black hole. Our proof is mostly based on the analysis of the set of trapped timelike geodesics for stationary axisymmetric spacetimes close to Kerr, where the geodesic flow is not necessarily integrable. Moreover, the analysis of the Einstein field equations relies on the modified Carter…
We provide a geometric framework for the construction of non-vacuum black holes whose metrics are stationary and axisymmetric. Under suitable assumptions we show that the Einstein equations reduce to an Einstein-harmonic map type system and analyze the compatibility of the resulting equations. This framework will be fundamental to our forthcoming construction of metric-stationary axisymmetric bifurcations of Kerr solving the Einstein--Klein--Gordon system, and as such, we include specializations of all of our formulas to the case of a time-periodic massive scalar field.
We solve a class of boundary value problems for the stationary axisymmetric Einstein equations corresponding to a disk of dust rotating uniformly around a central black hole. The solutions are given explicitly in terms of theta functions on a family of hyperelliptic Riemann surfaces of genus 4. In the absence of a disk, they reduce to the Kerr black hole. In the absence of a black hole, they reduce to the Neugebauer-Meinel disk.
We use soliton methods in order to investigate the interior electrovacuum region of axisymmetric and stationary, electrically charged black holes with arbitrary surrounding matter in Einstein-Maxwell theory. These methods can be applied since the Einstein-Maxwell vacuum equations permit the formulation in terms of the integrability condition of an associated linear matrix problem. We find that there always exists a regular inner Cauchy horizon inside the black hole, provided the angular momentum $J$ and charge $Q$ of the black hole do not vanish simultaneously. Moreover, the soliton methods pr…
Two theorems are proved concerning how stationary axisymmetric electrovac spacetimes that are equatorially symmetric or equatorially antisymmetric can be characterized correctly in terms of the Ernst potentials $\E$ and $Φ$ or in terms of axis-data.
We present a non-perturbative proof of the no hair theorems corresponding to scalar and Proca fields for stationary axisymmetric de Sitter black hole spacetimes. Our method also applies to asymptotically flat and under a reasonable assumption, to asymptotically anti-de Sitter spacetimes.
We prove that for sub-extremal axisymmetric and stationary black holes with arbitrary surrounding matter the inequality $8π|J|<A$ holds, where $J$ is the angular momentum and $A$ the horizon area of the black hole.
Three natural classes of orthonormal frames, namely Frenet-Serret, Fermi-Walker and parallel transported frames, exist along any timelike world line in spacetime. Their relationships are investigated for timelike circular orbits in stationary axisymmetric spacetimes, and illustrated for black hole spacetimes.
We analyse the expression for the mass of a stationary axisymmetric configuration in general relativity obtained in our previous work [1]. From the generality of our formula and its incompatibility with the corresponding expression in Kerr space-time we argue that a stationary equilibrium distribution of a real matter cannot be a source of the Kerr metric.
It is shown that within conformally flat stationary axisymmetric spacetimes, besides of the static family, there exists a new class of metrics, which is always stationary and axisymmetric. All these spacetimes, the static and the stationary ones, are endowed with an arbitrary function depending on the two non--Killingian coordinates. The explicit form of this function can be determined once the coupled matter, i.e., the energy--momentum tensor is given. One might hope possible extensions of this result to black holes on two--branes in four dimensions.
Einstein's equations for stationary axisymmetric fields are reformulated as the equations for affine geodesics in a two--dimensional space. The affine collineations of this space are investigated and used to relate explicit solutions of Einstein's equations with different physical properties. Particularly, the solutions describing the exterior fields of a dyon and a slowly rotating body are discussed.
It has been shown by one of the authors$^1$ that in isotropic spherical coordinates there is a relation between the mass of a static spherical gravitating body and the pressure distribution inside it. In this paper the result is generalized for the case of stationary axisymmetric configurations.
Clairin's method of obtaining Bäcklund transformations is applied to Einstein's field equations for the interior of a uniformly rotating stationary axisymmetric perfect fluid. It is shown that for arbitrary pressure $p$ and mass density $μ$ the method does not give non-trivial Bäcklund transformations, while if $μ+ 3p =0$ it gives the transformation of Ehlers.
In this work we present an approximate solution of the Einstein equations describing a global model for the gravitational field generated by a bounded, self-gravitating stationary and axisymmetric body rotating rigidly with constant angular velocity.
In this second paper devoted to the equatorial symmetry/antisymmetry of stationary axisymmetric electrovac spacetimes we show how two theorems proved in our previous paper (Ernst, Manko and Ruiz 2006 Class. Quantum Grav. 23, 4945) can be utilized to construct exact solutions that are equatorially symmetric or antisymmetric.
Physically admissible choice of the "essential" coordinates identified with components of the metric tensor and co-moving frame of reference reduced to the formulation of the stationary axisymmetric GR problem. Such nontraditional approach allows to obtain new 4-parametric vacuum solution. In special static case this solution becomes the set well-known GR exact solutions for degenerate vacuum gravitational fields, in some special stationary case, after transformations coincides with Kerr solution. In other special stationary case the founded solution turn into modified NUT solution.
The motion of test particles in stationary axisymmetric gravitational fields is generally nonintegrable unless a nontrivial constant of motion, in addition to energy and angular momentum along the symmetry axis, exists. The Carter constant in Kerr-de Sitter spacetime is the only example known to date. Proposed astrophysical tests of the black-hole no-hair theorem have often involved integrable gravitational fields more general than the Kerr family, but the existence of such fields has been a matter of debate. To elucidate this problem, we treat its Newtonian analogue by systematically searchin…
We prove the uniqueness theorem for stationary axisymmetric black hole solution in Einstein-Maxwell-axion-dilaton gravity being the low-energy limit of the heterotic string theory. We consider both non-degenerate and extremal Kerr-Sen black hole solutions.
In this paper we prove that in a stationary axisymmetric SU(2) Einstein-Yang-Mills theory the most reasonable circularity conditions that can be considered for the Yang-Mills fields imply in fact that the field is of embedded Abelian type, or else that the metric is not asymptotically flat.
Axisymmetric and stationary solutions are constructed to the Einstein--Vlasov and Vlasov--Poisson systems. These solutions are constructed numerically, using finite element methods and a fixed-point iteration in which the total mass is fixed at each step. A variety of axisymmetric stationary solutions are exhibited, including solutions with toroidal, disk-like, spindle-like, and composite spatial density configurations, as are solutions with non-vanishing net angular momentum. In the case of toroidal solutions, we show for the first time, solutions of the Einstein--Vlasov system which contain …
Stationary, axisymmetric, vacuum, solutions of Einstein's equations are obtained as critical points of the total mass among all axisymmetric and $(t,ϕ)$ symmetric initial data with fixed angular momentum. In this variational principle the mass is written as a positive definite integral over a spacelike hypersurface. It is also proved that if absolute minimum exists then it is equal to the absolute minimum of the mass among all maximal, axisymmetric, vacuum, initial data with fixed angular momentum. Arguments are given to support the conjecture that this minimum exists and is the extreme Kerr i…
We reduce Einstein's field equations for the interior of a uniformly rotating, axisymmetric perfect fluid to a system of six second order partial differential equations for the pressure p the energy density $μ$ and four dependent variables.Four of these equations do not depend on p and $μ$ and the other two determine p and $μ$.
We present a proof of the no hair theorems corresponding to free massive non-perturbative Pauli-Fierz spin-2 and perturbative massive spin-1/2 fields for stationary axisymmetric de Sitter black hole spacetimes of dimension four with two commuting Killing vector fields. The applicability of these results for asymptotically flat and anti-de Sitter spacetimes are also discussed.
In this paper, the problem of finding an axisymmetric stationary spacetime from a specified set of multipole moments, is studied. The condition on the multipole moments, for existence of a solution, is formulated as a convergence condition on a power series formed from the multipole moments. The methods in this paper can also be used to give approximate solutions to any order as well as estimates on each term of the resulting power series.
A formulation for stationary axisymmetric electromagnetic fields in general relativity is derived by casting them into the form of an anisotropic fluid. Several simplifications of the formalism are carried out in order to analyze different features of the fields, such as the derivation of electromagnetic sources for the Maxwell field in the form of thin layers, construction of new solutions, and generation techniques.
A procedure is described for matching a given stationary axisymmetric perfect fluid solution to a not necessarily asymptotically flat vacuum exterior. Using data on the zero pressure surface, the procedure yields the Ernst potential of the matching vacuum metric on the symmetry axis. From this the full metric can be constructed using a variety of well established procedures.
We study the structure of stationary and axisymmetric metrics solving the vacuum Einstein equations of General Relativity in four and higher dimensions, building on recent work in hep-th/0408141. We write the Einstein equations in a new form that naturally identifies the sources for such metrics. The sources live in a one-dimensional subspace and the entire metric is uniquely determined by them. We study in detail the structure of stationary and axisymmetric metrics in four dimensions, and consider as an example the sources of the Kerr black hole.
Solution generating techniques for general relativity with a conformally (and minimally) coupled scalar field are pushed forward to build a wide class of asymptotically flat, axisymmetric and stationary spacetimes continuously connected to Kerr. This family contains, amongst other things, rotating extensions of the Bekenstein black hole and also its angular and mass multipolar generalisations. Further addition of NUT charge is also discussed.
We present the fundamentals of the recently proposed geometric description of photon regions in terms of foliation into fundamental photon hypersurfaces, which satisfies the umbilic condition for the subbundle of the tangent bundle defined by the generalized impact parameter.
We consider stationary axisymmetric solutions of general relativity that asymptote to five dimensional Minkowski space. It is known that this system has a hidden SL(3,R) symmetry. We identify an SO(2,1) subgroup of this symmetry group that preserves the asymptotic boundary conditions. We show that the action of this subgroup on a static solution generates a one-parameter family of stationary solutions carrying angular momentum. We conjecture that by repeated applications of this procedure one can generate all stationary axisymmetric solutions starting from static ones. As an example, we derive…
We apply the energy-momentum tensor which is coordinate independent to calculate the energy content of the axisymmetric solutions. Our results are compared with what have been obtained before within the framework of Einstein general relativity and Møler's tetrad theory of gravitation.
In this paper we construct a special class of four dimensional axisymmetric stationary spacetimes whose Ricci scalar is constant but not Einstein. We find that this solution has a ring singularity. At the end, we discuss some numerical results of these spacetimes.
We present a method for generating exact solutions of Einstein equations in vacuum using harmonic maps, when the spacetime possesses two commutating Killing vectors. This method consists in writing the axisymmetric stationry Einstein equations in vacuum as a harmonic map which belongs to the group SL(2,R), and decomposing it in its harmonic "submaps". This method provides a natural classification of the solutions in classes (Weil's class, Lewis' class etc).
New axisymmetric stationary solutions of the vacuum Einstein equations in five-dimensional asymptotically flat spacetimes are obtained by using solitonic solution-generating techniques. The new solutions are shown to be equivalent to the four-dimensional multi-solitonic solutions derived from particular class of four-dimensional Weyl solutions and to include different black rings from those obtained by Emparan and Reall.
A simple formula, invariant under the duality rotation Φ-> exp(iα) Φ, is obtained for the Poynting vector within the framework of the Ernst formalism, and its application to the known exact solutions for a charged massive magnetic dipole is considered.
In this article we study multipole moments of axisymmetric stationary asymptotically flat spacetimes. We show how the tensorial recursion of Geroch and Hansen can be reduced to a recursion of scalar functions. We also demonstrate how a careful choice of conformal factor collects all moments into one complex valued function on R, where the moments appear as the derivatives at 0. As an application, we calculate the moments of the Kerr solution. We also discuss the freedom in choosing the potential for the moments.
Stationary axisymmetric systems that allow for a separability structure
School of Liberal Arts and Sciences, Korea National University of Transportation（韩国交通大学生命科学与艺术学院）；Center for Quantum Spacetime, Sogang University（西江大学量子时空中心）
We study some geometric properties of Killing horizons in 4-dimensional stationary and axisymmetric space-times with electromagnetic field and cosmological constant. Using a $(1+1+2)$ space-time split, we construct relations between the space-time Riemann tensor components and components of the Riemann tensor corresponding to the horizon surface. The Einstein equations allow to derive the space-time scalar curvature invariants, Kretschmann, Chern-Pontryagin, and Euler, on the 2-dimensional spacelike horizon surface. The derived relations generalize the relations known for Killing horizons of s…
Garcia and Campuzano claim to have found a previously overlooked family of stationary and axisymmetric conformally flat spacetimes, contradicting an old theorem of Collinson. In both these papers it is tacitly assumed that the isometry group is orthogonally transitive. Under the same assumption, we point out here that Collinson's result still holds if one demands the existence of an axis of symmetry on which the axial Killing vector vanishes. On the other hand if the assumption of orthogonal transitivity is dropped, a wider class of metrics is allowed and it is possible to find explicit counte…
We study stationary and axisymmetric solutions of General Relativity, i.e. pure gravity, in four or higher dimensions. D-dimensional stationary and axisymmetric solutions are defined as having D-2 commuting Killing vector fields. We derive a canonical form of the metric for such solutions that effectively reduces the Einstein equations to a differential equation on an axisymmetric D-2 by D-2 matrix field living in three-dimensional flat space (apart from a subclass of solutions that instead reduce to a set of equations on a D-2 by D-2 matrix field living in two-dimensional flat space). This ge…
We investigate the existence and phenomenology of stable photon orbits (SPOs) in stationary axisymmetric electrovacuum spacetimes in four dimensions. First, we review the classification of equatorial circular photon orbits on Kerr-Newman spacetimes in the charge-spin plane. Second, using a Hamiltonian formulation, we show that Reissner-Nordström di-holes (a family encompassing the Majumdar-Papapetrou and Weyl-Bach special cases) admit SPOs, in a certain parameter regime that we investigate. Third, we explore the transition from order to chaos for typical SPOs bounded within a toroidal region a…
In this paper a new method is derived for constructing electromagnetic surface sources for stationary axisymmetric electrovac spacetimes endowed with non-smooth or even discontinuous Ernst potentials. This can be viewed as a generalization of some classical potential theory results, since lack of continuity of the potential is related to dipole density and lack of smoothness, to monopole density. In particular this approach is useful for constructing the dipole source for the magnetic field. This formalism involves solving a linear elliptic differential equation with boundary conditions at inf…
We present the complete scheme of the application of the one-and two dimensional subspace and subgroups method to five-dimensional gravity with a $G_{3}$ group of motion. We do so in the space time and in the potential space formalisms. From this method one obtains the Kramer, Belinsky-Ruffini, Dobiasch-Maison, Clément, Gross-Perry-Sorkin solutions etc. as special cases.
The tools developed in a preceding article for interpreting spacetime geometry in terms of all possible space-plus-time splitting approaches are applied to circular orbits in some familiar stationary axisymmetric spacetimes. This helps give a more intuitive picture of their rotational features including spin precession effects, and puts related work of Abramowicz, de Felice, and others on circular orbits in black hole spacetimes into a more general context.
Recently Kordas (1995, Class. Quantum Grav. 12 2037) and Meinel and Neugebauer (1995, Class. Quantum Grav. 12 2045) studied the conditions for reflection symmetry in stationary axisymmetric space--times in vacuum. They found that a solution to the Einstein field equations is reflectionally symmetric if their Ernst's potential ${\cal E}(ρ=0,z)= e(z)$ on a portion of the positive z-axis extending to infinity satisfies the condition $e_{+}(z){e}_{+}^{*}(-z)=1$. In this note, we formulate an analogous conditions for two complex Ernst potentials in electrovacuum. We also present the special case of…
We derive a necessary condition for the existence of marginally stable circular orbits of test particles in stationary axisymmetric spacetimes which possess a refection symmetry with respect to the equatorial plane; photon orbits are also addressed. Energy and angular momentum are shown to decouple from metric quantities, rendering a purely geometric characterization of circular orbits for this general class of metrics. The subsequent system is analyzed using resultants, providing an algorithmic approach for finding MSCO conditions. MSCOs are explicitly calculated for concrete examples of phys…
The structural properties of geodesic currents in an ambient Kerr background is studied from an analytical point of view. The geodesics in the congruence correspond to charged particles that carry energy and angular momentum from the black hole through the Blandford-Znajek mechanism. It is shown that the resulting magnetosphere naturally satisfies the Znajek regularity condition. Particular attention is paid here to the energy extracted by matter currents rather than by electromagnetic Poynting fluxes.
By using the 't Hooft "brick wall" model and the Pauli-Villars regularization scheme we calculate the statistical-mechanical entropy arising from the minimally coupled scalar fields which rotate with the azimuthal angular velocity $Ω_0=Ω_H$ ($Ω_H$ is the angular velocity of the black hole horizon) in the general four-dimensional non-extreme stationary axisymmetric black hole space-time. We also show, for the Kerr-Newman and the Einstein-Maxwell dilaton-axion black holes, that the statistical-mechanical entropy obtained from our derivation and the quantum thermodynamical entropy by the conical …
We present interesting relationship between what are called stationary axisymmetric black hole solutions for the vacuum Einstein equations in the ordinary four-dimensions and exact solutions for self-dual Yang-Mills fields in flat $2+2$ dimensions which are nothing but the consistent backgrounds for $~N=2$~ open superstring. We show that any stationary axisymmetric black hole solution for the former automatically provides an exact solution for the latter. We also give a nice relation between the physical parameters of black holes and an invariant integral analogous to instanton charges for suc…
A formulation is developed for general relativistic ideal magnetohydrodynamics in stationary axisymmetric spacetimes. We reduce basic equations to a single second-order partial differential equation, the so-called Grad-Shafranov (GS) equation. Our formulation is most general in the sense that it is applicable even when a stationary axisymmetric spacetime is noncircular, that is, even when it is impossible to foliate a spacetime with two orthogonal families of two-surfaces. The GS equation for noncircular spacetimes is crucial for the study of relativistic stars with a toroidal magnetic field o…
Perturbed stationary axisymmetric isolated bodies, e.g. stars, represented by a matter-filled interior and an asymptotically flat vacuum exterior joined at a surface where the Darmois matching conditions are satisfied, are considered. The initial state is assumed to be static. The perturbations of the matching conditions are derived and used as boundary conditions for the perturbed Ernst equations in the exterior region. The perturbations are calculated to second order. The boundary conditions are overdetermined: necessary and sufficient conditions for their compatibility are derived. The spec…
In this manuscript, we consider a scenario in which a spin-1/2 quanton goes through a superposition of co-rotating and counter-rotating geodetic circular paths, which play the role of the paths of a Mach-Zehnder interferometer in a stationary and axisymmetric spacetime. Since the spin of the particle plays the role of a quantum clock, as the quanton moves in a superposed path it gets entangled with the momentum (or the path), and this will cause the interferometric visibility (or the internal quantum coherence) to drop, since, in stationary axisymmetric spacetimes there is a difference in prop…
The extended scalar-tensor and vector-tensor theories admit black hole solutions with the nontrivial profiles of the scalar and vector fields, respectively. The disformal transformation maps a solution in a class of the scalar-tensor or vector-tensor theories to that in another class, and hence it can be a useful tool to construct a new nontrivial solution from the known one. First, we investigate how the stationary and axisymmetric solutions in the vector-tensor theories without and with the $U(1)$ gauge symmetry are disformally transformed. We start from a stationary and axisymmetric solutio…
This work contains the teleparallel version of the stationary axisymmetric solutions. We obtain the tetrad and the torsion fields representing these solutions. The tensor, vector and axial-vector parts of the torsion tensor are evaluated. It is found that the axial-vector has component only along $ρ$ and $z$ directions. The three possibilities of the axial vector depending on the metric function $B$ are discussed. The vector related with spin has also been evaluated and the corresponding extra Hamiltonian is furnished. Further, we use the teleparallel version of M$\ddot{o}$ller prescription to…
