pith. sign in

arxiv: 2508.00108 · v2 · pith:BZRQV3UCnew · submitted 2025-07-31 · 🧮 math.DG

Effective normalization of sub-Riemannian connections

Erlend Grong , Jan Slovak This is my paper

Pith reviewed 2026-05-21 23:15 UTC · model grok-4.3

classification 🧮 math.DG
keywords sub-Riemannian manifoldsCartan connectionspartial affine connectionsnormalizationhorizontal holonomyconstant symbolstangent bundle grading
0
0 comments X

The pith

A partial affine connection on the horizontal bundle of a constant-symbol sub-Riemannian manifold extends uniquely to a full normalized affine connection whose holonomy is generated only by horizontal paths.

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

The paper develops a normalization condition for connections on sub-Riemannian manifolds that possess constant symbols. The condition is stated in the language of Cartan connections and uses only the lowest homogeneity degree of the curvature. The central technical step proves that any compatible partial connection on the horizontal bundle determines a unique Cartan connection, which in manifold terms yields both a full affine connection and a grading of the tangent bundle. Because of the chosen normalization, the resulting holonomy reduces exactly to the holonomy along horizontal curves.

Core claim

A compatible partial affine connection can be uniquely extended to both a full affine connection and a grading of the tangent bundle, and our normalization ensures that the holonomy of this connection will coincide with the horizontal holonomy, i.e., related to horizontal paths only. The normalization is formulated solely in terms of the first degree of homogeneity of the curvature of the Cartan connection.

What carries the argument

The normalization condition on the first homogeneity degree of the curvature of the Cartan connection, which uniquely determines the full Cartan connection from a given partial connection on the horizontal bundle.

If this is right

  • The holonomy of the canonical connection is generated exclusively by horizontal paths.
  • A grading of the tangent bundle is canonically attached to any such normalized connection.
  • Canonical connections become computable for broad classes of constant-symbol sub-Riemannian manifolds.
  • The construction supplies a preferred full connection once a horizontal partial connection is given.

Where Pith is reading between the lines

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

  • The same uniqueness may let researchers replace full connection data by horizontal data when studying invariants that depend only on horizontal curves.
  • The result could streamline calculations in nonholonomic control systems whose admissible motions are precisely the horizontal paths.
  • Removing the constant-symbol hypothesis would probably require incorporating higher homogeneity terms into the normalization condition.

Load-bearing premise

The sub-Riemannian manifolds have constant symbols, so the normalization depends only on the lowest homogeneity term in the curvature.

What would settle it

Take a concrete sub-Riemannian manifold with constant symbols, choose a compatible partial connection on its horizontal bundle, construct the normalized extension, and check whether the curvature of the resulting connection vanishes in the first homogeneity degree and whether parallel transport along non-horizontal curves can be reduced to horizontal ones.

read the original abstract

We give a new normalization condition for connections on sub-Riemannian manifolds with constant symbols. The condition is formulated in terms of Cartan connections and depends only on the first degree of homogeneity of the curvature. The essential part of our result is to show how a Cartan connection can be uniquely determined by a partial connection on the horizontal bundle. Viewed from the manifold, this observation is equivalent to the following claim: a compatible partial affine connection can be uniquely extended to both a full affine connection and a grading of the tangent bundle, and our normalization ensures that the holonomy of this connection will coincide with the horizontal holonomy, i.e., related to horizontal paths only. We give several examples in which we compute the canonical connections for a class of sub-Riemannian manifolds.

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 introduces a normalization condition for Cartan connections on sub-Riemannian manifolds with constant symbols, depending solely on the first degree of homogeneity of the curvature. It proves that a partial connection on the horizontal bundle uniquely determines such a Cartan connection, which from the manifold viewpoint means a compatible partial affine connection extends uniquely to a full affine connection together with a grading of the tangent bundle; the normalization is shown to force the holonomy of the resulting connection to coincide exactly with the horizontal holonomy (i.e., generated only by horizontal paths). Several explicit examples of canonical connections are computed for specific classes of manifolds.

Significance. If the central claims hold, the result supplies an effective, computationally tractable normalization procedure for sub-Riemannian connections that avoids the usual freedom in choosing extensions. This is potentially useful for studying horizontal holonomy and canonical geometries on constant-symbol structures, and the provision of concrete examples strengthens the practical value of the construction.

major comments (2)
  1. [§4 (extension procedure) and Theorem 5.3] The uniqueness of the extension from a partial affine connection to a full connection plus grading (and the subsequent holonomy restriction) is asserted to rest on the constant-symbol hypothesis; however, the manuscript does not appear to contain an explicit argument showing that this hypothesis eliminates all freedom in the higher-homogeneity components of the curvature after the first-degree normalization is imposed. This step is load-bearing for the claim that holonomy is strictly horizontal.
  2. [Definition 3.4 and the proof of Theorem 5.1] The normalization is defined using only the first homogeneity degree of the Cartan curvature. It is not shown whether the resulting connection automatically annihilates or suppresses contributions from higher-degree curvature terms that could still permit non-horizontal parallel transport; a concrete vanishing or projection argument for those terms is needed to support the holonomy-coincidence statement.
