Extrinsic characterizations of biconservative surfaces in the $4$-dimensional hyperbolic space

Mihaela Rusu; Simona Nistor

arxiv: 2605.22396 · v1 · pith:JALAJDFSnew · submitted 2026-05-21 · 🧮 math.DG

Extrinsic characterizations of biconservative surfaces in the 4-dimensional hyperbolic space

Simona Nistor , Mihaela Rusu This is my paper

Pith reviewed 2026-05-22 02:25 UTC · model grok-4.3

classification 🧮 math.DG

keywords biconservative surfaceshyperbolic 4-spaceparallel normalized mean curvatureextrinsic descriptionnormal flowdirectrix curvespace forms

0 comments

The pith

Non-constant mean curvature biconservative surfaces with parallel normalized mean curvature in four-dimensional hyperbolic space are locally generated by curves in a totally geodesic three-dimensional subspace through a normal flow.

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

This paper provides an extrinsic classification of non-CMC biconservative surfaces that have a parallel normalized mean curvature vector field in the four-dimensional hyperbolic space using the hyperboloid model. It demonstrates that these surfaces arise locally from a directrix curve in a totally geodesic H^3 extended by a specific normal flow. The classification falls into three cases depending on whether an associated vector field is null, spacelike, or timelike. Completing earlier results, this finishes both the intrinsic and extrinsic classification of such surfaces in four-dimensional space forms.

Core claim

We provide a local extrinsic description of such surfaces, showing that they are generated by a directrix curve lying in a totally geodesic hypersurface H^3 of H^4, through a certain normal flow. This extrinsic classification of non-CMC, PNMC biconservative surfaces in H^4 splits naturally into three cases according to the type of a certain vector field, which can be non-zero null, spacelike or timelike. Together with the previous results, the classification of non-CMC, PNMC surfaces in four-dimensional space forms is now completed, from intrinsic and extrinsic point of view.

What carries the argument

Generation via a directrix curve in a totally geodesic hypersurface through a normal flow, with cases split by the causal character of a vector field.

If this is right

Such surfaces admit a local construction from lower-dimensional hyperbolic geometry.
The three cases cover all possibilities for the vector field's type in the ambient space.
This extrinsic view complements the intrinsic classification to complete the picture for four-dimensional space forms.
The surfaces satisfy the biconservative condition while having non-constant mean curvature.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The construction provides a way to generate explicit examples for further study of their properties.
This approach using the hyperboloid model may extend to similar classifications in other constant curvature spaces.
Now that the classification is complete, researchers can focus on finding concrete realizations or applications of these surfaces.

Load-bearing premise

The surfaces are non-constant mean curvature biconservative with parallel normalized mean curvature vector field in the hyperboloid model of H^4.

What would settle it

Discovering a non-CMC biconservative PNMC surface in H^4 that does not arise locally from a directrix curve in a totally geodesic H^3 through the normal flow would disprove the characterization.

read the original abstract

Biconservative submanifolds arise as a natural relaxation of the biharmonic condition and play an important role in the submanifold theory. In this paper, we study non-CMC biconservative surfaces with parallel normalized mean curvature vector field (PNMC surfaces) in the four-dimensional hyperbolic space $\mathbb{H}^4$, for which we consider the hyperboloid model. We provide a local extrinsic description of such surfaces, showing that they are generated by a directrix curve lying in a totally geodesic hypersurface $\mathbb{H}^3$ of $\mathbb{H}^4$, through a certain normal flow. This extrinsic classification of non-CMC, PNMC biconservative surfaces in $\mathbb{H}^4$ splits naturally into three cases according to the type of a certain vector field, which can be non-zero null, spacelike or timelike. Together with the previous results, the classification of non-CMC, PNMC surfaces in four-dimensional space forms is now completed, from intrinsic and extrinsic point of view.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper completes the extrinsic classification of non-CMC PNMC biconservative surfaces in H^4 by describing them as generated from a directrix curve in a totally geodesic H^3 via normal flow, split by causal type of a key vector field.

read the letter

