pith. sign in

arxiv: 2602.10507 · v2 · submitted 2026-02-11 · 🧮 math.DG

Prolongations of (3, 6)-distributions by singular curves

Goo Ishikawa , Yoshinori Machida This is my paper

Pith reviewed 2026-05-16 03:55 UTC · model grok-4.3

classification 🧮 math.DG
keywords (3,6)-distributionsingular curveprolongationdistribution classificationLie bracketpseudo-product structurebracket-generatinggeometric control theory
0
0 comments X

The pith

Singular curves on (3,6)-distributions allow prolongations that make their classification equivalent to three other distribution classes.

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

A (3,6)-distribution is a rank-3 subbundle of the tangent bundle on a 6-manifold whose local sections generate the full tangent space after one round of Lie brackets. The paper constructs three prolongations from any such distribution by using the data of its singular curves, which are integral curves that act as abnormal extremals in the sense of control theory: one to a (3,5,7,8)-distribution, one further to a (3,5,7,8,9)-distribution carrying a pseudo-product structure, and one to a (4,6,8)-distribution. It then proves that the classification problems for these four families are equivalent. This unifies the study of the four classes and extends the known correspondences that hold only in the B3-SO(3,4) homogeneous models.

Core claim

Given any (3,6)-distribution, the data of its singular curves defines prolongations to a (3,5,7,8)-distribution, to a (3,5,7,8,9)-distribution with pseudo-product structure, and to a (4,6,8)-distribution; the classification problems for these four classes are therefore equivalent.

What carries the argument

Prolongation maps constructed directly from the data of singular curves (integral curves of the distribution that are abnormal extremals).

If this is right

  • Any classification result or invariant for (3,6)-distributions immediately transfers to the three prolonged classes.
  • Local normal forms or moduli spaces computed in one class apply to all four.
  • The pseudo-product structure on the (3,5,7,8,9) prolongations is completely determined by the singular-curve data of the base (3,6)-distribution.
  • Homogeneous models in the B3-SO(3,4) case become special cases of a general equivalence that holds for arbitrary bracket-generating (3,6)-distributions.

Where Pith is reading between the lines

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

  • The same prolongation technique could be tested on other bracket-generating distributions, such as (2,3,5) or (4,5,6) types, to see whether similar equivalences appear.
  • In sub-Riemannian geometry the equivalence might reduce the search for abnormal geodesics on 6-manifolds to the study of the prolonged structures.
  • Global topological obstructions to the existence of singular curves would directly obstruct the existence of the prolonged distributions.

Load-bearing premise

A (3,6)-distribution must admit sufficiently many singular curves so that their data defines the prolongations without any extra regularity conditions beyond the bracket-generating property.

What would settle it

A single (3,6)-distribution whose prolongation to a (3,5,7,8)-distribution has a different set of local invariants, such as a different growth vector or a different dimension of the automorphism group, from the original distribution.

Figures

Figures reproduced from arXiv: 2602.10507 by Goo Ishikawa, Yoshinori Machida.

