Codimension-Two Spacelike Submanifolds with Umbilical Lightlike Normal Sections and Their Relationship to Lightlike Hypersurfaces

Juan S. G\'omez

REVIEW 4 major objections 5 minor 41 references

Codimension-Two Spacelike Submanifolds with Umbilical Lightlike Normal Sections and Their Relationship to Lightlike Hypersurfaces

T0 review · 4 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A codimension-two spacelike submanifold with an umbilical lightlike normal direction factors through a lightlike hypersurface, and the hypersurface is totally umbilical whenever the normal direction is umbilical.

desk verdict Two load-bearing errors (Theorem 5.3 and Property (P) in Theorem 6.20) sink the central claims, but the local framework in Sections 3–5 is genuine and worth a referee's time. read the letter →

arxiv 2506.07934 v3 pith:GCH7YDOJ submitted 2025-06-09 math.DG

Juan S. Gómez This is my paper

classification math.DG MSC 53B4053C4253C1853Z05

keywords umbilicallightlikenormalsectioncodimension-twospacelikesubmanifoldhypersurfaceshear-isotropyholonomyconformalinvariancevolumeevolutionLorentziangeometry

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper studies spacelike slices of codimension two inside Lorentzian spacetimes that carry an umbilical lightlike normal direction, meaning a lightlike normal vector field whose shape operator is a scalar multiple of the identity. The central claim is that such a direction is never geometrically isolated: the slice generates a whole lightlike hypersurface through the normal exponential map, and in the umbilical case that hypersurface is totally umbilical. Along the way the paper establishes equivalences between shear-isotropy and the existence of global umbilical lightlike normals, topological restrictions on compact surfaces, a curvature-and-holonomy criterion for rescaling the normal to be parallel, explicit conformal relations between the spacelike leaves, volume evolution formulas, and a Jacobi equation along the lightlike generators. A sympathetic reader would care because this connects local shear-free initial data on a slice to global lightlike structures of the kind used to model black hole horizons.

What carries the argument

The central object is the umbilical lightlike normal section: a lightlike normal vector field $\xi$ along $S$ whose shape operator $A_\xi$ is a scalar multiple of the identity. The argument rides on the normal exponential map $\exp^\perp$ along $\xi$, which produces $\Sigma=\exp^\perp(S\times\mathbb{R})$, and on a screen distribution built from flow-invariant horizontal lifts of vector fields on $S$. In the umbilical case, a pointwise conformal rescaling of the ambient metric is used to ensure a non-zero expansion, and Property (P)—a uniqueness statement for flow-invariant screen sections that agree on $S$—propagates the pointwise identity $A_\xi=\rho I$ along the lightlike generators, forcing the screen shape operator $A^*_U$ to be proportional to the identity on all of $\Sigma$.

What would settle it

A simply connected codimension-two spacelike submanifold with an umbilical lightlike normal section, in a spacetime where the ambient curvature term $\tilde R(X,Y)\xi$ is perpendicular to $S$ at one point but not at others, and with nontrivial normal holonomy, would refute Theorem 5.3.

Watch

Extended reading notes

Core claim

The main result, Theorem 6.20, states that an embedded codimension-two spacelike submanifold $S$ in a spacetime $M$ with a lightlike normal vector field $\xi$ factors through a lightlike hypersurface $\Sigma$ obtained by exponentiating $\xi$ from $S$. The hypersurface admits a geodesic lightlike extension $U$ of $\xi$ and an integrable screen distribution whose leaves are all diffeomorphic to $S$, and $S$ itself is one leaf. If $\xi$ is umbilical, meaning the shape operator $A_\xi$ equals $\rho I$ for a smooth function $\rho$, then $\Sigma$ is totally umbilical in $M$. The construction is explicit: flow-invariant horizontal lifts build the screen distribution, and in the umbilical case a conformal rescaling together with the paper's Property (P) extends the scalar identity $A_\xi=\rho I$ from $S$ to the full screen shape operator on $\Sigma$.

Load-bearing premise

Theorem 5.3 relies on the premise that vanishing of the normal curvature at a single point of $S$ forces the normal connection to be flat globally; the cited holonomy theorem alone does not imply that propagation.

