pith. sign in

arxiv: 1907.04661 · v1 · pith:PTOVSQUMnew · submitted 2019-07-09 · 🧮 math.DG

Real hypersurfaces in the complex quadric with Reeb parallel structure Jacobi operator

Hyunjin Lee , Young Jin Suh This is my paper

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

classification 🧮 math.DG
keywords real hypersurfacescomplex quadricstructure Jacobi operatorHopf hypersurfaceReeb vector fieldRiemannian curvature tensorGauss equation
0
0 comments X

The pith

Hopf real hypersurfaces in the complex quadric Q^m with vanishing covariant derivative of the structure Jacobi operator along the Reeb field are completely classified for m ≥ 3.

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

The paper first writes the full Riemannian curvature tensor of any real hypersurface M in Q^m via the Gauss equation. It then specializes to the structure Jacobi operator R_ξ and computes its covariant derivative with respect to the Reeb vector field ξ of M. The central result is a complete classification of all Hopf hypersurfaces (those for which ξ is principal) satisfying the parallelism condition ∇_ξ R_ξ = 0. A sympathetic reader cares because the condition is a natural integrability requirement on the curvature operator induced by the ambient quadric geometry, and the classification pins down all possible local geometries that can arise.

Core claim

Hopf real hypersurfaces M in the complex quadric Q^m (m ≥ 3) whose structure Jacobi operator satisfies ∇_ξ R_ξ = 0 are completely classified; the proof proceeds by expressing R_ξ explicitly from the Gauss equation, differentiating it along ξ, and showing that the resulting algebraic conditions on the shape operator and the ambient curvature force M to belong to one of a finite list of model families.

What carries the argument

The structure Jacobi operator R_ξ (the curvature endomorphism R(·,ξ)ξ restricted to the tangent bundle of M) together with the Reeb-parallelism condition ∇_ξ R_ξ = 0.

If this is right

  • The shape operator of any such M must commute with the almost-complex structure induced from the ambient quadric in a specific way.
  • The principal curvatures are constant along the integral curves of the Reeb field.
  • The second fundamental form satisfies a system of algebraic equations derived from the vanishing of ∇_ξ R_ξ.
  • All examples arise as tubes over certain totally geodesic submanifolds of Q^m or as homogeneous orbits under the isometry group.

Where Pith is reading between the lines

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

  • The same parallelism condition could be imposed on the full Jacobi operator rather than only its structure part, potentially yielding a stricter subclass.
  • The classification may extend verbatim to the non-compact dual of the quadric once the curvature sign is adjusted in the Gauss equation.
  • One could test whether the listed model hypersurfaces remain the only solutions when the ambient space is replaced by a general Hermitian symmetric space of rank two.

Load-bearing premise

The hypersurface must be Hopf, so that the Reeb vector is an eigenvector of the shape operator.

What would settle it

Exhibit a single Hopf real hypersurface in Q^m, m ≥ 3, whose shape operator and curvature satisfy ∇_ξ R_ξ ≠ 0; or exhibit one that satisfies the condition but lies outside the listed families in the classification.

read the original abstract

In this paper, we first introduce the full express of the Riemannian curvature tensor of a real hypersurface $M$ in complex quadric $Q^{m}$ from the equation of Gauss. Next we derive a formula for the structure Jacobi operator $R_{\xi}$ and its derivative under the Levi-Civita connection of $M$. We give a complete classification of Hopf real hypersurfaces with Reeb parallel structure Jacobi operator, $\nabla_{\xi}R_{\xi} =0$, in the complex quadric $Q^{m}$, $m \geq 3$.

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 / 2 minor

Summary. The manuscript derives an explicit formula for the Riemannian curvature tensor of a real hypersurface M in the complex quadric Q^m via the Gauss equation, obtains a corresponding expression for the structure Jacobi operator R_ξ together with its covariant derivative ∇_ξ R_ξ, and then classifies all Hopf hypersurfaces (i.e., those for which the Reeb vector ξ is principal) satisfying the Reeb-parallel condition ∇_ξ R_ξ = 0 when m ≥ 3.

