Classification of homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^3$

Alexander Loboda; Ilya Kossovskiy

arxiv: 1906.11345 · v1 · pith:MLYHWQGZnew · submitted 2019-06-26 · 🧮 math.CV

Classification of homogeneous strictly pseudoconvex hypersurfaces in mathbb C³

Ilya Kossovskiy , Alexander Loboda This is my paper

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

classification 🧮 math.CV

keywords homogeneous hypersurfacesstrictly pseudoconvexCR geometryclassificationC^3local normal formsautomorphism groups

0 comments

The pith

The classification of locally homogeneous strictly pseudoconvex hypersurfaces in C^3 is complete.

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

The paper completes the classification of locally homogeneous strictly pseudoconvex hypersurfaces in three complex dimensions. This extends the 1932 result of Cartan for two dimensions. Such hypersurfaces are those where the automorphism group acts transitively near each point. A sympathetic reader cares because this provides an exhaustive list of all possible local models with maximal symmetry in CR geometry. The result allows one to know all possible local geometries that admit a transitive group of automorphisms preserving the pseudoconvexity condition.

Core claim

We complete the classification of locally homogeneous strictly pseudoconvex hypersurfaces in C^3 by determining all possible local models up to biholomorphic equivalence.

What carries the argument

Enumeration of admissible Lie algebras of infinitesimal automorphisms and associated normal forms in CR geometry.

Load-bearing premise

Every locally homogeneous strictly pseudoconvex hypersurface admits a local normal form that fits into an exhaustive enumeration based on standard CR geometric methods.

What would settle it

Discovery of a locally homogeneous strictly pseudoconvex hypersurface in C^3 not equivalent to any of the classified models.

read the original abstract

Locally homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^2$ were classified by E.\,Cartan in 1932. In this work, we complete the classification of locally homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^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.

Desk Editor's Note private letter to a colleague

This paper finishes the C^3 classification of locally homogeneous strictly pseudoconvex hypersurfaces by extending Cartan's C^2 list with the remaining cases.

read the letter

The main point is that Kossovskiy and Loboda close out the classification problem for locally homogeneous strictly pseudoconvex hypersurfaces in C^3. They take Cartan's 1932 work in C^2 and supply the missing models in one higher dimension using the usual CR geometry tools around automorphism algebras and normal forms. That is the concrete advance: an explicit list where the abstract says the prior work was incomplete. The approach follows the established Lie group and invariant methods without adding new untested machinery, which keeps it grounded. The result organizes the low-dimensional cases into a usable reference. The soft spot is the usual one for these enumerations: the argument stands or falls on whether the case split by isotropy dimension, structure equations, or possible algebras really covers every possibility. If some homogeneous structure sits outside the branches they checked, it would be missed, though nothing in the setup suggests they introduced circular definitions or free parameters. The citation pattern looks standard, resting on Cartan and related CR literature. This is for people already working in CR geometry or homogeneous complex manifolds who need the C^3 list for further calculations or comparisons. A reader outside that niche gets limited value. It deserves peer review because it tackles a specific open classification item with a clear completion claim and reproducible methods; the moderate evidence level on the full case checks is exactly what referees are for.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to complete the classification of locally homogeneous strictly pseudoconvex hypersurfaces in C^3, extending E. Cartan's 1932 classification in C^2 via methods of CR geometry, Lie group actions, and enumeration of automorphism algebras and normal forms.

Significance. If the enumeration is exhaustive, the result supplies a complete list of local models for homogeneous strictly pseudoconvex CR hypersurfaces in real dimension 5. This is a substantial contribution to CR geometry, as it resolves the classification problem in this dimension and provides explicit normal forms against which future examples can be compared.

major comments (1)

[sections detailing the case analysis and automorphism algebra enumeration] The central claim requires that the case division (by dimension of the isotropy representation, possible CR invariants, or structure equations) is exhaustive. The manuscript must contain an explicit argument showing that every possible automorphism algebra branch is covered and that no homogeneous structure falls outside the enumerated models; without such a completeness proof the classification statement is not yet established.

