Abstract:
As first discovered by Choptuik, the black hole threshold in the space of initial data for general relativity shows both surprising structure and surprising simplicity. Universality, power-law scaling of the black hole mass, and scale echoing have given rise to the term “critical phenomena”. They are explained by the existence of exact solutions which are attractors within the black hole threshold, that is, attractors of codimension one in phase space, and which are typically self-similar. Critical phenomena give a natural route from smooth initial data to arbitrarily large curvatures visible from infinity, and are therefore likely to be relevant for cosmic censorship, quantum gravity, astrophysics, and our general understanding of the dynamics of general relativity.

Abstract:
The "Spinors" software is a "Mathematica" package which implements 2-component spinor calculus as devised by Penrose for General Relativity in dimension 3+1. The "Spinors" software is part of the "xAct" system, which is a collection of "Mathematica" packages to do tensor analysis by computer. In this paper we give a thorough description of "Spinors" and present practical examples of use.

Abstract:
Penrose's spinor calculus of 4-dimensional Lorentzian geometry is extended to the case of 5-dimensional Lorentzian geometry. Such fruitful ideas in Penrose's spinor calculus as the spin covariant derivative, the curvature spinors or the definition of the spin coefficients on a spin frame can be carried over to the spinor calculus in 5-dimensional Lorentzian geometry. The algebraic and differential properties of the curvature spinors are studied in detail and as an application we extend the well-known 4-dimensional Newman-Penrose formalism to a 5-dimensional spacetime.

Abstract:
We analyse the Cauchy problem on a characteristic cone, including its vertex, for the Einstein equations in arbitrary dimensions. We use a wave map gauge, solve the obtained constraints and show gauge conservation.

Abstract:
We derive explicit formulae for a set of constraints for the Einstein equations on a null hypersurface, in arbitrary dimensions. We solve these constraints and show that they provide necessary and sufficient conditions so that a spacetime solution of the Cauchy problem on a characteristic cone for the hyperbolic system of the reduced Einstein equations in wave-map gauge also satisfies the full Einstein equations. We prove a geometric uniqueness theorem for this Cauchy problem in the vacuum case.

Abstract:
We prove that analytic initial data on a light cone arising from a metric satisfying a "near-roundness" condition near the vertex lead to a solution of the vacuum Einstein equations to the future of the light-cone.

Abstract:
The Einstein equations in wave map gauge are a geometric second order system for a Lorentzian metric. To study existence of solutions of this hyperbolic quasi diagonal system with initial data on a characteristic cone which are not zero in a neighbourhood of the vertex one can appeal to theorems due to Cagnac and Dossa, proved for a scalar wave equation, for initial data in functional spaces relevant for their proofs. It is difficult to check that the initial data that we have constructed as solutions of the Einstein wave-map gauge constraints satisfy the more general of the Cagnac-Dossa hypotheses which uses weighted energy estimates. In this paper we start a new study of energy estimates using on the cone coordinates adapted to its null structure which are precisely the coordinates used to solve the constraints, following work of Rendall who considered the Cauchy problem for Einstein equations with data on two intersecting characteristic surfaces.

Abstract:
Within the framework of the scalar-tensor models of gravitation and by relying on analytical and numerical techniques, we establish the existence of a class of spherically symmetric spacetimes containing a naked singularity. Our result relies on and extends a work by Christodoulou on the existence of naked singularities for the Einstein-scalar field equations. We establish that a key parameter in Christodoulou's construction couples to the Brans-Dicke field and becomes a dynamical variable, which enlarges and modifies the phase space of solutions. We recover analytically many properties first identified by Christodoulou, in particular the loss of regularity (especially at the center), and then investigate numerically the properties of these spacetimes.

Abstract:
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.