Significance. If the case analysis is exhaustive, the classification contributes a concrete addition to the literature on curvature conditions for real hypersurfaces in Hermitian symmetric spaces, complementing earlier results for complex projective and hyperbolic spaces. The direct derivation from the known curvature of Q^m and the reduction to algebraic relations on the shape operator under the Hopf assumption are standard and reproducible techniques in the field.

minor comments (2)
  1. Abstract: the phrase 'full express of the Riemannian curvature tensor' should be corrected to 'full expression'.
  2. The manuscript should include a brief comparison paragraph situating the obtained hypersurfaces against the known examples (e.g., tubes over totally geodesic submanifolds) already classified in Q^m under other curvature conditions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript, including the accurate summary of our derivation of the curvature tensor, the structure Jacobi operator, and the classification of Hopf hypersurfaces satisfying the Reeb-parallel condition. The recommendation for minor revision is noted. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained from Gauss equation

full rationale

The paper derives the curvature tensor of M from the standard Gauss equation applied to the known curvature of the ambient complex quadric Q^m (an external geometric identity independent of the paper). It then computes the structure Jacobi operator R_ξ explicitly and imposes the condition ∇_ξ R_ξ = 0 on Hopf hypersurfaces, solving the resulting algebraic relations on the shape operator by case analysis. No parameters are fitted to data, no self-definitional loops appear, and no load-bearing step reduces to a self-citation or ansatz smuggled from prior work by the same authors. The central classification follows directly from these computations without renaming known results or importing uniqueness theorems circularly. This is the expected outcome for a standard computation in Hermitian geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard Gauss equation and the definition of Hopf hypersurfaces; no free parameters, new entities, or ad-hoc axioms are introduced.

axioms (2)
  • standard math The Gauss equation expresses the curvature tensor of the hypersurface in terms of the ambient curvature of the complex quadric.
    Invoked explicitly to obtain the full expression of the Riemannian curvature tensor of M.
  • domain assumption A hypersurface is Hopf when the Reeb vector field is an eigenvector of the shape operator.
    Used to restrict the class of hypersurfaces under consideration for the classification.

pith-pipeline@v0.9.0 · 5616 in / 1343 out tokens · 31113 ms · 2026-05-25T00:30:02.679802+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.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We give a complete classification of Hopf real hypersurfaces with Reeb parallel structure Jacobi operator, ∇_ξ R_ξ =0, in the complex quadric Q^m, m ≥ 3. ... derive a formula for the structure Jacobi operator R_ξ and its derivative under the Levi-Civita connection of M.

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