minor comments (1)

Clarify the precise normal forms and their defining equations for each enumerated model so that readers can directly verify local equivalence.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed report and for recognizing the significance of completing the classification in real dimension 5. The central concern is the need for an explicit argument that the case division by isotropy dimension, CR invariants, and structure equations is exhaustive. We address this point below and indicate the revisions that will be made.

read point-by-point responses

Referee: The central claim requires that the case division (by dimension of the isotropy representation, possible CR invariants, or structure equations) is exhaustive. The manuscript must contain an explicit argument showing that every possible automorphism algebra branch is covered and that no homogeneous structure falls outside the enumerated models; without such a completeness proof the classification statement is not yet established.

Authors: We agree that an explicit completeness argument strengthens the manuscript. The classification proceeds by first bounding the possible dimensions of the automorphism algebra (which must be at least 3 and at most 8 for a strictly pseudoconvex hypersurface in C^3) and then, for each dimension, enumerating the admissible Lie algebras that can act transitively while preserving a strictly pseudoconvex CR structure. This enumeration relies on the known classification of low-dimensional Lie algebras together with the CR structure equations and the vanishing of certain torsion invariants that would violate strict pseudoconvexity. Every branch is therefore generated by the possible isotropy representations and the admissible values of the remaining CR invariants; no additional algebras satisfy the homogeneity and pseudoconvexity conditions. To address the referee’s request we will insert a new subsection (immediately after the statement of the main theorem) that spells out this bounding argument and verifies that the listed models exhaust all possibilities. revision: yes

Circularity Check

0 steps flagged

Classification extends Cartan's prior work via standard CR geometry without self-referential reductions or fitted predictions.

full rationale

The paper completes the classification of locally homogeneous strictly pseudoconvex hypersurfaces in C^3 by building on E. Cartan's 1932 classification in C^2, using established methods of CR geometry and Lie group actions for case analysis of automorphism algebras and normal forms. No load-bearing steps reduce by construction to self-definitions, fitted inputs renamed as predictions, or chains of self-citations whose validity depends on the present work. External prior results (Cartan) provide independent support, and the enumeration is a standard exhaustive mathematical case division rather than a circular renaming or ansatz smuggling. This is the normal non-circular outcome for classification papers relying on external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the established theory of strictly pseudoconvex CR structures and local homogeneity; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

standard math Standard definitions and properties of strictly pseudoconvex hypersurfaces and local homogeneity in CR geometry hold.
Invoked implicitly by extending Cartan's classification.

pith-pipeline@v0.9.0 · 5557 in / 1071 out tokens · 29352 ms · 2026-05-25T14:47:27.703307+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

On the orbits of one non-solvable 5 -dimensional Lie algebra

A.\,Atanov, A.\,Loboda. On the orbits of one non-solvable 5 -dimensional Lie algebra. Mathematical Physics and Computer Simulation (2019), Mathematics and Mechanics. V. 22, no 2. P. 5-20

work page 2019
[2]

K.; Kossovskiy, I

Beloshapka, V. K.; Kossovskiy, I. G. Homogeneous hypersurfaces in 3 , associated with a model CR-cubic. J. Geom. Anal. 20 (2010), no. 3, 538–564

work page 2010
[3]

K.; Kossovskiy, I

Beloshapka, V. K.; Kossovskiy, I. G. Classification of homogeneous CR-manifolds in dimension 4. J. Math. Anal. Appl. 374 (2011), no. 2, 655–672

work page 2011
[4]

\'E. Cartan. Sur la g\'eom\'etrie pseudo-conforme des hypersurfaces de l'espace de deux variables complexes II . Ann. Scuola Norm. Sup. Pisa Cl. Sci. (2) 1 (1932), no. 4, 333-354

work page 1932
[5]

