In this paper we prove a result which can be regarded as a sub-Riemannian version of de Rham decomposition theorem. More precisely, suppose that (M , H , g) is a contact and oriented sub-Riemannian manifold such that the Reeb vector ﬁeld ξ is an inﬁnitesimal isometry. Under such assumptions there exists a unique metric and torsion-free connection on H . Suppose that there exists a point q ∈ M such that the holonomy group (q) acts reducibly on H (q) yielding a decomposition H (q) = H (q)⊕···⊕ H (q) into (q)-irreducible factors. Using parallel transport we obtain 1 m the decomposition H = H ⊕ ··· ⊕ H of H into sub-distributions H . Unlike 1 m i the Riemannian case, the distributions H are not integrable, however they induce integrable distributions on M /ξ , which is locally a smooth manifold. As a result, every point in M has a neighborhood U such that T (U /ξ ) = ⊕···⊕ , and the 1 m latter decomposition of T (U /ξ ) induces the decomposition of U /ξ into the product of Riemannian manifolds. One can restate this as follows: every contact sub-Riemannian manifold whose holonomy group acts reducibly has, at least locally, the structure of a ﬁber bundle over a product of Riemannian manifolds. We also give a version of the theorem for indeﬁnite metrics. Keywords Contact distributions · Connections · Sub-Riemannian geometry · De Rham decomposition theorem 1 Introduction and statement of results Let M be a smooth (by smooth we mean of class C ) connected manifold. Suppose that H is a smooth bracket generating distribution on M of constant rank and g is a smooth Marek Grochowski m.grochowski@uksw.edu.pl Faculty of Mathematics and Natural Sciences, Cardinal Wyszynski ´ University, ul. Dewajtis 5, 01-815 Warsaw, Poland 0123456789().: V,-vol 13 Page 2 of 22 M. Grochowski Riemannian metric on H . The pair (H , g) is called a sub-Riemannian metric or a sub- Riemannian structure on M. The triple (M , H , g) is referred to as a sub-Riemannian manifold. Sub-Riemannian manifolds appear in many mathematical as well as physical problems and have been studied by many authors—see for instance [1–5,8,12,14] and the reference sections therein. Various problems in sub-Riemannian geometry like for instance the behavior of sub-Riemannian geodesics and their minimizing properties, conjugate and cut loci, sub-Riemannian spheres, isometries and conformal mappings, nilpotent approximations, differential properties of the sub-Riemannian distance etc. have been investigated in detail. In this paper we deal with holonomy determined by a class of connections introduced in [13] for contact sub-Riemannian manifolds, and prove a theorem that can be considered as a version of de Rham decomposition theorem for Riemannian manifolds. Different approaches to sub-Riemannian holonomy and some other problems involving it are treated, e.g., in [7,9]. By a contact sub-Riemannian manifolds we mean a sub-Riemannian manifold (M , H , g), where dim M = 2n + 1, and H is a contact distribution on M.Given a contact connected sub-Riemannian manifold (M , H , g) it is natural to consider the bundle of orthonormal horizontal frames O (M ) associated with it: H ,g O (M ) ={(q; v ,...,v ) : v ,...,v is an orthonormal basis of H (q), q ∈ M }. H ,g 1 2n 1 2n This is a principle bundle with structure group O(2n). Moreover we will assume that H and TM are oriented, so the structure group can be reduced to SO(2n).Let ξ be the Reeb vector ﬁeld which is well deﬁned in such a situation. We will assume that ξ is an inﬁnitesimal isometry. Now it can be proved [13] that there exists a unique connection on O (M ) which is torsion-free (the deﬁnition of the torsion in our H ,g case is presented below). In the usual way deﬁnes the covariant differentiation ∇: Sec(TM ) × Sec(H ) −→ Sec(H ), where we use the following notation: if E −→ M is a vector bundle then by Sec(E ) we denote the C (M )-module of sections of E. Having a connection on the bundle O (M ) we can consider its holonomy group (q) at a point q ∈ M. Since M is H ,g connected the groups (q ) and (q ) are isomorphic for any two points q , q ∈ M. 1 2 1 2 The holonomy group (q) naturally acts on H (q) (for H is an associated vector 2n bundle to O (M ) with typical ﬁber R ). Suppose that the action of (q) on H (q) H ,g is reducible. Then H (q) decomposes into (q)-irreducible factors H (q) = H (q) ⊕ ··· ⊕ H (q) (1.1) 1 m which are mutually orthogonal with respect to g. By use of parallel translations we extend H (q) to distributions H on M resulting in a global decomposition i i H = H ⊕ ··· ⊕ H . (1.2) 1 m Next let us consider the set M /ξ of orbits of ξ . It is locally a smooth manifold of dimension 2n. A de Rham decomposition type theorem for contact… Page 3 of 22 13 If we ﬁx an arbitrary point q ∈ M and a neighborhood U of q such that U /ξ is 0 0 a connected smooth manifold, then we can canonically identify U /ξ with a regular 2n-dimensional submanifold B of M with q ∈ B (the details can be found below). Then the sub-Riemannian metric (H , g ) induces a natural Riemannian metric g |U |U B on B, and the connection ∇ induces a connection ∇ on B which turns out to be the Levi-Civita connection with respect to g . Moreover, if we denote by p : U −→ B the projection in the direction of ξ , then d p : H (q) −→ T B q |H (q) π(q) is a linear isometry. Using this projection, the decomposition (1.2) induces a decom- position TB = ⊕ ··· ⊕ (1.3) 1 m of TB into the Whitney sum of mutually orthogonal distributions. It is proved that are integrable and parallel with respect to ∇ ,sointurn(1.3) induces a decomposition of B. The main theorem may be stated as follows. Theorem 1.1 Suppose that (M , H , g) is a contact oriented sub-Riemannian manifold such that the Reeb vector ﬁeld ξ is an inﬁnitesimal isometry. Denote by the unique torsion-free connection on O (M ) and suppose that there exists a point q ∈ Msuch H ,g that the holonomy group (q) of acts reducibly on H (q) inducing the decomposition (1.1). Then every point in M has a neighborhood U such that the manifold U /ξ is isometric to the product (B , g ) × ··· × (B , g ) of Riemannian manifolds, where 1 1 m m B is of dimension rank H ,i = 1,..., m. More precisely, each B may be identiﬁed i i i with a maximal integrable manifold for the distribution ,i = 1,..., m. In particular, suppose that (M , H , g ), (M , H , g ) are two sub-Riemannian man- 1 1 1 2 2 2 ifolds satisfying the above assumptions. Let f : (M , H , g ) −→ (M , H , g ) be 1 1 1 2 2 2 an isometry and let ξ be the Reeb vector ﬁeld on (M , H , g ). Then for every sufﬁ- 1 1 1 ciently small open set U ⊂ M , which is convex with respect to ξ (that is to say every trajectory of ξ intersects U in a connected set), the Riemannian manifolds U /ξ and f (U )/ f ξ are isometric. Using the results from [16] we can generalized the above theorem to contact sub- pseudo-Riemannian manifolds (e.g. sub-Lorentzian manifolds), i.e., when the metric g on H is not necessarily positive deﬁnite. We need only to assume that (q) acts nondegenerately and reducibly on H (q) which means that the decomposition (1.1) consists of subspaces H (q) nondegenerate with respect to g. Theorem 1.2 Suppose that the assumptions of Theorem 1.1, where “sub-Riemannian manifold” is replaced with “sub-pseudo-Riemannian manifold” and “(q) acts reducibly on H (q)” is replaced with “(q) acts nondegenerately and reducibly on H (q)”, are satisﬁed. Then every point in M has a neighborhood U such that the man- ifold U /ξ is isometric to the product (B , g )×···× (B , g ) of pseudo-Riemannian 1 1 m m manifolds, where B is of dimension rank H and, as above, may be identiﬁed with a i i maximal integrable manifold of the distribution ,i = 1,..., m. i 13 Page 4 of 22 M. Grochowski Of course the remark made after the statement of Theorem 1.1 remains true with obvious modiﬁcations. Finally, we state the last theorem that we prove in the present paper. If (M , H , g) is a given contact and oriented sub-Riemannian manifold, dim M = 2n + 1, denote by α the normalized contact 1-from (see Sect. 2 for details). Then we can deﬁne the operator J : H −→ H by dα(X , Y ) = g(X , J (Y )). The operator J is a vector bundle morphism covering the identity. Furthermore, J is nondegenerate and antisymmetric with respect to g, therefore it has purely imaginary eigenvalues ±ib , j = 1,..., n (see [11] for further properties of J in the indeﬁnite case). If the b ’s are pointwise mutually distinct, then each b : M −→ R is a smooth function. We say that the structure (H , g) is strongly nondegenerate at a point q ∈ M,if b (q)< ··· < b (q) 1 n under suitable numeration (cf. [1] where the numbers b (q),..., b (q) are called 1 n fundamental frequencies). Theorem 1.3 Suppose that (M , H , g) is a contact oriented sub-Riemannian manifold. Suppose that (i) the Reeb vector ﬁeld ξ is an inﬁnitesimal isometry. Denote by the unique torsion-free connection on O (M ). Suppose next that (ii) the operator J H ,g is parallel with respect to . If J is strongly nondegenerate at a point q and U is a sufﬁciently small neighborhood of q, then U /ξ is isometric to a product of 2- dimensional Riemannian manifolds. Consequently, the conformal type of U /ξ depends neither on the choice of a metric g satisfying (i) and (ii) nor on a point q at which J is strongly nondegenerate. As the reader can see, all above theorems concern a decomposition of the quotient manifold U /ξ into a product of (pseudo-)Riemannian manifolds, provided that U is a sufﬁciently small neighborhood of a ﬁxed point. However, it would be very interesting to know if the set U itself admits a decomposition into a product of sub-(pseudo- )Riemannian manifolds. In the sub-Riemannian case, for instance, the set U is a so-called geodesic metric space. Then we know [10] that U admits a decomposition into a product of metric spaces. Such a decomposition is unique (up to a permutation of factors) and it would be of high importance to explicate if the factors in the mentioned decomposition carry some natural sub-Riemannian structure. Content of the paper In Sect. 2 we recall basic notions from contact sub-Riemannian geometry. In particular, we present the theory of connections on H introduced in the paper [13]. In Sect. 3 we prove the theorems. Throughout the paper we adopt the following convention. A vector v ∈ TM which belongs to H will be called horizontal. On the other hand, if is a distribution on O (M ), e.g., a connection, then a vector V ∈ TO (M ) belonging to will be H ,g H ,g referred to as a -horizontal vector. A de Rham decomposition type theorem for contact… Page 5 of 22 13 2 Contact sub-Riemannian geometry Suppose that (M , H , g) is a contact sub-Riemannian manifold, dim M = 2n + 1. We assume M to be connected. Let us suppose that M is oriented as a contact manifold which means that the vector bundles TM and H are oriented. This is equivalent to the existence of a globally deﬁned contact form, i.e., a 1-form α on M with the property that H = ker α (see [6,11]). In such a situation, i.e., when there exists a globally deﬁned contact form, we will say that the sub-Riemannian manifold (M , H , g) is oriented. Such a contact form is not unique, so we normalize it as follows: we suppose that dα ∧ ··· ∧ dα(X ,..., X ) = 1, (2.1) 1 2n n factors where X ,..., X is a ﬁxed local positively oriented orthonormal frame for H.For 1 2n n even we have two such forms α deﬁned up to a sign, so we choose either of them. A form satisfying (2.1) will be referred to as the normalized contact form. If α is the normalized contact form then we deﬁne the Reeb vector ﬁeld ξ on (M , H , g) as the solution to the system of equations dα(ξ, ·) = 0,α(ξ) = 1. Such a ﬁeld has the property that [ξ, X]∈ Sec(H ) whenever X ∈ Sec(H ). In particular the (local) ﬂow ϕ of ξ preserves the distribution H . Moreover, ξ deﬁnes a canonical decomposition TM = H ⊕ Span{ξ }. The projection deﬁned by this decomposition will be denoted by P : TM −→ H . (2.2) 2.1 Geodesics Suppose that X ,..., X be an orthonormal frame deﬁned on an open set U ⊂ M. 1 2n Let H : T M −→ R be deﬁned by |U 2n H(q,λ) = λ, X (q) . (2.3) i =1 Clearly, the value of (2.3) does not depend on the choice of an orthonormal basis, so H is in fact deﬁned on the whole cotangent bundle: H : T M −→ R. We call H the geodesic Hamiltonian.Bya normal or Hamiltonian geodesic we mean any − → curve being a projection onto M of the trajectory of the Hamiltonian vector ﬁeld H . In other words, a curve σ :[a, b]−→ M is a Hamiltonian geodesic if there exists λ :[a, b]−→ T M such that − → λ(t ) ∈ T M and (σ( ˙ t ), λ(t )) = H . (2.4) σ(t ) 13 Page 6 of 22 M. Grochowski It can be proved that in the contact case, every geodesic, i.e., a curve which locally minimizes the sub-Riemannian distance, is a Hamiltonian geodesic. However we will not use this fact. Let σ :[a, b]−→ M be a Hamiltonian geodesic and let λ(t ) be its lift to T M as in (2.4). Suppose that S is a submanifold in M such that σ(a) ∈ S. We say that σ satisﬁes the (Pontryagin) transversality condition with respect to S if λ(a) = 0. |T S σ(a) For a point q ∈ M, denote by D the set of all covectors λ ∈ T M such that the Hamiltonian geodesic with initial condition (q,λ) exists on the interval [0, 1]. Then we deﬁne the exponential mapping with pole at q as follows: exp : D −→ M , exp (λ) = σ(1), q q where σ(t ) is the Hamiltonian geodesic with initial condition (q,λ). One proves that exp is smooth. 2.2 Isometries and infinitesimal isometries Given two contact sub-Riemannian manifolds (M , H , g ), (M , H , g ), a diffeo- 1 1 1 2 2 2 morphism f : M −→ M is called an isometry if d f (H (q)) ⊂ H ( f (q)) and 1 2 q 1 2 d f : H (q) −→ H ( f (q)) is a linear isometry for every q ∈ M. In other words q 1 2 g (d f (v), d f (w)) = g (v, w) for all q ∈ M and v, w ∈ H (q). If the mani- 2 q q 1 1 folds (M , H , g ), i = 1, 2, are oriented and f : M −→ M is an isometry, then i i i 1 2 f α =±α ,aswellas f ξ =±ξ , where α is the normalized contact form and ξ 2 1 ∗ 1 2 i i is the Reeb vector ﬁeld on M , i = 1, 2. It can be also proved that isometries preserve Hamiltonian geodesics. More precisely, if f is an isometry and σ :[a, b]−→ M is a Hamiltonian geodesic satisfying the transversality condition with respect to a subman- ifold S, then f ◦ σ is a Hamiltonian geodesic satisfying the transversality condition with respect to f (S). A vector ﬁeld Z on a sub-Riemannian manifold (M , H , g) is called an inﬁnites- imal isometry if its (local) ﬂow consists of isometries. It can be shown that Z is an inﬁnitesimal isometry if and only if (i) [Z , Y]∈ Sec(H ) and (ii) Z (g(X , Y )) = g([Z , X ], Y ) + g(X , [Z , Y ]) for every X , Y ∈ Sec(H ). 2.3 Connection on the bundle of horizontal frames In this subsection we present the construction of the connection which agrees with a given sub-Riemannian structure. Details are described in [13]. Note that [13, Propo- sition 7.1] is not true (one needs to impose stronger assumptions). Let (M , H , g) be an oriented contact sub-Riemannian manifold. Consider the bun- dle of horizontal frames determined by it: L (M ) ={(q; v ,...,v ) : q ∈ M , H (q) = Span{v ,...,v }}; H 1 2n 1 2n by π : L (M ) −→ M we denote its projection, i.e., π(q; v ,...,v ) = q.This H 1 2n is a principle bundle with the structure group GL(2n). Indeed, we have a natural A de Rham decomposition type theorem for contact… Page 7 of 22 13 i i right action: (q; v ,...,v ).a = (q; a v ,..., a v ), a ∈ GL(2n) (here and below 1 2n i i 1 2n we use the Einstein summation convention). Moreover, if X ,..., X is a basis 1 2n of sections of H deﬁned on an open set U ⊂ M then the local trivialization ψ : −1 π (U ) −→ U × GL(2n) of L (M ) actsasfollows.If l = (q; v ,...,v ) then H 1 2n ψ(l) = (q, a(l)), where a(l) ∈ GL(2n) is such that v = a (l)X (q). The metric g reduces L (M ) to i j H the bundle O (M ) ={(q; v ,...,v ) ∈ L (M ) : g(v ,v ) = δ , i , j = 1,..., 2n} H ,g 1 2n H i j ij of orthonormal horizontal frames. This is a principle O(2n)-bundle. Every l = 2n (q; v ,...,v ) ∈ O (M ) deﬁnes the linear isomorphism l : R −→ H (π(l)) = 1 2n H ,g H (q) which is given by l(r ) = r v . (2.5) As usual, by a connection on O (M ) we mean a distribution ⊂ TO (M ) such H ,g H ,g that TO (M ) = ⊕ V and which is O(2n)-invariant, i.e., d R ( ) = for H ,g l a l l.a every a ∈ O(2n) and l ∈ O (M ).Here V stands for the vertical distribution on H ,g O (M ): V = ker d π, and R : O (M ) −→ O (M ) is the right action of H ,g l l a H ,g H ,g O(2n). Note that if is a connection on O (M ) then we have a natural splitting H ,g H ξ = ⊕ , (2.6) H −1 ξ −1 where = (dπ) (H ) ∩ and = (dπ) (Span{ξ }) ∩ ; as above ξ stands for the Reeb vector ﬁeld. Given a connection on O (M ) we want to deﬁne its torsion. First of all we H ,g need to specify the counter part of the canonical 1-form from the theory of linear frame bundles. We do it as follows. For every l ∈ O (M ) we deﬁne H ,g −1 2n θ(l) = l ◦ P ◦ d π : T O (M ) −→ R , (2.7) l l H ,g 2n where P is deﬁned in (2.2). The object θ is a 1-form on O (M ) with values in R H ,g and will be called the canonical 1-form on O (M ).Now by the torsion form of H ,g we mean the 2-form which is given by = dθ ◦ (pr, pr), (2.8) where pr : TO (M ) = ⊕ V −→ stands for the projection. Due to the splitting H ,g (2.6), the torsion can be decomposed into the horizontal torsion and vertical torsion (see [13]). It can be proved [13] that there always exist connections on O (M ) H ,g with vanishing horizontal torsion. The class of connections with vanishing horizontal 13 Page 8 of 22 M. Grochowski torsion is determined by a canonical choice of . To be more precise, various con- nections with vanishing horizontal torsion have the same component , while the component may be different. Suppose further that the Reeb ﬁeld is an inﬁnitesimal isometry. Under such assump- tions one can prove [13] that there exist a unique connection on O (M ) which is H ,g torsion-free. In other words, under the mentioned assumptions, there exists a unique torsion-free and metric connection associated with the structure (H , g). Such a con- nection induces the covariant derivation ∇: Sec(TM ) × Sec(H ) −→ Sec(H ). Being metric means that Z (g(X , Y )) = g(∇ X , Y ) + g(X , ∇ Y ), Z Z moreover, the vanishing of the horizontal torsion means that ∇ Y −∇ X = P([X , Y ]), (2.9) X Y whereas the vanishing of the vertical torsion is expressed by ∇ X =[ξ, X ], (2.10) whenever Z ∈ Sec(TM ), X , Y ∈ Sec(H )—cf. [13]. At the end of this section let us note that if is the mentioned torsion-free connection ξ ξ ∗ on O (M ), then the component in the splitting (2.6)isgiven by = Span{ξ }, H ,g where the vector ﬁeld ξ (being the -horizontal lift of ξ ) is deﬁned as follows. Take q ∈ M and let ϕ : U −→ M be the (local) ﬂow of ξ , where U is a neighborhood of q. t t −1 t Then we can lift ϕ to the mapping : π (U ) −→ O (M ), (q; v ,...,v ) = H ,g 1 2n t t t −1 (ϕ (q); d ϕ (v ),..., d ϕ (v )), and for l ∈ π (q) we set q 1 q 2n ∗ t ξ (l) = (l). dt t =0 2.4 Holonomy Given a connection on O (M ), we can deﬁne parallel displacement along curves H ,g on M and the holonomy group in the standard manner (see [15]). Consider a piecewise smooth curve γ :[a, b]−→ M. The curve γ induces the parallel displacement of ﬁbers −1 −1 τ : π (γ (a)) −→ π (γ (b)) −1 ∗ which is deﬁned as follows. Take l ∈ π (γ (a)) and let γ :[a, b]−→ O (M ) be H ,g ∗ ∗ the -horizontal lift of γ initiating at l, i.e., π ◦γ = γ , γ (t ) ∈ ∗ whenever the γ (t ) dt ∗ ∗ derivative exists, and γ (a) = l. Then τ (l) = γ (b). Moreover, if we are given two piecewise smooth curves γ :[a , b ]−→ M, i = 1, 2, such that γ (b ) = γ (a ),we i i i 1 1 2 2 A de Rham decomposition type theorem for contact… Page 9 of 22 13 have τ = τ ◦ τ , where γ · γ is the concatenation of γ and γ . In particular, γ ·γ γ γ 2 1 1 2 2 1 2 1 if C (q) denotes the set of all piecewise smooth loops at a point q ∈ M, then (q) ={τ : γ ∈ C (q)} is a Lie group which is called the holonomy group at q and is denoted by (q). Such a −1 group can be realized as a subgroup (l), l ∈ π (q), of the structure group O(2n): if γ ∈ C (q) then l and τ (l) belong to the same ﬁber of π : O (M ) −→ M, γ H ,g hence γ determines a unique element a ∈ O(2n) such that τ (l) = l.a . In this way γ γ γ (l) ={a : γ ∈ C (q)} is a subgroup of O(2n). It is proved that if M is connected then holonomy groups at any two points are isomorphic. The connection induces also the parallel displacement in every vector bundle associated with O (M ), so in particular in H . More precisely, if γ :[a, b]−→ M H ,g is a curve then we can deﬁne the parallel displacement or translation along γ (we use the same notation as above) τ : H (γ (a)) −→ H (γ (b)) ∗ ∗ as τ(v) = γ (b)(r ), where γ :[a, b]−→ O (M ) is a -horizontal lift of γ , H ,g ∗ 2n ∗ π(γ (a)) = γ(a), and r ∈ R is such that γ (a)(r ) = v. Notice that for every γ the map τ is a linear isometry. In particular, the holonomy group (q) acts on H (q). Suppose that (q) acts reducibly on H (q), and let H (q) = H (q) ⊕ ··· ⊕ H (q) (2.11) 1 m be the decomposition of H (q) into (q)-irreducible and (q)-invariant mutually orthogonal subspaces. It is a standard observation that the decomposition (2.11) can be extended by the parallel displacement to the decomposition H = H ⊕ ··· ⊕ H (2.12) 1 m of the distribution H . Indeed, if γ is a curve starting at q then τ (H (q)) does not γ i depend on γ but only on its endpoints. To end this subsection, we note that, by the deﬁnition of the covariant derivation induced by , ∇ (Sec(H )) ⊂ Sec(H ) (2.13) Z i i for every Z ∈ Sec(TM ) and i = 1,..., m. 3 Proof of Theorems 1.1 and 1.2 In this section we assume that (M , H , g) is a ﬁxed contact oriented and connected sub-Riemannian manifold, dim M = 2n + 1. Suppose that the Reeb vector ﬁeld ξ is an inﬁnitesimal isometry and denote its (local) ﬂow by ϕ . Moreover, let be the 13 Page 10 of 22 M. Grochowski unique torsion-free connection on O (M ). Suppose that the holonomy group acts H ,g reducibly on H and the corresponding decomposition is H = H ⊕ ··· ⊕ H . 1 m As above H are constant rank distributions which are pairwise orthogonal with respect to g, rank H > 0, i = 1,... m.By ∇ we will denote the covariant derivation induced by . 3.1 Distributions H Distributions H need not be integrable, however their extensions are. For every i = 1,..., m let us deﬁne H = H ⊕ Span{ξ }. i i Proposition 3.1 The distribution H is integrable, i = 1,..., m. Proof Indeed by (2.13) it follows that ∇ Y ∈ Sec(H ) and ∇ X =[ξ, X]∈ Sec(H ) X i ξ i for every X , Y ∈ Sec(H ). Consequently, P([X , Y ]) =∇ Y −∇ X ∈ Sec(H ) X Y i which in turn implies [X , Y]∈ Sec(H ). In particular we see that the distributions H ,aswellas H , are invariant by the ﬂow i i of ξ . 3.2 The submanifold B: construction of the bundle over B Fix a point q ∈ M.Let q ∈ U where U ⊂ M is an open set that will be speciﬁed 0 0 below. We construct a regular submanifold B of M, q ∈ B, which can be canonically identiﬁed with U /ξ . We start by choosing a coordinate system around q which will be convenient for our purposes. Denote by δ : (−ε, ε) −→ M the trajectory of the Reeb ﬁeld ξ such that δ(0) = q . Select a local basis X ,..., X of section of H deﬁned near q and 0 1 2n 0 t t let g stand for the (local) ﬂow of X , i = 1,..., 2n. We can assume that each g is i i deﬁned on a neighborhood of q and for |t | <ε. By shrinking U we can suppose that the mapping 1 2n 1 2n x˜ x˜ (x˜ ,..., x˜ , z) −→ g ◦ ··· ◦ g ◦ δ(z) 1 2n A de Rham decomposition type theorem for contact… Page 11 of 22 13 1 2n i deﬁnes coordinates (x˜ ,..., x˜ , z) on U such that x˜ (q ) = z(q ) = 0, 0 0 ∂ ∂ H = Span ,..., , |δ 1 2n ∂x˜ ∂x˜ ∂ 1 2n and ξ = .Let (x˜ ,..., x˜ , z, p ˜ ,..., p ˜ , r ) be the Darboux coordinates on |δ 1 2n ∂z T M and let us set |U A ={(0,..., 0, z, p ˜ ,..., p ˜ , 0) :|z|, |˜ p |,..., |˜ p | <ε}⊂ T M . 1 2n 1 2n |U The set A can be regarded as the set of initial conditions for sub-Riemannian geodesics satisfying the Pontryagin transversality conditions with respect to δ (cf. [1]). Now, the assignment 1 2n 1 2n (x ,..., x , z) −→ exp (x ,..., x , 0) (3.1) (0,...,0,z) 1 2n deﬁnes the desired coordinates (x ,..., x , z) around q . We can suppose that they are deﬁned on U (shrinking U again if necessary). Let us notice that ∂ ∂ H = Span ,..., , |δ 1 2n ∂x ∂x ∂ 2n ξ = , and straight lines t −→ (tv, z) in these coordinates, where v ∈ R and |δ ∂z v = 1, are sub-Riemannian geodesics parameterized by arc length, which i =1 satisfy the transversality conditions with respect to δ. We deﬁne the following family of hypersurfaces S ={q ∈ U : z(q) = w} 2n+1 transverse to δ. We will identify U with an open subset of R with coordinates (x , z), so we will also write S ={(x , z) : z = w}. Proposition 3.2 ϕ (S ) = S . w w+t Proof S is the union of geodesics which in our coordinates have the form σ(s) = (sv, w), |v|= 1. As we said above these are are exactly the geodesics that start from δ and satisfy the Pontryagin transversality conditions with respect to δ.Fix such a geodesic σ(s) = (sv, w). Since ϕ is an isometry preserving δ, the curve s −→ ϕ (σ (s)) is again a geodesic that starts from δ and satisﬁes the transversality condition with respect to δ. Thus it must be of the form s −→ (sv, ˜ w) ˜ . Because ϕ (σ (0)) = (0,w + t ) in (x , z)-coordinates, w ˜ = w + t which ends the proof. Now, let us set B = S . Remark that B (or more precisely, its germ at q ) is deﬁned 0 0 canonically and does not depend on coordinates. We deﬁne the projection p : U −→ B 13 Page 12 of 22 M. Grochowski as the projection onto B in the direction of ξ : t (q) p(q) = ϕ (q), t (q) where t (q) is such that ϕ (q) ∈ B. By construction, ξ is transverse to B, and t (q) depends smoothly on q by the implicit function theorem. Obviously t (q) = 0for q ∈ B and, moreover, p ◦ ϕ = p. (3.2) We see that p : U −→ B is a ﬁber bundle with ﬁbers being trajectories of ξ . 3.3 Induced metric and connection on B Our next aim is to endow B with a suitably induced Riemannian metric and a connec- tion. Suppose that X ∈ Sec(TB). First we construct the canonical ’lift’ of X to the ﬁeld X ∈ Sec(H ) on U by formula t t X (ϕ (q)) = d ϕ (X (q) − α (X )ξ(q)) (3.3) q q for every q ∈ B and every t for which the above expression is deﬁned. Recall that α stands for the normalized conatct form. Proposition 3.3 Suppose that X ∈ Sec(TB) and let X ∈ Sec(H ) be the horizontal lift deﬁned above. For every q ∈ U d p(X (q)) = X (p(q)). Proof Let q = ϕ (q ¯ ), where q ¯ ∈ B. Then using (3.3) and (3.2)wehave d p(X (q)) = d p ◦ d ϕ (X (q ¯ ) − α (X )ξ(q ¯ )) = d p(X (q ¯ ) − α (X )ξ(q ¯ )) q q ¯ q ¯ q ¯ q ¯ ϕ (q ¯ ) and it sufﬁces to notice that d p(X (q ¯ )) = X (q ¯ ) and d p(ξ ) = 0. The ﬁrst equality q ¯ q ¯ follows from p = id and the other from the deﬁnition of p. |B Now we deﬁne the announced Riemannian metric on B.For q ∈ B and X , Y ∈ Sec(TB) we set g (X (q), Y (q)) = g X (q) − α (X )ξ(q), Y (q) − α (Y )ξ(q) . (3.4) B q q The last equation can be rewritten as g (X (q), Y (q)) = g (d p(X (q)), d p(Y (q))) = g(X (q), X (q)). (3.5) B B q q Note that if X ,..., X is a basis of T B, then X = X − α(X )ξ(q),..., X = 1 2n q 1 1 1 2n X − α(X )ξ(q) is a basis of H and d p(X ) = X for every i. Remembering (3.5) 2n 2n q q i i we obtain the following statement. A de Rham decomposition type theorem for contact… Page 13 of 22 13 Corollary 3.1 For every q ∈ B d p : H −→ T B q |H q q is a linear isometry. Notice that B carries a natural orientation determined by the orientation of H . Remark 3.1 Let us remark that if we apply the same procedure to deﬁne the Riemannian metric on S , w = 0, then the resulting Riemannian manifold will be isometric to (B, g ). We proceed to deﬁne a connection on B. Denote by O(B) the bundle of orthonormal frames of B.Let π : O(B) −→ B be the corresponding projection and V = B B ker dπ be the vertical distribution. By Corollary 3.1 we have the natural mapping p ˆ : O (U ) −→ O(B), p ˆ(q; v ,...,v ) = (p(q); d p(v ),..., d p(v )).Of H ,g 1 2n q 1 q 2n course the diagram p ˆ O (U ) O(B) H ,g (3.6) π B UB H ξ ξ is commutative. Recall that we have the decomposition = ⊕ , where = ∗ t t ∗ Span{ξ }. Note that p ˆ ◦ =ˆ p (where is the local ﬂow of ξ ). Indeed, t t t t p ˆ ◦ (q; v ,...,v ) = (p(ϕ (q)); d (p ◦ ϕ )(v ),..., d (p ◦ ϕ )(v )) 1 2n q 1 q 2n = (p(q); d p(v ), . . . , d p(v )). q 1 q 2n Proposition 3.4 The mapping p ˆ deﬁned above is a surjective submersion. Proof Evidently p ˆ is onto B.Fix l = (q; v ,...,v ) ∈ O (U ), q ∈ B, and 1 2n H ,g take w ∈ T O(B). Then w =¯ σ (0), where σ ¯ :[−ε, ε]−→ O(B) is a suit- p ˆ(l) able smooth curve. Clearly, σ( ¯ t ) = (σ (t ); w (t ), . . . , w (t )), σ( ¯ 0) =ˆ p(l),soin 1 2n particular w (0) = d p(v ). For the curve σ :[−ε, ε]−→ B, σ(0) = q, let us i q i construct its lift to a horizontal curve σ :[−ε, ε]−→ U , σ(0) = σ(0), as follows. Supposing that ε> 0 is sufﬁciently small and σ is contained in a coordinate chart V , extend the ﬁeld σ( ˙ t ) to a vector ﬁeld Z ∈ Sec(TB ).Using (3.3), we obtain the |V ﬁeld Z ∈ Sec(H ) and as σ :[−ε, ε]−→ U we simply take the trajectory of Z −1 | p (V ) starting from σ(0). By construction, p ◦ σ = σ . Now deﬁne −1 v (t ) = (d p ) w (t ), i = 1,..., 2n, i σ(t ) |H ( σ(t )) i and set c(t ) = ( σ(t ); v (t ), . . . , v (t )). 1 2n 13 Page 14 of 22 M. Grochowski It is easy to check that d p ˆ(c˙(0)) = w. Proposition 3.5 (a) d p ˆ( ) = 0; (b) d p ˆ(V ) = V ; B H (c) The distribution = d p ˆ( ) is a connection on O(B). Proof Part (a) and the inclusion d p ˆ(V ) ⊂ V follow from the equation before Propo- sition 3.4, diagram (3.6) and Proposition 3.4.Now take w ∈ V . Then w = d p ˆ(v), v ∈ TO (M ), and since dp(dπ(v)) = dπ (w) = 0, it must be v = λξ + v , H ,g B λ ∈ R, v ∈ V . Consequently w = d p ˆ(v ) ∈ d p ˆ(V ). We will prove (c). First notice that p ˆ ◦ R = R ◦ˆ p. (3.7) a a H H Next, since d R ( ) = , l a l l.a B H H H B d R ( ) =d R ◦ d p ˆ( ) =d p ˆ ◦ d R ( ) = d p ˆ ◦ ( ) = . a a l l.a l a l.a p ˆ(l) p ˆ(l) l l l.a p ˆ(l) p ˆ(l).a B H H Moreover, dπ ( ) = dπ ◦ d p ˆ( ) = dp ◦ dπ( ) = dp(H ) = TB,so B B TO(B) = ⊕ V . (3.8) Next we will compute the torsion of . To this end denote by pr : TO(B) −→ the projection corresponding to the decomposition (3.8). Corollary 3.2 pr ◦ d p ˆ = d p ˆ ◦ pr. Denote by θ the canonical 1-form on O(B). Lemma 3.1 Let θ be the canonical 1-form on O (M ) deﬁned in Sect. 2.3. Then H ,g p ˆ θ = θ. (3.9) Proof Take l ∈ O (M ).Wehave H ,g ∗ −1 −1 (p ˆ θ )(l) = θ (p ˆ(l)) ◦ d p ˆ =ˆ p(l) ◦ d π ◦ d p ˆ =ˆ p(l) ◦ d p ◦ d π B B l p ˆ(l) B l π(l) l and recalling (2.7) it is enough to prove that −1 −1 p ˆ(l) ◦ d p = l ◦ P. (3.10) π(l) −1 Let l = (q; v ,...,v ) and v ∈ TM. Then p ˆ(l) ◦ d p(v) = r if and only if 1 2n q i i d p(v) = d p(r v ), which in turn is equivalent to v = r v + λξ(q) for a certain q q i i −1 λ ∈ R.Now l ◦ P(v) = r and (3.10) is proved. A de Rham decomposition type theorem for contact… Page 15 of 22 13 The torsion of is equal to = dθ ◦(pr , pr ). Take two vectors v, w ∈ TO(B). B B B B Then v = d p ˆ(v) ˆ , w = d p ˆ(w) ˆ for v, ˆ w ˆ ∈ ⊂ TO (M ), and H ,g (v, w) = dθ (pr ◦ d p ˆ(v) ˆ , pr ◦ d p ˆ(w) ˆ ) = dθ (d p ˆ ◦ pr(v) ˆ , d p ˆ ◦ pr(w) ˆ ) B B B B B =ˆ p (dθ )(pr(v) ˆ , pr(w) ˆ ) = (v, ˆ w) ˆ = 0, where is the torsion form of (see (2.8)). We proved the following proposition. Proposition 3.6 is the Levi-Civita connection with respect to the metric g . Denote by ∇ : Sec(TB) × Sec(TB) −→ Sec(TB) the covariant derivation induced B B by . We have an explicit formula for ∇ . Proposition 3.7 For every X , Y ∈ Sec(TB) and q ∈ B (∇ Y )(q) = d p(∇ Y )(q), (3.11) X X where X, Y are deﬁned according to formula (3.3). We postpone the proof of this proposition until the appendix. 3.4 Distributions 1 and decomposition of TB The decomposition of H induces the decomposition of TB into the distributions on B which are deﬁned as = dp(H ) = dp(H ), (3.12) i i i i = 1,..., m. By Proposition 3.3 such a deﬁnition is correct. For a curve γ :[a, b]−→ B denote by τ : H (γ (a)) −→ H (γ (b)) the parallel translation along γ determined by the connection . We prove the following lemma. Lemma 3.2 Suppose that γ :[a, b]−→ B and γ :[a, b]−→ M are piecewise smooth curves such that γ is horizontal and p ◦ γ = γ . Then the diagram H ( γ(a)) H ( γ(b)) d p d p γ(a) γ(b) T BT B γ(a) γ(b) is commutative. Proof Take v ∈ T B and v ∈ H ( γ(a)) such that dp( v) = v. Suppose that γ : γ(a) 2n ∗ [a, b]−→ O (M ) is a -horizontal lift of γ . Choose r ∈ R such that γ (a)(r ) = H ,g v. Then, by deﬁnition of the parallel transport, τ ( v) = γ (b)(r ). Now the curve ∗ ∗ t −→ p ˆ( γ (t ))(r ) = d p γ (t )(r ) γ(t ) 13 Page 16 of 22 M. Grochowski (again by deﬁnition) is parallel in TB, projects onto γ and initiates at v, therefore B ∗ τ (v) = d p γ (b)(r ) . γ(b) This proves the commutativity of the above diagram. Proposition 3.8 The distributions are parallel with respect to the connection , i.e., for every point q ∈ B, each can be obtained from (q) by parallel transport. i i Moreover, are irreducible with respect to the holonomy group of . Proof Fix an index i and take a piecewise smooth curve γ :[a, b]−→ B.Pick numbers a = a < a < ··· < a = b such that each γ = γ admits a lift to 0 1 m j |[a ,a ] j −1 j a horizontal curve γ :[a , a ]−→ U , γ (a ) = γ(a ), as it is described in j j −1 j j j −1 j −1 B B B the proof of Proposition 3.4. Obviously τ = τ ◦ ··· ◦ τ and by Lemma 3.2 each γ γ γ m 1 B B τ preserves the distribution .Itfollows that τ ( (γ (a)) = (γ (b)) as desired. i i i γ γ Fix now a point q ∈ B and suppose that we have a decomposition (1) (2) (q ) = (q ) ⊕ (q ) (3.13) i 0 0 0 i i ( j ) ( j ) −1 into nontrivial components. Let H (q ) = (d p) (q ) ∩ H (q ), j = 1, 2. 0 q 0 i 0 i i (1) (2) ( j ) Clearly, H (q ) = H (q ) ⊕ H (q ) and H (q ) are not (q )-invariant. There- i 0 0 0 0 0 i i i (1) fore there exists a nonzero v ˆ ∈ H (q ) and a horizontal curve γ :[0, 1]−→ M such (2) (1) that γ(0) = γ(1) = q and τ (v) ˆ ∈ H (q ).Let γ = p ◦ γ .Now dp(v) ˆ ∈ (q ) 0 γ 0 0 i i (2) ( j ) and by Lemma 3.2 τ (dp(v) ˆ ) ∈ (q ) which proves that (q ) are not invariant 0 0 γ i i with respect to the holonomy group of . In particular it follows that ∇ (Sec( )) ⊂ Sec( ) for every X ∈ Sec(TB) and, i i B B consequently, are integrable. Indeed, if X , Y ∈ Sec( ) then ∇ Y −∇ X = i i X Y [X , Y]∈ Sec( ). Now, to ﬁnish the prove of Theorem 1.1 we just use de Rham decomposition theorem [15]. Let us note that the integrability of the distributions can be also proved in the following way. For a point q ∈ B denote by M the maximal integral manifold of H passing through q. Using, e.g., Corollary 3.1 we deduce that p : M −→ B is of constant rank and hence p(M ) is an integral manifold of |M i i i passing through q. In the sub-pseudo-Riemannian case the proof goes along the same lines. The only difference is that the structure group of the bundle O (M ) is now O(k, 2n − k) H ,g where k is the index of a metric g, and by an orthonormal frame we mean every frame X ,..., X such that g(X , X ) = 0, i = j, g(X , X ) =−1, 1 ≤ i ≤ k, 1 2n i j i i g(X , X ) = 1, k + 1 ≤ j ≤ 2n . Moreover, a few words more about Hamiltonian j j geodesics in the indeﬁnite case should be added, and we do it in the appendix. At the end we use the version of de Rham Theorem proved in [16]. A de Rham decomposition type theorem for contact… Page 17 of 22 13 4 Proof of Theorem 1.3 Replacing M with an open subset, if needed, we can suppose that our structure is strongly nondegenerate on M. Then the eigenvalues ±ib of J are smooth functions on M. For any point q ∈ M there exists a neighborhood U of q and an orthonormal frame X ,..., X ∈ Sec(H ) such that J (X ) =−b X and J (X ) = b X on 1 2n |U 2 j −1 j 2 j 2 j j 2 j −1 U , j = 1,..., n. Let us deﬁne H = Span{X , X }. (4.1) j |U 2 j −1 2 j Of course H glue together to globally deﬁned distributions on M and we obtain j |U the decomposition of H H = H ⊕ ··· ⊕ H (4.2) 1 n into the Whitney sum of pairwise orthogonal rank 2 sub-distributions. Let l = (q; v ,...,v ) ∈ O (M ). Denote by e ,..., e the standard basis of 1 2n H ,g 1 2n 2n 1 2n 2n ∗ ∗ R and by f ,..., f the dual basis of (R ) . Let us recall that since H , H and Hom(H , H ) are vector bundles associated with O (M ) with typical ﬁber equal to H ,g 2n 2n ∗ 2n ∗ 2n R , (R ) , (R ) ⊗ R , respectively, then l acts as linear isomorphisms (cf. [15]) 2n 2n ∗ ∗ 2n ∗ 2n l : R −→ H (q), l : (R ) −→ H (q) , l : (R ) ⊗ R −→ Hom(H (q), H (q)) j ∗ j j ∗ j which are respectively deﬁned by l(e ) = v , l( f ) = v , l( f ⊗ e ) = v ⊗ v ; j j k k ∗ j ∗ here v ∈ H is the covector dual to v ∈ H . j q Now ﬁx a point q ∈ M. Choose an orthonormal basis v ,...,v of H (q) such 1 2n that J (v ) =−b (q)v , J (v ) = b (q)v , j = 1,..., n. q 2 j −1 j 2 j q 2 j j 2 j −1 Let us deﬁne a 2n × 2n-matrix (A ) by i j 2 j −1 2 j A f ⊗ e = − b (q) f ⊗ e + b (q) f ⊗ e . i j 2 j j 2 j −1 j =1 i j If l = (q; v ,...,v ) then clearly l(A f ⊗ e ) = J . Further take an arbitrary 1 2n i q smooth horizontal curve σ :[0, 1]−→ M such that σ(0) = q. Denote by σ : [0, 1]−→ O (M ) the -horizontal lift of σ which satisﬁes σ (0) = l. Then H ,g ∗ i j σ (0)(A f ⊗ e ) = J . By assumption the operator J is parallel, therefore i q ∗ i j σ (t )(A f ⊗ e ) = J (4.3) i σ(t ) j 13 Page 18 of 22 M. Grochowski 1 ∗ for t ∈[0, 1]. Equation (4.3) means that if σ (t ) = (σ (t ); v (t), ...,v (t )) then 1 2n for every t J (v (t )) =−b (q)v (t ), J (v (t )) = b (q)v (t ), j = 1,..., n. σ(t ) 2 j −1 j 2 j q 2 j j 2 j −1 Since σ is an arbitrary horizontal curve, and any two points of M can be joined by a horizontal curve, this ends the proof of the following proposition. Proposition 4.1 Under the assumptions of Theorem 1.3,b = const, j = 1,..., n, in a neighborhood of every point at which the structure is strongly nondegenerate. More- over, the distributions H ,..., H from (4.2) are parallel on such a neighborhood. 1 n To end the proof we proceed exactly as above which results in a decomposition (B , g )×···×(B , g ) of B into the product of 2-dimensional Riemannian manifolds. 1 1 n n It remains to recall the classical result saying that any two Riemannian manifolds of dimension 2 are locally conformally equivalent. Availability of data and material Data sharing not applicable to this article as no datasets were generated or analysed during the current study. Declarations Conﬂicts of interest The author declares that he has no conﬂict of interest. Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. Appendix A: Hamiltonian geodesics in sub-pseudo-Riemannian case Since sub-pseudo-Riemannian geometry is very little known as compared to the sub- Riemannian one, we give here some facts concerning Hamiltonian geodesics and prove that they are preserved by isometries. Suppose that (M , H , g) is a contact sub-pseudo- Riemannian manifold and suppose that g has index k. By a local orthonormal frame for (H , g) we mean a frame X ,..., X deﬁned on an open set U ⊂ M such that 1 2n g(X , X ) = ε δ , where i j i ij −1 : i = 1,..., k ε = . +1 : i = k + 1,..., 2n 1 ∗ Note [15] that parallel curves in Hom(H , H ) covering σ are exactly of the form t −→ σ (t )(A) with 2n ∗ 2n A ∈ (R ) ⊗ R . A de Rham decomposition type theorem for contact… Page 19 of 22 13 We deﬁne the geodesic Hamiltonian H : T M −→ R. First we do so locally. Suppose that U ⊂ M is an open subset such that there exists an orthonormal frame X ,..., X 1 2n for H . Then we set |U 2n H(q,λ) = ε λ, X (q) i i i =1 on T M . Next we notice that such a deﬁnition is independent of the choice of an |U orthonormal frame. Indeed, if X ,..., X is any other orthonormal frame for H , |U 1 2n then X = a X , where (a ) ∈ O(k, 2n − k). By the deﬁnition of O(k, 2n − k) we i i j obtain that 2n 2n 2 2 2 λ, X (q) = ε (a ) λ, X i i j i i i =1 i , j =1 2n 2n 2n 2 2 2 = ε (a ) λ, X = ε λ, X i j j j j =1 i =1 j =1 as claimed. It follows that H is well deﬁned on the whole T M. Recall that we have the canonical symplectic structure on T M which we will denote by ϒ (ϒ is the exterior differential of the Liouville 1-form on T M). Thus the geodesic Hamiltonian − → determines the Hamiltonian vector ﬁeld H on T M.Now by a Hamiltonian geodesic on the given sub-pseudo-Riemannian manifold we mean every curve on M which is − → a projection of a trajectory of the ﬁeld H . Once we have the notion of Hamiltonian geodesics, we can deﬁne the exponential mapping with pole at a given point q ∈ M exactly as it is done in the sub-Riemannian case. Suppose f : M −→ M is a diffeomorphism. Then we have the induced diffeo- 1 2 ∗ ∗ −1 ∗ ˆ ˆ morphism f : T M −→ T M which acts by f (q,λ) = ( f (q), ((d f ) ) λ).Itis 1 2 q well-known that f is a symplectomorphism with respect to the canonical symplectic structures on T M . A diffeomorphism f : (M , H , g ) −→ (M , H , g ) of two sub-pseudo- 1 1 1 2 2 2 Riemannian manifolds is called an isometry if d f (H (q)) ⊂ H ( f (q)) and d f : q 1 2 q H (q) −→ H ( f (q)) is a linear isometry for every q ∈ M. In particular the two 1 2 metrics g , g have the same index. 1 2 Lemma A.1 Suppose that (M , H , g ) is a sub-pseudo-Riemannian manifold and i i i denote by H the geodesic Hamiltonian on (M , H , g ),i = 1, 2.If f : M −→ M i i i i 1 2 is an isometry then H ◦ f = H (A.1) 2 1 and, moreover, − → − → d f (H ) = H . (A.2) 1 2 13 Page 20 of 22 M. Grochowski Proof Fix (q,λ) ∈ T M and let X ,..., X be an orthonormal frame for H deﬁned 1 1 2n 2 in a neighborhood of f (q). Then 2n −1 ∗ H ◦ f (q,λ) = ((d f ) ) λ, X ( f (q)) 2 q j j =1 2n −1 λ, (d f ) X ( f (q))= H (q,λ), q j 1 j =1 −1 −1 since (d f ) X ,...,(d f ) X is an orthonormal frame for H around q. q 1 q 2n 1 In order to prove (A.2) we note that in addition to (A.1)wealsohave f ϒ = ϒ . 2 1 Consequently, we have ﬁnished the proof of the following proposition. Proposition A.1 Isometries preserve Hamiltonian geodesics. Appendix B: Proof of Proposition 3.7 In this section we prove that the operator (D Y )(q) = d p(∇ Y )(q), X q where X , Y ∈ Sec(TB) and q ∈ B, is a Levi-Civita connection for the metric g .As above X, Y are deﬁned according to formula (3.3). ∞ ∞ For a function f ∈ C (B) let us deﬁne f ∈ C (U ) by f (q) = f (p(q)) and observe that fX = f X (B.1) whenever X ∈ Sec(TB). Further, we have Lemma B.1 Under the above notation, for X ∈ Sec(TB),f ∈ C (B),q ∈ B X ( f ) = X ( f ); in particular, X ( f )(q) = X ( f )(q). Moreover, ξ( f ) = 0. Proof The second formula is obvious since f is constant along the trajectories of ξ . To prove the ﬁrst part, ﬁx an arbitrary point belonging to U . Such a point is of the A de Rham decomposition type theorem for contact… Page 21 of 22 13 form ϕ (q) where q ∈ B and s ∈ R.Wehave s s X ( f )(ϕ (q)) = d ϕ X (q) − α (X )ξ(q) ( f ◦ p) q q = d p ◦ d ϕ X (q) − α (X )ξ(q) ( f ) = d p X (q) − α (X )ξ(q) ( f ) ϕ (q) q q q q = X ( f )(q) = X ( f )(ϕ (q)). We make sure that D deﬁned above is indeed a connection. To this end take X , Y ∈ Sec(TB), f ∈ C (B) and q ∈ B. Then ˜ ˜ ˜ (D Y )(q) = d p((∇ Y )(q)) = f (q)d p((∇ Y )(q)) = ( fD Y )(q), fX q q ˜ X fX and ˜ ˜ D ( fY ) (q) = d p((∇ fY )(q)) = d p((∇ f Y )(q)) X q ˜ q ˜ X X ˜ ˜ ˜ ˜ ˜ = d p X ( f )(q)Y (q) + f (q)∇ Y (q) = (X ( f )Y + fD Y )(q). q ˜ X Fix X , Y , Z ∈ Sec(TB) and q ∈ B. At ﬁrst we will compute the torsion of D. (D Y − D X )(q) = d p(∇ Y −∇ X )(q) = d p P([X , Y ])(q) X Y q q X Y = d p [X , Y ](q) , where the last equality follows from the fact that dp(ξ ) = 0. Now, for any f ∈ C (B) d p [X , Y ](q) ( f ) =[X , Y ]( f ◦ p)(q) =[X , Y ]( f )(q) = X (Y ( f )) − Y (X ( f )) (q) = X (Y ( f )) − Y (X ( f )) (q) = X (Y ( f )) − Y (X ( f )) (q) = X (Y ( f )) − Y (X ( f )) (q) =[X , Y ]( f )(q). It follows that D Y − D X =[X , Y ] X Y and D is torsion-free. Next we prove that D is a metric connection. Recall that Z (g(X , Y )) = g(∇ X , Y ) + g(X , ∇ Y ). (B.2) Z Z In order to evaluate the left-hand side of (B.2) let us notice that for every s (for which it makes sense) s s s g(X , Y )(ϕ (q)) = g d ϕ X (q) − α (X )ξ(q) , d ϕ Y (q) − α (Y )ξ(q) q q q q = g X (q) − α (X )ξ(q), Y (q) − α (Y )ξ(q) = g (X (q), Y (q)) q q B s s = g (X , Y )(p ◦ ϕ (q)) = g (X , Y )(ϕ (q)). B B 13 Page 22 of 22 M. Grochowski Therefore, according to Lemma B.1,wehave Z (g(X , Y ))(q) = Z (g (X , Y ))(q). Now the ﬁrst summand on the right-hand side of (B.2) evaluated at q is g(∇ X , Y )(q) = g d p ∇ X , d p(Y ) = g (D X , Y )(q) B q q B Z Z Z (we use (3.5) here) and similarly for the second summand. Hence Z (g (X , Y )) = g (D X , Y ) + g (X , D Y ) B B Z B Z which ends the proof of Proposition 3.7. References 1. Agrachev, A.A.: Exponential mappings for contact sub-Riemannian structures. J. Dyn. Control Syst. 2(3), 321–358 (1996) 2. Agrachev, A.A., Barilari, D.: Sub-Riemannian structures on 3D Lie groups. J. Dyn. Control Syst. 18(1), 21–44 (2012) 3. Agrachev, A. A., Barilari, D., Boscain, U.: Introduction to Riemannian and sub-Riemannian Geometry. Preprint SISSA 09/2012/M 4. Alekseevsky, D., Medvedev, A., Slovak, J.: Constant Curvature Models in sub-Riemannian Geometry. arXiv:1712.10278 5. Bellaïche, A.: The tangent space in sub-Riemannian geometry. Dynamical systems, 3. J. Math. Sci. (New York) 83(4), 461–476 (1997) 6. Blair, D.E.: Riemannian geometry of contact and symplectic manifolds, 2nd edn. Progress in Mathe- matics, 203. Birkhäuser Boston, Ltd., Boston, MA, 2010. xvi+343 pp. ISBN:978-0-8176-4958-6 7. Chitour, Y., Grong, E., Jean, F., Kokkonen, P.: Horizontal holonomy and foliated manifolds. Ann. Inst. Fourier (Grenoble) 69(3), 1047–1086 (2019) 8. Capogna, L., Le Donne, E.: Smoothness of sub-Riemannian isometries. Am. J. Math. 138(5), 1439– 1454 (2016) 9. Falbel, E., Gorodski, C., Rumin, M.: Holonomy of sub-Riemannian manifolds. Int. J. Math. 8(3), 317–344 (1997) 10. Foertsch, T., Lytchak, A.: The de Rham decomposition theorem for metric spaces. Geom. Funct. Anal. 18(1), 120–143 (2008) 11. Grochowski, M., Krynski, ´ W.: On contact sub-pseudo-Riemannian isometries. ESAIM Control Optim. Calc. Var. 23(4), 1751–1765 (2017) 12. Grochowski, M., Warhurst, B.: Isometries of sub-Riemannian metrics supported on Martinet type distributions. J. Lie Theory 28(3), 767–780 (2018) 13. Grochowski, M.: Connections on bundles of horizontal frames associated with contact sub-pseudo- Riemannian manifolds. J. Geom. Phys. 146, 103518 (2019) 14. Grong, E., Markina, I., Vasil’ev, A.: Sub-Riemannian geometry on inﬁnite-dimensional manifolds. J. Geom. Anal. 25(4), 2474–2515 (2015) 15. Kobayashi, S., Nomizu, K.: Foundations of differential geometry. Vol. I. Reprint of the 1963 original. Wiley Classics Library. A Wiley-Interscience Publication. Wiley, New York, 1996. xii+329 pp. ISBN: 0-471-15733-3 16. Wu, H.: On the de Rham decomposition theorem. Ill. J. Math. 8, 291–311 (1964) Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional afﬁliations.
Analysis and Mathematical Physics – Springer Journals
Published: Feb 1, 2022
Keywords: Contact distributions; Connections; Sub-Riemannian geometry; De Rham decomposition theorem
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.