pith. sign in

arxiv: 2602.16087 · v4 · submitted 2026-02-17 · 🧮 math.DG

On a class of hypersurfaces of a product of two space forms

Arnando Carvalho , Ruy Tojeiro This is my paper

Pith reviewed 2026-05-15 21:15 UTC · model grok-4.3

classification 🧮 math.DG
keywords hypersurfacesproduct of space formsflat normal bundleconstant mean curvatureisoparametric hypersurfacesparallel familiesproduct angle function
0
0 comments X

The pith

Hypersurfaces in class A of a product of two space forms are built explicitly from parallel families of hypersurfaces in each factor.

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

The paper introduces class A hypersurfaces in the product of two space forms as those whose normal bundle is flat when the product is viewed inside a flat ambient space. It supplies an explicit construction for every such hypersurface by combining parallel families of hypersurfaces coming from each factor separately. When the hypersurface also has constant mean curvature, the construction further restricts to parallel families of isoparametric hypersurfaces in the factors together with a solution of a second-order ordinary differential equation. The same reduction yields a complete classification once the product angle function is required to be constant.

Core claim

Hypersurfaces f from M^n into the product Q_{c1}^k times Q_{c2}^{n-k+1} that belong to class A, defined by flatness of the normal bundle in the underlying flat space, admit an explicit construction in terms of parallel families of hypersurfaces of the two factors. Those with constant mean curvature arise precisely from parallel families of isoparametric hypersurfaces in each factor together with a solution of a second-order ODE. The subclass that additionally has constant product angle function is fully classified.

What carries the argument

The flat normal bundle condition that defines class A, which reduces the geometry of the hypersurface to parallel families of hypersurfaces (isoparametric when mean curvature is constant) in each factor.

If this is right

  • Every class A hypersurface arises from parallel families of hypersurfaces in each factor.
  • Constant-mean-curvature members of class A are obtained from isoparametric parallel families plus a second-order ODE solution.
  • The construction simplifies when the product angle function is constant.
  • Constant-mean-curvature class A hypersurfaces with constant product angle function admit a complete classification.

Where Pith is reading between the lines

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

  • The ODE governing the constant-mean-curvature case may admit closed-form solutions when the curvatures of the two space forms are equal or opposite.
  • The flat-normal-bundle reduction could extend to products of three or more space forms under analogous flatness conditions.
  • Known families of isoparametric hypersurfaces in spheres and hyperbolic spaces immediately produce new constant-mean-curvature examples in the product via this construction.

Load-bearing premise

The hypersurface is assumed to have a flat normal bundle when regarded as a submanifold of the flat ambient space containing the product.

What would settle it

An explicit hypersurface in the product space whose normal bundle is flat but which cannot be recovered from any choice of parallel families of hypersurfaces in the two factors, or a constant-mean-curvature example whose principal curvatures fail to satisfy the derived second-order ODE.

read the original abstract

We define hypersurfaces $f\colon M^n\to \mathbb{Q}_{c_1}^{k} \times \mathbb{Q}_{c_2}^{n-k+1}$ in class $\mathcal{A}$ of a product of two space forms as those that have flat normal bundle when regarded as submanifolds of the underlying flat ambient space. We provide an explicit construction of all of them in terms of parallel families of hypersurfaces of the factors, and show how such construction simplifies for the hypersurfaces within this class that have constant product angle function. We also show that hypersurfaces with constant mean curvature in class $\mathcal{A}$ are given in terms of parallel families of isoparametric hypersurfaces in each factor and a solution of a second order ODE. Finally, we classify hypersurfaces with constant mean curvature in class~$\mathcal{A}$ that have constant product angle function.

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.

Referee Report

0 major / 3 minor

Summary. The paper defines class A hypersurfaces in the product manifold Q_{c1}^k × Q_{c2}^{n-k+1} as those with flat normal bundle when immersed into the flat ambient Euclidean space containing the product. It gives an explicit construction of all such hypersurfaces via parallel families of hypersurfaces in each factor, shows that the construction simplifies when the product angle function is constant, reduces the CMC case within class A to parallel families of isoparametric hypersurfaces in each factor together with a solution of a second-order ODE, and classifies the CMC members of class A that additionally have constant product angle function.

Significance. If the stated constructions and reductions hold, the results provide a concrete parametrization of a geometrically natural subclass of hypersurfaces in product space forms, linking them directly to the well-studied theory of isoparametric hypersurfaces and parallel families. The reduction of the CMC condition to an ODE is potentially useful for producing new examples or for further rigidity statements. The work builds on standard submanifold calculus without introducing new ad-hoc parameters or circular reductions.

