No Arabic abstract
By use of the gauge-invariant variables proposed by Kodama and Ishibashi, we obtain the most general perturbation equations in the $(m+n)$-dimensional spacetime with a warped product metric. These equations do not depend on the spectral expansions of the Laplace-type operators on the $n$-dimensional Einstein manifold. These equations enable us to have a complete gauge-invariant perturbation theory and a well-defined spectral expansion for all modes and the gauge invariance is kept for each mode. By studying perturbations of some projections of Weyl tensor in the case of $m=2$, we define three Teukolsky-like gauge-invariant variables and obtain the perturbation equations of these variables by considering perturbations of the Penrose wave equations in the $(2+n)$-dimensional Einstein spectime. In particular, we find the relations between the Teukolsky-like gauge-invariant variables and the Kodama-Ishibashi gauge-invariant variables. These relations imply that the Kodama-Ishibashi gauge-invariant variables all come from the perturbations of Weyl tensor of the spacetime.
We develop a formalism to treat higher order (nonlinear) metric perturbations of the Kerr spacetime in a Teukolsky framework. We first show that solutions to the linearized Einstein equation with nonvanishing stress tensor can be decomposed into a pure gauge part plus a zero mode (infinitesimal perturbation of the mass and spin) plus a perturbation arising from a certain scalar (Debye-Hertz) potential, plus a so-called corrector tensor. The scalar potential is a solution to the spin $-2$ Teukolsky equation with a source. This source, as well as the tetrad components of the corrector tensor, are obtained by solving certain decoupled ordinary differential equations involving the stress tensor. As we show, solving these ordinary differential equations reduces simply to integrations in the coordinate $r$ in outgoing Kerr-Newman coordinates, so in this sense, the problem is reduced to the Teukolsky equation with source, which can be treated by a separation of variables ansatz. Since higher order perturbations are subject to a linearized Einstein equation with a stress tensor obtained from the lower order perturbations, our method also applies iteratively to the higher order metric perturbations, and could thus be used to analyze the nonlinear coupling of perturbations in the near-extremal Kerr spacetime, where weakly turbulent behavior has been conjectured to occur. Our method could also be applied to the study of perturbations generated by a pointlike body traveling on a timelike geodesic in Kerr, which is relevant to the extreme mass ratio inspiral problem.
In second order perturbation theory different definitions are known of gauge invariant perturbations in single field inflationary models. Consequently the corresponding gauge invariant cubic actions do not have the same form. Here we show that the cubic action for one choice of gauge invariant variables is unique in the following sense: the action for any other, non-linearly related variable can be brought to the same bulk action, plus additional boundary terms. These boundary terms correspond to the choice of hypersurface and generate extra, disconnected contributions to the bispectrum. We also discuss uniqueness of the action with respect to conformal frames. When expressed in terms of the gauge invariant curvature perturbation on uniform field hypersurfaces the action for cosmological perturbations has a unique form, independent of the original Einstein or Jordan frame. Crucial is that the gauge invariant comoving curvature perturbation is frame independent, which makes it extremely helpful in showing the quantum equivalence of the two frames, and therefore in calculating quantum effects in nonminimally coupled theories such as Higss inflation.
Perturbations of Kerr spacetime are typically studied with the Teukolsky formalism, in which a pair of invariant components of the perturbed Weyl tensor are expressed in terms of separable modes that satisfy ordinary differential equations. However, for certain applications it is desirable to construct the full metric perturbation in the Lorenz gauge, in which the linearized Einstein field equations take a manifestly hyperbolic form. Here we obtain a set of Lorenz-gauge solutions to the vacuum field equations in terms of homogeneous solutions to the spin-2, spin-1 and spin-0 Teukolsky equations; and completion pieces that represent perturbations to the mass and angular momentum of the spacetime. The solutions are valid in vacuum Petrov type-D spacetimes that admit a conformal Killing-Yano tensor.
We show that the Laplace-Beltrami equation $square_6 a =j$ in $(setR^6,eta)$, $eta := mathrm{diag}(+----+)$, leads under very moderate assumptions to both the Maxwell equations and the conformal Eastwood-Singer gauge condition on conformally flat spaces including the spaces with a Robertson-Walker metric. This result is obtained through a geometric formalism which gives, as byproduct, simplified calculations. In particular, we build an atlas for all the conformally flat spaces considered which allows us to fully exploit the Weyl rescalling to Minkowski space.
In a spacetime divided into two regions $U_1$ and $U_2$ by a hypersurface $Sigma$, a perturbation of the field in $U_1$ is coupled to perturbations in $U_2$ by means of the holographic imprint that it leaves on $Sigma$. The linearized gluing field equation constrains perturbations on the two sides of a dividing hypersurface, and this linear operator may have a nontrivial null space. A nontrivial perturbation of the field leaving a holographic imprint on a dividing hypersurface which does not affect perturbations on the other side should be considered physically irrelevant. This consideration, together with a locality requirement, leads to the notion of gauge equivalence in Lagrangian field theory over confined spacetime domains. Physical observables in a spacetime domain $U$ can be calculated integrating (possibly non local) gauge invariant conserved currents on hypersurfaces such that $partial Sigma subset partial U$. The set of observables of this type is sufficient to distinguish gauge inequivalent solutions. The integral of a conserved current on a hypersurface is sensitive only to its homology class $[Sigma]$, and if $U$ is homeomorphic to a four ball the homology class is determined by its boundary $S = partial Sigma$. We will see that a result of Anderson and Torre implies that for a class of theories including vacuum General Relativity all local observables are holographic in the sense that they can be written as integrals of over the two dimensional surface $S$. However, non holographic observables are needed to distinguish between gauge inequivalent solutions.