arxiv: 2603.21441 · v2 · submitted 2026-03-22 · 🧮 math.DG · math.CV

Recognition: 2 theorem links

· Lean Theorem

On CR manifolds of CR dimension 1

Boris Kruglikov

Authors on Pith no claims yet

Pith reviewed 2026-05-15 00:44 UTC · model grok-4.3

classification 🧮 math.DG math.CV

keywords CR manifoldsmaximal symmetryBloom-Graham typeTanaka typeextension principleCR dimension 1symmetry classificationgraded Lie algebras

0 comments

The pith

All maximal symmetry models of CR manifolds with CR dimension 1 are classified by their Bloom-Graham and Tanaka types.

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

The paper organizes the models with the largest possible symmetry groups for CR manifolds whose complex tangent space has dimension one. These models are distinguished by the Bloom-Graham type, which records the algebraic structure of the Levi form, and the Tanaka type, which encodes the graded symmetry Lie algebra. Explicit coordinate charts are supplied for several of the models, and a general extension principle is established showing that local symmetry data extend under mild conditions. The classification supplies a complete list of standard local forms against which any such manifold can be measured.

Core claim

We classify all maximal symmetry models of CR dimension 1, depending on their Bloom-Graham and Tanaka types, give coordinate realization to some of those models and prove a general extension principle.

What carries the argument

Bloom-Graham and Tanaka types, which together label every possible maximal symmetry model and determine its graded Lie algebra of infinitesimal automorphisms.

If this is right

Every CR manifold of CR dimension 1 with maximal symmetry is locally equivalent to one of the classified models.
The extension principle yields global symmetry results from local data for all models in the list.
Coordinate realizations make direct computation of curvature invariants and automorphism groups feasible for each type.
No further invariants beyond the two types are required to distinguish maximal symmetry cases.

Where Pith is reading between the lines

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

The same pair of types may organize high-symmetry models in related filtered geometries such as contact structures.
The classified models supply test cases for algorithms that detect or compute CR symmetries numerically.
Rigidity statements for global CR structures of CR dimension 1 follow directly from the local classification plus the extension principle.

Load-bearing premise

The Bloom-Graham and Tanaka types together give an exhaustive and non-overlapping list of all maximal symmetry models.

What would settle it

A single CR manifold of CR dimension 1 whose maximal symmetry algebra does not match any listed type, or whose local symmetries fail to extend according to the stated principle.

read the original abstract

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

Kruglikov gives a systematic classification of maximal symmetry models for CR manifolds of dimension 1, keyed to Bloom-Graham and Tanaka types, plus an extension principle that looks usable.

read the letter

The main contribution is a case-by-case classification of all maximal symmetry models in CR dimension 1. It fixes the Bloom-Graham type (vanishing order of the Levi form and derivatives) and the Tanaka type (graded Lie algebra of the symmetry algebra), then solves the structure equations to find the possible automorphism algebras and verifies that every solution fits one of these types. The paper also supplies coordinate realizations for several of the models and states a general extension principle: any local CR structure of a given type extends to a global model carrying the same symmetry algebra. That last piece is the part most likely to get cited later, since it turns the local classification into something that can be used for global questions or deformation theory. The argument follows the standard prolongation method in this area and appears exhaustive within the chosen invariants; the stress-test found no obvious omissions or overlaps. The only minor limitation is that explicit coordinates are given only for some models rather than all, but the classification itself does not depend on them. This is narrow but well-executed work. It will be useful to people already working on CR geometry, Tanaka prolongations, or symmetry in hypersurface-type structures. A reader who needs a reference list of models or wants to check rigidity results against the known cases will find it directly helpful. The methods are standard and the claims are checkable, so the paper deserves a serious referee rather than a desk rejection.

Referee Report

0 major / 3 minor

Summary. The paper classifies all maximal symmetry models of CR manifolds of CR dimension 1 according to their Bloom-Graham and Tanaka types. It provides coordinate realizations for some of these models and proves a general extension principle that any local CR structure of a given type extends to a global model with the same symmetry algebra. The argument proceeds by fixing the type, solving the structure equations for the automorphism algebra, and verifying that every solution arises this way, with the listed models matching the possible Tanaka prolongations.

Significance. If the classification is exhaustive and the extension principle holds without gaps, this provides a complete list of model spaces for CR structures with maximal symmetry in real dimension 3. This is useful for rigidity questions and understanding automorphism groups in CR geometry, building systematically on Tanaka theory and Bloom-Graham degeneracy types. The case-by-case solution of structure equations and the general extension result are strengths that could serve as a reference for related classification problems.

