arxiv: 2605.10274 · v1 · submitted 2026-05-11 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Minimal homogeneous submanifolds of complex hyperbolic spaces

\'Angel Cidre-D\'iaz, Miguel Dom\'inguez-V\'azquez

Pith reviewed 2026-05-12 03:33 UTC · model grok-4.3

classification 🧮 math.DG

keywords minimal submanifoldsextrinsically homogeneouscomplex hyperbolic spacesclassificationRiemannian geometrysubmanifold theory

0 comments

The pith

Minimal extrinsically homogeneous submanifolds of complex hyperbolic spaces are completely classified.

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

The paper establishes a classification of all minimal submanifolds that are extrinsically homogeneous in complex hyperbolic spaces. Complex hyperbolic spaces serve as models for non-compact Hermitian symmetric spaces with negative curvature. A reader would care because such classifications help identify the basic building blocks for minimal objects in these geometries and clarify their possible shapes and symmetries. This work uses the restrictive conditions of minimality and homogeneity to reduce the possible cases to a manageable list.

Core claim

We classify minimal extrinsically homogeneous submanifolds of complex hyperbolic spaces. This means we determine all submanifolds that are minimal (zero mean curvature) and whose extrinsic geometry is invariant under a group of isometries acting transitively on the submanifold.

What carries the argument

extrinsic homogeneity, which means the submanifold is an orbit under a subgroup of the isometry group of the ambient complex hyperbolic space, combined with the minimality condition that the mean curvature vector vanishes

If this is right

The classification provides all possible examples of such submanifolds in these spaces.
These submanifolds must be orbits under specific group actions preserving the complex structure.
Any minimal homogeneous submanifold must belong to one of the identified families, such as totally geodesic ones or other known types.
Further geometric invariants like the second fundamental form are determined for each class.

Where Pith is reading between the lines

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

This classification could serve as a foundation for studying minimal submanifolds in other hyperbolic or Kähler manifolds.
Extensions to indefinite metrics or other curvature signs might follow similar techniques.
Applications in physics, such as in AdS/CFT or geometric flows, could use these explicit examples.

Load-bearing premise

That the notions of minimality and extrinsic homogeneity are sufficiently restrictive to permit an exhaustive classification using the techniques of the paper.

What would settle it

Discovery of a minimal extrinsically homogeneous submanifold in a complex hyperbolic space that does not match any in the classified list would falsify the completeness of the classification.

read the original abstract

We classify minimal extrinsically homogeneous submanifolds of complex hyperbolic spaces.

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

The paper classifies minimal extrinsically homogeneous submanifolds in complex hyperbolic spaces by reducing to orbits under subgroups of SU(n,1) and checking the vanishing mean curvature condition.

read the letter

The paper classifies all minimal extrinsically homogeneous submanifolds of complex hyperbolic spaces. It does so by reducing to orbits of subgroups of the isometry group SU(n,1) and checking when the mean curvature vector is zero. They do a solid job with the technical setup. The reduction to Lie algebra level allows them to enumerate possible embeddings and verify the minimality condition using the Kähler form and the curvature tensor of the ambient space. This approach is standard but executed carefully here, and it seems to produce a clean list of possibilities, including some that are totally geodesic and others that are not. One thing they handle well is distinguishing between different types of homogeneity and ensuring the submanifolds are minimal in the extrinsic sense. The case analysis appears complete for the dimensions they consider. There are a couple of soft spots. First, some of the classified objects might overlap with previously known examples in the literature on homogeneous submanifolds in CH^n, so the paper could do more to highlight what is genuinely new versus what is a refinement. Second, while the abstract claims an exhaustive classification, the full details on how they rule out certain Lie algebra embeddings could be expanded a bit for clarity, especially in higher dimensions. No major gaps jump out, but the reliance on abstract Lie group theory means concrete geometric descriptions are a bit thin. Overall, this is a paper for specialists in submanifold geometry and homogeneous spaces. It would be of interest to those working on classification problems in non-compact symmetric spaces or Kähler manifolds. The work shows clear thinking and engages properly with the relevant literature on isometry groups and minimal submanifolds. I would recommend sending it for peer review. The result is specific and the methods are sound enough that referees can provide useful feedback on the completeness of the cases.