S. S. Chern and J. K. Moser. Real hypersurfaces in complex manifolds , Acta Math. 133 (1974), 219-271

work page 1974
[6]

Homogeneous surfaces in the three-dimensional affine geometry

Doubrov, B.; Komrakov, B.; Rabinovich, M. Homogeneous surfaces in the three-dimensional affine geometry. Geometry and topology of submanifolds, VIII (Brussels, 1995/Nordfjordeid, 1995), 168-–178, World Sci. Publ., River Edge, NJ, 1996

work page 1995
[7]

Homogeneous Levi non-degenerate hypersurfaces in 3

B.\.Doubrov, A.\.Medvedev, D.\,The. Homogeneous Levi non-degenerate hypersurfaces in 3 . Available at https://arxiv.org/abs/1711.02389

work page arXiv
[8]

On affine normal forms and a classification of homogeneous surfaces in affine three-space

Eastwood, M.; Ezhov, V. On affine normal forms and a classification of homogeneous surfaces in affine three-space. Geom. Dedicata 77 (1999), no. 1, 11-–69

work page 1999
[9]

V.; Loboda, A

Ezhov, V. V.; Loboda, A. V.; Shmalʹts, G. Canonical form of a fourth-degree polynomial in a normal equation of a real hypersurface in 3 (Russian) Mat. Zametki 66 (1999), no. 4, 624--626; translation in Math. Notes 66 (1999), no. 3-4, 513-–515 (2000)

work page 1999
[10]

G. Fels, W. Kaup. Classification of Levi degenerate homogeneous CR-manifolds in dimension 5. Acta Math. 201 (2008), no. 1, 1–82

work page 2008
[11]

Loboda, A. V. A local description of homogeneous real hypersurfaces of the two-dimensional complex space in terms of their normal equations. (Russian) Funktsional. Anal. i Prilozhen. 34 (2000), no. 2, 33--42, 95; translation in Funct. Anal. Appl. 34 (2000), no. 2, 106–-113

work page 2000
[12]

Loboda, A. V. Homogeneous strictly pseudoconvex hypersurfaces in C3 with two-dimensional isotropy groups. (Russian) Mat. Sb. 192 (2001), no. 12, 3--24; translation in Sb. Math. 192 (2001), no. 11-12, 1741-–1761

work page 2001
[13]

Loboda, A. V. On the determination of a homogeneous strictly pseudoconvex hypersurface from the coefficients of its normal equation. (Russian) Mat. Zametki 73 (2003), no. 3, 453--456; translation in Math. Notes 73 (2003), no. 3-4, 419-–423

work page 2003
[14]

and Nagano, T., On pseudo-conformal transformations of hypersurfaces, J

Morimoto, A. and Nagano, T., On pseudo-conformal transformations of hypersurfaces, J. Math. Soc. Japan 15 (1963), 289–300

work page 1963
[15]

Mubarakzjanov, G. M. Classification of real structures of Lie algebras of fifth order. (Russian) Izv. Vysš. Učebn. Zaved. Matematika 1963 1963 no. 3 (34), 99–106

work page 1963
[16]

On different notions of homogeneity for CR-manifolds

Zaitsev, D. On different notions of homogeneity for CR-manifolds. Asian J. Math. 11 (2007), no. 2, 331–340

work page 2007

[1] [1]

On the orbits of one non-solvable 5 -dimensional Lie algebra

A.\,Atanov, A.\,Loboda. On the orbits of one non-solvable 5 -dimensional Lie algebra. Mathematical Physics and Computer Simulation (2019), Mathematics and Mechanics. V. 22, no 2. P. 5-20

work page 2019

[2] [2]

K.; Kossovskiy, I

Beloshapka, V. K.; Kossovskiy, I. G. Homogeneous hypersurfaces in 3 , associated with a model CR-cubic. J. Geom. Anal. 20 (2010), no. 3, 538–564

work page 2010

[3] [3]

