pith. sign in

arxiv: 2605.12307 · v3 · pith:ECYUOA37new · submitted 2026-05-12 · 🧮 math.DG · math.OC

Generalized pseudo-product structures and finite type distributions via abnormal extremals

Boris Doubrov , Igor Zelenko This is my paper

Pith reviewed 2026-05-20 21:43 UTC · model grok-4.3

classification 🧮 math.DG math.OC
keywords pseudo-product structuresfinite type distributionsabnormal extremalssymmetry algebrasTanaka prolongationsingularly transitive distributionscontrol theory
0
0 comments X

The pith

Distributions controllable by regular abnormal extremals have finite-dimensional symmetries in the real analytic category.

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

This paper generalizes Tanaka's result on the finiteness of symmetry algebras for non-degenerate pseudo-product structures. It modifies the notion of universal prolongation of graded nilpotent Lie algebras to handle cases where completely-integrable distributions are not limited to degree -1. Using this generalized finiteness criterion, the authors show that singularly transitive distributions have finite-dimensional symmetries in the real analytic category. This settles an open problem from Agrachev's 2013 list and applies to equivalence problems for mixed-order ODE systems.

Core claim

In the real analytic category, distributions that are controllable by regular abnormal extremal trajectories, also known as singularly transitive, have finite-dimensional symmetries. This follows from a generalization of Tanaka's finiteness criterion via a modified universal prolongation of graded nilpotent Lie algebras for pseudo-product structures.

What carries the argument

Modified universal prolongation of graded nilpotent Lie algebras, which generalizes Tanaka's finiteness criterion to pseudo-product structures with completely-integrable distributions not concentrated in degree -1.

If this is right

  • Such distributions have finite-dimensional symmetry algebras.
  • The result confirms Problem V from the 2013 list of open problems by Agrachev.
  • Applications exist to symmetries and natural equivalence problems for systems of ODEs of mixed order.

Where Pith is reading between the lines

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

  • The approach may extend finiteness results to other geometric structures in sub-Riemannian geometry.
  • Explicit computations in low dimensions could provide examples verifying the generalized criterion.

Load-bearing premise

The modified notion of universal prolongation successfully generalizes Tanaka's finiteness criterion when completely-integrable distributions are no longer concentrated in degree -1.

What would settle it

A counterexample consisting of a real analytic singularly transitive distribution with an infinite-dimensional symmetry algebra would disprove the main claim.

read the original abstract

We generalize the classical Tanaka result on the finiteness of symmetry algebra for non-degenerate pseudo-product structures to the case when the completely-integrable distributions defining the pseudo-product structure are no longer concentrated in the degree $-1$. In order to do this, we modify the notion of universal prolongation of graded nilpotent Lie algebras and generalize the original finiteness criterion of Tanaka. Using this result, we demonstrate that in real analytic category, distributions that are controllable by regular abnormal extremal trajectories, also known as singularly transitive, have finite-dimensional symmetries. This result settles Problem V in the affirmative from the 2013 list of open problems by Andrei Agrachev. Additionally, we discuss applications to symmetries and natural equivalence problems for systems of ODEs of mixed order.

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

2 major / 2 minor

Summary. The paper generalizes Tanaka's classical result on the finiteness of symmetry algebras for non-degenerate pseudo-product structures to the case where the completely-integrable distributions are not concentrated in degree -1. It does so by modifying the universal prolongation of graded nilpotent Lie algebras and generalizing Tanaka's finiteness criterion. The main application shows that, in the real-analytic category, distributions controllable by regular abnormal extremal trajectories (singularly transitive distributions) have finite-dimensional symmetries, affirmatively settling Problem V from Agrachev's 2013 list; applications to symmetries and equivalence problems for mixed-order ODE systems are also discussed.

Significance. If the modified prolongation and generalized criterion are shown to be correct, the result would extend Tanaka theory to a broader class of distributions arising in sub-Riemannian geometry and control theory, providing a positive answer to an open problem with potential implications for natural equivalence problems.

