Levi-Civita's type theorem for projectively equivalent sub-Riemannian metrics on step 2 distributions
Abstract
This paper extends the classical results of Eisenhart (1923) and Levi-Civita (1896) on the classification of pairs of germs of Riemannian metrics with the same geodesics, either as parametrized curves (affine equivalence) or as unparametrized curves (projective equivalence), to sub-Riemannian metrics on arbitrary step 2 distributions: at every stable point in the projective case and at every point in the affine case. This extends the results of Zelenko (2004) for contact and even-contact distributions and the affine result of Lin and Zelenko (2024) for step 2 distributions with ad-surjective Tanaka symbols; our projective result covers the ad-surjective case as well. In the affine case, we prove that if a sub-Riemannian metric admits an affinely equivalent metric that is not constantly proportional to it, then locally it is a product of two sub-Riemannian metrics. In the projective case, we prove the 2019 conjecture of Jean, Maslovskaya, and Zelenko on generalized Levi-Civita pairs; in particular, the distribution admits a product structure, the squares of its components are involutive, and the restrictions of the two metrics to each leaf of the corresponding foliation are conformal to each other under the appropriate pullback. The proof is based on a new graph-theoretic formalism, in which compatible moving frames are represented by the vertices and edges of certain graphs. As a byproduct, we introduce a new discrete invariant of step 2 nilpotent graded Lie algebras, the characteristic tuple. The compatible graphs are used on the open dense set where this tuple is locally constant; the resulting bracket relations are identities between smooth tensors, so they extend by continuity across the points where the tuple jumps. Consequently, our classification holds without any assumption of local constancy of the characteristic tuple.
Related
- Radial Projectively Induced Canonical Kähler Metrics: Rigidity and Classification
- Infinitesimal Hilbertianity for manifolds with Sobolev regular Riemannian metrics through uniform lower capacity bounds
- Compactly supported instability of Riemannian Schwarzschild–Tangherlini metrics
- An equivalent form of Hindman's Theorem
- Intrinsic Hilbert metrics on cones of equivalent norms
BibTeX
@misc{sinkule2026levicivitas,
title = {{Levi-Civita's type theorem for projectively equivalent sub-Riemannian metrics on step 2 distributions}},
author = {Christopher Sinkule and Igor Zelenko},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.40288},
eprint = {2610.40288},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.40288},
}
RIS
TY - UNPB
TI - Levi-Civita's type theorem for projectively equivalent sub-Riemannian metrics on step 2 distributions
AU - Christopher Sinkule
AU - Igor Zelenko
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.40288
UR - https://arxiv.org/abs/2610.40288
AB - This paper extends the classical results of Eisenhart (1923) and Levi-Civita (1896) on the classification of pairs of germs of Riemannian metrics with the same geodesics, either as parametrized curves (affine equivalence) or as unparametrized curves (projective equivalence), to sub-Riemannian metrics on arbitrary step 2 distributions: at every stable point in the projective case and at every point in the affine case. This extends the results of Zelenko (2004) for contact and even-contact distributions and the affine result of Lin and Zelenko (2024) for step 2 distributions with ad-surjective Tanaka symbols; our projective result covers the ad-surjective case as well. In the affine case, we prove that if a sub-Riemannian metric admits an affinely equivalent metric that is not constantly proportional to it, then locally it is a product of two sub-Riemannian metrics. In the projective case, we prove the 2019 conjecture of Jean, Maslovskaya, and Zelenko on generalized Levi-Civita pairs; in particular, the distribution admits a product structure, the squares of its components are involutive, and the restrictions of the two metrics to each leaf of the corresponding foliation are conformal to each other under the appropriate pullback. The proof is based on a new graph-theoretic formalism, in which compatible moving frames are represented by the vertices and edges of certain graphs. As a byproduct, we introduce a new discrete invariant of step 2 nilpotent graded Lie algebras, the characteristic tuple. The compatible graphs are used on the open dense set where this tuple is locally constant; the resulting bracket relations are identities between smooth tensors, so they extend by continuity across the points where the tuple jumps. Consequently, our classification holds without any assumption of local constancy of the characteristic tuple.
ER -