Let
be a compact mean-convex domain with smooth boundary
, in an initial
data set
,
which has no apparent horizon in its interior. If
is spacelike in a
spacetime
with spacelike
mean curvature vector
such that
admits an isometric and isospin immersion into
with mean
curvature
,
then
If equality occurs, we prove that there exists a local isometric immersion
of in
(the Minkowski spacetime) with second fundamental form given by
. We
also examine, under weaker conditions, the case where the spacetime is the
-dimensional
Minkowski space
and establish a stronger rigidity result.
Keywords
manifolds with boundary, Dirac operator, Einstein
equations, initial data set, mean curvature, holographic
principle
Laboratoire de Mathématiques Raphaël
Salem UMR 6085 CNRS
Université de Rouen Avenue de l’Université
Boîte Postale 12 Technopôle du Madrillet
76801 Saint-Étienne-du-Rouvray
France