pith. sign in

arxiv: 2603.24352 · v2 · submitted 2026-03-25 · 🧮 math.DG

On Umbilical Real Hypersufaces of Products of Complex Space Forms

Iury Domingos , Ranilze da Silva , Alexandre de Sousa , Feliciano Vit\'orio This is my paper

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

classification 🧮 math.DG MSC 53C40
keywords real hypersurfacestotally umbilicalcomplex space formsshape operatorproduct structuredifferential geometryKaehler manifolds
0
0 comments X

The pith

Real hypersurfaces in products of complex space forms without local product structure have non-parallel shape operators, and totally umbilical ones with almost product structure are totally geodesic or extrinsic hyperspheres.

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

The paper extends classical nonexistence theorems for totally umbilical hypersurfaces from single complex space forms to their products. It proves that a real hypersurface lacking a local product structure must have a non-parallel shape operator. For the totally umbilical cases that do admit a local almost product structure, the only possibilities are totally geodesic submanifolds or extrinsic hyperspheres. A sympathetic reader cares because these rigidity statements clarify which symmetric geometries can occur for hypersurfaces in products of Kaehler space forms of constant holomorphic sectional curvature.

Core claim

Tashiro and Tachibana proved there are no totally umbilical hypersurfaces in complex space forms with nonzero constant holomorphic sectional curvature, and that the shape operator of any such hypersurface cannot be parallel. In the setting of products of such spaces we show that if a real hypersurface does not admit a local product structure then its shape operator cannot be parallel. We classify totally umbilical real hypersurfaces and prove that those admitting a local almost product structure are necessarily totally geodesic or extrinsic hyperspheres.

What carries the argument

The shape operator of the real hypersurface combined with the existence or nonexistence of a local (almost) product structure on the hypersurface.

If this is right

  • Shape operators of real hypersurfaces without local product structure in these products cannot be parallel.
  • Totally umbilical real hypersurfaces admitting a local almost product structure must be totally geodesic or extrinsic hyperspheres.
  • The classical nonexistence result extends in modified form to product ambient spaces.
  • The classification depends on the nonzero holomorphic sectional curvature assumption in each factor.

Where Pith is reading between the lines

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

  • The distinction between local product and almost product structures on the hypersurface may allow constructions of extrinsic spheres that are not possible in single complex space forms.
  • Similar rigidity statements could be investigated when the ambient product includes factors of zero curvature or when the hypersurface is only quasi-umbilical.
  • Low-dimensional examples such as hypersurfaces in CP^1 times a real space form could be computed explicitly to verify the boundary cases of the classification.

Load-bearing premise

The ambient manifold is a product of complex space forms each having nonzero constant holomorphic sectional curvature, and the hypersurface is real and totally umbilical.

What would settle it

A concrete counterexample would be a real hypersurface in such a product that lacks any local product structure yet has parallel shape operator, or a totally umbilical real hypersurface that admits a local almost product structure but is neither totally geodesic nor an extrinsic hypersphere.

read the original abstract

Tashiro and Tachibana proved that there exist no totally umbilical hypersurfaces in complex space forms with nonzero constant holomorphic sectional curvature, and it is also known that the shape operator of such hypersurfaces cannot be parallel. Motivated by these results, we study real hypersurfaces in products of complex space forms. We establish rigidity and nonexistence results for totally umbilical real hypersurfaces in this setting. In particular, we show that if a real hypersurface in a product of complex space forms does not admit a local product structure, then its shape operator cannot be parallel. Moreover, we provide a classification of totally umbilical real hypersurfaces, showing that those admitting a local almost product structure are necessarily totally geodesic or extrinsic hyperspheres.

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

2 major / 2 minor

Summary. The paper extends the Tashiro-Tachibana nonexistence theorem for totally umbilical real hypersurfaces in complex space forms with nonzero constant holomorphic sectional curvature to the setting of products M = M1(c1) × M2(c2) with c1, c2 ≠ 0. It proves that if a real hypersurface does not admit a local product structure, then its shape operator cannot be parallel. It further classifies totally umbilical real hypersurfaces admitting a local almost product structure, showing they are necessarily totally geodesic or extrinsic hyperspheres.