The main point is that this paper finishes the extrinsic classification for non-CMC biconservative surfaces with parallel normalized mean curvature in four-dimensional hyperbolic space. They show these surfaces come from a directrix curve in a totally geodesic H^3 inside H^4, evolved by a normal flow, and split the cases into three according to whether a distinguished vector field is non-zero null, spacelike, or timelike. The work uses the hyperboloid model to keep the geometry explicit and derives the description from the biconservative equation together with the PNMC condition. This rounds out the earlier results on other space forms, so the new content is the targeted H^4 case with its local picture and natural trichotomy. The paper does a solid job making the construction geometric and reproducible from the ambient space form setup without adding free parameters or circular definitions. The soft spots are minor and proportional to the scope. The derivations rely on standard submanifold techniques, so explicit checks of the flow equations and vector field analysis would be useful to confirm no cases are missed, but the overall structure shows no internal inconsistency or unjustified assumption. Everything is local, which fits the classification goal but leaves global questions untouched. This is work for specialists already following biconservative and biharmonic submanifolds in space forms. A reader who knows the prior papers on Euclidean and spherical cases will see the direct continuation and get the most value. It shows clear thinking and honest engagement with the literature. I would send it to a serious referee because the classification is now complete as stated and the methods are grounded enough to merit review.

Referee Report

2 major / 2 minor

Summary. The paper classifies non-CMC biconservative surfaces with parallel normalized mean curvature vector field (PNMC) in the 4-dimensional hyperbolic space H^4, using the hyperboloid model. It establishes that such surfaces admit a local extrinsic description as generated by a directrix curve lying in a totally geodesic hypersurface H^3, evolved via a certain normal flow. The classification splits into three cases according to the causal character of a distinguished vector field (non-zero null, spacelike, or timelike). Combined with prior results, this completes the classification of non-CMC PNMC surfaces in four-dimensional space forms from both intrinsic and extrinsic perspectives.

Significance. If the derivations are correct, the result is significant for submanifold theory: it furnishes a complete extrinsic characterization of these surfaces in H^4, complementing existing work on other space forms and providing geometric insight via the hyperboloid model and normal flow. The trichotomy on the vector field offers a natural and falsifiable case division that could facilitate further analysis of biconservative immersions.

major comments (2)

[§4] §4 (or the section deriving the flow): the passage from the biconservative equation together with the PNMC condition to the explicit normal flow and the directrix curve in H^3 is load-bearing for the extrinsic classification; the manuscript should display the key integrability or ODE step that produces the flow explicitly, including the dependence on the causal type of the vector field.
[§5] The three-case split (null/spacelike/timelike): while the trichotomy is natural, the proof that these exhaust all possibilities under the given assumptions must be verified in the timelike case, where the signature of the normal bundle in H^4 may introduce additional sign constraints not present in the null case.

minor comments (2)

[Introduction] The abstract states that the surfaces are 'generated by a directrix curve... through a certain normal flow'; a sentence in the introduction clarifying the precise meaning of 'normal flow' (e.g., the ODE or the variation vector field) would improve readability for readers outside the immediate subfield.
[§2] Notation for the mean curvature vector field and its normalized version should be checked for consistency between the preliminaries and the main classification statements.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments, which will help improve the clarity of our extrinsic classification. We address the major comments point by point below.

read point-by-point responses

Referee: [§4] §4 (or the section deriving the flow): the passage from the biconservative equation together with the PNMC condition to the explicit normal flow and the directrix curve in H^3 is load-bearing for the extrinsic classification; the manuscript should display the key integrability or ODE step that produces the flow explicitly, including the dependence on the causal type of the vector field.

Authors: We agree that explicitly displaying the key integrability and ODE steps strengthens the presentation. In the revised manuscript we will expand the relevant section to include the detailed passage from the biconservative equation and PNMC condition to the normal flow, showing the integrability conditions and the resulting ODE system together with its explicit dependence on the causal character (null, spacelike or timelike) of the distinguished vector field. revision: yes
Referee: [§5] The three-case split (null/spacelike/timelike): while the trichotomy is natural, the proof that these exhaust all possibilities under the given assumptions must be verified in the timelike case, where the signature of the normal bundle in H^4 may introduce additional sign constraints not present in the null case.

Authors: The trichotomy follows directly from the possible causal characters of the vector field in the normal bundle of H^4. Our analysis already incorporates the Lorentzian signature when treating the timelike case. To address the referee’s request for explicit verification, we will add a short clarifying paragraph confirming that the parallel and biconservative conditions preclude additional sign-induced cases in the timelike setting, thereby establishing that the three cases are exhaustive. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation grounded in hyperboloid geometry and PNMC condition

full rationale

The central result is a local extrinsic classification of non-CMC PNMC biconservative surfaces in H^4, obtained by applying the biconservative equation and parallel normalized mean curvature condition to the hyperboloid model. This produces a directrix curve in a totally geodesic H^3 together with a normal flow and a trichotomy on the causal character of a distinguished vector field. No step reduces a claimed prediction or uniqueness statement to a fitted parameter, self-definition, or load-bearing self-citation whose content is merely renamed. The reference to 'previous results' completes an overall classification across space forms but does not substitute for the independent geometric derivation performed in the present paper. The argument is therefore self-contained against the stated assumptions and ambient geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The classification rests on standard Riemannian geometry of space forms and the definitions of biconservative and PNMC surfaces; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (2)