Editorial extensions

If this is right

Compact spacelike surfaces admitting an umbilical lightlike normal section and no umbilical points must be diffeomorphic to a torus or a Klein bottle (Corollary 4.4).
The induced Riemannian metrics on the leaves of the screen distribution are globally conformally related by the explicit factor $\Omega(\Phi(p,t))=\exp(-2\int_0^t \mu(\Phi(p,s))\,ds)$, and this conformal relation is invariant under rescalings of the lightlike vector field and under pointwise conformal changes of the ambient metric (Theorem 7.1, Proposition 7.2, Remark 7.3).
Volumes of compact leaves evolve according to $\mathrm{Vol}(S_t)=\int_S \exp(\int_0^t \theta(\Phi(p,s))\,ds)\,dV$, with a rescaling-invariant average expansion scalar $\Theta(t)$ governing the growth rate (Theorems 7.8 and 7.14).
In the umbilical case, flow-invariant vector fields restricted to lightlike generators are $S$-Jacobi fields satisfying $J'' + (\mathrm{Ric}(\gamma',\gamma')/n)J = f\gamma'$ with an explicit function $f$ (Theorem 7.16).
A stationary and umbilical lightlike normal section need not produce a totally geodesic hypersurface: Example 6.21 exhibits a totally umbilical lightlike hypersurface that is not totally geodesic.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The paper does not discuss globalizing the factorization when the lightlike flow is complete; if the maximal construction covers all of $\Sigma$ without caustics, the integrable screen foliation would give $\Sigma$ a global product-like structure $S\times\mathbb{R}$.
The explicit conformal factor $\Omega$ suggests a rescaling-invariant observable, the integrated average expansion $\int_0^t \Theta(s)\,ds$, which could serve as a parametrization-independent measure of lightlike flow growth on compact leaves.
The flow-invariant horizontal-lift construction is not obviously tied to codimension two, so it may extend to higher-codimension spacelike submanifolds by replacing the lightlike normal frame with a higher-rank transverse distribution.
If the single-point holonomy step in Theorem 5.3 does not propagate, the parallelism classification would need a pointwise ambient-curvature condition; the Factorization Theorem itself does not depend on that step.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: the paper builds a substantial framework around umbilical lightlike normal sections, and several local results are correct and useful. But the two central claims do not work as stated: Theorem 5.3 is false, and the proof of Theorem 6.20 contains a step that is also false. The main theorem and its consequences should not be relied on.

What is genuinely new: the shear-isotropy characterization in Section 3 looks right; the compact-surface topological constraints (torus/Klein bottle) are reasonable; and the explicit construction of a flow-invariant screen distribution over the generated lightlike hypersurface is a nice, transparent way to see the classical containment result. The author is honest about the containment being known (Penrose, Kupeli) and positions the novelty correctly as the umbilical upgrade and the explicit conformal/volume formulas.

Soft spots, in order of severity. First, Theorem 5.3: a single point where normal curvature vanishes does not imply global flatness of the normal connection. Ambrose–Singer says the holonomy algebra is generated by parallel transports of curvature from all points, not from one point. Proposition 5.2 (pointwise/global condition on S) is fine; Theorem 5.3 overreaches and is simply false as stated.

Second, and more serious, the proof of Theorem 6.20 fails at Property (P). The assertion that a smooth section Y of the screen distribution which agrees with a flow-invariant X on the initial slice S must be a functional multiple of X on a radial neighborhood is false. A section over S×R is not determined by its values on S×{0}; the stress-test's local example (S a plane, ξ=∂_v, Y=E1+tE2) is exactly right. Without Property (P), equation (6.9) does not follow, and the argument that A*_U is proportional to the identity on all of Σ collapses. This is not a missing detail: the umbilical condition on S does not control derivatives of ξ away from S, so the claimed propagation from one umbilical leaf to the entire lightlike hypersurface probably fails in general.

Section 7 inherits the problem: the conformal, volume, and Jacobi results are all conditional on the factorization, and the few that are not (e.g., Proposition 7.2 may be local) are nice but not central.

