pith. sign in

arxiv: 2606.28206 · v1 · pith:J6RZZTUDnew · submitted 2026-06-26 · 🧮 math.DG

Homogeneous Hypersurfaces in 4-dimensional Thurston Geometries with 4-dimensional Isometry Group

Tarcios Andrey Ferreira This is my paper

Pith reviewed 2026-06-29 02:14 UTC · model grok-4.3

classification 🧮 math.DG
keywords homogeneous hypersurfacesThurston geometriesLie algebrassubalgebrasisometry groupsorbit foliations4-dimensional geometries
0
0 comments X

The pith

The paper classifies all homogeneous hypersurfaces in 4-dimensional Thurston geometries with 4-dimensional isometry groups via their 3-dimensional subalgebras up to conjugacy.

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

The paper focuses on 4-dimensional Thurston geometries whose isometry groups have dimension exactly 4. It classifies the 3-dimensional subalgebras of the associated Lie algebras up to conjugacy. These subalgebras correspond to subgroups whose orbits yield the homogeneous hypersurfaces, so the classification produces a complete list of such hypersurfaces up to ambient isometries. The work further examines the geometry of the foliations induced by these orbits. A sympathetic reader would care because these spaces serve as model geometries for 3-manifolds, and knowing their homogeneous hypersurfaces supplies explicit examples and invariants in low-dimensional geometry.

Core claim

We classify, up to conjugacy, the 3-dimensional subalgebras of the Lie algebras associated with the 4-dimensional Thurston geometries whose isometry groups have dimension 4. Since homogeneous hypersurfaces arise as orbits of subgroups of the isometry group acting transitively on the ambient space, we determine all such subgroups and describe their corresponding orbits, thereby obtaining a classification of the homogeneous hypersurfaces, up to ambient isometries, and we study the geometry of the orbit foliations in these geometries.

What carries the argument

The 3-dimensional subalgebras of the Lie algebras of the 4-dimensional isometry groups, which determine the transitive subgroups and therefore the orbits that are the homogeneous hypersurfaces.

Load-bearing premise

Homogeneous hypersurfaces arise exactly as orbits of 3-dimensional subgroups of the isometry group that act transitively on the hypersurface.

What would settle it

An explicit homogeneous hypersurface in one of these 4D Thurston geometries that is not the orbit of any 3-dimensional subgroup of the isometry group would show the classification is incomplete.

read the original abstract

We classify, up to conjugacy, the 3-dimensional subalgebras of the Lie algebras associated with the 4-dimensional Thurston geometries whose isometry groups have dimension 4. Since homogeneous hypersurfaces arise as orbits of subgroups of the isometry group acting transitively on the ambient space, we determine all such subgroups and describe their corresponding orbits, thereby obtaining a classification of the homogeneous hypersurfaces, up to ambient isometries, and we study the geometry of the orbit foliations in these geometries.

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 manuscript classifies, up to conjugacy, the 3-dimensional subalgebras of the Lie algebras associated with the 4-dimensional Thurston geometries whose isometry groups have dimension 4. It determines the corresponding connected subgroups and their orbits, thereby classifying homogeneous hypersurfaces up to ambient isometries, and studies the geometry of the resulting orbit foliations.

Significance. If the classification of subalgebras is complete and the orbit descriptions are accurate, the work supplies a concrete enumeration of homogeneous hypersurfaces in these specific 4D homogeneous spaces. This extends the standard Lie-algebraic correspondence between subalgebras and orbits to the listed Thurston geometries and provides explicit foliation data that may be useful for further geometric analysis.

minor comments (3)
  1. [Introduction] The introduction should include an explicit enumerated list of the 4D Thurston geometries with 4-dimensional isometry groups, together with the corresponding Lie algebras and a reference to the source classification.
  2. Notation for the basis elements of each 4D Lie algebra (e.g., the structure constants) should be introduced once in a dedicated subsection or table rather than repeated inline in each case.
  3. The description of the orbit foliations would benefit from a uniform statement of the leafwise curvature or second fundamental form in terms of the ambient geometry, even if the expressions are case-by-case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; direct algebraic classification

