Abstract:In this work we provide a definition of the constraint tensor of a null hypersurface data which is completely explicit in the extrinsic geometry of the hypersurface. The definition is fully covariant and applies for any topology of the hypersurface. For data embedded in a spacetime, the constraint tensor coincides with the pull-back of the ambient Ricci tensor. As applications of the results, we find three geometric quantities on any transverse submanifold $S$ of the data with remarkably simple gauge behaviour, and prove that the restriction of the constraint tensor to $S$ takes a very simple form in terms of them. We also obtain an identity that generalizes the standard near horizon equation of isolated horizons to totally geodesic null hypersurfaces with any topology. Finally, we prove that when a null hypersurface has product topology, its extrinsic curvature can be uniquely reconstructed from the constraint tensor plus suitable initial data on a cross-section.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the problem of defining the constraint tensor on the light - cone hypersurface. Specifically, the author aims to provide a completely explicit definition of the constraint tensor for light - cone hypersurface data that depends only on the extrinsic geometry of the hypersurface. This definition is fully covariant and applicable to hypersurfaces of any topological structure. For data embedded in spacetime, the constraint tensor is consistent with the pull - back of the Ricci tensor of the ambient spacetime. In addition, the paper also explores the restricted forms of the constraint tensor on different submanifolds and how to uniquely reconstruct the extrinsic curvature of the light - cone hypersurface through the constraint tensor and appropriate initial data. ### Main contributions 1. **Definition of the constraint tensor**: The paper proposes a new definition of the constraint tensor, which depends completely explicitly on the extrinsic geometry of the hypersurface and is applicable to hypersurfaces of any topological structure. 2. **Simple behavior of geometric quantities**: The paper discovers three geometric quantities that exhibit very simple gauge behavior on any transverse submanifold. 3. **Generalization of the near - horizon equation**: The paper derives a generalized near - horizon equation, which is applicable to fully geodesic light - cone hypersurfaces with any topological structure. 4. **Reconstruction of extrinsic curvature**: The paper proves that when the light - cone hypersurface has a product topology, its extrinsic curvature can be uniquely reconstructed through the constraint tensor and appropriate initial data. ### Formulas - **Definition of the constraint tensor**: \[ R_{ab}=\text{some form of }\nabla_a\ell_b + \text{other terms} \] where $\ell$ is the normal vector field of the light - cone hypersurface and $\nabla$ is the metric hypersurface connection. - **Generalization of the near - horizon equation**: \[ \nabla_{(a}\omega_{b)}+\text{other terms} = 0 \] where $\omega$ is a one - form and $\nabla$ is the Levi - Civita connection on the submanifold. - **Reconstruction of extrinsic curvature**: \[ Y_{ab}=\text{some form of }R_{ab}+\text{initial data} \] ### Applications - **Initial value problem**: The results of the paper can be applied to the initial value problem of Einstein's equations, especially in the characteristic initial value problem. - **Spacetime matching**: The results of the paper can also be used for the spacetime matching problem, especially in cases involving empty shells with product topology. In conclusion, this paper solves the problem of the relationship between geometry and curvature on the light - cone hypersurface by providing a new definition of the constraint tensor and explores its applications in multiple fields.

The constraint tensor for null hypersurfaces

Null hypersurface data and ambient vector fields: Killing horizons of order zero/one

Abstract null geometry, energy-momentum map and applications to the constraint tensor

A New Gap for Complete Hypersurfaces with Constant Mean Curvature in Space Forms

Horizons that gyre and gimble: a differential characterization of null hypersurfaces

Transverse expansion of the metric at null hypersurfaces I. Uniqueness and application to Killing horizons

Hypersurfaces of the Space form for Which the Covariant Derivative of Their Ricci Tensors has Vanishing Minimal Norm Tensor

Linear hyperbolic equations in a double null foliation

News tensor on null hypersurfaces

Extrinsic Curvature and the Einstein Constraints

Incompressible hypersurface, positive scalar curvature and positive mass theorem

Gradient Ricci Solitons on Spacelike Hypersurfaces of Lorentzian Manifolds Admitting a Closed Conformal Timelike Vector Field

Gravitational Stress Tensor and Current at Null Infinity in Three Dimensions

Null hypersurfaces in Einstein spacetimes as Carrollian manifolds

Null Cones in Lorentz-Covariant General Relativity

Constant angle null hypersurfaces

Totally umbilical hypersurfaces of Spin$^c$ manifolds carrying special spinor fields

Null hypersurfaces in Kerr-(A)dS spacetimes

Intrinsic rigidity of extremal horizons

Partial Scalar Curvatures and Topological Obstructions for Submanifolds