major comments (2)
  1. [§3] §3 (modified universal prolongation): the construction is introduced to handle distributions in degrees other than -1, but no explicit verification is given that the new bracket relations and higher-degree components continue to satisfy a Tanaka-type non-degeneracy condition sufficient to exclude infinite-dimensional prolongations.
  2. [Theorem 4.3] Theorem 4.3 (generalized finiteness criterion): the statement that the modified prolongation forces finite-dimensional symmetries for singularly transitive distributions rests on an analytic-category argument whose details are summarized rather than derived in full; an independent check that the symbol of a regular abnormal extremal satisfies the generalized non-degeneracy is missing.
minor comments (2)
  1. [Notation] The notation for the graded components of the symbol algebra would benefit from an explicit low-dimensional example (e.g., a distribution with non-zero component in degree -2) to illustrate the modified prolongation.
  2. [Introduction] A few typographical inconsistencies appear in the indexing of the filtration degrees in the introduction; these do not affect the argument but should be standardized.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and indicate the changes planned for the revised version.

read point-by-point responses

  1. Referee: [§3] §3 (modified universal prolongation): the construction is introduced to handle distributions in degrees other than -1, but no explicit verification is given that the new bracket relations and higher-degree components continue to satisfy a Tanaka-type non-degeneracy condition sufficient to exclude infinite-dimensional prolongations.

    Authors: We agree that an explicit verification of the non-degeneracy condition would strengthen the exposition of the modified universal prolongation. In the revised manuscript we will insert a new proposition in §3 that directly computes the possible derivations in the higher-degree components and confirms that the extended bracket relations remain compatible with the Tanaka non-degeneracy condition, thereby excluding infinite-dimensional prolongations. revision: yes

  2. Referee: [Theorem 4.3] Theorem 4.3 (generalized finiteness criterion): the statement that the modified prolongation forces finite-dimensional symmetries for singularly transitive distributions rests on an analytic-category argument whose details are summarized rather than derived in full; an independent check that the symbol of a regular abnormal extremal satisfies the generalized non-degeneracy is missing.

    Authors: We acknowledge that the analytic-category argument in the proof of Theorem 4.3 is presented in summarized form. In the revision we will expand the proof to include a complete derivation of the intermediate steps. We will also add a dedicated lemma that independently verifies that the symbol of a regular abnormal extremal satisfies the generalized non-degeneracy condition, using the controllability assumption that defines singular transitivity. revision: yes

Circularity Check

0 steps flagged

Generalization of external Tanaka criterion is self-contained with no reduction to inputs

full rationale

The paper explicitly generalizes the classical Tanaka finiteness result for non-degenerate pseudo-product structures by introducing a modified universal prolongation of graded nilpotent Lie algebras that applies when completely-integrable distributions occupy degrees other than -1. It then invokes this generalized criterion to conclude finite-dimensional symmetries for singularly transitive distributions controllable by regular abnormal extremals. No equations or definitions are shown to reduce the new prolongation or the finiteness claim back to the target result by construction; the argument treats the modification as an independent extension of an external theorem. No self-citations are load-bearing for the central claim, no parameters are fitted and relabeled as predictions, and the derivation does not rely on renaming known patterns or smuggling ansatzes via prior author work. The result is therefore independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work modifies existing Lie-algebraic constructions rather than introducing new free parameters or postulated entities; relies on standard background from Tanaka theory and real-analytic geometry.

axioms (2)
  • standard math Graded nilpotent Lie algebras admit a well-defined universal prolongation that controls symmetry finiteness under non-degeneracy conditions.
    Invoked when generalizing Tanaka's criterion to distributions outside degree -1.
  • domain assumption Real-analytic category allows passage from local controllability by abnormal extremals to global finite-dimensionality of symmetry algebra.
    Central to the application that settles the open problem.

pith-pipeline@v0.9.0 · 5650 in / 1272 out tokens · 57445 ms · 2026-05-20T21:43:55.023832+00:00 · methodology

Review history (3 revisions) →

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

