pith. sign in

arxiv: 2605.22979 · v1 · pith:PMW64L6Fnew · submitted 2026-05-21 · 🧮 math.DG

Cohomogeneity-One Ruled Hypersurfaces in mathbb{CP}² and mathbb{C}H²

Thomas A. Ivey , Patrick J. Ryan This is my paper

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

classification 🧮 math.DG
keywords ruled hypersurfacescohomogeneity onecomplex projective spacecomplex hyperbolic spacegeodesic curvaturetotally geodesic submanifoldtransversality condition
0
0 comments X

The pith

Taking a smooth curve in a totally geodesic complex line and erecting orthogonal rulings over its points produces a class of ruled hypersurfaces in CP^n and CH^n.

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

The paper constructs ruled hypersurfaces in nonflat complex space forms by selecting any smooth curve inside a totally geodesic complex one-dimensional submanifold and erecting an orthogonal ruling at each point of the curve. In the special case n=2, when that base curve has constant geodesic curvature, the same construction produces exactly the real-analytic hypersurfaces that have cohomogeneity one and obey a stated transversality condition. This supplies an explicit geometric generator for the hypersurfaces in question. A reader would care because the method turns an abstract classification problem into a concrete curve-based recipe inside the ambient space form.

Core claim

By taking an arbitrary smooth curve in a totally geodesic (complex) one-dimensional submanifold and erecting an orthogonal ruling over each of its points, one obtains a special class of ruled hypersurfaces in CP^n and CH^n. Concentrating on the n=2 case, when the base curve has constant geodesic curvature, the construction yields precisely the real-analytic hypersurfaces of cohomogeneity one that satisfy a certain transversality condition.

What carries the argument

Orthogonal ruling erected over a curve lying in a totally geodesic complex one-dimensional submanifold

If this is right

  • The construction produces ruled hypersurfaces inside every nonflat complex space form CP^n and CH^n.
  • When n equals 2 and the base curve has constant geodesic curvature, the resulting hypersurface is real-analytic and has cohomogeneity one.
  • The hypersurface meets the transversality condition required for the classification statement.
  • Every hypersurface obtained this way is ruled by construction.

Where Pith is reading between the lines

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

  • The same curve-plus-ruling recipe might be used to produce examples in higher-dimensional CP^n or CH^n without the constant-curvature restriction.
  • One could check whether relaxing the constant-geodesic-curvature assumption on the base curve produces hypersurfaces whose symmetry group has dimension different from one.
  • The construction may supply model examples that can be compared with other known families of ruled hypersurfaces in Kaehler manifolds.

Load-bearing premise

The base curve lies in a totally geodesic complex one-dimensional submanifold and the ruling at each point is orthogonal to that submanifold.

What would settle it

A real-analytic cohomogeneity-one hypersurface in CP^2 that satisfies the transversality condition but cannot be recovered from any constant-geodesic-curvature curve via the orthogonal-ruling construction would falsify the characterization.

read the original abstract

In this paper, we show how to construct a special class of ruled hypersurfaces in the nonflat complex space forms $\mathbb{CP}^n$ and $\mathbb{C}H^n$. This is done by taking an arbitrary smooth curve in a totally geodesic (complex) one-dimensional submanifold and erecting an orthogonal ruling over each of its points. Concentrating on the $n=2$ case, we also examine the special situation in which the base curve has constant geodesic curvature. We show that, in this case, the construction yields precisely the real-analytic hypersurfaces of cohomogeneity one that satisfy a certain transversality condition.

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

1 major / 0 minor

Summary. The paper constructs ruled hypersurfaces in the non-flat complex space forms CP^n and CH^n by taking an arbitrary smooth curve in a totally geodesic complex one-dimensional submanifold and erecting an orthogonal ruling over each point. For the n=2 case, it claims that when the base curve has constant geodesic curvature, this yields precisely the real-analytic hypersurfaces of cohomogeneity one that satisfy a certain transversality condition.

Significance. If the central claims hold after addressing regularity, the work would supply an explicit geometric construction for a class of cohomogeneity-one hypersurfaces in CP^2 and CH^2, linking them to curves of constant geodesic curvature in totally geodesic CP^1 or CH^1. This could aid classification efforts for symmetric hypersurfaces in complex space forms.

major comments (1)
  1. [Abstract] Abstract: the claim that constant geodesic curvature on the base curve 'yields precisely the real-analytic hypersurfaces of cohomogeneity one' is load-bearing for the n=2 result, yet the construction is defined for arbitrary smooth curves. Constant geodesic curvature does not force real-analyticity of the curve (or the induced hypersurface metric) in CP^1 or CH^1; a C^∞ but non-analytic constant-curvature curve would produce a smooth non-analytic hypersurface, contradicting the 'precisely real-analytic' direction of the asserted equivalence.

Simulated Author's Rebuttal

1 responses · 0 unresolved