standard math Standard properties of the hyperbolic space H^4 and its hyperboloid model.
The paper explicitly uses the hyperboloid model for computations in H^4.
domain assumption Definitions and basic properties of biconservative submanifolds and the PNMC condition.
These are invoked as the objects under study and are standard in the literature referenced by the abstract.

pith-pipeline@v0.9.0 · 5712 in / 1420 out tokens · 60489 ms · 2026-05-22T02:25:47.000366+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We provide a local extrinsic description of such surfaces, showing that they are generated by a directrix curve lying in a totally geodesic hypersurface H^3 of H^4, through a certain normal flow. This extrinsic classification splits naturally into three cases according to the type of a certain vector field, which can be non-zero null, spacelike or timelike.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the shape operators ... A3 = [[-f,0],[0,3f]], A4 = [[c f^{3/2},0],[0,-c f^{3/2}]] ... K = -1 -3f² -c²f³

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Andronic, S

S ¸. Andronic, S. Nistor,Gap results for biharmonic submanifolds in spheres, J. Math. Anal. Appl. 548 (2025), no. 1, Paper No. 129378, 34 pp

work page 2025
[2]

Andronic, A

S ¸. Andronic, A. Kayhan,Rigidity results for compact biconservative hypersurfaces in space forms, J. Geom. Phys. 212 (2025), Paper No. 105460, 15 pp

work page 2025
[3]

Caddeo, S

R. Caddeo, S. Montaldo, C. Oniciuc and P. Piu,Surfaces in the three-dimensional space forms with divergence-free stress-bienergy tensor, Ann. Mat. Pura Appl. 193 (2014), 529–550

work page 2014
[4]

Fetcu,The rigidity of biconservative surfaces inSol 3, Ann

D. Fetcu,The rigidity of biconservative surfaces inSol 3, Ann. Mat. Pura Appl. (4) 204 (2025), no. 6, 2363–2375

work page 2025
[5]

Fetcu, E

D. Fetcu, E. Loubeau and C. Oniciuc,Bochner-Simons formulas and the rigidity of biharmonic submanifoldsJ. Geom. Anal. 31 (2021), no. 2, 1732–1755

work page 2021
[6]

Fetcu and C

D. Fetcu and C. Oniciuc,Biharmonic and biconservative hypersurfaces in space forms, Differ- ential geometry and global analysis—in honor of Tadashi Nagano, 65–90, Contemp. Math., 777, Amer. Math. Soc., 2022

work page 2022
[7]

Fetcu, C

D. Fetcu, C. Oniciuc and A. L. Pinheiro,CMC biconservative surfaces inS n ×RandH n ×R, J. MAth. Anal. Appl. 425 (2015), no.1, 588–609

work page 2015
[8]

Fu,Explicit classification of biconservative surfaces in Lorenz3-space forms, Ann

Y. Fu,Explicit classification of biconservative surfaces in Lorenz3-space forms, Ann. Mat. Pura Appl. (4) 194 (2015), no.3, 805–822

work page 2015
[9]

Kayhan,Complete spacelike biconservative hypersurfaces in the Sitter space, arXiv:2506.04744, 2025

A. Kayhan,Complete spacelike biconservative hypersurfaces in the Sitter space, arXiv:2506.04744, 2025

work page arXiv 2025
[10]

Hasanis and T

T. Hasanis and T. Vlachos,Hypersurfaces inE 4 with harmonic mean curvature vector field, Math. Nachr. 172 (1995), 145–169

work page 1995
[11]

Jiang,The conservation law for2-harmonic maps between Riemannian manifolds, Acta Math

G.Y. Jiang,The conservation law for2-harmonic maps between Riemannian manifolds, Acta Math. Sinica 30 (1987), 220–225. 16 SIMONA NISTOR, MIHAELA RUSU

work page 1987
[12]

Loubeau, S

E. Loubeau, S. Montaldo and C. Oniciuc,The stress-energy tensor for biharmonic maps, Math. Z. 259 (2008), 503–524

work page 2008
[13]

Montaldo, C

S. Montaldo, C. Oniciuc and A. Pampano,Closed biconservative hypersurfaces in spheres, J. Math. Anal. Appl. 518 (2023), no.1, Paper No. 126697, 16 pp