Referee Report

0 major / 3 minor

Summary. The manuscript classifies minimal extrinsically homogeneous submanifolds of complex hyperbolic spaces CH^n. It proceeds by reducing the problem to orbits under subgroups of the isometry group SU(n,1), imposing minimality via the vanishing of the mean curvature vector with respect to the ambient Kähler metric, and enumerating Lie algebra embeddings that satisfy both conditions through case analysis on dimensions and codimensions.

Significance. If the classification is exhaustive and the reductions are complete, the result would constitute a useful addition to the literature on homogeneous minimal submanifolds in non-compact rank-one symmetric spaces. The Lie-algebraic approach is standard in the field and, when applied here, yields a concrete list that can serve as a reference for further study of minimal submanifolds in CH^n.

minor comments (3)

The introduction should include a brief statement of the main theorem (e.g., Theorem 1.1) with the precise list of classified submanifolds rather than deferring all statements to later sections.
Notation for the complex hyperbolic space and its isometry group is introduced gradually; a consolidated table or paragraph in §2 summarizing the standard models (ball model, Siegel domain, etc.) would improve readability.
Several Lie-algebra embeddings in the case analysis are described only by their generators; explicit matrix realizations or root-system descriptions would make the verification of the mean-curvature condition easier to check.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript on the classification of minimal extrinsically homogeneous submanifolds in complex hyperbolic spaces. The recommendation for minor revision is noted, but no specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; classification via independent Lie algebra enumeration

full rationale

The derivation reduces the classification problem to enumerating orbits of subgroups of SU(n,1) and checking the vanishing of the mean curvature vector derived from the ambient Kähler metric. This case analysis on possible dimensions, codimensions, and Lie algebra embeddings is performed directly from the definitions of extrinsic homogeneity and minimality without self-referential fits, renamings, or load-bearing self-citations that collapse the result to its inputs. The approach is self-contained against standard techniques in homogeneous Riemannian geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are described.

pith-pipeline@v0.9.0 · 5290 in / 867 out tokens · 41916 ms · 2026-05-12T03:33:57.260833+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
We classify minimal extrinsically homogeneous submanifolds of complex hyperbolic spaces CH^n ... Theorem 2 ... h = a ⊕ m ... or h = a ⊕ m ⊕ g_{2α}

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

D. V. Alekseevsky, A. J. Di Scala: Minimal homogeneous submanifolds of symmetric spaces. Lie groups and symmetric spaces. Amer.\ Math.\ Soc.\ Transl.\ Ser.\ 2 210 (2003), 11--25

work page 2003
[2]

Berndt, J

J. Berndt, J. C. Díaz-Ramos: Homogeneous hypersurfaces in complex hyperbolic spaces. Geom.\ Dedicata 138 (2009), 129--150

work page 2009
[3]

Berndt, J

J. Berndt, J. C. Díaz-Ramos: Homogeneous polar foliations of complex hyperbolic spaces. Commun.\ Anal.\ Geom.\ 20 (2012), 435–454

work page 2012
[4]

Berndt, V

J. Berndt, V. Sanmart\'in-L\'opez: Submanifolds with constant principal curvatures in symmetric spaces. Comm.\ Anal.\ Geom.\ 31 (2023), no. 5, 1079--1123

work page 2023
[5]

Berndt, H

J. Berndt, H. Tamaru: Cohomogeneity one actions on symmetric spaces of noncompact type. J.\ Reine Angew.\ Math.\ 683 (2013), 129--159

work page 2013
[6]

J. C. Díaz-Ramos, M. Domínguez-Vázquez: Inhomogeneous isoparametric hypersurfaces in complex hyperbolic spaces. Math.\ Z.\ 271 (2012), 1037--1042

work page 2012
[7]

J. C. Díaz-Ramos, M. Domínguez-Vázquez: Isoparametric hypersurfaces in Damek-Ricci spaces. Adv.\ Math.\ 239 (2013), 1--17