Thank you for the constructive feedback. We have carefully considered the major comment regarding the abstract and will make the necessary revision to clarify the statement.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that constant geodesic curvature on the base curve 'yields precisely the real-analytic hypersurfaces of cohomogeneity one' is load-bearing for the n=2 result, yet the construction is defined for arbitrary smooth curves. Constant geodesic curvature does not force real-analyticity of the curve (or the induced hypersurface metric) in CP^1 or CH^1; a C∞ but non-analytic constant-curvature curve would produce a smooth non-analytic hypersurface, contradicting the 'precisely real-analytic' direction of the asserted equivalence.

    Authors: The referee correctly identifies a potential ambiguity in the abstract's wording. While the construction is indeed defined for arbitrary smooth curves, our classification theorem in the n=2 case specifically identifies the real-analytic cohomogeneity-one hypersurfaces (under the transversality condition) as those obtained from the construction when the base curve has constant geodesic curvature and is itself real-analytic. Non-analytic curves of constant curvature would indeed yield non-analytic hypersurfaces, which fall outside the scope of the classification. We will revise the abstract to explicitly state that the base curve is real-analytic, ensuring the claim holds precisely for the real-analytic hypersurfaces. This revision will be made in the next version of the manuscript. revision: yes

Circularity Check

0 steps flagged

No circularity: direct construction from curves with claimed characterization

full rationale

The paper presents a geometric construction that begins with an arbitrary smooth curve in a totally geodesic complex line and erects an orthogonal ruling, then specializes to the constant geodesic curvature case for n=2. The central claim is that this produces precisely the real-analytic cohomogeneity-one hypersurfaces meeting a transversality condition. No equations, fitted parameters, self-citations, or ansatzes are exhibited in the abstract or description that would make any derived object equivalent to its inputs by definition. The derivation chain is a standard forward construction plus a characterization statement; it does not reduce to renaming or self-referential fitting. The paper is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5640 in / 1122 out tokens · 24457 ms · 2026-05-25T05:24:26.303864+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

13 extracted references · 13 canonical work pages

  1. [1]

    Barros and A

    M. Barros and A. Romero,Indefinite K¨ ahler manifolds, Math. Ann.261(1982), 55–62

    work page 1982

  2. [2]

    Berndt and H

    J. Berndt and H. Tamaru,Cohomogeneity one actions on noncompact symmetric spaces of rank oneTrans. Amer. Math. Soc.359(2007), 3349–3357

    work page 2007

  3. [3]

    Cecil and P.J

    T.E. Cecil and P.J. Ryan,Geometry of Hypersurfaces, Springer Monographs in Mathematics, Springer, New York, 2015

    work page 2015

  4. [4]

    Goldman,Complex Hyperbolic Geometry, Oxford Univ

    W.M. Goldman,Complex Hyperbolic Geometry, Oxford Univ. Press, New York, 1999

    work page 1999

  5. [5]

    Ivey,A d’Alembert formula for Hopf hypersurfaces, Results Math.60(2011), 293 –309

    T.A. Ivey,A d’Alembert formula for Hopf hypersurfaces, Results Math.60(2011), 293 –309

    work page 2011

  6. [6]

    Ivey and J.M

    T.A. Ivey and J.M. Landsberg,Cartan for Beginners: Differential Geometry via Moving Frames and Exterior Differential Systems(2nd ed.), American Mathematical Society, 2016

    work page 2016

  7. [7]

    KimuraReal hypersurfaces and complex submanifolds in complex projective space, Trans

    M. KimuraReal hypersurfaces and complex submanifolds in complex projective space, Trans. Amer. Math. Soc.296(1986), 137–149

    work page 1986

  8. [8]

    Kimura,Sectional curvatures of holomorphic planes on a real hypersurface inP n(C), Math

    M. Kimura,Sectional curvatures of holomorphic planes on a real hypersurface inP n(C), Math. Ann.276 (1987), 487–497

    work page 1987

  9. [9]

    Kobayashi and K

    S. Kobayashi and K. Nomizu,Foundations of Differential Geometry, Wiley, New York, 1963, 1969. 29

    work page 1963

  10. [10]

    Niebergall and P.J

    R. Niebergall and P.J. Ryan,Real hypersurfaces in complex space forms, pp. 233–305 inTight and taut submanifolds(ed. S.-S. Chern and T.E. Cecil), MSRI Publications, 1997

    work page 1997

  11. [11]

    Ryan,Euclidean and non-Euclidean Geometry, Cambridge University Press, Cambridge, 1986

    P.J. Ryan,Euclidean and non-Euclidean Geometry, Cambridge University Press, Cambridge, 1986

    work page 1986

  12. [12]

    Takagi,On homogeneous real hypersurfaces in a complex projective space, Osaka J

    R. Takagi,On homogeneous real hypersurfaces in a complex projective space, Osaka J. Math.10(1973), 495–506

    work page 1973

  13. [13]

    Takagi,Real hypersurfaces in a complex projective space with constant principal curvatures, J

    R. Takagi,Real hypersurfaces in a complex projective space with constant principal curvatures, J. Math. Soc. Japan27(1975), 45–53. Dept. of Mathematics and Statistics, College of Charleston Email address:iveyt@cofc.edu Department of Mathematics and Statistics, McMaster University Email address:ryanpj@mcmaster.ca 30

    work page 1975