full rationale

The paper executes a classification of 3-dimensional subalgebras of the relevant 4-dimensional Lie algebras up to conjugacy, then invokes the standard Lie-theoretic correspondence (subalgebras ↔ connected subgroups ↔ orbits) to identify homogeneous hypersurfaces. This correspondence is an externally established fact from Lie group theory and is not derived or fitted inside the paper. No self-definitional loops, fitted inputs renamed as predictions, load-bearing self-citations, or ansatz smuggling appear in the derivation chain. The approach is self-contained against the Lie algebra structure constants of the Thurston geometries.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on standard Lie algebra theory and domain assumptions about isometry groups and orbits; no free parameters, new entities, or ad hoc axioms visible in abstract.

axioms (2)
  • domain assumption Lie algebras associated with isometry groups of Thurston geometries have standard structure
    Invoked to classify 3D subalgebras
  • domain assumption Homogeneous hypersurfaces arise as orbits of 3D subgroups
    Stated directly in abstract as basis for classification

pith-pipeline@v0.9.1-grok · 5604 in / 1060 out tokens · 44914 ms · 2026-06-29T02:14:29.894266+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

25 extracted references

  1. [1]

    Homogeneous riemannian spaces of negative curvature.Mathematics of the USSR-Sbornik, 25:87, 10 2007

    D Alekseevski˘ ı. Homogeneous riemannian spaces of negative curvature.Mathematics of the USSR-Sbornik, 25:87, 10 2007

    2007

  2. [2]

    Product structures on four dimensional solvable lie algebras.Homology, Homotopy and Applications, 7, 03 2004

    Adrian Andrada, Maria Barberis, Isabel Dotti, and Gabriela Ovando. Product structures on four dimensional solvable lie algebras.Homology, Homotopy and Applications, 7, 03 2004

    2004

  3. [3]

    Monographs and Research Notes in Mathematics

    J¨ urgen Berndt, Sergio Console, and Carlos Enrique Olmos.Submanifolds and holonomy. Monographs and Research Notes in Mathematics. CRC Press, Boca Raton, FL, second edition, 2016

    2016

  4. [4]

    Rory Biggs and Claudiu C. Remsing. On the classification of real four-dimensional Lie groups.J. Lie Theory, 26(4):1001–1035, 2016

    2016

  5. [5]

    Cecil and Patrick J

    Thomas E. Cecil and Patrick J. Ryan.Geometry of hypersurfaces. Springer Monographs in Mathematics. Springer, New York, 2015

    2015

  6. [6]

    Q.-S. Chi. Isoparametric hypersurfaces with four principal curvatures, IV.J. Differential Geom., 115(2):225– 301, 2020

    2020

  7. [7]

    Homogeneous hypersurfaces of the four-dimensional thurston geometry sol 4

    Marie D’haene, Guoxin Wei, Zeke Yao, and Xi Zhang. Homogeneous hypersurfaces of the four-dimensional thurston geometry sol 4

  8. [8]

    arxiv 2508.10545, 2025

    arXiv 2025

  9. [9]

    Springer Nature Switzerland, Cham, 2023

    Jos´ e Carlos D´ ıaz-Ramos, Miguel Dom´ ınguez-V´ azquez, and Tom´ as Otero.Homogeneous Hypersurfaces in Sym- metric Spaces, pages 141–190. Springer Nature Switzerland, Cham, 2023

    2023

  10. [10]

    Ferreira, and Tomas Otero

    Miguel Dominguez-Vazquez, Tarcios A. Ferreira, and Tomas Otero. Polar actions on homogeneous 3-spaces. Annali di Matematica Pura ed Applicata, 205:903–927, 2026

    2026

  11. [11]

    Miguel Dom´ ınguez-V´ azquez and Jos´ e M. Manzano. Isoparametric surfaces inE(κ, τ)-spaces.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 22(1):269–285, 2021

    2021

  12. [12]

    Isoparametric foliations on complex projective spaces.Transactions of the Amer- ican Mathematical Society, 368(2):1211–1249, 2016

    Miguel Dom´ ınguez-V´ azquez. Isoparametric foliations on complex projective spaces.Transactions of the Amer- ican Mathematical Society, 368(2):1211–1249, 2016

    2016

  13. [13]

    Isoparametric hypersurfaces in product spaces

    Jo˜ ao Batista Marques dos Santos and Jo˜ ao Paulo dos Santos. Isoparametric hypersurfaces in product spaces. Differential Geometry and its Applications, 88:102005, 2023

    2023

  14. [14]

    Isoparametric hypersur- faces in complex hyperbolic spaces.Advances in Mathematics, 314:756–805, 2017

    Jos´ e Carlos D´ ıaz-Ramos, Miguel Dom´ ınguez-V´ azquez, and V´ ıctor Sanmart´ ın-L´ opez. Isoparametric hypersur- faces in complex hyperbolic spaces.Advances in Mathematics, 314:756–805, 2017

    2017

  15. [15]

    PhD thesis, University of Warwick, 1983

    Richard Filipkiewicz.Four-dimensional geometries. PhD thesis, University of Warwick, 1983

    1983

  16. [16]

    On hypersurfaces ofH 2 ×H ⊭.Sci

    Dong Gao, Hui Ma, and Zeke Yao. On hypersurfaces ofH 2 ×H ⊭.Sci. China Math., 67(2):339–366, 2024

    2024

  17. [17]

    The isometry groups of simply connected 3-dimensional unimodular Lie groups.J

    Ku Yong Ha and Jong Bum Lee. The isometry groups of simply connected 3-dimensional unimodular Lie groups.J. Geom. Phys., 62(2):189–203, 2012

    2012

  18. [18]

    Kobayashi

    S. Kobayashi. Compact homogeneous hypersurfaces.Trans. Amer. Math. Soc., 88:137–143, 1958

    1958

  19. [19]

    The space of left-invariant metrics on a lie group up to isometry and scaling.manuscripta math, 135:229 – 243, 2011

    H Kodama, A Takahara, and H Tamaru. The space of left-invariant metrics on a lie group up to isometry and scaling.manuscripta math, 135:229 – 243, 2011

    2011

  20. [20]

    Unimodular groups of typeR 3 ⋊ R.Journal of the Korean Mathematical Society, 44, 09 2007

    Jong Bum Lee, Kyung Lee, J.-K Shin, and Seunghun Yi. Unimodular groups of typeR 3 ⋊ R.Journal of the Korean Mathematical Society, 44, 09 2007

    2007

  21. [21]

    Manfio, J.B.M

    F. Manfio, J.B.M. dos Santos, J.P. dos Santos, and J. Van der Veken. Hypersurfaces ofS 3 ×RandH 3 ×Rwith constant principal curvatures.Journal of Geometry and Physics, 213:105495, 2025

    2025

  22. [22]

    The geometries of 3-manifolds.Bull

    Peter Scott. The geometries of 3-manifolds.Bull. London Math. Soc., 15(5):401–487, 1983

    1983

  23. [23]

    Metrics on 4-dimensional unimodular Lie groups.Ann

    Scott Van Thuong. Metrics on 4-dimensional unimodular Lie groups.Ann. Global Anal. Geom., 51(2):109–128, 2017

    2017

  24. [24]

    On hypersurfaces ofS 2 ×S 2.Communications in Analysis and Geometry, 27, 06 2016

    Francisco Urbano. On hypersurfaces ofS 2 ×S 2.Communications in Analysis and Geometry, 27, 06 2016

    2016

  25. [25]

    C.T.C. Wall. Geometric structures on compact complex analytic surfaces.Topology, 25(2):119–153, 1986. Tarcios Andrey Ferreira - Instituto de Ciˆencias Matem´aticas e de Computac ¸˜ao, Universidade de S˜ao Paulo, 13566-590, S˜ao Carlos-SP, Brazil Email address:t.a.ferreira@icmc.usp.br

    1986