Who this is for: researchers in lightlike submanifold geometry could mine Sections 3–5 and the explicit constructions, but they should not cite the main theorem. If I were editor, I would send it to a referee, because the first half is substantive and the errors are instructive rather than dishonest. The report should require either a corrected proof of the umbilical propagation (with a genuine global argument) or a downgrade of the factorization to a local statement, plus a repair of Theorem 5.3.

Referee Report

4 major / 5 minor

Summary. The paper studies codimension-two spacelike submanifolds in Lorentzian spacetimes that admit an umbilical lightlike normal section. Its main claimed results are: a characterization of shear-isotropic submanifolds through the existence of a global umbilical lightlike normal section; topological restrictions for compact surfaces; a curvature and holonomy criterion for local parallel rescalability of such a section; and a Factorization Theorem asserting that every such submanifold is contained in a lightlike hypersurface with an integrable screen distribution, which is totally umbilical whenever the lightlike normal section is umbilical. The paper then derives conformal relations between the leaves, volume evolution formulas, Jacobi-type equations, and curvature criteria, all conditional on the Factorization Theorem.

Significance. If the Factorization Theorem were correct, it would establish a striking bridge between the extrinsic geometry of one spacelike slice and the geometry of the entire generated lightlike hypersurface, with potential applications to horizon geometry. The early sections contain plausible and potentially useful material, such as the shear-isotropy discussion in Section 3 and the Gauss-Bonnet-type restrictions in Section 4, and Example 6.21 is a helpful illustration. However, the central theorem is not merely unproven: a simple explicit example contradicts it, and the proof's decisive step relies on a false extension principle. Consequently, the substantial number of results in Section 7 are conditional on an unproven and in fact false premise.

major comments (4)

[§6.5 (proof of Theorem 6.20, Property (P))] The asserted Property (P) is false. A smooth section of a vector bundle over a foliation is not determined by its restriction to a single leaf. In the model M=R^4 with metric g=2du dv + dx^2 + dy^2, S={u=v=0}, and ξ=∂_v, the flow-invariant fields are E1=∂_x and E2=∂_y; the section Y=E1+tE2 of the screen distribution satisfies Y|_S=E1|_S but is not a functional multiple of E1 for t≠0. Therefore the inference 'since Z|_S=0 ... Z|_W=0' in the proof of Property (P) is invalid. Consequently equation (6.9), which is the only mechanism that propagates the identity A_ξ=ρI from S to the whole generated hypersurface, is unsupported, and the proof of the umbilical part of Theorem 6.20 collapses.
[§6.5 (Theorem 6.20, statement)] The theorem is false as stated. Let M=R^4 with coordinates (u,v,x,y) and metric g=2du dv + h_{ij}(v,x) dx^i dx^j, where h_{ij}=δ_{ij}+v^2 σ_{ij}(x) and σ is a non-zero trace-free symmetric 2×2 matrix field with sufficiently small norm. Let S={u=0,v=0} and ξ=∂_v. Then S is a codimension-two spacelike embedded submanifold, ξ is lightlike normal, and at v=0 the shape operator is A_ξ=0, so ξ is an umbilical section. The normal exponential map along ξ generates the lightlike hypersurface Σ={u=0}, with geodesic lightlike extension U=∂_v. A direct computation gives the lightlike second fundamental form B_U(∂_i,∂_j)=-(1/2)∂_v h_{ij}=-v σ_{ij}(x), while the induced metric on the screen is h_{ij}=δ_{ij}+v^2 σ_{ij}(x). For generic v≠0 the matrix -vσ is not proportional to h, so B_U is not proportional to the induced metric and Σ is not totally umbilical. This contradicts the 'Moreover' part of Theorem 6.20. Since total umbilicity of a lightlike hypersurface is conformally invariant by Proposition 6.17, a conformal rescaling cannot repair the counterexample.
[§5 (Theorem 5.3)] The proof misuses the Ambrose-Singer theorem. Vanishing of the normal curvature R^⊥ at a single point p gives R^⊥_p=0, but the normal holonomy algebra is generated by parallel transports of the curvature at all points of S, not only at p. The proof supplies no Codazzi-type equation or parallel-transport argument that would propagate R^⊥_p=0 from p to the whole of S. Thus the theorem is false as stated: on a simply connected S one can have flat normal curvature near p and non-zero normal curvature elsewhere. This error also affects Theorem 7.20(b), which explicitly invokes Theorem 5.3.
[§6.5 (proof of Theorem 6.20, conformal normalization)] The proof states that 'without loss of generality' one may assume the umbilical function ρ is non-zero by a local conformal rescaling, citing Lemma 6.19, and then claims that U can be globally rescaled along each generator to become geodesic. Lemma 6.19 only produces a function u in a neighborhood of a point of S; no argument patches these local choices into a global conformal change of (M,g) or into a globally non-vanishing umbilical function on S. The subsequent global rescaling of U is therefore not justified. This is an additional gap in the proof of the global statement of Theorem 6.20.

