Abstract:Given a finite collection of $C^1$ vector fields on a $C^2$ manifold which span the tangent space at every point, we consider the question of when there is locally a coordinate system in which these vector fields have a higher level of smoothness. For example, when is there a coordinate system in which the vector fields are smooth, or real analytic, or have Zygmund regularity of some finite order? We address this question in a quantitative way, which strengthens and generalizes previous works on the quantitative theory of sub-Riemannian (aka Carnot-Carathéodory) geometry due to Nagel, Stein, and Wainger, Tao and Wright, the second author, and others. Furthermore, we provide a diffeomorphism invariant version of these theories. This is the first part in a three part series of papers. In this paper, we study a particular coordinate system adapted to a collection of vector fields (sometimes called canonical coordinates) and present results related to the above questions which are not quite sharp; these results from the backbone of the series. The methods of this paper are based on techniques from ODEs. In the second paper, we use additional methods from PDEs to obtain the sharp results. In the third paper, we prove results concerning real analyticity and use methods from ODEs.

Extension of Covariant Derivative (I): from Component Form to Objective Form

Extension of Covariant Derivative (ii): from Flat Space to Curved Space

Extension of Covariant Derivative (III): from Classical Gradient to Shape Gradient

Generalized Covariant Differentiation and Axiom-Based Tensor Analysis

Generalized Covariant Derivative with Respect to Time in Flat Space (II): Lagrangian Description

Covariant Derivatives on Homogeneous Spaces -- Horizontal Lifts and Parallel Transport

Covariant Derivatives on Homogeneous Spaces: Horizontal Lifts and Parallel Transport

Objective rates as covariant derivatives on the manifold of Riemannian metrics

On the geometry of diffeological vector pseudo-bundles and infinite dimensional vector bundles: automorphisms, connections and covariant derivatives

Inverting covariant exterior derivative

A New Variational Characterization of N-Dimensional Space Forms

Coordinates Adapted to Vector Fields: Canonical Coordinates

Recursive Formula for Covariant Derivatives and Geometric Classification of Quotient Modules

A Homotopy Continuation Solution of the Covariance Extension Equation

The Levi-Civita tensor noncovariance and curvature in the pseudotensors space

Covariant formulation of the post-1-Newtonian approximation to General Relativity

Covariance, Geometricity, Setting, and Dynamical Structures on Cosmological Manifold

Invariant higher-order variational problems II

Generalized forms and vector fields

Current Algebra and Generalised Cartan Geometry

Construction of Local Conservation Laws by Generalized Isometric Embeddings of Vector Bundles