minor comments (2)
  1. [§2] Notation for the grading of the tangent bundle and the partial connection could be introduced with a short table or diagram in §2 to improve readability for readers less familiar with filtered manifolds.
  2. [§6] The examples in §6 would benefit from a brief statement of the symbol type for each manifold considered, to make the constant-symbol assumption explicit in each computation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on the manuscript. The observations correctly identify places where the role of the constant-symbol hypothesis and the control of higher-homogeneity curvature terms can be made more explicit. We address each major comment below and indicate the planned revisions.

read point-by-point responses

  1. Referee: [§4 (extension procedure) and Theorem 5.3] The uniqueness of the extension from a partial affine connection to a full connection plus grading (and the subsequent holonomy restriction) is asserted to rest on the constant-symbol hypothesis; however, the manuscript does not appear to contain an explicit argument showing that this hypothesis eliminates all freedom in the higher-homogeneity components of the curvature after the first-degree normalization is imposed. This step is load-bearing for the claim that holonomy is strictly horizontal.

    Authors: We agree that the link between the constant-symbol assumption and the absence of residual freedom in higher-homogeneity curvature components after the first-degree normalization deserves a more explicit treatment. In the current proof of Theorem 5.3 the constancy of the symbol is used to fix the algebraic structure of the graded tangent bundle, which in turn constrains the possible extensions; the normalization then selects a unique Cartan connection. To strengthen the exposition we will insert a short lemma immediately preceding Theorem 5.3 that shows, by direct computation with the structure equations, that any non-trivial variation in a higher-homogeneity curvature component would either alter the symbol or violate the normalization condition on the degree-1 term. This lemma will also make transparent why the resulting holonomy is generated exclusively by horizontal paths. revision: yes

  2. Referee: [Definition 3.4 and the proof of Theorem 5.1] The normalization is defined using only the first homogeneity degree of the Cartan curvature. It is not shown whether the resulting connection automatically annihilates or suppresses contributions from higher-degree curvature terms that could still permit non-horizontal parallel transport; a concrete vanishing or projection argument for those terms is needed to support the holonomy-coincidence statement.

    Authors: The normalization in Definition 3.4 is formulated so that, once the symbol is constant, the first-homogeneity curvature component determines the connection coefficients via the Cartan structure equations; higher-homogeneity terms are then forced to satisfy additional algebraic relations. In the proof of Theorem 5.1 the coincidence of holonomies follows from the compatibility of the extended connection with the horizontal distribution and the grading. Nevertheless, we acknowledge that an explicit projection or vanishing argument for the higher-degree contributions is not written out. We will add a brief proposition after Definition 3.4 that projects the curvature onto the horizontal subbundle and shows that any component capable of producing non-horizontal parallel transport must vanish under the normalization. This will directly support the holonomy statement in Theorem 5.1. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is a standard uniqueness proof in Cartan geometry

full rationale

The paper claims to establish a new normalization for Cartan connections on constant-symbol sub-Riemannian manifolds that depends only on the first homogeneity degree of curvature, showing that a partial connection on the horizontal bundle uniquely determines the full Cartan connection (and thus the extension to a graded affine connection whose holonomy is horizontal). This is presented as a direct mathematical result from the theory of Cartan connections and partial affine connections, without any fitted parameters, self-definitional loops, or load-bearing self-citations that reduce the central uniqueness/holonomy claim to its own inputs. The abstract and described construction contain no equations or steps where a 'prediction' or extension is forced by construction from the normalization itself or from prior author work; the result is therefore self-contained within external differential-geometric machinery.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background in sub-Riemannian geometry and Cartan connections; no new free parameters or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption Sub-Riemannian manifolds possess constant symbols
    Required for the normalization to depend only on the first homogeneity degree of curvature.

pith-pipeline@v0.9.0 · 5649 in / 1212 out tokens · 38299 ms · 2026-05-21T23:15:30.416973+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