minor comments (5)

[§3 (Lemma 3.3)] The proof of Lemma 3.3 is omitted even though the lemma is the technical foundation for Theorem 3.4; the proof should be included or a precise reference supplied.
[§6.1] The phrase 'spacelike distribuction' should read 'spacelike distribution'.
[Sections 5 and 6] The symbol τ is used both for the normal connection one-form in (5.1) and for the rotation one-form in (6.4); the double use is confusing, especially in Theorem 7.16, and should be disambiguated.
[Example 5.4] The assertion that every spacelike submanifold in a locally conformally flat spacetime has flat normal connection is nontrivial and is stated with only a parenthetical reference; please give the precise statement or a proof.
[§7.2 (proof of Theorem 7.8)] The claim that Φ_t is orientation-preserving 'as it arises from the normal exponential map' needs justification; in the non-orientable case the volume form should be replaced by the canonical measure, as is already acknowledged in Remark 7.9.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the main gap is an invalid propagation lemma, not a circular derivation.

full rationale

This paper is pure differential geometry: there are no fitted parameters, no empirical predictions, and no renamings of measured data presented as derivations. The main Factorization Theorem (Theorem 6.20) is a genuine geometric construction from the normal exponential map, and its proof attempts to propagate the shape operator from the initial leaf to the generated lightlike hypersurface through Property (P). That propagation step is mathematically incorrect, because a smooth section of the screen distribution is not determined by its restriction to one cross-section; consequently equation (6.9) does not follow and total umbilicity of the generated hypersurface is not established. However, this is a false lemma and an invalid inference, not a circular reduction: the conclusion is not identical to the hypothesis by construction, and if Property (P) were true the argument would be a substantive extension rather than a tautology. Similarly, the Ambrose–Singer inference in Theorem 5.3 misapplies an external holonomy theorem, but it is not a self-citation or an input–output equivalence. The only self-referential element is Lemma 3.3, whose proof is omitted and deferred by analogy to the author's earlier work [7]; this is a minor self-citation and is not load-bearing for the paper's central factorization claim. No specific circular step can be exhibited from the paper's own equations, so the circularity score is low, reflecting the minor self-citation rather than any built-in equivalence.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no fitted parameters and no new postulated entities. Its main axioms are standard Lorentzian submanifold theory plus a domain assumption about the normal exponential map and an incorrect use of the Ambrose-Singer theorem.

assumptions (5)

standard math Standard Gauss, Weingarten, and Ricci equations, plus the Frobenius theorem, are valid in the assumed Lorentzian setting.
Used throughout Sections 2, 3, and 6 as the base toolkit.
domain assumption The maximal domain of the normal exponential map along ξ produces an embedded lightlike hypersurface (injectivity and immersion).
Theorem 6.20 defines Σ as the image of a maximal domain O; focal points or non-injectivity would invalidate the construction.
ad hoc to paper Ambrose-Singer holonomy theorem is interpreted as saying that vanishing of normal curvature at one point forces trivial normal holonomy globally.
This interpretation, central to Theorem 5.3, is not a consequence of the standard Ambrose-Singer theorem and is false in general.
ad hoc to paper A conformal rescaling of the ambient metric can make the lightlike expansion scalar θξ nonzero in a neighborhood of any point while preserving the factorization and umbilical structure.
Lemma 6.19 and the umbilical part of Theorem 6.20 rely on this conformal normalization.
domain assumption The screen distribution S constructed from flow-invariant horizontal lifts is integrable and the resulting leaves are diffeomorphic to S.
Needed for Theorem 6.20 and Theorem 7.1; asserted with a sketch using Frobenius and the flow-invariance of the horizontal lift.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Codimension-Two Spacelike Submanifolds with Umbilical Lightlike Normal Sections and Their Relationship to Lightlike Hypersurfaces." pith.science (2026). https://pith.science/paper/GCH7YDOJ

