Searcharxiv⌕ Search

arXiv subjects

S. Brian Edgar

Publications and source records attributed to S. Brian Edgar.

At least 19 recordsLinked to original sources
arXiv2014

Symmetry analysis of radiative spacetimes with a null isotropy using GHP formalism

A complete and simple invariant classification of the conformally flat pure radiation metrics with a negative cosmological constant that were obtained by integration using the generalised invariant formalism is presented. We show equivalence between these metrics and the corresponding type O subclass of the more general spacetime studied by Siklos. The classification procedure indicates that the metrics possess a one degree of null isotropy freedom which has very interesting repercussions in the symmetry analysis. The Killing and homothetic vector analysis in GHP formalism is then generalised to this case were there is only one null direction defined geometrically. We determine the existing Killing vectors for the different subclasses that arise in the classification and compare these results to those obtained in the symmetry analysis performed by Siklos for a larger class of metrics with Ricci tensor representing a pure radiation field and a negative cosmological constant. It is also shown that there are no homothetic Killing vectors present.

gr-qc↗
arXiv2010

Invariant classification and the generalised invariant formalism: conformally flat pure radiation metrics, with zero cosmological constant

Metrics obtained by integrating within the generalised invariant formalism are structured around their intrinsic coordinates, and this considerably simplifies their invariant classification and symmetry analysis. We illustrate this by presenting a simple and transparent complete invariant classification of the conformally flat pure radiation metrics (except plane waves) in such intrinsic coordinates; in particular we confirm that the three apparently non-redundant functions of one variable are genuinely non-redundant, and easily identify the subclasses which admit a Killing and/or a homothetic Killing vector. Most of our results agree with the earlier classification carried out by Skea in the different Koutras-McIntosh coordinates, which required much more involved calculations; but there are some subtle differences. Therefore, we also rework the classification in the Koutras-McIntosh coordinates, and by paying attention to some of the subtleties involving arbitrary functions, we are able to obtain complete agreement with the results obtained in intrinsic coordinates. In particular, we have corrected and completed statements and results by Edgar and Vickers, and by Skea, about the orders of Cartan invariants at which particular information becomes available.

gr-qc↗
arXiv2009

Petrov D vacuum spaces revisited: Identities and Invariant Classification

For Petrov D vacuum spaces, two simple identities are rederived and some new identities are obtained, in a manageable form, by a systematic and transparent analysis using the GHP formalism. This gives a complete involutive set of tables for the four GHP derivatives on each of the four GHP spin coefficients and the one Weyl tensor component. It follows directly from these results that the theoretical upper bound on the order of covariant differentiation of the Riemann tensor required for a Karlhede classification of these spaces is reduced to two.

gr-qc↗
arXiv2007

Type O pure radiation metrics with a cosmological constant

In this paper we complete the integration of the conformally flat pure radiation spacetimes with a non-zero cosmological constant $Λ$, and $τ\ne 0$, by considering the case $Λ+τ\barτ\ne 0$. This is a further demonstration of the power and suitability of the generalised invariant formalism (GIF) for spacetimes where only one null direction is picked out by the Riemann tensor. For these spacetimes, the GIF picks out a second null direction, (from the second derivative of the Riemann tensor) and once this spinor has been identified the calculations are transferred to the simpler GHP formalism, where the tetrad and metric are determined. The whole class of conformally flat pure radiation spacetimes with a non-zero cosmological constant (those found in this paper, together with those found earlier for the case $Λ+τ\barτ= 0$) have a rich variety of subclasses with zero, one, two, three, four or five Killing vectors.

gr-qc↗
arXiv2006

Obtaining a class of Type O pure radiation metrics with a cosmological constant, using invariant operators

Using the generalised invariant formalism we derive a class of conformally flat spacetimes whose Ricci tensor has a pure radiation and a Ricci scalar component. The method used is a development of the methods used earlier for pure radiation spacetimes of Petrov types O and N respectively. In this paper we demonstrate how to handle, in the generalised invariant formalism, spacetimes with isotropy freedom and rich Killing vector structure. Once the spacetimes have been constructed, it is straightforward to deduce their Karlhede classification: the Karlhede algorithm terminates at the fourth derivative order, and the spacetimes all have one degree of null isotropy and three, four or five Killing vectors.

gr-qc↗
arXiv2005

A weighted de Rham operator acting on arbitrary tensor fields and their local potentials

We introduce a weighted de Rham operator which acts on arbitrary tensor fields by considering their structure as r-fold forms. We can thereby define associated superpotentials for all tensor fields in all dimensions and, from any of these superpotentials, we deduce in a straightforward and natural manner the existence of 2r potentials for any tensor field, where r is its form-structure number. By specialising this result to symmetric double forms, we are able to obtain a pair of potentials for the Riemann tensor, and a single (2,3)-form potential for the Weyl tensor due to its tracelessness. This latter potential is the n-dimensional version of the double dual of the classical four dimensional (2,1)-form Lanczos potential. We also introduce a new concept of harmonic tensor fields, demonstrate that the new weighted de Rham operator has many other desirable properties and, in particular, it is the natural operator to use in the Laplace-like equation for the Riemann tensor.