minor comments (3)

[§4] A summary table listing all classified models by Bloom-Graham type, Tanaka type, and dimension of the symmetry algebra would improve readability and make the exhaustiveness of the classification easier to verify at a glance.
[§5] In the coordinate realizations, the explicit computation of the automorphism group for at least one non-standard model should be included to confirm maximality, rather than relying solely on the abstract prolongation.
[Theorem 1.3] The statement of the extension principle in the main theorem could specify the precise regularity class (e.g., C^∞ or analytic) under which the local-to-global extension holds.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript on the classification of maximal symmetry models for CR manifolds of CR dimension 1. We appreciate the recognition that the case-by-case solution of the structure equations, the matching with Tanaka prolongations, and the general extension principle are strengths of the work. Since the referee recommended minor revision but raised no specific major comments, we have reviewed the manuscript for minor issues such as typographical corrections, minor clarifications in the coordinate realizations, and consistency in the statements of the extension principle. A revised version incorporating these changes will be submitted.

Circularity Check

0 steps flagged

No significant circularity; classification uses standard external invariants

full rationale

The derivation enumerates cases by Bloom-Graham type (vanishing order of Levi form) and Tanaka type (graded Lie algebra), both standard in the CR geometry literature and independent of this paper. It then solves the structure equations for the automorphism algebra and verifies that solutions match the possible Tanaka prolongations without omissions or overlaps. The extension principle follows directly from the local structure equations as a general result. No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the argument is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are stated. The classification presumably relies on the standard definitions of Bloom-Graham and Tanaka types from prior literature.

pith-pipeline@v0.9.0 · 5299 in / 1033 out tokens · 28012 ms · 2026-05-15T00:44:26.160918+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

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1. The symmetry dimension … does not exceed m+2 … Tanaka prolongation procedure …
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proposition 2. A graded nilpotent Lie algebra with reduced growth vector (2,1,1,…) is either Goursat … or … (5)

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

27 extracted references · 27 canonical work pages

[1]

I. M. Anderson, B. Kruglikov,Rank 2 distributions of Monge equations: symmetries, equivalences, extensions, Adv. Math. 228, no.3, 1435–1465 (2011)

work page 2011
[2]

V. K. Beloshapka,Real submanifolds of a complex space: Their polynomial models, automorphisms, and classification problems, Russian Math. Surveys57, 1–41 (2002)

work page 2002
[3]

V. K. Beloshapka,CR-Manifolds of Finite Bloom–Graham Type: the Model Surface Method, Russ. J. Math. Phys.27, 155–174 (2020)

work page 2020
[4]

Beloshapka, V

V. Beloshapka, V. Ezhov, G. Schmalz,Canonical Cartan connection and holomorphic invariants on Engel CR manifolds, Russ. J. Math. Phys.14, no. 2, 121–133 (2007)

work page 2007
[5]

Cartan,Sur l’´ equivalence absolue de certains syst` emes d’´ equations diff´ erentielles et sur certaines familles de courbes, Bull

E. Cartan,Sur l’´ equivalence absolue de certains syst` emes d’´ equations diff´ erentielles et sur certaines familles de courbes, Bull. Soc. Math. France42, 12–48 (1914)

work page 1914
[6]

Doubrov, I

B. Doubrov, I. Zelenko,On local geometry of nonholonomic rank 2 distributions, J. Lond. Math. Soc.80, 545–566 (2009)

work page 2009
[7]

Giaro, A

A. Giaro, A. Kumpera, C. Ruiz,Sur la lecture correcte d’un r´ esultat d’ ´Elie Cartan, C. R. Acad. Sci. Paris S´ er. A–B287 (4), A241–A244 (1978)

work page 1978
[8]

Gregoroviˇ c,On the Beloshapka’s rigidity conjecture for real submanifolds in complex space, J

J. Gregoroviˇ c,On the Beloshapka’s rigidity conjecture for real submanifolds in complex space, J. Diff. Geom.121, 425–457 (2022)

work page 2022
[9]

Kruglikov,Finite-dimensionality in Tanaka theory, Ann

B. Kruglikov,Finite-dimensionality in Tanaka theory, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire28, no.1, 75–90 (2011)

work page 2011
[10]