31 extracted references · 31 canonical work pages · 3 internal anchors

  1. [1]

    Some open problems

    A. Agrachev,Some open problems.(English summary) Geometric control theory and sub-Riemannian geometry, 1–13. Springer INdAM Ser., 5, Springer, Cham, 2014, arXiv version: arXiv:1304.2590

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  2. [2]

    Agrachev, D

    A. Agrachev, D. Barilari, and U. Boscain,A comprehensive introduction to sub-Riemannian geometry. From the Hamiltonian viewpoint(with an appendix by I. Zelenko), Cambridge Studies in Advanced Math- ematics, 181. Cambridge University Press, Cambridge, 2020. xviii+745 pp. ISBN: 978-1-108-47635-5

    work page 2020

  3. [3]

    Agrachev, A

    A.A. Agrachev, A. V. Sarychev,Abnormal sub-riemannian geodesics: Morse index and rigidity, Annales de l’Institut Henri Poincar´ e. C, Analyse non lin´ eaire, Volume 13 (1996) no. 6, pp. 635-690

    work page 1996

  4. [4]

    Chow, ¨Uber Systeme von linearen partiellen Differentialgleichungen erster Ordnung, Mathematische Annalen, 117, 98–105, (1939)

    W.L. Chow, ¨Uber Systeme von linearen partiellen Differentialgleichungen erster Ordnung, Mathematische Annalen, 117, 98–105, (1939)

    work page 1939

  5. [5]

    Chitour, F

    Y. Chitour, F. Jean, E. Tr´ elat,Genericity results for singular curves,J. Differential Geom. Volume 73, Number 1 (2006), 45-73

    work page 2006

  6. [6]

    N. Day, B. Doubrov, and I. Zelenko,Symplectification of rank 2 distributions, normal Cartan connections, and Cartan prolongations, Ann. Math. Qu´ ebec (2026). DOI:10.1007/s40316-026-00265-2

    work page doi:10.1007/s40316-026-00265-2 2026

  7. [7]

    N. Day, B. Doubrov, and I. Zelenko,G 2 and the Maximally Symmetric(3,8)Distribution with6- Dimensional Square, preprint, available upon request

    work page

  8. [8]

    N. Day, I. Zelenko,Canonical frames for bracket generating rank 2 distributions which are not Goursat, Proc. Amer. Math. Soc., 154 (2026), 2681-2696, DOI:10.1090/proc/17534 Published electronically: April 14, 2026; arXiv version arXiv:2508.09307[math.DG], 14 pages

    work page doi:10.1090/proc/17534 2026

  9. [9]

    Doubrov, I

    B. Doubrov, I. Zelenko,A canonical frame for nonholonomic rank two distributions of maximal class, C.R. Acad. Sci. Paris, Ser. I 2006 342(8), 589–594

    work page 2006

  10. [10]

    Doubrov, I

    B. Doubrov, I. Zelenko,On local geometry of non-holonomic rank 2 distributions. Journal of the London Mathematical Society, 80(3),545–566, 2009, DOI: 10.1112/jlms/jdp044

    work page doi:10.1112/jlms/jdp044 2009

  11. [11]

    On local geometry of rank 3 distributions with 6-dimensional square

    B. Doubrov, I. Zelenko,On local geometry of rank 3 distributions with 6-dimensional square, 40 pages, arXiv:0807.3267v1[math. DG],

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    Doubrov, I

    B. Doubrov, I. Zelenko,Symmetries of trivial systems of ODEs of mixed order, Differ. Geom. Appl.33, Suppl., 123–143 (2014)

    work page 2014

  13. [13]

    On local geometry of vector distributions with given Jacobi symbols

    B. Doubrov, I. Zelenko,On local geometry of vector distribution with given Jacobi symbols, preprint, 56 pages, arXiv:1610.09577[math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    Doubrov, I

    B. Doubrov, I. Zelenko,Vector Distributions with very large symmetries via rational normal curves, Comm. Anal. Geom.,33(5), 1173–1198, 2025. DOI: 10.4310/CAG.251004225133; arXiv version arXiv:2004.07201 [math.DG]

    work page doi:10.4310/cag.251004225133 2025

  15. [15]

    Hong, J.-M

    J. Hong, J.-M. Hwang,Generalized Tanaka prolongation and convergence of formal equivalence between embeddings, arXiv:2408.15537

    work page arXiv

  16. [16]

    Guillemin, D

    V. Guillemin, D. Quillen, and S. Sternberg,The classification of the irreducible complex Lie algebras of infinite type, J. Anal. Math.18(1967), 107–112

    work page 1967

  17. [17]

    J. Hong,T. Morimoto,Prolongations, invariants, and fundamental identities of geometric structures, Dif- ferential Geom. Appl. 92 (2024), Paper No. 102107, 63 pp

    work page 2024

  18. [18]

    F. Jean, S. Maslovskaya, and I. Zelenko,On Weyl’s type theorems and genericity of projective rigidity in sub-Riemannian Geometry, Geom Dedicata 213, 295–314 (2021), DOI:10.1007/s10711-020-00581-z

    work page doi:10.1007/s10711-020-00581-z 2021

  19. [19]

    Keeler, I

    M. Keeler, I. Zelenko,Geometry of rank4Distributions: the case of characteristic leaves dimension greater than1after symplectification, in preparation

    work page

  20. [20]

    Montgomery,A Tour of Subriemannian Geometries, Their Geodesics and Applications, Mathematical Surveys and Monographs, Volume 91, (2002) American Mathematical Society

    R. Montgomery,A Tour of Subriemannian Geometries, Their Geodesics and Applications, Mathematical Surveys and Monographs, Volume 91, (2002) American Mathematical Society

    work page 2002

  21. [21]

    Morimoto,Geometric structures on filtered manifolds, Hokkaido Math

    T. Morimoto,Geometric structures on filtered manifolds, Hokkaido Math. J.,22(1993), pp. 263-347

    work page 1993

  22. [22]

    Naruki,An elementary proof for finiteness theorem of Tanaka, Preprint RIMS-130, 1973

    I. Naruki,An elementary proof for finiteness theorem of Tanaka, Preprint RIMS-130, 1973

    work page 1973

  23. [23]

    Signer, S

    I.M. Signer, S. Sternberg,The infinite groups of Lie and Cartan, J. Analyse Math.,15(1965), 1–114. 22 BORIS DOUBROV AND IGOR ZELENKO

    work page 1965

  24. [24]

    Popov, E.B

    V.L. Popov, E.B. Vinberg,Invariant Theory, In: Algebraic Geometry IV, Encyclopaedia of Mathematical Sciences (EMS, volume 55), 123–278

    work page

  25. [25]

    Rashevskii,About connecting two points of complete non-holonomic space by admissible curve(in Russian), Uch

    P.K. Rashevskii,About connecting two points of complete non-holonomic space by admissible curve(in Russian), Uch. Zapiski Ped. Inst. Libknexta (2), 83–94 (1938)

    work page 1938

  26. [26]

    Rosenlicht,Some basic theorems on algebraic groups, A

    M. Rosenlicht,Some basic theorems on algebraic groups, A. J. Math.78(1956), 401–443

    work page 1956

  27. [27]

    Spencer,Overdetermined systems of linear partial differential equations, Bull

    D.C. Spencer,Overdetermined systems of linear partial differential equations, Bull. AMS,75(1969), 179–239

    work page 1969

  28. [28]

    Sternberg,Lectures on differential geometry, Prentice Hall, N.J., 1964

    S. Sternberg,Lectures on differential geometry, Prentice Hall, N.J., 1964

    work page 1964

  29. [29]

    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 (1970), 1–82

    work page 1970

  30. [30]

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

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

    work page 1988

  31. [31]

    I. Zelenko,On Tanaka’s prolongation procedure for filtered structures of constant type, Symmetry, Inte- grability and Geometry: Methods and Applications (SIGMA), Special Issue ”Elie Cartan and Differential Geometry”, v. 5, 2009, doi:10.3842/SIGMA.2009.094, 21 pages Belarussian State University, Nezavisimosti A ve. 4, Minsk 220030, Belarus; E-mail: boris.d...

    work page doi:10.3842/sigma.2009.094 2009