work page 2023
[14]

Montaldo, C

S. Montaldo, C. Oniciuc and A. Ratto,Biconservative surfaces, J. Geom. Anal. 26 (2016), 313–329

work page 2016
[15]

Nistor,Biharmonicity and biconservativity topics in the theory of submanifolds, PhD Thesis, 2017, doi: 10.13140/RG.2.2.27179.05924

S. Nistor,Biharmonicity and biconservativity topics in the theory of submanifolds, PhD Thesis, 2017, doi: 10.13140/RG.2.2.27179.05924

work page doi:10.13140/rg.2.2.27179.05924 2017
[16]

Nistor, C

S. Nistor, C. Oniciuc, N.C. Turgay and R. Ye˘ gin S ¸en,Biconservative surfaces in the4- dimensional Euclidean sphere, Ann. Mat. Pura Appl. 202 (2023), no. 5, 2345–2377

work page 2023
[17]

Nistor, M.Rusu,Intrinsic characterization of biconservative surfaces in the4-dimensional hyperbolic space, Mediterr

S. Nistor, M.Rusu,Intrinsic characterization of biconservative surfaces in the4-dimensional hyperbolic space, Mediterr. J. Math., 21 (2024), Paper no. 225, 27 pp

work page 2024
[18]

Ou, B.-Y

Y.-L. Ou, B.-Y. Chen,Biharmonic Submanifolds and Biharmonic Maps in Riemannian Ge- ometry, World Scientific Publishing, Hackensack, NJ, 2020

work page 2020
[19]

Turgay,H-hypersurfaces with three distinct principal curvatures in the Euclidean spaces, Ann

N.C. Turgay,H-hypersurfaces with three distinct principal curvatures in the Euclidean spaces, Ann. Mat. Pura Appl. (4) 194 (2015), no. 6, 1795–1807

work page 2015
[20]

Turgay and R

N.C. Turgay and R. Ye˘ gin S ¸en,Biconservative surfaces in Robertson-Walker spaces, Results Math. 80 (2025), no.3, Paper No. 77, 25 pp

work page 2025
[21]

Turgay and R

N.C. Turgay and R. Ye˘ gin S ¸en,On biconservative surfaces in4-dimensional Euclidean space, J. Math. Anal. Appl. 460 (2018), 565–581

work page 2018
[22]

Turgay and R

N.C. Turgay and R. Ye˘ gin S ¸en,Biconservative PNMCV surfaces in the arbitrary dimensional Minkowski space, J. Korean Math. Soc. 62 (2025), no. 1, 145–163. F aculty of Mathematics, Al. I. Cuza University of Iasi, Blvd. Carol I, 11, 700506 Iasi, Romania Email address:nistor.simona@ymail.com F aculty of Mathematics, Al. I. Cuza University of Iasi, Blvd. Ca...

work page 2025

[1] [1]

Andronic, S

S ¸. Andronic, S. Nistor,Gap results for biharmonic submanifolds in spheres, J. Math. Anal. Appl. 548 (2025), no. 1, Paper No. 129378, 34 pp

work page 2025

[2] [2]

Andronic, A

S ¸. Andronic, A. Kayhan,Rigidity results for compact biconservative hypersurfaces in space forms, J. Geom. Phys. 212 (2025), Paper No. 105460, 15 pp

work page 2025

[3] [3]

Caddeo, S

R. Caddeo, S. Montaldo, C. Oniciuc and P. Piu,Surfaces in the three-dimensional space forms with divergence-free stress-bienergy tensor, Ann. Mat. Pura Appl. 193 (2014), 529–550

work page 2014

[4] [4]

Fetcu,The rigidity of biconservative surfaces inSol 3, Ann

D. Fetcu,The rigidity of biconservative surfaces inSol 3, Ann. Mat. Pura Appl. (4) 204 (2025), no. 6, 2363–2375

work page 2025

[5] [5]

Fetcu, E

D. Fetcu, E. Loubeau and C. Oniciuc,Bochner-Simons formulas and the rigidity of biharmonic submanifoldsJ. Geom. Anal. 31 (2021), no. 2, 1732–1755

work page 2021

[6] [6]

Fetcu and C

D. Fetcu and C. Oniciuc,Biharmonic and biconservative hypersurfaces in space forms, Differ- ential geometry and global analysis—in honor of Tadashi Nagano, 65–90, Contemp. Math., 777, Amer. Math. Soc., 2022

work page 2022

[7] [7]

Fetcu, C

D. Fetcu, C. Oniciuc and A. L. Pinheiro,CMC biconservative surfaces inS n ×RandH n ×R, J. MAth. Anal. Appl. 425 (2015), no.1, 588–609