Significance. If the curvature identities and integrability conditions hold as stated, the results provide a natural generalization of known rigidity theorems to product ambient spaces, using decompositions of the shape operator with respect to the product distributions and applications of the Codazzi equation. This adds to the classification of umbilical hypersurfaces beyond homogeneous spaces and may inform further work on parallel second fundamental forms in non-constant curvature settings.

major comments (2)
  1. [Main theorem on non-parallel shape operators] The central nonexistence claim for parallel shape operators relies on the ambient curvature terms from both factors being nonzero; the derivation in the main theorem should explicitly verify that the contradiction arises only when both c1 and c2 are nonzero, as the decomposition of the ambient curvature tensor may simplify differently if one factor is flat.
  2. [Classification theorem for umbilical case] In the classification of umbilical hypersurfaces with local almost product structure, the ODE solved for the principal curvatures assumes the structure is induced directly from the ambient product distributions; the proof should confirm that the almost product structure on the hypersurface is integrable and compatible with the umbilical condition without additional assumptions on the second fundamental form.
minor comments (2)
  1. [Introduction and preliminaries] The abstract and introduction use 'local almost product structure' and 'local product structure' interchangeably in places; consistent terminology and a brief definition in the preliminaries would improve clarity.
  2. [Introduction] References to the original Tashiro-Tachibana result and related works on complex space forms should include explicit citations in the statement of the main theorems for easier comparison.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive suggestions. We have revised the paper to address the points raised, adding explicit verifications and clarifications as detailed below.

read point-by-point responses

  1. Referee: [Main theorem on non-parallel shape operators] The central nonexistence claim for parallel shape operators relies on the ambient curvature terms from both factors being nonzero; the derivation in the main theorem should explicitly verify that the contradiction arises only when both c1 and c2 are nonzero, as the decomposition of the ambient curvature tensor may simplify differently if one factor is flat.

    Authors: We agree that this clarification strengthens the presentation. In the revised manuscript, we have inserted a new remark immediately following the statement of the main theorem. The remark explicitly decomposes the ambient curvature tensor into the contributions from each factor and shows that the cross terms (which produce the contradiction with the parallelism assumption) vanish precisely when one of c1 or c2 is zero. In that degenerate case the ambient manifold reduces to a single complex space form, and the nonexistence of parallel shape operators follows directly from the classical Tashiro–Tachibana theorem. Thus the contradiction in our derivation is indeed triggered only by the simultaneous presence of both nonzero curvature constants. revision: yes

  2. Referee: [Classification theorem for umbilical case] In the classification of umbilical hypersurfaces with local almost product structure, the ODE solved for the principal curvatures assumes the structure is induced directly from the ambient product distributions; the proof should confirm that the almost product structure on the hypersurface is integrable and compatible with the umbilical condition without additional assumptions on the second fundamental form.

    Authors: We appreciate the request for an explicit integrability check. In the revised version we have added a short lemma (Lemma 4.2) immediately before the classification theorem. The lemma uses the umbilical condition (second fundamental form proportional to the metric) together with the Codazzi equation to verify that the almost product structure induced by the ambient distributions is integrable on the hypersurface. The proof shows that the Nijenhuis tensor vanishes identically under these hypotheses, without requiring any further restrictions on the second fundamental form beyond the umbilical assumption already in force. The subsequent ODE for the principal curvatures is then solved on the resulting integrable distributions. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on the Codazzi equation applied to the second fundamental form of the hypersurface in the product manifold M1(c1) × M2(c2), combined with the decomposition of the shape operator with respect to the product distributions and the ambient curvature terms. These steps produce integrability conditions that force either a local product structure or a contradiction unless the hypersurface is totally geodesic. The classification for the umbilical case follows directly from solving the resulting ODEs for the principal curvatures under the almost-product assumption. No step reduces to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain; the cited Tashiro-Tachibana result is an independent prior theorem. The argument is self-contained against the stated geometric assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard axioms from Riemannian geometry without introducing free parameters or new entities; it extends prior theorems on complex space forms.