K.; Kossovskiy, I

Beloshapka, V. K.; Kossovskiy, I. G. Classification of homogeneous CR-manifolds in dimension 4. J. Math. Anal. Appl. 374 (2011), no. 2, 655–672

work page 2011

[4] [4]

\'E. Cartan. Sur la g\'eom\'etrie pseudo-conforme des hypersurfaces de l'espace de deux variables complexes II . Ann. Scuola Norm. Sup. Pisa Cl. Sci. (2) 1 (1932), no. 4, 333-354

work page 1932

[5] [5]

S. S. Chern and J. K. Moser. Real hypersurfaces in complex manifolds , Acta Math. 133 (1974), 219-271

work page 1974

[6] [6]

Homogeneous surfaces in the three-dimensional affine geometry

Doubrov, B.; Komrakov, B.; Rabinovich, M. Homogeneous surfaces in the three-dimensional affine geometry. Geometry and topology of submanifolds, VIII (Brussels, 1995/Nordfjordeid, 1995), 168-–178, World Sci. Publ., River Edge, NJ, 1996

work page 1995

[7] [7]

Homogeneous Levi non-degenerate hypersurfaces in 3

B.\.Doubrov, A.\.Medvedev, D.\,The. Homogeneous Levi non-degenerate hypersurfaces in 3 . Available at https://arxiv.org/abs/1711.02389

work page arXiv

[8] [8]

On affine normal forms and a classification of homogeneous surfaces in affine three-space

Eastwood, M.; Ezhov, V. On affine normal forms and a classification of homogeneous surfaces in affine three-space. Geom. Dedicata 77 (1999), no. 1, 11-–69

work page 1999

[9] [9]

V.; Loboda, A

Ezhov, V. V.; Loboda, A. V.; Shmalʹts, G. Canonical form of a fourth-degree polynomial in a normal equation of a real hypersurface in 3 (Russian) Mat. Zametki 66 (1999), no. 4, 624--626; translation in Math. Notes 66 (1999), no. 3-4, 513-–515 (2000)

work page 1999

[10] [10]

G. Fels, W. Kaup. Classification of Levi degenerate homogeneous CR-manifolds in dimension 5. Acta Math. 201 (2008), no. 1, 1–82

work page 2008

[11] [11]

Loboda, A. V. A local description of homogeneous real hypersurfaces of the two-dimensional complex space in terms of their normal equations. (Russian) Funktsional. Anal. i Prilozhen. 34 (2000), no. 2, 33--42, 95; translation in Funct. Anal. Appl. 34 (2000), no. 2, 106–-113

work page 2000

[12] [12]

Loboda, A. V. Homogeneous strictly pseudoconvex hypersurfaces in C3 with two-dimensional isotropy groups. (Russian) Mat. Sb. 192 (2001), no. 12, 3--24; translation in Sb. Math. 192 (2001), no. 11-12, 1741-–1761

work page 2001

[13] [13]

Loboda, A. V. On the determination of a homogeneous strictly pseudoconvex hypersurface from the coefficients of its normal equation. (Russian) Mat. Zametki 73 (2003), no. 3, 453--456; translation in Math. Notes 73 (2003), no. 3-4, 419-–423

work page 2003

[14] [14]

and Nagano, T., On pseudo-conformal transformations of hypersurfaces, J

Morimoto, A. and Nagano, T., On pseudo-conformal transformations of hypersurfaces, J. Math. Soc. Japan 15 (1963), 289–300

work page 1963

[15] [15]

Mubarakzjanov, G. M. Classification of real structures of Lie algebras of fifth order. (Russian) Izv. Vysš. Učebn. Zaved. Matematika 1963 1963 no. 3 (34), 99–106

work page 1963

[16] [16]

On different notions of homogeneity for CR-manifolds

Zaitsev, D. On different notions of homogeneity for CR-manifolds. Asian J. Math. 11 (2007), no. 2, 331–340

work page 2007