32 extracted references · 32 canonical work pages

  1. [1]

    A. L. Besse, Einstein Manifolds , Springer-Verlag, 2008

    work page 2008

  2. [2]

    Berndt and Y.J

    J. Berndt and Y.J. Suh, Real hypersurfaces with isometric Reeb flow in complex two-p lane Grass- mannians, Monatsh. Math. 137 (2002), 87–98

    work page 2002

  3. [3]

    Berndt and Y.J

    J. Berndt and Y.J. Suh, Real hypersurfaces with isometric Reeb flow in complex quadr ics, Internat. J. Math. 24 (2013), 1350050, 18 pp

    work page 2013

  4. [4]

    Berndt and Y.J

    J. Berndt and Y.J. Suh, Contact hypersurfaces in K¨ ahler manifolds, Proceedings of the American Math. Soc. 143 (2015), 2637-2649

    work page 2015

  5. [5]

    Eberlein, Geometry of nonpositively curved manifolds , University of Chicago Press, Chicago, IL, 1996

    P.B. Eberlein, Geometry of nonpositively curved manifolds , University of Chicago Press, Chicago, IL, 1996

    work page 1996

  6. [6]

    Helgason, Differential geometry, Lie groups and symmetric spaces , Graduate Studies in Math., Amer

    S. Helgason, Differential geometry, Lie groups and symmetric spaces , Graduate Studies in Math., Amer. Math. Soc., 34, 2001

    work page 2001

  7. [7]

    Hutching and C.H

    M. Hutching and C.H. Taubes, The Weinstein conjecture for stab le Hamiltonian structures, Geom. Topol. 13 (2009), 901–941

    work page 2009

  8. [8]

    Jeong, H

    I. Jeong, H. Lee and Y.J. Suh, Real hypersurfaces in complex two-plane Grassmannians who se struc- ture Jacobi operator is of Codazzi type , Acta Math. Hungar. 125 (2009), 141–160

    work page 2009

  9. [9]

    Jeong, Y.J

    I. Jeong, Y.J. Suh and C. Woo, Real hypersurfaces in complex two-plane Grassmannians wit h recur- rent structure Jacobi operator , Real and Complex Submanifolds, Springer Proc. Math. Stat. 106, Springer, Tokyo, 2014, 267–278

    work page 2014

  10. [10]

    U-H. Ki, J.D. P´ erez, F.G. Santos and Y.J. Suh, Real hypersurfaces in complex space forms with ξ-parallel Ricci tensor and structure Jacobi operator , J. Korean Math. Soc. 44 (2007), 307–326

    work page 2007

  11. [11]

    Klein, Totally geodesic submanifolds in the complex quadric , Differential Geom

    S. Klein, Totally geodesic submanifolds in the complex quadric , Differential Geom. Appl. 26 (2008), 79-96

    work page 2008

  12. [12]

    A. W. Knapp, Lie Groups Beyond an Introduction (2nd Ed.) , Progress in Mathematics, Birkh¨ auser Boston, 2002

    work page 2002

  13. [13]

    Kobayashi and K

    S. Kobayashi and K. Nomizu, Foundations of Differential Geometry, Vol. I , Reprint of the 1963 original, Wiley Classics Library, A Wiley-Interscience Publication, John Wiley & Sons, Inc., New York, 1996

    work page 1963

  14. [14]

    Kobayashi and K

    S. Kobayashi and K. Nomizu, Foundations of Differential Geometry , Vol. II, A Wiley-Interscience Publicaion, John Wiley & Sons, Inc., New York, 1996

    work page 1996

  15. [15]

    Lee and Y.J

    H. Lee and Y.J. Suh, Real hypersurfaces with recurrent normal Jacobi operator i n the complx quadric (accepted in J. Geom. Phys.)

    work page

  16. [16]

    Montiel and A

    S. Montiel and A. Romero, On some real hypersurfaces of a complex hyperbolic space , Geom. Dedi- cata 20 (1986), 245–261

    work page 1986

  17. [17]

    Okumura, On some real hypersurfaces of a complex projective space , Trans

    M. Okumura, On some real hypersurfaces of a complex projective space , Trans. Amer. Math. Soc. 212 (1975), 355–364. 14 H. LEE AND Y.J. SUH

    work page 1975

  18. [18]

    P´ erez,Commutativity of Cho and structure Jacobi operators of a rea l hypersurface in a complex projective space, Ann

    J.D. P´ erez,Commutativity of Cho and structure Jacobi operators of a rea l hypersurface in a complex projective space, Ann. Mat. Pura Appl. 194 (2015), no. 6, 17811794

    work page 2015

  19. [19]

    P´ erez, I

    J.D. P´ erez, I. Jeong and Y.J. Suh, Real hypersurfaces in complex two-plane Grassmannian with parallel structure Jacobi operator , Acta. Math. Hungar. 22 (2009), 173-186

    work page 2009

  20. [20]

    P´ erez and F.G

    J.D. P´ erez and F.G. Santos, Real hypersurfaces in complex projective space with recurr ent structure Jacobi operator, Differential Geom. Appl. 26 (2008), 218-223

    work page 2008

  21. [21]

    P´ erez, F.G

    J.D. P´ erez, F.G. Santos and Y.J. Suh, Real hypersurfaces in complex projective space whose struc ture Jacobi operator is Lie ξ-parallel, Diff. Geom. Appl. 22 (2005), 181-188

    work page 2005

  22. [22]

    Reckziegel, On the geometry of the complex quadric , Geometry and topology of submanifolds, VIII (Brussels, 1995/Nordfjordeid, 1995), 302-315, World Sci

    H. Reckziegel, On the geometry of the complex quadric , Geometry and topology of submanifolds, VIII (Brussels, 1995/Nordfjordeid, 1995), 302-315, World Sci. Publ., River Edge, NJ, 1996

    work page 1995

  23. [23]

    Romero, Some examples of indefinite complete complex Einstein hyper surfaces not locally sym- metric, Proc

    A. Romero, Some examples of indefinite complete complex Einstein hyper surfaces not locally sym- metric, Proc. Amer. Math. Soc. 98 (1986), 283-286

    work page 1986

  24. [24]

    Romero, On a certain class of complex Einstein hypersurfaces in inde finite complex space forms , Math

    A. Romero, On a certain class of complex Einstein hypersurfaces in inde finite complex space forms , Math. Z. 192 (1986), 627-635

    work page 1986

  25. [25]

    Smyth, Differential geometry of complex hypersurfaces , Ann

    B. Smyth, Differential geometry of complex hypersurfaces , Ann. of Math. 85 (1967), 246-266

    work page 1967

  26. [26]

    Suh, Real hypersurfaces in the complex quadric with Reeb paralle l shape operator , Internat

    Y.J. Suh, Real hypersurfaces in the complex quadric with Reeb paralle l shape operator , Internat. J. Math. 25 (2014), no. 6, 1450059 (17pages)

    work page 2014

  27. [27]

    Suh, Real hypersurfaces in the complex quadric with Reeb invaria nt shape operator , Differential Geom

    Y.J. Suh, Real hypersurfaces in the complex quadric with Reeb invaria nt shape operator , Differential Geom. Appl. 38 (2015), 10-21

    work page 2015

  28. [28]

    Suh, Real hypersurfaces in the complex quadric with parallel Ric ci tensor , Adv

    Y.J. Suh, Real hypersurfaces in the complex quadric with parallel Ric ci tensor , Adv. in Math. 281 (2015), 886-905

    work page 2015

  29. [29]

    Suh, Real hypersurfaces in the complex quadric with harmonic cur vature, J

    Y.J. Suh, Real hypersurfaces in the complex quadric with harmonic cur vature, J. Math. Pures Appl. 106 (2016), no. 3, 393410

    work page 2016

  30. [30]

    Suh, Real hypersurfaces in the complex quadric with parallel nor mal Jacobi operator , Math

    Y.J. Suh, Real hypersurfaces in the complex quadric with parallel nor mal Jacobi operator , Math. Nachr. 290 (2017), 442-451

    work page 2017

  31. [31]

    Suh, Real hypersurfaces in the complex quadric with parallel str ucture Jacobi operator , Differ- ential Geom

    Y.J. Suh, Real hypersurfaces in the complex quadric with parallel str ucture Jacobi operator , Differ- ential Geom. Appl. 51 (2017), 33-48

    work page 2017

  32. [32]

    Suh and D.H

    Y.J. Suh and D.H. Hwang, Real hypersurfaces in the complex quadric with commuting Ri cci tensor , Sci. China Math. 59 (2016), no. 11, 2185-2198. Hyunjin Lee The Research Institute of Real and Complex Manifolds (RIRCM ), Kyungpook National University, Daegu 41566, REPUBLIC OF KOREA E-mail address : lhjibis@hanmail.net Young Jin Suh Department of Mathematic...

    work page 2016