Kruglikov,Symmetries of filtered structures via filtered Lie equations, J

B. Kruglikov,Symmetries of filtered structures via filtered Lie equations, J. Geom. Phys.85, 164–170 (2014)

work page 2014
[11]

Kruglikov,Prolongation rigidity of sub-free Lie algebras, arXiv:2603.01643 (2026)

B. Kruglikov,Prolongation rigidity of sub-free Lie algebras, arXiv:2603.01643 (2026)

work page arXiv 2026
[12]

Kruglikov, A

B. Kruglikov, A. Santi, D. The,Symmetries of supergeometries related to nonholonomic superdistributions, Transform. Groups29, 179–229, (2024)

work page 2024
[13]

Medori, M

C. Medori, M. Nacinovich,Levi-Tanaka algebras and homogeneous CR manifolds, Compositio Math.109, no. 2, 195–250 (1997)

work page 1997
[14]

Merker, M

J. Merker, M. Sabzevari,Cartan equivalence problem for 5-dimensional bracket-generating CR manifolds inC 4, J. Geom. Anal.26, no. 4, 3194–3251 (2016)

work page 2016
[15]

Montgomery, M

R. Montgomery, M. Zhitomirskii,Geometric approach to Goursat flags, Ann. Inst. H. Poincar´ e Anal. Non Line´ aire18(4), 459–493 (2001)

work page 2001
[16]

Morimoto, N

T. Morimoto, N. Tanaka,The classification of the real primitive infinite Lie algebras, J. Math. Kyoto Univ.10(2), 207–243 (1970)

work page 1970
[17]

Pasternak, private communication (2025)

R. Pasternak, private communication (2025)

work page 2025
[18]

Poincar´ e,Les fonctions analytiques de deux variables et la repr´ esentation conforme, Rend

H. Poincar´ e,Les fonctions analytiques de deux variables et la repr´ esentation conforme, Rend. Circ. Math. Palermo23, 185–220 (1907)

work page 1907
[19]

Serre,Lie algebras and Lie groups, 1964 lectures given at Harvard University, Lecture Notes in Math.1500, Springer- Verlag, Berlin (2006)

J.-P. Serre,Lie algebras and Lie groups, 1964 lectures given at Harvard University, Lecture Notes in Math.1500, Springer- Verlag, Berlin (2006)

work page 1964
[20]

Sabzevari,Biholomorphic equivalence to totally nondegenerate model CR manifolds, Ann

M. Sabzevari,Biholomorphic equivalence to totally nondegenerate model CR manifolds, Ann. Mat. Pura Appl.198, no.4, 1121–1163 (2019)

work page 2019
[21]

Sabzevari, A

M. Sabzevari, A. Spiro,On the geometric order of totally nondegenerate CR manifolds, Math. Z.296, 185–210 (2020)

work page 2020
[22]

E. N. Shananina,Models of CR-manifolds of type(1, K)for3≤K≤7and their automorphisms, Math. Notes67, no. 3-4, 382–388 (2000)

work page 2000
[23]

Tanaka,On differential systems, graded Lie algebras and pseudo-groups, J

N. Tanaka,On differential systems, graded Lie algebras and pseudo-groups, J. Math. Kyoto Univ.10(1), 1–82 (1970)

work page 1970
[24]

von Weber,Zur Invariantentheorie der Systeme Pfaff’scher Gleichungen, Berichte Ges

E. von Weber,Zur Invariantentheorie der Systeme Pfaff’scher Gleichungen, Berichte Ges. Leipzig Math. Phys. Classe L, 207–229 (1898)

work page
[25]

Yatsui,On pseudo-product graded Lie algebras, Hokkaido Math

T. Yatsui,On pseudo-product graded Lie algebras, Hokkaido Math. Journ.17, 333–343 (1988)

work page 1988
[26]

Zavolokin,Homogeneous CR-manifolds inC 4, Math

I. Zavolokin,Homogeneous CR-manifolds inC 4, Math. Notes117, 413–424 (2025)

work page 2025
[27]

Zelenko,On Tanaka’s prolongation procedure for filtered structures of constant type, SIGMA094, no.5, 21 pp

I. Zelenko,On Tanaka’s prolongation procedure for filtered structures of constant type, SIGMA094, no.5, 21 pp. (2009). Department of Mathematics and Statistics, UiT the Arctic University of Norway, Tromsø 9037, Norway. E-mail:boris.kruglikov@uit.no

work page 2009