Algebraic Rainich theory and antisymmetrisation in higher dimensions

The classical Rainich(-Misner-Wheeler) theory gives necessary and sufficient conditions on an energy-momentum tensor $T$ to be that of a Maxwell field (a 2-form) in four dimensions. Via Einstein's equations these conditions can be expressed in terms of the Ricci tensor, thus providing conditions on a spacetime geometry for it to be an Einstein-Maxwell spacetime. One of the conditions is that $T^2$ is proportional to the metric, and it has previously been shown in arbitrary dimension that any tensor satisfying this condition is a superenergy tensor of a simple $p$-form. Here we examine algebraic Rainich conditions for general $p$-forms in higher dimensions and their relations to identities by antisymmetrisation. Using antisymmetrisation techniques we find new identities for superenergy tensors of these general (non-simple) forms, and we also prove in some cases the converse; that the identities are sufficient to determine the form. As an example we obtain the complete generalisation of the classical Rainich theory to five dimensions.Comment: 16 pages, LaTe

Unique characterization of the Bel-Robinson tensor

We prove that a completely symmetric and trace-free rank-4 tensor is, up to sign, a Bel-Robinson type tensor, i.e., the superenergy tensor of a tensor with the same algebraic symmetries as the Weyl tensor, if and only if it satisfies a certain quadratic identity. This may be seen as the first Rainich theory result for rank-4 tensors.Comment: extended version, 13 pages, shorter version published in Class.Quant.Gra

Flat deformation of a spacetime admitting two Killing fields

It is shown that given an analytic Lorentzian metric on a 4-manifold, $g$, which admits two Killing vector fields, then it exists a local deformation law $\eta = a g + b H$, where $H$ is a 2-dimensional projector, such that $\eta$ is flat and admits the same Killing vectors. We also characterize the particular case when the projector $H$ coincides with the quotient metric. We apply some of our results to general stationary axisymmetric spacetime

Form Geometry and the 'tHooft-Plebanski Action

Riemannian geometry in four dimensions, including Einstein's equations, can be described by means of a connection that annihilates a triad of two-forms (rather than a tetrad of vector fields). Our treatment of the conformal factor of the metric differs from the original presentation of this result, due to 'tHooft. In the action the conformal factor now appears as a field to be varied.Comment: 12pp, LaTe

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}$

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.Comment: 17 pages, 2 figure

Scaling of Aharonov-Bohm couplings and the dynamical vacuum in gauge theories

Recent results on the vacuum polarization induced by a thin string of magnetic flux lead us to suggest an analogue of the Copenhagen `flux spaghetti' QCD vacuum as a possible mechanism for avoiding the divergence of perturbative QED, thus permitting consistent completion of the full, nonperturbative theory. The mechanism appears to operate for spinor, but not scalar, QED.Comment: 11 pages, ITP-SB-92-40, (major conceptual evolution from original

An intrinsic characterization of 2+2 warped spacetimes

We give several equivalent conditions that characterize the 2+2 warped spacetimes: imposing the existence of a Killing-Yano tensor $A$ subject to complementary algebraic restrictions; in terms of the projector $v$ (or of the canonical 2-form $U$) associated with the 2-planes of the warped product. These planes are principal planes of the Weyl and/or Ricci tensors and can be explicitly obtained from them. Therefore, we obtain the necessary and sufficient (local) conditions for a metric tensor to be a 2+2 warped product. These conditions exclusively involve explicit concomitants of the Riemann tensor. We present a similar analysis for the conformally 2+2 product spacetimes and give an invariant classification of them. The warped products correspond to two of these invariant classes. The more degenerate class is the set of product metrics which are also studied from an invariant point of view.Comment: 18 pages; submitted to Class. Quantum Grav

Null cone preserving maps, causal tensors and algebraic Rainich theory

A rank-n tensor on a Lorentzian manifold V whose contraction with n arbitrary causal future directed vectors is non-negative is said to have the dominant property. These tensors, up to sign, are called causal tensors, and we determine their general properties in dimension N. We prove that rank-2 tensors which map the null cone on itself are causal. It is known that, to any tensor A on V there is a corresponding ``superenergy'' (s-e) tensor T{A} which always has the dominant property. We prove that, conversely, any symmetric rank-2 tensor with the dominant property can be written in a canonical way as a sum of N s-e tensors of simple forms. We show that the square of any rank-2 s-e tensor is proportional to the metric if N<5, and that this holds for the s-e tensor of any simple form for arbitrary N. Conversely, we prove that any symmetric rank-2 tensor T whose square is proportional to the metric must be, up to sign, the s-e of a simple p-form, and that the trace of T determines the rank p of the form. This generalises, both with respect to N and the rank p, the classical algebraic Rainich conditions, which are necessary and sufficient conditions for a metric to originate in some physical field, and has a geometric interpretation: the set of s-e tensors of simple forms is precisely the set of tensors which preserve the null cone and its time orientation. It also means that all involutory Lorentz transformations (LT) can be represented as s-e tensors of simple forms, and that any rank-2 s-e tensor is the sum of at most N conformally involutory LT. Non-symmetric null cone preserving maps are shown to have a causal symmetric part and are classified according to the null eigenvectors of the skew-symmetric part. We thus obtain a complete classification of all conformal LT and singular null cone preserving maps on V.Comment: 36 pages, no figures, LaTeX fil

Null dust in canonical gravity

We present the Lagrangian and Hamiltonian framework which incorporates null dust as a source into canonical gravity. Null dust is a generalized Lagrangian system which is described by six Clebsch potentials of its four-velocity Pfaff form. The Dirac--ADM decomposition splits these into three canonical coordinates (the comoving coordinates of the dust) and their conjugate momenta (appropriate projections of four-velocity). Unlike ordinary dust of massive particles, null dust therefore has three rather than four degrees of freedom per space point. These are evolved by a Hamiltonian which is a linear combination of energy and momentum densities of the dust. The energy density is the norm of the momentum density with respect to the spatial metric. The coupling to geometry is achieved by adding these densities to the gravitational super-Hamiltonian and supermomentum. This leads to appropriate Hamiltonian and momentum constraints in the phase space of the system. The constraints can be rewritten in two alternative forms in which they generate a true Lie algebra. The Dirac constraint quantization of the system is formally accomplished by imposing the new constraints as quantum operator restrictions on state functionals. We compare the canonical schemes for null and ordinary dust and emhasize their differences.Comment: 25 pages, REVTEX, no figure