@misc{pith2026250607934,
  author       = {Pith},
  title        = {Pith review of: Codimension-Two Spacelike Submanifolds with Umbilical Lightlike Normal Sections and Their Relationship to Lightlike Hypersurfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GCH7YDOJ}},
  note         = {Machine review of arXiv:2506.07934}
}

read the original abstract

We study codimension-two spacelike submanifolds in Lorentzian spacetimes that admit umbilical lightlike normal directions. We show that such submanifolds are subject to strong geometric and topological constraints, establishing explicit relationships between extrinsic geometry, mean curvature, and shear-isotropy. In the compact case, we obtain sharp restrictions on their topology. We precisely characterize when the umbilical lightlike normal vector field can be rescaled to be parallel, in terms of the curvature tensor of the ambient spacetime, and prove that this property is conformally invariant. Our main result is a factorization theorem: any such submanifold is contained in a lightlike hypersurface, which is totally umbilical whenever the lightlike normal direction is umbilical. We also provide explicit conformal relations between the induced metrics on the family of spacelike leaves generated by the lightlike normal flow, with consequences for isometry, parallelism of lightlike normal directions, volume evolution, and variational properties. These results yield a detailed geometric framework relevant to the mathematical study of horizons and lightlike structures in general relativity.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

[1]

Akivis M. A. and Goldberg V. V., On some methods of construction of invariant normalizations of lightlike hypersurfaces, Differ. Geom. Appl., 12 (2000), 121–143

work page 2000
[2]

J., Romero A

Al´ıas L. J., Romero A. and S´anchez M., Uniqueness of complete spacelike hypersurfaces of constant mean curvature in Generalized Robertson–Walker spacetimes, Gen. Relativ. Gravit., 27 (1995), 71–84. 33

work page 1995
[3]

and Singer I

Ambrose W. and Singer I. M., A theorem on holonomy,Trans. Amer. Math. Soc., 75 (1953), 428–443

work page 1953
[4]

K., Ehrlich P

Beem J. K., Ehrlich P. E. and Easley K. L.,Global Lorentzian Geometry, 2nd edn., Pure Appl. Math., Marcel Dekker, New York, 1996

work page 1996
[5]

Bejancu A., Geometry of degenerate hypersurfaces, Arab J. Math. Sci., 2 (1996), 1–38

work page 1996
[6]

L., Fern ´andez M

Cabrerizo J. L., Fern ´andez M. and G´omez J. S., Rigidity of pseudo-isotropic immersions, J. Geom. Phys., 59 (2009), 834–842

work page 2009
[7]

L., Fern ´andez M

Cabrerizo J. L., Fern ´andez M. and G ´omez J. S., Isotropy and marginally trapped surfaces in a spacetime, Class. Quant. Grav., 27 (2010), 12

work page 2010
[8]

L., Fern ´andez M

Cabrerizo J. L., Fern ´andez M. and G ´omez J. S., Isotropic submanifolds of pseudo-Riemannian spaces, J. Geom. Phys., 62 (2012), 1915–1924

work page 2012

Show all 41 references

[9]

L., Palomo F

C´anovas V. L., Palomo F. J. and Romero A., Mean curvature of spacelike submanifolds in a Brinkmann spacetime, Class. Quant. Grav., 38 (2021), 195013

2021
[10]

Y., Some conformal invariants of submanifolds and their applications,Boll

Chen B. Y., Some conformal invariants of submanifolds and their applications,Boll. Un. Mat. Ital., 10 (1974), 380–385

1974
[11]

Cipriani N., Senovilla J. M. M. and Veken J., Umbilical properties of spacelike co-dimension two submanifolds, Results in Math., 72 (2017), 25–46

