All Local Gauge Invariants for Perturbations of the Kerr Spacetime

Aksteiner, Steffen; Bäckdahl, Thomas

doi:10.1103/physrevlett.121.051104

Cited by 23 publications

(79 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…3 ) < dim(R 3 ) < dim(R 4 ) with 11 < 12 < 15.However, we have the general Theorem 2.A.7 in ( [20]) providing the useful prolongation/ projection (PP) procedure, namely that we have ρ r (R (1) q ) = R (1) q+r , ∀r ≥ 0 whenever the symbol g q of R q is 2-acyclic. In the present case, we have indeed ρ r (R…”

Section: Example 23 Revisitedmentioning

confidence: 95%

“…It is important to notice that the Einstein operator Ω → E ij = R ij − 1 2 ω ij ω rs R rs is self-adjoint with 6 terms though the Ricci operator is not with only 4 terms. Recently, many physicists (See [1], [2], [8], [9], [24]) have tried to construct the compatibility conditions (CC) of the Killing operator for various types of background metrics, in particular the three ones already quoted, namely an operator D 1 : S 2 T * → F 1 such that D 1 Ω = 0 generates the CC of Dξ = Ω. We have proved in the above references the following crucial results:…”

Section: ) Introductionmentioning

confidence: 91%

“…3 ) = R (1) r+3 , ∀r ≥ 0 because g 3 is known to be involutive, and the final system R (4) 3 is involutive with zero symbol, providing R (4) 2 which is only FI but with dimension 6. This situation is quite tricky indeed because prolongations are filling up successively the PD equations of order 2, then 3 and so on, adding therefore: {y 12 = 0}, {y 123 = 0, y 122 = 0, y 112 = 0}, {y 11 = 0}, {y 113 = 0, y 112 = 0, y 113 = 0}, ...…”

Section: Example 23 Revisitedmentioning

confidence: 99%

See 2 more Smart Citations

Generating Compatibility Conditions and General Relativity

Pommaret¹

2019

JMP

View full text Add to dashboard Cite

The search for generating compatibility conditions (CC) for a given operator is a very recent problem met in General Relativity in order to study the Killing operator for various standard useful metrics (Minkowski, Schwarschild and Kerr). In this paper, we prove that the link existing between the lack of formal exactness of an operator sequence on the jet level, the lack of formal exactness of its corresponding symbol sequence and the lack of formal integrability (FI) of the initial operator is of a purely homological nature as it is based on the long exact connecting sequence provided by the so-called snake lemma. It is therefore quite difficult to grasp it in general and even more difficult to use it on explicit examples. It does not seem that any one of the results presented in this paper is known as most of the other authors who studied the above problem of computing the total number of generating CC are confusing this number with a kind of differential transcendence degree, also called degree of generality by A. Einstein in his 1930 letters to E. Cartan.The motivating examples that we provide are among the rare ones known in the literature and could be used as testing examples for future applications of computer algebra.

show abstract

Section: Example 23 Revisitedmentioning

confidence: 95%

Section: ) Introductionmentioning

confidence: 91%

Section: Example 23 Revisitedmentioning

confidence: 99%

See 1 more Smart Citation

Generating Compatibility Conditions and General Relativity

Pommaret¹

2019

JMP

View full text Add to dashboard Cite

show abstract

“…In many recent technical papers, a few physicists working on General relativity (GR) are trying to construct high order differential sequences while starting with the Kiling operator for a given metric (Minkowski, Schwarzschild, Kerr, ...) ( [1,2], [15,16], [38]). The (technical) methods involved are ranging from Killing/Killing-Yano tensors, Penrose spinors, Teukolski scalars or compexified frames.…”

Section: ) Introductionmentioning

confidence: 99%

Minkowski, Schwarzschild and Kerr Metrics Revisited

Pommaret¹

2018

JMP

View full text Add to dashboard Cite

In recent papers, a few physicists studying Black Hole perturbation theory in General Relativity have tried to construct the initial part of a differential sequence based on the Kerr metric, using methods similar to the ones they already used for studying the Schwarzschild geometry. Of course, such a differential sequence is well known for the Minkowski metric and successively contains the Killing (10, order 1), Riemann (20, order 2), Bianchi (20, order 1 again) operators in the linearized framework, as a particular case of the Vessiot structure equations. In all these cases, they discovered that the compatibility conditions (CC) for the corresponding Killing operator were involving a mixture of both second order and third order CC and their idea has been to exhibit only a minimal number of generating ones. However, even if they exhibited a link between these differential sequences and the number of parameters of the Lie group preserving the background metric, they have been unable to provide an intrinsic explanation of this fact, being limited by the technical use of Weyl spinors, complex Teukolsky scalars, Killing-Yano tensors or the 2+2-formalism separating the two variables (t,r) from the two other angular variables of space-time. Using the formal theory of systems of partial differential equations and Lie pseudogroups, the purpose of this difficult computational paper is to provide new intrinsic differential homological methods involving the Spencer operator in order to revisit and solve these questions, not only in the previous cases but also in the specific case of any Lie group or Lie pseudogroup of transformations. Most of these new tools are now available as computer algebra packages.There are many different ways to look at such a system. The first natural one is to say that the only solution is y = 0 when u = v = 0. The second one is to look for the CC that must be satisfyed by u, v and we may adopt two possible presentations:• Substitute y and obtain the 2 fourth order CC:which are not differentially independent because one can easily check:• However, we also have:that is a second order CC. Finally, we obtain:and we discover that the CC of D = (P, Q) are generated by (A, B) but also by C alone, though any student will hesitate between the two possibilities !. Refering to differential homological algebra as in ([25]) while indicating the order of an operator below its arrow, the same trivial differential module M = 0 (care) defined by D has therefore two split resolutions:

show abstract

“…We refer the reader to this work for a detailed development of the subject. Recently, the (minimal) complete set of local gauge-invariant perturbative quantities of Kerr black holes was obtained in [35]. The adjoint operators that relate the Teukolsky variables to the symmetry operators of both Maxwell and linearized gravity of Kerr are discussed in [34], which builds on [39].…”

Section: Background and Introductionmentioning

confidence: 99%