Figure 1
Figure 1. Figure 1: Fig.1. Dynkin diagrams for prolongations-reductions from (3 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
read the original abstract

A subbundle of rank 3 in the tangent bundle over a 6-dimensional manifold is called a (3, 6)-distribution if its local sections generate the whole tangent bundle by taking their Lie brackets once. An integral curve of a distribution, whose velocity vectors belong to the distribution, can be a singular curve or an abnormal extremal in the sense of geometric control theory. In this paper, given a (3, 6)-distribution, we prolong it, using the data of singular curves, to a (3,5,7,8)-distribution, to a (3, 5, 7, 8, 9)-distribution which possesses additional pseudo-product structure respectively. Regarding also another prolongation to a (4, 6, 8)-distribution, we show the equivalence of the classification problems of those four classes of distributions obtained from (3, 6)-distributions, generalising the correspondences of those in B_3-SO(3,4)-homogeneous models.

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 studies (3,6)-distributions, i.e., rank-3 bracket-generating subbundles of the tangent bundle on 6-manifolds. Using data from singular curves (integral curves that are abnormal extremals), it constructs three prolongations: to (3,5,7,8)-distributions, to (3,5,7,8,9)-distributions equipped with an additional pseudo-product structure, and to (4,6,8)-distributions. The central result is that the classification problems for these four classes of distributions are equivalent, generalizing the known correspondences in the B_3-SO(3,4) homogeneous models.

Significance. If the equivalences are established, the work supplies explicit geometric constructions that relate classification problems across different ranks of bracket-generating distributions via singular-curve data. This framework could streamline the study of sub-Riemannian structures and abnormal extremals in geometric control theory by reducing questions about (3,6)-distributions to questions about more rigidly structured higher-rank distributions, while extending homogeneous-model results to the general case.

minor comments (3)
  1. The abstract introduces the pseudo-product structure on the (3,5,7,8,9)-distribution without a brief definition or reference; adding one sentence clarifying this notion would improve accessibility for readers outside the immediate subfield.
  2. The notation (3,6), (3,5,7,8), etc., is standard but the abstract does not recall that these tuples denote the ranks of the distribution and its successive Lie brackets; a parenthetical reminder would aid clarity.
  3. The generalization from B_3-SO(3,4) homogeneous models is stated but not illustrated by a short example or reference to the specific correspondences being extended; including one concrete instance would strengthen the introduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the accurate summary of our results and for recommending minor revision. The report correctly captures the main contribution: using singular curves to construct prolongations of (3,6)-distributions that establish equivalences among the classification problems for (3,6), (3,5,7,8), (3,5,7,8,9) with pseudo-product structure, and (4,6,8)-distributions, generalizing the B3-SO(3,4) homogeneous models.

Circularity Check

0 steps flagged

Minor self-citation to homogeneous models; central equivalences via explicit inverse constructions

full rationale

The derivation proceeds by defining three explicit prolongation maps from a (3,6)-distribution using its singular curves (to (3,5,7,8), (3,5,7,8,9) with pseudo-product structure, and (4,6,8)), then verifying mutual inverses via Lie bracket computations and local coordinates. These steps are self-contained and do not reduce to fitted parameters or self-referential definitions. The generalization of B3-SO(3,4) correspondences is supported by direct construction rather than load-bearing self-citation; any prior references to homogeneous cases are supplementary and not required for the general equivalence proof.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard axioms of differential geometry (Lie bracket generation) and geometric control theory (abnormal extremals); no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • standard math Sections of the rank-3 subbundle generate the full tangent bundle after one Lie bracket
    Definition of (3,6)-distribution given in the abstract.
  • domain assumption Singular curves exist and carry usable data for prolongation
    Invoked when the abstract states that singular curves are used to prolong the distribution.

pith-pipeline@v0.9.0 · 5476 in / 1438 out tokens · 43105 ms · 2026-05-16T03:55:53.167001+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

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

  1. [1]

    Agrachev, Y

    A. Agrachev, Y. Sachkov,Control Theory from the Geometric Viewpoint, Encyclopaedia of Math. Sci.,87, Springer Berlin Heidelberg, (2010)

    work page 2010

  2. [2]

    Arnol’d,Mathematical Methods of Classical Mechanics,2nd ed., Springer (1989)

    V.I. Arnol’d,Mathematical Methods of Classical Mechanics,2nd ed., Springer (1989)

    work page 1989

  3. [3]

    R. L. Bryant, ´Elie Cartan and geometric duality,A lecture given at the Institut d’ ´Elie Cartan on 19 June (1998)

    work page 1998

  4. [4]

    R. L. Bryant,Conformal geometry and3-plane fields on6-manifolds,RIMS Kˆ okyˆ uroku1502, (2006), 1–15

    work page 2006

  5. [5]

    Bryant, S

    R.L. Bryant, S. S. Chern, R. B. Gardner, H. L. Goldschmidt, P. A. Griffiths,Exterior Differential Systems,Math. Sciences. Research Inst. Publ.,18, Springer (2011)

    work page 2011

  6. [6]

    A. ˇCap, J. Slov´ ak,Parabolic Geometries I, Background and General Theory,Mathematical Surveys and Monographs,154, American Mathematical Society (2009). 24

    work page 2009

  7. [7]

    Cartan,Les syst` emes de Pfaff ` a cinq variables et les ´ equations aux d´ eriv´ ees partielles du second ordre,Ann

    E. Cartan,Les syst` emes de Pfaff ` a cinq variables et les ´ equations aux d´ eriv´ ees partielles du second ordre,Ann. Sci. Ecole Norm. Sup. (3),27(1910), 109–192

    work page 1910

  8. [8]

    Doubrov, I

    B. Doubrov, I. Zelenko,On local geometry of non-holonomic rank2distributions,J. London Math. Soc., (2)80(2009) 545–566

    work page 2009

  9. [9]

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

    B. Doubrov, I. Zelenko,On local geometry of rank3distributions with6-dimensional square, arXiv:0807.3267 [math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    Duality of singular paths for (2,3,5)-distributions

    G. Ishikawa, Y. Kitagawa, W. Yukuno,Duality of singular paths for(2,3,5)-distributions, arXiv:1308.2501 [math.DG] (2013), J. of Dynamical and Control Systems,21(2015), 155–171

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  11. [11]

    Duality of (2,3,5)-distributions and Lagrangian cone structures

    G. Ishikawa, Y. Kitagawa, A. Tsuchida, W. Yukuno,Duality of(2,3,5)-distributions and Lagrangian cone structures,arXiv:1808.00149 [math.DG] (2018), Nagoya Math. J.,243(2021), 303–315

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  12. [12]

    Ishikawa, Y

    G. Ishikawa, Y. Machida,Singular curves of hyperbolic(4,7)-distributions of typeC 3, arXiv:2310.18739 [math.DG] (2023), Advanced Studies of Pure Mathematics, Mathematical Society of Japan,89(2025), 305-323

    work page arXiv 2023

  13. [13]

    Ishikawa, Y

    G. Ishikawa, Y. Machida,Prolongation of(8,15)-distribution of typeF 4 by singular curves,Sym- metry, Integrability and Geometry : Methods and Applications (SIGMA), 21 (2025), 076, 20 pages

    work page 2025

  14. [14]

    Ishikawa, Y

    G. Ishikawa, Y. Machida, M. Takahashi,Singularities of tangent surfaces in Cartan’s splitG 2- geometry,Asian J. of Math.,20–2, (2016), 353–382

    work page 2016

  15. [15]

    Kry´ nski,Parabolic(3,5,6)-distributions andGL(2)-structures,Communications in Analysis and Geometry,20-4(2012), 781–802

    W. Kry´ nski,Parabolic(3,5,6)-distributions andGL(2)-structures,Communications in Analysis and Geometry,20-4(2012), 781–802

    work page 2012

  16. [16]

    Leistner, P

    T. Leistner, P. Nurowski and K. Sagerschung,New relations betweenG 2-geometries in5and7, International Journal of Mathematics,28–13(2017) 1750094 (46 pages)

    work page 2017

  17. [17]

    W. Liu, H. Sussman,Shortest paths for sub-Riemannian metrics on rank-two distributions,Memoirs of the American Mathematical Society Vol. 118, Number 564, Amer. Math. Soc., (1995)

    work page 1995

  18. [18]

    Montgomery,A Tour of Subriemannian Geometries, Their Geodesics and Applications,Mathe- matical

    R. Montgomery,A Tour of Subriemannian Geometries, Their Geodesics and Applications,Mathe- matical. Surveys and Monographs,91, Amer. Math. Soc. (2002)

    work page 2002

  19. [19]

    Nurowski,Differential equations and conformal structures,J

    P. Nurowski,Differential equations and conformal structures,J. of Geometry and Physics,55(2005), 19–49

    work page 2005

  20. [20]

    Tanaka,On the equivalence problems associated with simple graded Lie algebras,Hokkaido Math

    N. Tanaka,On the equivalence problems associated with simple graded Lie algebras,Hokkaido Math. J.8(1979), 23–84

    work page 1979

  21. [21]

    Yamaguchi,Differential systems associated with simple graded Lie algebras,Adv

    K. Yamaguchi,Differential systems associated with simple graded Lie algebras,Adv. Studies in Pure Mathematics.,22(1993), 413–494. Goo ISHIKAWA, e-mail: ishikawa@math.sci.hokudai.ac.jp Yoshinori MACHIDA, e-mail: machida.yoshinori.a@shizuoka.ac.jp 25

    work page 1993