axioms (2)
  • domain assumption Complex space forms have nonzero constant holomorphic sectional curvature
    Invoked as the ambient setting, building directly on the Tashiro-Tachibana theorem mentioned in the abstract.
  • standard math Standard properties of the shape operator for umbilical hypersurfaces in Riemannian manifolds
    Fundamental definitions used to state the parallelism and classification results.

pith-pipeline@v0.9.0 · 5428 in / 1383 out tokens · 50792 ms · 2026-05-15T00:30:40.147246+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

12 extracted references · 12 canonical work pages

  1. [1]

    thesis, Universidade Federal de Alagoas, March 2023

    Maria Ranilze da Silva,Uma investiga¸ c˜ ao das hipersuperf´ ıcies reais em produtos de formas espaciais complexas, Ph.D. thesis, Universidade Federal de Alagoas, March 2023

    work page 2023

  2. [2]

    Benoˆ ıt Daniel,Isometric immersions intoS n ×RandH n ×Rand applications to minimal surfaces, Trans. Amer. Math. Soc.361(2009), no. 12, 6255–6282. MR 2538594

    work page 2009

  3. [3]

    de Lima and Jo˜ ao Paulo dos Santos,Totally umbilical hypersurfaces of product spaces, Manuscripta Math.169(2022), no

    Ronaldo F. de Lima and Jo˜ ao Paulo dos Santos,Totally umbilical hypersurfaces of product spaces, Manuscripta Math.169(2022), no. 3-4, 649–666. MR 4493653

    work page 2022

  4. [4]

    Dedicata151(2011), 1–8

    Daniel Kowalczyk,Isometric immersions into products of space forms, Geom. Dedicata151(2011), 1–8. MR 2780734

    work page 2011

  5. [5]

    J. H. Lira, R. Tojeiro, and F. Vit´ orio,A Bonnet theorem for isometric immersions into products of space forms, Arch. Math. (Basel)95(2010), no. 5, 469–479. MR 2738866

    work page 2010

  6. [6]

    Math.43(2019), no

    Xingda Liu and Bang Xiao,Minimal submanifolds in certain types of Kaehler product manifold, Southeast Asian Bull. Math.43(2019), no. 1, 79–100. MR 3964978

    work page 2019

  7. [7]

    Bruno Mendon¸ ca and Ruy Tojeiro,Umbilical submanifolds ofS n ×R, Canad. J. Math.66(2014), no. 2, 400–428. MR 3176148

    work page 2014

  8. [8]

    Global Anal

    Roger Nakad and Julien Roth,Characterization of hypersurfaces in four-dimensional product spaces via two different Spinc structures, Ann. Global Anal. Geom.61(2022), no. 1, 89–114. MR 4367902

    work page 2022

  9. [9]

    Ryan,Real hypersurfaces in complex space forms, Tight and taut submanifolds (Berkeley, CA, 1994), Math

    Ross Niebergall and Patrick J. Ryan,Real hypersurfaces in complex space forms, Tight and taut submanifolds (Berkeley, CA, 1994), Math. Sci. Res. Inst. Publ., vol. 32, Cambridge Univ. Press, Cambridge, 1997, pp. 233–305. MR 1486875

    work page 1994

  10. [10]

    Rabah Souam and Joeri Van der Veken,Totally umbilical hypersurfaces of manifolds admitting a unit Killing field, Trans. Amer. Math. Soc.364(2012), no. 7, 3609–3626. MR 2901226

    work page 2012

  11. [11]

    Yoshihiro Tashiro and Shun-ichi Tachibana,On Fubinian andC-Fubinian manifolds, Kodai Math. Sem. Rep.15 (1963), 176–183. MR 157336

    work page 1963

  12. [12]

    3, World Scientific Publishing Co., Singapore, 1984

    Kentaro Yano and Masahiro Kon,Structures on manifolds, Series in Pure Mathematics, vol. 3, World Scientific Publishing Co., Singapore, 1984. MR 794310 12 I. DOMINGOS, R. DA SILVA, A. DE SOUSA, AND F. VIT ´ORIO Universidade Federal de Alagoas, Av. Manoel Severino Barbosa S/N, 57309-005 Arapiraca - AL, Brazil Email address:iury.domingos@arapiraca.ufal.br Un...

    work page 1984