minor comments (3)
  1. [§2] §2, Definition 2.3: the flat-normal-bundle condition is taken as the definition of class A; a brief remark on why this condition is geometrically natural (e.g., relation to the curvature of the product) would help readers unfamiliar with the ambient-flat-space viewpoint.
  2. [Theorem 3.2] Theorem 3.2 and the subsequent ODE (3.7): the reduction for CMC hypersurfaces is stated clearly, but the paper does not indicate whether the second-order ODE admits global solutions on the whole interval or only local ones; adding a short existence statement would strengthen the classification claim.
  3. [§4] Notation: the product angle function is denoted variously as θ and φ in different sections; a single consistent symbol and an explicit formula in terms of the shape operators of the factors would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive assessment of its significance. We appreciate the recommendation for minor revision and will prepare a revised version incorporating any editorial suggestions.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper defines class A hypersurfaces explicitly via the flat normal bundle condition when viewed in the ambient flat space, then derives the construction of all such hypersurfaces from parallel families in each factor using standard submanifold calculus in space forms. The CMC reduction to isoparametric families plus a second-order ODE follows directly from imposing the flatness and constant mean curvature conditions without any fitted parameters, self-referential definitions, or load-bearing self-citations that collapse the claim to its inputs. The derivation remains self-contained and independent of internal redefinitions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the standard axioms of Riemannian geometry and the theory of isoparametric hypersurfaces; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms of Riemannian geometry and submanifold theory
    Invoked throughout the definition of class A and the parallel-family construction.

pith-pipeline@v0.9.0 · 5446 in / 1185 out tokens · 60457 ms · 2026-05-15T21:15:43.529790+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    Carvalho, A. N. S. and Tojeiro, R.,Constant curvature hypersurfaces of cylinders over space forms, Preprint (available at ArXiv arXiv:2510.17030v1 [math,DG])

    work page arXiv

  2. [2]

    and Pipoli, G.,Isoparametric hypersurfaces in products of simply connected space forms, Preprint (available at arXiv 2511.12527v1 [math,DG])

    de Lima, R. and Pipoli, G.,Isoparametric hypersurfaces in products of simply connected space forms, Preprint (available at arXiv 2511.12527v1 [math,DG])

    work page arXiv

  3. [3]

    and Yao, Z.,Hypersurfaces ofS 2 ×S 2 with constant sectional curvature, Calc

    Haizhong Li, H., Vrancken, L., Wang, X. and Yao, Z.,Hypersurfaces ofS 2 ×S 2 with constant sectional curvature, Calc. Var. Partial Diff. Eq. 63 (2024), no. 7, Paper No. 167, 33 pp

    work page 2024

  4. [4]

    and Yao, Z.,Hypersurfaces ofH 2 ×H 2 with constant sectional curvature

    Haizhong Li, H., Vrancken, L., Wang, X. and Yao, Z.,Hypersurfaces ofH 2 ×H 2 with constant sectional curvature. Preprint

    work page

  5. [5]

    and Tojeiro, R.,Locally symmetric hypersurfaces in globally symmetric spaces

    Kim, J., Nikolayevsky, Y. and Tojeiro, R.,Locally symmetric hypersurfaces in globally symmetric spaces. Preprint. 2025

    work page 2025

  6. [6]

    and Vit´ orio, F.,A Bonnet theorem for isometric immer- sions into products of space forms, Arch

    Lira, J.H., Tojeiro, R. and Vit´ orio, F.,A Bonnet theorem for isometric immer- sions into products of space forms, Arch. Math. 95, 469–479 (2010)

    work page 2010

  7. [7]

    and Tojeiro, R.,Submanifolds of products of space forms, Indiana Univ

    Mendon¸ ca, B. and Tojeiro, R.,Submanifolds of products of space forms, Indiana Univ. Math. J. 62 (4) (2013), 1283-1314

    work page 2013

  8. [8]

    and Tojeiro, R.,Umbilical submanifolds ofS n ×R, Canadian J

    Mendon¸ ca, B. and Tojeiro, R.,Umbilical submanifolds ofS n ×R, Canadian J. Math. 66 (2104), 400–428

    work page

  9. [9]

    Tojeiro, R.,On a class of hypersurfaces inS n ×RandH n ×R.Bulletin Braz. Math. Soc. 41 (2) (2010), 199-209

    work page 2010

  10. [10]

    Tojeiro, R.,A decomposition theorem for immersions of product manifolds. Proc. Edinburgh Math. Soc. 59 (2016), 247–269

    work page 2016

  11. [11]

    Reckziegel and M

    H. Reckziegel and M. Schaaf,De Rham decomposition of netted manifolds, Result. Math. 35 (1999), 175–191

    work page 1999

  12. [12]

    Urbano, F.,On hypersurfaces ofS 2 ×S 2, Comm. Anal. Geom. 27 (2019), no. 6, 1381—1416. A. N. S. Carvalho and R. Tojeiro Institute of Mathematics and Computer Sciences (ICMC) University of S˜ ao Paulo (USP) SP 13566590 S˜ ao Carlos Brazil e-mail:arnandonelio@usp.br and tojeiro@icmc.usp.br

    work page 2019