math.DG↗
arXiv2004

Obtaining a class of Type N pure radiation metrics using invariant operators

We develop further the integration procedure in the generalised invariant formalism, and demonstrate its efficiency by obtaining a class of Petrov type N pure radiation metrics without any explicit integration, and with comparatively little detailed calculations. The method is similar to the one exploited by Edgar and Vickers when deriving the general conformally flat pure radiation metric. A major addition to the technique is the introduction of non-intrinsic elements in generalised invariant formalism, which can be exploited to keep calculations manageable.

gr-qc↗
arXiv2004

A local potential for the Weyl tensor in all dimensions

In all dimensions and arbitrary signature, we demonstrate the existence of a new local potential -- a double (2,3)-form -- for the Weyl curvature tensor, and more generally for all tensors with the symmetry properties of the Weyl curvature tensor. The classical four-dimensional Lanczos potential for a Weyl tensor -- a double (2,1)-form -- is proven to be a particular case of the new potential: its double dual.

gr-qc↗
arXiv2004

Proofs of existence of local potentials for trace-free symmetric 2-forms using dimensionally dependent identities

We exploit four-dimensional tensor identities to give a very simple proof of the existence of a Lanczos potential for a Weyl tensor in four dimensions with any signature, and to show that the potential satisfies a simple linear second order differential equation, e.g., a wave equation in Lorentz signature. Furthermore, we exploit higher dimensional tensor identities to obtain the analogous results for (m,m)-forms in 2m dimensions.

gr-qc↗
arXiv2004

Necessary and sufficient conditions for n-dimensional conformal Einstein spaces via dimensionally dependent identities

Listing has recently extended results of Kozameh, Newman and Tod for four-dimensional spacetimes and presented a set of necessary and sufficient conditions for a metric to be locally conformally equivalent to an Einstein metric in all semi-Riemannian spaces of dimension n>3 -- subject to a non-degeneracy restriction on the Weyl tensor. By exploiting dimensionally dependent identities we demonstrate how to construct two alternative versions of these necessary and sufficient conditions which we believe will be useful in applications. The four-dimensional case is discussed in detail and examples are also given in five and six dimensions.

math.DG↗
arXiv2003

On the structure of the new electromagnetic conservation laws

New electromagnetic conservation laws have recently been proposed: in the absence of electromagnetic currents, the trace of the Chevreton superenergy tensor, $H_{ab}$ is divergence-free in four-dimensional (a) Einstein spacetimes for test fields, (b) Einstein-Maxwell spacetimes. Subsequently it has been pointed out, in analogy with flat spaces, that for Einstein spacetimes the trace of the Chevreton superenergy tensor $H_{ab}$ can be rearranged in the form of a generalised wave operator $\square_L$ acting on the energy momentum tensor $T_{ab}$ of the test fields, i.e., $H_{ab}=\square_LT_{ab}/2$. In this letter we show, for Einstein-Maxwell spacetimes in the full non-linear theory, that, although, the trace of the Chevreton superenergy tensor $H_{ab}$ can again be rearranged in the form of a generalised wave operator $\square_G$ acting on the electromagnetic energy momentum tensor, in this case the result is also crucially dependent on Einstein's equations; hence we argue that the divergence-free property of the tensor $H_{ab}=\square_GT_{ab}/2$ has significant independent content beyond that of the divergence-free property of $T_{ab}$.

gr-qc↗
arXiv2003

Old and new results for superenergy tensors from dimensionally dependent tensor identities

It is known that some results for spinors, and in particular for superenergy spinors, are much less transparent and require a lot more effort to establish, when considered from the tensor viewpoint. In this paper we demonstrate how the use of dimensionally dependent tensor identities enables us to derive a number of 4-dimensional identities by straightforward tensor methods in a signature independent manner. In particular, we consider the quadratic identity for the Bel-Robinson tensor ${\cal T}_{abcx}{\cal T}^{abcy} = δ_x^y {\cal T}_{abcd}{\cal T}^{abcd}/4$ and also the new conservation laws for the Chevreton tensor, both of which have been obtained by spinor means; both of these results are rederived by {\it tensor} means for 4-dimensional spaces of any signature, using dimensionally dependent identities, and also we are able to conclude that there are no {\it direct} higher dimensional analogues. In addition we demonstrate a simple way to show non-existense of such identities via counter examples; in particular we show that there is no non-trivial Bel tensor analogue of this simple Bel-Robinson tensor quadratic identity. On the other hand, as a sample of the power of generalising dimensionally dependent tensor identities from four to higher dimensions, we show that the symmetry structure, trace-free and divergence-free nature of the four dimensional Bel-Robinson tensor does have an analogue for a class of tensors in higher dimensions.

gr-qc↗
arXiv2003