2017
[12]

Dajczer M., Submanifolds and isometric immersions, Mathematics Lectures Series 13, Publish and Perish, Houston, 1990

1990
[13]

Duggal K. L. and Gim ´enez A., Lightlike hypersurfaces of Lorentzian manifolds with distinguished screen, J. Geom. Phys., 55 (2005), 107–122

2005
[14]

Duggal K. L. and Sahin B., Differential Geometry of Lightlike Submanifolds, Birkh¨auser: Basel, Switzerland, 2010

2010
[15]

and Sharma R., Symmetries of Spacetimes and Riemannian Manifolds, Math

Duggal K.L. and Sharma R., Symmetries of Spacetimes and Riemannian Manifolds, Math. and its Appl., 487, Kluw. Acad. Publ., Dordrecht, 1999

1999
[16]

Fialkow A., Conformal differential geometry of a subspace. Trans. Amer. Math. Soc., 56 (1944), 309–433

1944
[17]

and Alonso-Serrano A., Observing other universe through ringholes and Klein Bottle Holes, Phys

Gonz´alez-D´ıaz P. and Alonso-Serrano A., Observing other universe through ringholes and Klein Bottle Holes, Phys. Rev. D, 84 (2011), 023008

2011
[18]

and Olea B., Totally umbilic null hypersurfaces in generalized Robertson-Walker spaces

Guti´errez M. and Olea B., Totally umbilic null hypersurfaces in generalized Robertson-Walker spaces. Differ. Geom. Appl., 42 (2015), 15–30

2015
[19]

and Olea B., Codimension two spacelike submanifolds through a null hypersurface in a lorentzian manifold, Bull

Guti´errez M. and Olea B., Codimension two spacelike submanifolds through a null hypersurface in a lorentzian manifold, Bull. Malays. Math. Sci. Soc., 44 (2021), 2253—2270

2021
[20]

Hawking S. W. and Ellis G. F. R.,The Large Scale Structure of Spacetime, Cambridge Univ. Press, Cambridge, 1972

1972
[21]

D., Compact Manifolds with Special Holonomy , Oxford Math

Joyce D. D., Compact Manifolds with Special Holonomy , Oxford Math. Monogr., Oxford Univ. Press., Oxford, 2000

2000
[22]

and Nomizu K., Foundations of Differential Geometry, Inter

Kobayashi S. and Nomizu K., Foundations of Differential Geometry, Inter. Tracts. in Pure and Appl. Math., Inter. e Publ., New York–London–Sydney, 1963. 34

1963
[23]

Kriele M., Spacetime, Foundation of General Relativity and Differential Geometry, Springer, Berlin, 1999

1999
[24]

N., On Null Hypersurfaces and Spacelike Surfaces in Spacetimes , Ph.D

Kupeli D. N., On Null Hypersurfaces and Spacelike Surfaces in Spacetimes , Ph.D. Thesis, State University of New York, New York, 1985

1985
[25]

N., Curvature and closed trapped surfaces 4-dimensional space-times,Gen

Kupeli D. N., Curvature and closed trapped surfaces 4-dimensional space-times,Gen. Relativ. Gravit., 19 (1987), 1

1987
[26]

N., On null submanifolds in spacetimes, Geom

Kupeli D. N., On null submanifolds in spacetimes, Geom. Dedicata, 23 (1987), 33–51

1987
[27]

M., Introduction to Smooth Manifolds, Grad

Lee J. M., Introduction to Smooth Manifolds, Grad. Texts in Math., 2nd edn., Springer, New York, 2013

2013
[28]

and S ´anchez M., The causal hierarchy of spacetimes, in Recent developments in pseudo-Riemannian geometry, ESI Lect

Minguzzi E. and S ´anchez M., The causal hierarchy of spacetimes, in Recent developments in pseudo-Riemannian geometry, ESI Lect. Math. Phys., Eur. Math. Soc., 4 (2008), 299–358

2008
[29]

and Palomo F

Mor´on R. and Palomo F. J., Spacelike immersions in certain Lorentzian manifolds with lightlike foliations, Results Math., 79 (2024), 271

2024
[30]