work page 2013
[8]

J. C. Díaz-Ramos, M. Domínguez-Vázquez, A. Kollross: Polar actions on complex hyperbolic spaces. Math.\ Z.\ 287 (2017), no. 3--4, 1183--1213

work page 2017
[9]

J. C. Díaz-Ramos, M. Domínguez-Vázquez, V. Sanmartín-López: Isoparametric hypersurfaces in complex hyperbolic spaces. Adv.\ Math.\ 314 (2017), 756--805

work page 2017
[10]

J. C. Díaz-Ramos, M. Domínguez-Vázquez, V. Sanmartín-López: Submanifold geometry in symmetric spaces of noncompact type. S\ ao Paulo J.\ Math.\ Sci.\ 15 (2021), no. 1, 75--110

work page 2021
[11]

Di Scala: Minimal homogeneous submanifolds in Euclidean spaces

A. Di Scala: Minimal homogeneous submanifolds in Euclidean spaces. Anal.\ Global Anal.\ Geom.\ 21 (2002), 15--18

work page 2002
[12]

Di Scala, C

A. Di Scala, C. Olmos: The geometry of homogeneous submanifolds of hyperbolic space. Math. Z. 237 (2001), no. 1, 199--209

work page 2001
[13]

P. B. Eberlein: Geometry of nonpositively curved manifolds. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1996

work page 1996
[14]

J. Ge, Z. Tang: Geometry of isoparametric hypersurfaces in Riemannian manifolds. Asian J.\ Math.\ 18 (2014), no. 1, 117--125

work page 2014
[15]

Hsiang: On the compact homogeneous minimal submanifolds

W.-y. Hsiang: On the compact homogeneous minimal submanifolds. Proc.\ Nat.\ Acad.\ Sci.\ U.S.A.\ 56 (1966), 5--6

work page 1966
[16]

Hsiang, H

W.-y. Hsiang, H. B. Lawson, Jr.: Minimal submanifolds of low cohomogeneity. J.\ Differential Geom.\ 5 (1971), 1--38

work page 1971
[17]

A. W. Knapp: Lie groups beyond an introduction. Second edition. Progress in Mathematics, 140, Birkh\"auser Boston, Inc., Boston, MA, 2002

work page 2002
[18]

Kr\"otz, H

B. Kr\"otz, H. Schlichtkrull: Finite orbit decomposition of real flag manifolds. J.\ Eur.\ Math.\ Soc.\ (JEMS) 18, 1391--1403

work page
[19]

Lohnherr, H

M. Lohnherr, H. Reckziegel: On ruled real hypersurfaces in complex space forms. Geom.\ Dedicata 74 (1999), no. 3, 267--286

work page 1999
[20]

J. M. Lorenzo-Naveiro, A. Rodríguez-Vázquez: Totally geodesic submanifolds of the homogeneous nearly Kähler 6-manifolds and their G2-cones. arXiv:2411.11261

work page arXiv
[21]

G. D. Mostow: On maximal subgroups of real Lie groups. Ann. of Math. (2) 74 (1961), 503--517

work page 1961
[22]

Solonenko: Homogeneous hypersurfaces in Riemannian symmetric spaces

I. Solonenko: Homogeneous hypersurfaces in Riemannian symmetric spaces. Doctoral thesis, 2024

work page 2024
[23]

Takahashi: Minimal immersions of Riemannian manifolds

T. Takahashi: Minimal immersions of Riemannian manifolds. J.\ Math.\ Soc.\ Japan 18 (1966), 380--385

work page 1966
[24]

Tamaru: Parabolic subgroups of semisimple Lie groups and Einstein solvmanifolds

H. Tamaru: Parabolic subgroups of semisimple Lie groups and Einstein solvmanifolds. Math.\ Ann.\ 351 (2011), 51--66

work page 2011
[25]

N. R. Wallach: Minimal immersions of symmetric spaces into spheres. Symmetric spaces (Short Courses, Washington Univ., St. Louis, Mo., 1969--1970), pp. 1–40, Pure Appl.\ Math., Vol. 8, Dekker, New York, 1972

work page 1969