work page 2015

[8] [8]

Fu,Explicit classification of biconservative surfaces in Lorenz3-space forms, Ann

Y. Fu,Explicit classification of biconservative surfaces in Lorenz3-space forms, Ann. Mat. Pura Appl. (4) 194 (2015), no.3, 805–822

work page 2015

[9] [9]

Kayhan,Complete spacelike biconservative hypersurfaces in the Sitter space, arXiv:2506.04744, 2025

A. Kayhan,Complete spacelike biconservative hypersurfaces in the Sitter space, arXiv:2506.04744, 2025

work page arXiv 2025

[10] [10]

Hasanis and T

T. Hasanis and T. Vlachos,Hypersurfaces inE 4 with harmonic mean curvature vector field, Math. Nachr. 172 (1995), 145–169

work page 1995

[11] [11]

Jiang,The conservation law for2-harmonic maps between Riemannian manifolds, Acta Math

G.Y. Jiang,The conservation law for2-harmonic maps between Riemannian manifolds, Acta Math. Sinica 30 (1987), 220–225. 16 SIMONA NISTOR, MIHAELA RUSU

work page 1987

[12] [12]

Loubeau, S

E. Loubeau, S. Montaldo and C. Oniciuc,The stress-energy tensor for biharmonic maps, Math. Z. 259 (2008), 503–524

work page 2008

[13] [13]

Montaldo, C

S. Montaldo, C. Oniciuc and A. Pampano,Closed biconservative hypersurfaces in spheres, J. Math. Anal. Appl. 518 (2023), no.1, Paper No. 126697, 16 pp

work page 2023

[14] [14]

Montaldo, C

S. Montaldo, C. Oniciuc and A. Ratto,Biconservative surfaces, J. Geom. Anal. 26 (2016), 313–329

work page 2016

[15] [15]

Nistor,Biharmonicity and biconservativity topics in the theory of submanifolds, PhD Thesis, 2017, doi: 10.13140/RG.2.2.27179.05924

S. Nistor,Biharmonicity and biconservativity topics in the theory of submanifolds, PhD Thesis, 2017, doi: 10.13140/RG.2.2.27179.05924

work page doi:10.13140/rg.2.2.27179.05924 2017

[16] [16]

Nistor, C

S. Nistor, C. Oniciuc, N.C. Turgay and R. Ye˘ gin S ¸en,Biconservative surfaces in the4- dimensional Euclidean sphere, Ann. Mat. Pura Appl. 202 (2023), no. 5, 2345–2377

work page 2023

[17] [17]

Nistor, M.Rusu,Intrinsic characterization of biconservative surfaces in the4-dimensional hyperbolic space, Mediterr

S. Nistor, M.Rusu,Intrinsic characterization of biconservative surfaces in the4-dimensional hyperbolic space, Mediterr. J. Math., 21 (2024), Paper no. 225, 27 pp

work page 2024

[18] [18]

Ou, B.-Y

Y.-L. Ou, B.-Y. Chen,Biharmonic Submanifolds and Biharmonic Maps in Riemannian Ge- ometry, World Scientific Publishing, Hackensack, NJ, 2020

work page 2020

[19] [19]

Turgay,H-hypersurfaces with three distinct principal curvatures in the Euclidean spaces, Ann

N.C. Turgay,H-hypersurfaces with three distinct principal curvatures in the Euclidean spaces, Ann. Mat. Pura Appl. (4) 194 (2015), no. 6, 1795–1807

work page 2015

[20] [20]

Turgay and R

N.C. Turgay and R. Ye˘ gin S ¸en,Biconservative surfaces in Robertson-Walker spaces, Results Math. 80 (2025), no.3, Paper No. 77, 25 pp

work page 2025

[21] [21]

Turgay and R

N.C. Turgay and R. Ye˘ gin S ¸en,On biconservative surfaces in4-dimensional Euclidean space, J. Math. Anal. Appl. 460 (2018), 565–581

work page 2018

[22] [22]

Turgay and R

N.C. Turgay and R. Ye˘ gin S ¸en,Biconservative PNMCV surfaces in the arbitrary dimensional Minkowski space, J. Korean Math. Soc. 62 (2025), no. 1, 145–163. F aculty of Mathematics, Al. I. Cuza University of Iasi, Blvd. Carol I, 11, 700506 Iasi, Romania Email address:nistor.simona@ymail.com F aculty of Mathematics, Al. I. Cuza University of Iasi, Blvd. Ca...

work page 2025