O’Neill B., Isotropic and Kaehler immersions, Canad. J. Math., 17 (1965), 907–915

1965
[31]

Press, New York, 1983

O’Neill B., Semi-Riemannian Geometry with Applications to Relativity, Ac. Press, New York, 1983

1983
[32]

Palmas O., Palomo F. J. and Romero A., On the total mean curvature of a compact space like submanifold in Lorentz-Minkowski spacetime, Proc. Roy. Soc. Edinburgh Sect. A, 148 (2018), 199–210

2018
[33]

and Romero A., New characterizations of compact totally umbilical spacelike surfaces in 4-dimensional Lorentz–Minkowski spacetime through a lightcone, Mediterr

Palomo F.J., Rodriguez F.J. and Romero A., New characterizations of compact totally umbilical spacelike surfaces in 4-dimensional Lorentz–Minkowski spacetime through a lightcone, Mediterr. J. Math., 11 (2014), 1229–1240

2014
[34]

Palomo F. J. and Romero A., On spacelike surfaces in 4-dimensional Lorentz–Minkowski spacetime through a light cone, Proc. Roy. Soc. Edinburgh Sect. A, 143 (2013), 881–892

2013
[35]

Penrose R., Gravitational collapse and space-time singularities, Phys. Rev. Lett. 14 (1965), 57-59

1965
[36]

Penrose R., Techniques of Differential Topology in Relativity, Regional Conference Series in Applied Math., 7, SIAM, Philadelphia, 1972

1972
[37]

Analys., 63 (2005), 511–518

Perlick V., On totally umbilical submanifolds of semi-Riemannian manifolds,Nonlin. Analys., 63 (2005), 511–518

2005
[38]

A., Differential Geometric Structures, McGraw-Hill, New York, 1981

Poor W. A., Differential Geometric Structures, McGraw-Hill, New York, 1981

1981
[39]

Sachs R. K. and Wu H.,General Relativity for Mathematicians,Grad. Texts in Math., Springer-Verlag, New York, 1977

1977
[40]

Senovilla J. M. M., Umbilical-type surfaces in spacetime, in Recent Trends in Lorentzian Geometry, Springer Proc. Math. Stat. (2013), 87–109

2013
[41]

M., General Relativity, Univ

Wald R. M., General Relativity, Univ. of Chic. Press, Chicago, 1984. 35

1984

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Akivis M. A. and Goldberg V. V., On some methods of construction of invariant normalizations of lightlike hypersurfaces, Differ. Geom. Appl., 12 (2000), 121–143

work page 2000

[2] [2]

J., Romero A

Al´ıas L. J., Romero A. and S´anchez M., Uniqueness of complete spacelike hypersurfaces of constant mean curvature in Generalized Robertson–Walker spacetimes, Gen. Relativ. Gravit., 27 (1995), 71–84. 33

work page 1995

[3] [3]

and Singer I

Ambrose W. and Singer I. M., A theorem on holonomy,Trans. Amer. Math. Soc., 75 (1953), 428–443

work page 1953

[4] [4]

K., Ehrlich P

Beem J. K., Ehrlich P. E. and Easley K. L.,Global Lorentzian Geometry, 2nd edn., Pure Appl. Math., Marcel Dekker, New York, 1996

work page 1996

[5] [5]

Bejancu A., Geometry of degenerate hypersurfaces, Arab J. Math. Sci., 2 (1996), 1–38

work page 1996

[6] [6]

L., Fern ´andez M

Cabrerizo J. L., Fern ´andez M. and G´omez J. S., Rigidity of pseudo-isotropic immersions, J. Geom. Phys., 59 (2009), 834–842

work page 2009

[7] [7]

L., Fern ´andez M

Cabrerizo J. L., Fern ´andez M. and G ´omez J. S., Isotropy and marginally trapped surfaces in a spacetime, Class. Quant. Grav., 27 (2010), 12

work page 2010

[8] [8]

L., Fern ´andez M

Cabrerizo J. L., Fern ´andez M. and G ´omez J. S., Isotropic submanifolds of pseudo-Riemannian spaces, J. Geom. Phys., 62 (2012), 1915–1924

work page 2012