Killing Tensors and Conformal Killing Tensors from Conformal Killing Vectors

Koutras has proposed some methods to construct reducible proper conformal Killing tensors and Killing tensors (which are, in general, irreducible) when a pair of orthogonal conformal Killing vectors exist in a given space. We give the completely general result demonstrating that this severe restriction of orthogonality is unnecessary. In addition we correct and extend some results concerning Killing tensors constructed from a single conformal Killing vector. A number of examples demonstrate how it is possible to construct a much larger class of reducible proper conformal Killing tensors and Killing tensors than permitted by the Koutras algorithms. In particular, by showing that all conformal Killing tensors are reducible in conformally flat spaces, we have a method of constructing all conformal Killing tensors (including all the Killing tensors which will in general be irreducible) of conformally flat spaces using their conformal Killing vectors.

gr-qc↗
arXiv2003

On Effective Constraints for the Riemann-Lanczos System of Equations

There have been conflicting points of view concerning the Riemann--Lanczos problem in 3 and 4 dimensions. Using direct differentiation on the defining partial differential equations, Massa and Pagani (in 4 dimensions) and Edgar (in dimensions n > 2) have argued that there are effective constraints so that not all Riemann tensors can have Lanczos potentials; using Cartan's criteria of integrability of ideals of differential forms Bampi and Caviglia have argued that there are no such constraints in dimensions n < 5, and that, in these dimensions, all Riemann tensors can have Lanczos potentials. In this paper we give a simple direct derivation of a constraint equation, confirm explicitly that known exact solutions of the Riemann-Lanczos problem satisfy it, and argue that the Bampi and Caviglia conclusion must therefore be flawed. In support of this, we refer to the recent work of Dolan and Gerber on the three dimensional problem; by a method closely related to that of Bampi and Caviglia, they have found an 'internal identity' which we demonstrate is precisely the three dimensional version of the effective constraint originally found by Massa and Pagani, and Edgar.

gr-qc↗
arXiv2001

(Conformal) Killing vectors in the Newman-Penrose formalism

This paper presents an efficient technique for finding Killing, homothetic, or even proper conformal Killing vectors in the Newman-Penrose (NP) formalism. Leaning on, and extending, results previously derived in the GHP formalism we show that the (conformal) Killing equations can be replaced by a set of equations involving the commutators of the Lie derivative with the four NP differential operators applied to the four coordinates. It is crucial that these operators refer to a preferred tetrad relative to the (conformal) Killing vectors, a notion to be defined. The equations can then be readily solved for the Lie derivative of the coordinates, i.e. for the components of the (conformal) Killing vectors. Some of these equations become trivial if some coordinates are chosen intrinsically (where possible), i.e. if they are somehow tied to the Riemann tensor and its covariant derivatives. If part of the tetrad, i.e. part of null directions and gauge, can be defined intrinsically then that part is generally preferred relative to any Killing vector. This is also true relative to a homothetic vector or a proper conformal Killing vector provided we make a further restriction on that intrinsic part of the tetrad. If because of null isotropy or gauge isotropy, where part of the tetrad cannot even in principle be defined intrinsically, the tetrad is defined only up to (usually) one null rotation parameter and/or a gauge factor, then the NP-Lie equations become slightly more involved and must be solved for the Lie derivative of the null rotation parameter and/or of the gauge factor as well. However, the general method remains the same and is still much more efficient than conventional methods. Several explicit examples are given to illustrate the method.

gr-qc↗
arXiv2001

Dimensionally Dependent Tensor Identities by Double Antisymmetrisation

Some years ago, Lovelock showed that a number of apparently unrelated familiar tensor identities had a common structure, and could all be considered consequences in n-dimensional space of a pair of fundamental identities involving trace-free (p,p)-forms where 2p >= n$. We generalise Lovelock's results, and by using the fact that associated with any tensor in n-dimensional space there is associated a fundamental tensor identity obtained by antisymmetrising over n+1 indices, we establish a very general 'master' identity for all trace-free (k,l)-forms. We then show how various other special identities are direct and simple consequences of this master identity; in particular we give direct application to Maxwell, Lanczos, Ricci, Bel and Bel-Robinson tensors, and also demonstrate how relationships between scalar invariants of the Riemann tensor can be investigated in a systematic manner.

gr-qc↗
arXiv2000

The Lanczos potential for Weyl-candidate tensors exists only in four dimensions

We prove that a Lanczos potential L_abc for the Weyl candidate tensor W_abcd does not generally exist for dimensions higher than four. The technique is simply to assume the existence of such a potential in dimension n, and then check the integrability conditions for the assumed system of differential equations; if the integrability conditions yield another non-trivial differential system for L_abc and W_abcd, then this system's integrability conditions should be checked; and so on. When we find a non-trivial condition involving only W_abcd and its derivatives, then clearly Weyl candidate tensors failing to satisfy that condition cannot be written in terms of a Lanczos potential L_abc.

gr-qc↗