23 extracted references · 23 canonical work pages

  1. [1]

    Agrachev, D

    A. Agrachev, D. Barilari, and L. Rizzi. Curvature: a variational approach. Mem. Amer. Math. Soc., 256(1225):v+142, 2018

    work page 2018

  2. [2]

    Agricola

    I. Agricola. The Srn´ ı lectures on non-integrable geometries with torsion.Arch. Math. (Brno), 42:5–84, 2006

    work page 2006

  3. [3]

    Alekseevsky, A

    D. Alekseevsky, A. Medvedev, and J. Slovak. Constant curvature models in sub-Riemannian geometry. J. Geom. Phys. , 138:241–256, 2019

    work page 2019

  4. [4]

    Bella¨ ıche

    A. Bella¨ ıche. The tangent space in sub-Riemannian geometry. InSub-Riemannian geometry, volume 144 of Progr. Math., pages 1–78. Birkh¨ auser, Basel, 1996

    work page 1996

  5. [5]

    A. ˇCap, A. R. Gover, and M. Hammerl. Holonomy reductions of Cartan geometries and curved orbit decompositions. Duke Math. J. , 163(5):1035–1070, 2014

    work page 2014

  6. [6]

    ˇCap and J

    A. ˇCap and J. Slov´ ak. Parabolic geometries. I , volume 154 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2009. Background and general theory

    work page 2009

  7. [7]

    Chitour, E

    Y. Chitour, E. Grong, F. Jean, and P. Kokkonen. Horizontal holonomy and foliated manifolds. Ann. Inst. Fourier (Grenoble) , 69(3):1047–1086, 2019

    work page 2019

  8. [8]

    Falbel, C

    E. Falbel, C. Gorodski, and M. Rumin. Holonomy of sub-Riemannian manifolds. Internat. J. Math., 8(3):317–344, 1997

    work page 1997

  9. [9]

    E. Grong. Affine connections and curvature in sub-Riemannian geometry. arXiv e-prints , page arXiv:2001.03817, Jan 2020, 2001.03817

    work page arXiv 2001

  10. [10]

    E. Grong. Canonical connections on sub-Riemannian manifolds with constant symbol. arXiv e-prints, page arXiv:2010.05366, Oct. 2020, 2010.05366

    work page arXiv 2010

  11. [11]

    E. Grong. Curvature and the equivalence problem in sub-Riemannian geometry. Arch. Math. (Brno), 58(5):295–327, 2022

    work page 2022

  12. [12]

    Grong and F

    E. Grong and F. Tripaldi. Filtered complexes and cohomologically equivalent subcomplexes. arXiv e-prints, page arXiv:2308.11353, Aug. 2023, 2308.11353

    work page arXiv 2023

  13. [13]

    R. K. Hladky. Connections and curvature in sub-Riemannian geometry. Houston J. Math. , 38(4):1107–1134, 2012

    work page 2012

  14. [14]

    Le Donne and A

    E. Le Donne and A. Ottazzi. Isometries of Carnot groups and sub-Finsler homogeneous manifolds. J. Geom. Anal., 26(1):330–345, 2016

    work page 2016

  15. [15]

    Morimoto

    T. Morimoto. Geometric structures on filtered manifolds. Hokkaido Math. J. , 22(3):263–347, 1993

    work page 1993

  16. [16]

    Morimoto

    T. Morimoto. Cartan connection associated with a subriemannian structure. Differential Geom. Appl., 26(1):75–78, 2008

    work page 2008

  17. [17]

    Olmos and S

    C. Olmos and S. Reggiani. The skew-torsion holonomy theorem and naturally reductive spaces. J. Reine Angew. Math. , 664:29–53, 2012

    work page 2012

  18. [18]

    M. Rumin. Un complexe de formes diff´ erentielles sur les vari´ et´ es de contact.C. R. Acad. Sci. Paris S´ er. I Math., 310(6):401–404, 1990

    work page 1990

  19. [19]

    M. Rumin. Formes diff´ erentielles sur les vari´ et´ es de contact.J. Differential Geom., 39(2):281– 330, 1994

    work page 1994

  20. [20]

    M. Rumin. Differential geometry on C-C spaces and application to the Novikov-Shubin num- bers of nilpotent Lie groups. C. R. Acad. Sci. Paris S´ er. I Math., 329(11):985–990, 1999

    work page 1999

  21. [21]

    S. Tanno. Variational problems on contact Riemannian manifolds. Trans. Amer. Math. Soc., 314(1):349–379, 1989

    work page 1989

  22. [22]

    I. Zelenko. On Tanaka’s prolongation procedure for filtered structures of constant type. SIGMA Symmetry Integrability Geom. Methods Appl. , 5:Paper 094, 21, 2009

    work page 2009

  23. [23]

    Zelenko and C

    I. Zelenko and C. Li. Differential geometry of curves in Lagrange Grassmannians with given Young diagram. Differential Geom. Appl., 27(6):723–742, 2009. University of Bergen, Department of Mathematics, P.O. Box 7803, 5020 Bergen, Nor- way Email address: erlend.grong@uib.no Department of Mathematics and Statistics, Faculty of Science, Masaryk University, K...

    work page 2009