H-type foliations
Fabrice Baudoin, Erlend Grong, Gianmarco Vega-Molino, Luca Rizzi

TL;DR
This paper introduces H-type foliations as a generalization of K-contact geometries, providing new insights into their curvature properties, eigenvalues, and classification under certain geometric conditions.
Contribution
It defines H-type foliations, establishes diameter and eigenvalue bounds, classifies those with parallel Clifford structures, and explores their Einstein and Ricci curvature properties.
Findings
Derived sub-Riemannian diameter upper bounds.
Estimated first eigenvalues of the sub-Laplacian.
Classified H-type foliations with parallel Clifford structures.
Abstract
With a view toward sub-Riemannian geometry, we introduce and study H-type foliations. These structures are natural generalizations of K-contact geometries which encompass as special cases K-contact manifolds, twistor spaces, 3K contact manifolds and H-type groups. Under an horizontal Ricci curvature lower bound, we prove on those structures sub-Riemannian diameter upper bounds and first eigenvalue estimates for the sub-Laplacian. Then, using a result by Moroianu-Semmelmann, we classify the H-type foliations that carry a parallel horizontal Clifford structure. Finally, we prove an horizontal Einstein property and compute the horizontal Ricci curvature of those spaces in codimension more than 2.
| Fiber | ||||
| Twistor space | Quaternion-Kähler with positive scalar curvature | |||
| 3-Sasakian | Quaternion-Kähler with positive scalar curvature | |||
| Quaternion-Sasakian | Product of two quaternion-Kähler with positive scalar curvature | |||
| , , odd | ||||
| , , even | ||||
| Exceptional cases | ||||
| Fiber | ||||
| Negative Twistor space | Quaternion-Kähler with negative scalar curvature | |||
| Negative 3-Sasakian | Quaternion-Kähler with negative scalar curvature | |||
| Negative Quaternion-Sasakian | Product of two quaternion-Kähler with negative scalar curvature | |||
| , , odd | ||||
| , , even | 7 | |||
| Exceptional cases | ||||
| Structure | Torsion | Reference |
| Complex Type, | ||
| K-Contact | YM | [2] [16] |
| Sasakian | CP | [2] [21] |
| Heisenberg Group | CP | [23] |
| Hopf Fibration | CP | [15] |
| Anti de-Sitter Fibration | CP | [22] [49] |
| Twistor Type, | ||
| Twistor space over quaternionic Kähler manifold | HP | [28] [43] |
| Projective Twistor space | HP | [17] |
| Hyperbolic Twistor space | HP | [9] [22] |
| Quaternionic Type, | ||
| 3K-contact | YM | [35] [47] |
| Negative 3K-contact | YM | [35] [47] |
| 3-Sasakian | HP | [20] [42] |
| Negative 3-Sasakian | HP | [20] |
| Torus bundle over hyperkähler manifolds | CP | [31] |
| Quaternionic Heisenberg Group | CP | [23] |
| Quaternionic Hopf Fibration | HP | [17] |
| Quaternionic Anti de-Sitter Fibration | HP | [9] [22] |
| Octonionic Type, | ||
| Octonionic Heisenberg Group | CP | [23] |
| Octonionic Hopf Fibration | HP | [39] |
| Octonionic Anti de-Sitter Fibration | HP | [22] |
| H-type Groups, is arbitrary | CP | [24] [36] |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
H-type Foliations
Fabrice Baudoin111Supported in part by NSF grant DMS-1660031 and the Simons Foundation grant 586355
Erlend Grong222Supported by project 249980/F20 of the Norwegian Research Council
Luca Rizzi333Supported by the Grant ANR-15-CE40-0018 of the ANR, by the ANR project ANR-15-IDEX-02, and from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 945655)
Gianmarco Vega-Molino
Abstract
With a view toward sub-Riemannian geometry, we introduce and study H-type foliations. These structures are natural generalizations of K-contact geometries which encompass as special cases K-contact manifolds, twistor spaces, 3K-contact manifolds and H-type groups. Under an horizontal Ricci curvature lower bound on these structures, we prove a sub-Riemannian diameter upper bounds and first eigenvalue estimates for the sub-Laplacian. Then, using a result by Moroianu-Semmelmann [38], we classify the H-type foliations that carry a parallel horizontal Clifford structure. Finally, we prove an horizontal Einstein property and compute the horizontal Ricci curvature of these spaces in codimension more than .
Contents
1 Introduction
1.1 Motivation
A sub-Riemannian manifold is a smooth manifold equipped with a bracket-generating distribution and a fiber inner product on . The distribution is referred to as the horizontal distribution. The bracket-generating condition means that if we denote by the Lie algebra of the vector fields generated by the global sections of , then for every . Broadly speaking, sub-Riemannian geometry is the study of the intrinsic properties of the triple . Sub-Riemannian geometry is at the interface of many fields, including: geometric control theory, metric geometry, analysis of subelliptic partial differential equations, stochastic analysis and Riemannian geometry. As such, it has been studied, possibly under different names, from many different viewpoints. To get an overview of this rich and vibrant subject, one may consult the monographs [1], [3], [26], [37], or [41].
The purpose of this paper is to introduce and study a new class of sub-Riemannian manifolds generalizing the H-type groups introduced by Kaplan in [36]. We call such manifolds H-type sub-Riemannian manifolds. Due to their symmetries, H-type sub-Riemannian manifolds provide an ideal framework to develop a program reducing the study of global geometric, metric, or analytic properties of the ambient space to the study of local sub-Riemannian curvature type invariants. This geometric analysis program will be further developed in a subsequent work. In the present paper, we study H-type sub-Riemannian manifolds arising from a special type of totally geodesic foliations, which we will refer to as H-type foliations. Roughly speaking, H-type foliations concern a special case of Riemannian manifolds that are foliated transversely to a sub-Riemannian structure. We will write this data as , where the bracket-generating distribution has constant rank and crucially its complement is integrable and tangent to the foliation. At each point , one has a representation denoted by of the Clifford algebra onto the space of horizontal endomorphisms . We will call the sub-Riemannian manifold obtained by restricting the metric to an H-type sub-Riemannian manifold. In the case of an H-type group, the complement is given by the center of the group. In the case of a regular K-contact or 3K-contact structure, this complement is determined by respectively the orbits of a or a isometric action on .
The main motivation that led to the construction and study H-type sub-Riemannian manifolds was the desire to provide a unified framework for many results obtained in the last few years in the geometric analysis of sub-Riemannian manifolds through different techniques (see for instance [2], [4], [10], [42]). The interest of H-type foliations as model spaces in sub-Riemannian geometry is demonstrated in Section 2.6 of the present paper, where we show that on H-type foliations the generalized curvature dimension inequality introduced in [10] can be controlled using information from only the horizontal Ricci curvature of the Bott connection. Some consequences of this fact are pointed out in Corollary 2.23, but we refer to the survey [7] for many other known consequences of the generalized curvature dimension inequality. In the subsequent paper [13], we show that the techniques developed in [12] extend to H-type sub-Riemannian manifolds as well, and as consequence we will obtain for those structures sharp Bonnet-Myers theorem and sharp sub-Laplacian comparison theorems.
1.2 Main results
A first highlight of the paper is Theorem 2.19, where we prove that H-type foliations are necessarily Yang-Mills. As a consequence, the sub-Laplacian of an H-type foliation satisfies a simple Bochner’s type formula and the validity of the generalized curvature dimension inequality depends only on horizontal Ricci curvature, see Proposition 2.22. Applications of generalized curvature dimension inequalities in sub-Riemannian geometry have extensively been studied in the last few years (see [8, 10, 27]) and, in the present setting, some corollaries are pointed out in Corollaries 2.23 and 3.20. In particular, sub-Riemannian diameter upper bounds and first eigenvalue estimates for the sub-Laplacian are obtained.
A second highlight of the paper is the classification of H-type foliations that carry a parallel horizontal Clifford structure. Roughly speaking, from Theorem 3.6, an H-type foliation carries a parallel horizontal Clifford structure if and for all vertical vectors ,
[TABLE]
with , where is the representation of the Clifford algebra on the space of endomorphisms of , the Bott connection of the foliation (see Section 2.1), and is a constant such that is the sectional curvature of the leaves of the foliation.
In the influential paper [38], A. Moroianu and U. Semmelmann introduced the related concept of parallel even Clifford structures on Riemannian manifolds. In a sense, for , H-type foliations with a parallel horizontal Clifford structure are to parallel even Clifford structures on Riemannian manifolds what Sasakian and 3-Sasakian manifolds are respectively to Kähler and quaternion Kähler manifolds; see Corollary 3.14 for a precise statement. We show in Theorem 3.16 that H-type foliations with a parallel horizontal Clifford structure are always horizontally Einstein if the rank of is greater or equal than 2 and different from 3. More precisely, for , , we prove that one has
[TABLE]
where is the rank of , the rank of and the horizontal Ricci curvature of the Bott connection. The case is special, due to the Lie algebra splitting , and we prove in that case that if the structure is of quaternionic type then
[TABLE]
In Theorem 3.11 we prove that if , then the vertical distribution of a H-type foliation lies in the curvature constancy (in the sense of Gray [25]) of the metric
[TABLE]
where and respectively denote the projections of the original Riemannian metric on and . Interestingly, we note that if , is a Riemannian metric, whereas if then is a semi-Riemannian metric. From Theorem 3.7 in [38] (which describes all the Riemannian submersions with non-trivial curvature constancy) one deduces therefore the complete classification of complete simply connected H-type foliations with a parallel horizontal Clifford structure coming from a globally defined submersion and . Those submersions are described in the following two tables. In Table 1, the H-type foliation is obtained from a totally geodesic Riemannian submersion whose fibers coincide with the curvature constancy of . Notations, conventions and terminology are standard, but for further details we refer to [38] from which this table taken. In particular, for the quaternion-Kähler property is understood in the sense that is Einstein and anti self-dual (see [19], Chapter 13). In Table 2, the H-type foliation is obtained from a totally geodesic semi-Riemannian submersion whose fibers are in the curvature constancy of . We note that Table 1 contains the quaternionic and octonionic Hopf fibrations and that Table 2 contains the quaternionic and octonionic anti-de Sitter fibrations. We also note that all the examples of in Table 1 are compact.
The case is special. It corresponds to H-type foliations for which the leaves are flat. Such foliations are described in Theorem 3.8 where we prove that if the foliation comes from a totally geodesic submersion, then the base space of that submersion is Kähler for , locally hyper-Kähler for or and flat for . We conclude the paper with several estimates on sub-Riemannian diameter and first eigenvalue of the sub-Laplacian.
2 H-type foliations
2.1 Totally geodesic foliations
Let be a smooth, oriented, connected, Riemannian manifold with dimension . For notational simplicity, for we will often denote . We assume that is equipped with a Riemannian foliation with bundle-like complete metric and totally geodesic -dimensional leaves. The sub-bundle formed by vectors tangent to the leaves is referred to as the set of vertical directions. The sub-bundle which is normal to is referred to as the set of horizontal directions. If one denotes by the Lie derivative, from Theorem 5.19, p. 56 in [48], the bundle-like property for a Riemannian foliation is equivalent to the fact that for every , ,
[TABLE]
and from Theorem 5.23, p. 58 in [48], the totally geodesic foliation property is equivalent to the fact that for every , ,
[TABLE]
We simply refer to these structures as totally geodesic foliations (the bundle-like property of the metric is always assumed in this paper). We refer to [7, 48] and references therein for details about the geometry of totally geodesic foliations. For later reference, we note that those definitions extend to the case where is semi-Riemannian.
Important:
From now on, unless stated otherwise, we will always assume that is a foliated Riemannian manifold such that the foliation is both Riemannian and totally geodesic. We let be the subbundle tangent to the leaves, with an orthogonal complement which we assume is bracket-generating. We will denote this structure as .
Preliminary examples of such structures include the following.
Example 2.1**.**
(K-contact manifolds) Let be a -dimensional smooth contact manifold with Reeb vector field . The Reeb foliation on is given by the orbits of . From [44], it is always possible to find a Riemannian metric and a -tensor field on so that for all vector fields
[TABLE]
The triple is called a contact Riemannian manifold. The Reeb foliation is totally geodesic with bundle like metric if and only if the Reeb vector field is a Killing field. In that case, is called a K-contact Riemannian manifold. Observe that the horizontal distribution is then the kernel of and that is bracket-generating because is a contact form. Sasakian manifolds are the -contact manifolds for which is integrable (i.e. has a vanishing Nijenhuis tensor); see [21] for further details on Sasakian foliations.
Example 2.2**.**
(Positive and negative 3K-contact manifolds) Consider a smooth -dimensional Riemannian manifold , admitting three distinct K-contact structures i.e. non-degenerate one-forms , for such that is a contact Riemannian manifold and each Reeb vector field is Killing for the Riemannian metric . Define relative to the contact structure as in (2.3). Furthermore, we assume that
[TABLE]
where denotes the Levi-Civita symbol. Following [35] (see also [34, 47]), we call a 3K-contact (resp. negative 3K-contact) structure if for distinct it holds
[TABLE]
The bundle generated by the Reeb vector fields is integrable and, thanks to the Killing condition, the leaves of the corresponding foliation are totally geodesic with bundle like metric. Therefore, letting
[TABLE]
we have , with , and is a totally geodesic foliation.
Remark 2.3** (Notation for the foliation).**
For a foliated Riemannian manifold, it is admittedly a bit unconventional to denote the foliation by the transverse bundle rather than by bundle tangent to the foliation or the collection of leaves of the foliation itself. However, since the and determine each other through the Riemannian metric , and since much of our investigation is related to the sub-Riemannian manifold , we permit this slight abuse of notation.
Remark 2.4** (Bracket-generating condition).**
If is bracket-generating subbundle of , then by the Chow-Rashevskii theorem, any pair of points can be connected by a curve tangent to . In particular, this means that any function whose derivatives are zero in the directions of , has to be constant. Furthermore, if is any connection, then any tensor that is -parallel in the directions of is uniquely determined by its value at one point.
2.2 The Bott connection
There is a canonical connection on that preserves the metric and the foliation structure (see [7] and Chapter 5 in [48]), the Bott connection. It is uniquely characterized by the following proposition which is a special case of Lemma 2.13 in [32].
Proposition 2.5**.**
Let be a totally geodesic, Riemannian foliation with vertical bundle . There exists a unique metric connection on , called the Bott connection of the foliation, such that:
- •
* and are -parallel, i.e. for every , and ,*
[TABLE]
- •
The torsion of satisfies
[TABLE]
More explicitly, the Bott connection is given as follows:
[TABLE]
where is the Levi-Civita connection of the metric and (resp. ) the projection on (resp. ). It is easy to check that the Bott connection has a torsion which is given by:
[TABLE]
Then, for , there is a unique skew-symmetric fiber endomorphism such that for all horizontal vector fields and ,
[TABLE]
where is the torsion tensor of . We then extend to be [math] on . Also, if , from (2.11) we set .
Example 2.6**.**
Let be a K-contact Riemannian manifold. The Bott connection coincides with Tanno’s connection that was introduced in [46]. In the case where is Sasakian, the Bott connection coincides with the Tanaka-Webster connection.
Example 2.7**.**
Let be a 3K-contact Riemannian manifold with dimension strictly greater than 7. The Bott connection coincides then with the Biquard connection. See Section 1.2 in [4] for the definition and basic properties of the Biquard connection.
The following lemmas will be used several times.
Lemma 2.8**.**
Let be a totally geodesic foliation such that , i.e. for every . Then
[TABLE]
Proof.
Since the torsion is horizontally parallel, and by definition (2.11) of , we only need to prove the statement for . Let denote the Riemann curvature tensor of . Using the first Bianchi identity, with denoting the cyclic sum, we have for any and
[TABLE]
Therefore for all , which implies the statement. ∎
Lemma 2.9**.**
Let be a totally geodesic foliation with . Let denote the Riemann curvature tensor of . Define for ,
[TABLE]
Then,
[TABLE]
Proof.
The result follows from considering each of the possible projections, the first Bianchi identity and formulas relating to the anti-symmetric part of the curvature tensor. Note first that since preserves and , we have . It follows that
[TABLE]
Using the first Bianchi identity, we have
[TABLE]
and we similarly have . To obtain the remaining terms of (2.16), we will use the following result found in [11, Appendix]. Define the tensor
[TABLE]
Then for any connection preserving the metric, we have
[TABLE]
If we use the property , we obtain
[TABLE]
Using equation (2.17), we have
[TABLE]
and similarly . Inserting all of these identities into (2.16), we have the result. ∎
2.3 H-type foliations
Definition 2.10**.**
We say that is an H-type foliation if for every and ,
[TABLE]
Moreover:
- •
If the horizontal divergence of the torsion of the Bott connection is zero, then we say that is an H-type foliation of Yang-Mills type.
- •
If the torsion of the Bott connection is horizontally parallel, i.e. , then we say that is an H-type foliation with horizontally parallel torsion.
- •
If the torsion of the Bott connection is completely parallel, i.e. , then we say that is an H-type foliation with parallel torsion.
Remark 2.11**.**
We note that due to the normalization (2.11), the unit odd-dimensional sphere with its canonical metric is not H-type for the standard Reeb foliation, since one can compute that in that case
[TABLE]
However, if one considers the canonical variation of the metric given by , , then is a totally geodesic foliation and the corresponding -map is given by . Thus, if is a totally geodesic foliation such that
[TABLE]
for some , then is an H-type foliation. This rescaling does not affect the intrinsic sub-Riemannian geometry of the triple . The condition (2.19) is a special case of a generalized H-type condition introduced for Carnot groups in [6, Definition 8].
Remark 2.12**.**
Obviously, parallel torsion horizontally parallel torsion Yang-Mills. The Yang-Mills assumption plays an important role in the theory of generalized curvature dimension inequalities (see [10], [27]) and will be shown to always be satisfied, see Theorem 2.19. The meaning of the other two assumptions will be apparent in the next sections.
Remark 2.13**.**
As a consequence of the H-type condition, one has for every , . Thus for any , we have that is generated by and and in particular is automatically bracket-generating.
From the H-type condition, is for every a -module, where denotes the Clifford algebra of . Algebraic properties of Clifford modules are well-known a (see for instance [24]) and we shall make use of some of the most basic ones without further reference. To motivate the study of H-type foliations and stress that they provide a unified framework for many structures previously studied in the literature, we point out in Table 3 several distinguished classes. More examples will be obtained as a consequence of the results of Section 3.3 (see the two tables in the Introduction). For the Torsion column, YM means Yang-Mills, HP means horizontally parallel and CP means completely parallel. As a possible guide to the reader, in the Reference column we point out some references in the literature where the structure has been studied, sometimes with a sub-Riemannian point of view.
2.4 Quaternionic structures
In this section, we introduce a remarkable subclass of H-type foliations which encompass 3K-contact and negative 3K-contact manifolds. Let be an H-type foliation. Consider the map . By the universal property of Clifford algebras, at any , such map can uniquely be extended into a bundle algebra homomorphism, still denoted , from the Clifford algebra to the algebra of horizontal endomorphisms , where the product on is given by the composition rule of operators. The Clifford multiplication will be denoted by a dot . In particular, we explicitly note that and .
Lemma 2.14**.**
Let be an H-type foliation. Let .
- •
Consider as a Lie algebra with Lie brackets being the usual commutator brackets. Define as the Lie subalgebra generated by maps , . Then one of the following holds:
- (i)
* and it is isomorphic to either or ;* 2. (ii)
* and it is isomorphic to .*
- •
Assume that forms a Lie algebra under the commutator brackets. Define
[TABLE]
Then , with product given by the composition of endomorphisms is a field isomorphic to the field of complex numbers or the field of quaternions .
Proof.
If , then for every , is a Lie algebra isomorphic to and a field isomorphic to , so we assume that . If we endow the vector space with the Lie bracket , then is a Lie algebra isomorphic to . The map is a surjective Lie algebra homomorphism between and the Lie subalgebra of . If , then the Lie algebra is simple, so we actually have a Lie algebra isomorphism. Therefore is isomorphic to . If , then is isomorphic to . So the surjective Lie algebra homomorphism is either an isomorphism, in which case, we conclude as for , or is isomorphic to .
We now prove the second part of the statement. If the maps form a Lie algebra and , then from the previous argument, we have . Let then be such that and . Denote as the element such that It is easily seen that due to the properties of , the triple is an orthonormal basis for such that . Thus is isomorphic to . ∎
Lemma 2.15**.**
Let be an H-type foliation with horizontally parallel torsion. Then for any , is isomorphic to .
Proof.
Let be an horizontal curve (i.e. ) joining to . Such a curve always exists from the Chow-Rashevskii theorem since is bracket-generating from the H-type condition. The -parallel transport along induces a Lie algebra isomorphism between and , because . Let be the -parallel transport along as above. Thanks to the properties of , maps to and to . Then it induces a Lie algebra isomorphism given by
[TABLE]
Furthermore, if and are parallel along , then also is parallel along since . It follows that for any we have , so that maps generators of to generators of , concluding the proof. ∎
Definition 2.16**.**
Let be an H-type foliation. We say that is a quaternionic type foliation if for every , .
In particular, the leaves of the foliations have dimension . We also note from Lemma 2.15, that if is an H-type foliation with horizontally parallel torsion, then for it to be quaternionic, it is enough that at some point .
Example 2.17**.**
The examples given in Table 3 under the category Quaternionic Type are examples of such structures.
Remark 2.18**.**
While the quaternions yield rich classes of structures, octonions do not. Indeed, we will see that for , , the octonionic Heisenberg group, the octonionic Hopf fibration and the octonionic anti de-Sitter fibration are the only examples of simply connected H-type submersions that carry a parallel horizontal Clifford structure, see Section 3.3 and Tables 1, 2. However, those three examples are still algebraically remarkable, because even though is not an algebra, one has for every , . This is the so-called condition in Clifford modules, see [23] and [24].
2.5 H-type foliations are Yang-Mills
Although H-type foliations are not necessarily horizontally parallel, they are always Yang-Mills. The importance of this result will be shown in Section 2.6.
Theorem 2.19**.**
Let be an H-type foliation. Then it satisfies the Yang-Mills condition.
To prove this result, we will use the following Lemma.
Lemma 2.20**.**
We have the following relations for the covariant derivatives of and .
- (a)
If , then .
Furthermore, for arbitrary vector fields and a vertical vector field , the following relations hold.
- (b)
, 2. (c)
, 3. (d)
, 4. (e)
. In particular,
[TABLE]
Proof.
The first relation is a result of the Bianchi identity. For any vertical vector field , we have . Taking the covariant derivative of the H-type condition
[TABLE]
proves (b). Property (c) follows from the skew-symmetry of . Property (d) follows from (b). Finally, for Property (e), we note that
[TABLE]
which completes the proof, as was arbitrary. We note also from (b) that
[TABLE]
Proof of Theorem 2.19.
Let be arbitrary. Note that if is a unit vector and if is an orthonormal basis of , then so is . Hence for any horizontal , we have
[TABLE]
Hence and the foliation is Yang-Mills. ∎
2.6 Curvature dimension inequalities on H-type foliations
In this subsection we show that on H-type foliations, the generalized curvature dimension condition introduced in [10] is only controlled by the horizontal Ricci curvature and deduce several corollaries. Let be an H-type foliation. We assume that the metric is complete. The Riemannian gradient will be denoted and we write the horizontal gradient as , which is the projection of onto . Likewise, will denote the vertical gradient. Let denote the Riemannian volume measure. The horizontal Laplacian of the foliation is the generator of the symmetric closable bilinear form in :
[TABLE]
We adopt the convention that is a negative operator. The H-type hypothesis implies that is bracket-generating, therefore it follows from Hörmander’s theorem that the horizontal Laplacian is locally subelliptic. The completeness assumption on the Riemannian metric implies that is essentially self-adjoint on the space of smooth and compactly supported functions (see for instance [45] or Proposition 5.1 in [7]).
Remark 2.21**.**
For H-type foliations, one can easily check that the Riemannian measure is proportional to the intrinsic Popp’s measure of the sub-Riemannian structure obtained by the restriction . Therefore, the operator defined above coincides with the intrinsic sub-Laplacian (see [5] and [37, Section 10.6]). As such, we will indifferently refer to as the horizontal Laplacian or the sub-Laplacian.
We denote by the horizontal Ricci curvature of i.e. the horizontal trace of the Riemann curvature tensor of the Bott connection.
Proposition 2.22**.**
Let be an H-type foliation such that with . Then satisfies the generalized curvature dimension inequality CD, i.e. for every and , one has the following Bochner’s type inequality:
[TABLE]
Proof.
The key point is that H-type foliations are Yang-Mills (see Theorem 2.19). The proof is then similar to the proof of this result in the case of Sasakian foliations (see Theorem 2.24 in [10]), so we omit it for conciseness, but refer to Remark 2.25 in [10]. ∎
As a corollary from Proposition 2.22 and [7, 8, 10] one deduces the following results:
Corollary 2.23**.**
Let be a complete H-type foliation with with . Let us denote by the sub-Riemannian (a.k.a. Carnot-Carathéodory) distance.
If , then the metric measure space satisfies the volume doubling property and supports a 2-Poincaré inequality, i.e. there exist constants , depending only on , for which one has for every and every :
[TABLE]
[TABLE]
for every , where we have let , with . 2. 2.
If , then is compact with a finite fundamental group and
[TABLE] 3. 3.
If , then the first non zero eigenvalue of the sub-Laplacian satisfies
[TABLE]
Proof.
Point 1. follows from [8, Theorem 1.5], and Point 2. from [10, Theorem 10.1] or [7, Theorem 6.1] for a simpler proof. Point 3 follows from [7, Theorem 4.9] with the values, , , and . ∎
Remark 2.24**.**
The volume doubling property and 2-Poincaré inequality are central for the validity of covering theorems of Vitali-Wiener type, maximal function estimates, and represent the central ingredients in the development of analysis and geometry on metric measure spaces, see for instance [29] and the more recent [30]. It is not known if the generalized curvature dimension implies the significantly stronger -Poincaré inequality. We point out that the diameter upper bound which is obtained when is not sharp. In the subsequent paper [13], under stronger geometric assumptions (lower bounds on partial traces of the tensor ), both the 1-Poincaré inequality (actually even the measure contraction property) and sharp diameter upper bounds are proved.
More consequences of the generalized curvature dimension inequality are given in [7, 8, 10], for instance Li-Yau estimates for non negative solutions of the sub-Riemannian heat equation or subelliptic Sobolev and log-Sobolev inequalities.
3 Horizontal Clifford structures
We now turn to the second part of the paper and study H-type foliations that carry a parallel horizontal Clifford structure. One should have the understanding that H-type foliations with a parallel horizontal Clifford structure are to general H-type foliations what Sasakian and 3-Sasakian manifolds are respectively to K-contact and 3K-contact manifolds.
3.1 Parallel horizontal Clifford structures
Definition 3.1**.**
Let be an H-type foliation with horizontally parallel torsion. We say that is an H-type foliation with a parallel horizontal Clifford structure if there exists a smooth bundle map such that for every
[TABLE]
Remark 3.2**.**
If , then the parallel horizontal Clifford assumption is always satisfied with .
Proposition 3.3**.**
Let be a H-type foliation with parallel horizontal Clifford structure. Then the map is unique.
Proof.
The proposition follows from the following fact: at any , the map defined by the restriction of to is injective. We prove this claim. If is even, then is a central simple algebra, thus the map is injective and so is the restriction . If is odd, then the even Clifford algebra is central simple. Thus the map is injective and so is the restriction . ∎
We have the following lemma concerning some algebraic properties of the map .
Lemma 3.4**.**
Let be defined by (3.1). Then, for every we have
; 2. 2.
.
Proof.
Fix non zero . The first statement follows from and the uniqueness of . For the second one, since , one can find such that , and such that and . The second statement is then equivalent to . If we apply to the relation one obtains that belongs to the kernel of . Therefore, we obtain
[TABLE]
Using the properties of we obtain or, equivalently, . Since and is injective by the proof of Proposition 3.3, we have . ∎
The previous lemma imposes strong algebraic conditions on . The next theorem characterizes the set of possible expressions may have. We shall first need the following lemma that allows us to relate the norm of to the sectional curvature of the leaves of the foliation.
Lemma 3.5**.**
Let be a H-type foliation with horizontally parallel torsion. Then for every ,
[TABLE]
Proof.
Recall first the second Bianchi identity for connections with torsion,
[TABLE]
From Lemma 2.9 we have that and for any and so
[TABLE]
We now note that for any and , we have as a consequence of the H-type condition
[TABLE]
Therefore, we have
[TABLE]
We then claim that
[TABLE]
Since both sides are tensors, it is sufficient to prove the above identity at any given . Therefore, once we have fixed , we can assume, without loss of generality, that along the geodesic with initial vector . In this case the following holds:
[TABLE]
where everything is computed at , and in the last line we used (3.7). ∎
We are now in position to prove the following theorem.
Theorem 3.6**.**
Let be an H-type foliation with parallel horizontal Clifford structure. Then there exists a constant such that for every ,
[TABLE]
where denotes the product in the Clifford algebra . Moreover the sectional curvature of the leaves of the foliation associated to is constantly equal to . In particular, if the torsion is completely parallel, the leaves are flat.
Proof.
We first remark that by linearity, and since is skew-symmetric and takes values in , it is sufficient to prove (3.13) for unit vectors satisfying . In this case, fix an orthonormal basis for given by . Since takes values on , we have
[TABLE]
for some . Using Lemma 3.4 we obtain . Using again Lemma 3.4 combined with the bilinearity of one also obtains that does not depend on , but may still depend on . Applying Lemma 3.5 with orthonormal and unit , we obtain for the sectional curvature of the vertical plane generated by and :
[TABLE]
We now prove that is constant as a function on . For and orthonormal , using Lemma 2.9, we obtain
[TABLE]
Differentiating the above equation with respect to , and summing cyclically over , Bianchi’s second identity and the fact that is metric imply that
[TABLE]
By choosing and , one obtains for all . But this means that is constant along any curve tangent to , and since is bracket-generating, implying that any pair of points can be connected by a horizontal curve, has to be constant by Remark 2.4. ∎
Remark 3.7**.**
We write (3.13) with instead of because in next sections, we will see that the sign of is important and decides of the topology of in a crucial way. In particular, we will prove that if , then is necessarily compact with a finite fundamental group. See Corollary 3.20.
3.2 H-type foliations with completely parallel torsion
We first study H-type foliations with completely parallel torsion. This corresponds to a parallel horizontal Clifford structure for which and so . We have the following result that essentially shows that H-type sub-Riemannian manifolds with completely parallel torsion which are not H-type groups may only exist when or .
Theorem 3.8**.**
Let be a Riemannian submersion with totally geodesic fibers. Assume that is simply connected and that is an H-type foliation with completely parallel torsion, where is the horizontal space of . Then one of the following (non exclusive) cases occur:
- •
* and is Kähler;*
- •
* or and is locally hyper-Kähler;*
- •
* is arbitrary and is flat, thus isometric to a representation of the Clifford algebra .*
Proof.
From Theorem 3.6, we first note that the fibers of have zero sectional curvature. Let be a local orthonormal vertical frame with . Since for every , , one deduces that is projectable onto . Thus, there exist tensors on such that for any basic vector field on , where denotes the projection of onto . Since the Bott connection projects onto the Levi-Civita connection, one deduces that the are parallel almost complex structures on . Therefore, if then is Kähler and if , then is locally hyper-Kähler. Let us now assume that . We want to show that is flat. The argument is similar to [38], proof of Theorem 2.9. We reproduce it in our setting for convenience of the reader. Since is locally hyper-Kähler, it has to be Ricci flat. Let us first assume that is irreducible. Then, from Berger-Simons classification theorem (see [19], page 300), is either locally symmetric or its holonomy is included in , or . If is locally symmetric then it is flat due to the fact it is Ricci flat. On the other hand, it is impossible that the holonomy of is included in , or because implies that the space of parallel two-forms on has dimension at least 4 which is larger than the dimension of the centralizer of the Lie algebras of , and . One concludes that is flat. If is not irreducible, one can use the de Rham decomposition theorem to conclude as above. ∎
We note that the first case in the previous theorem corresponds to the case where is a Sasakian foliation and the last case corresponds to H-type groups. The second case, when and is of quaternionic type corresponds to the hyper -structures considered in [31].
Since totally geodesic foliations with bundle-like metric are always locally described by a totally geodesic Riemannian submersion, one deduces the following corollary.
Corollary 3.9**.**
Let be an H-type foliation with completely parallel torsion. If , then is horizontally Ricci flat, i.e. where is the horizontal Ricci curvature of the Bott connection. If , then is horizontally flat, i.e. where is defined as in Lemma 2.9.
3.3 Parallel horizontal Clifford structures and curvature constancy
In this section, we show how H-type foliations with a parallel horizontal Clifford structure can be obtained from totally geodesic Riemannian or semi-Riemannian foliations associated with curvature constancy. Conversely, all H-type foliations with a parallel Clifford structure arise in this way, up to rescaling the metric in the vertical direction (which does not change the intrinsic geometry of the corresponding sub-Riemannian structure ). Using a result from [38], this will yield a classification of simply connected H-type foliations with a parallel horizontal Clifford structure coming from a Riemannian submersion. Let be a semi-Riemannian manifold. Denote by its Riemannian curvature tensor (for the Levi-Civita connection). Following [25], we give the following definition.
Definition 3.10**.**
For , the -curvature constancy of is the distribution given by
[TABLE]
As proved in [25], assuming that is constant and , the -curvature constancy is an integrable distribution and the leaves of the corresponding foliation are totally geodesic. If we further assume that the metric is bundle-like along , letting , we have that is a totally geodesic foliation in the sense of Section 2.1. We have then the following theorem:
Theorem 3.11**.**
Let be a totally geodesic foliation with vertical distribution . Let . The following are equivalent:
* is an H-type foliation with parallel horizontal Clifford structure such that for every , , with .* 2. 2.
, .
Remark 3.12**.**
One can equivalently rewrite Theorem 3.11 as follows. Let be a totally geodesic foliation with vertical distribution . Let . The following are equivalent:
, . 2. 2.
is an H-type foliation with parallel horizontal Clifford structure for which .
As a preliminary for the proof of Theorem 3.11, we first rewrite O’Neill’s formulas using the notations of this paper.
Lemma 3.13**.**
Let be a totally geodesic foliation. Let us consider the canonical variation of , i.e. the one-parameter family of (semi-)Riemannian metrics defined . Let denote the Riemannian curvature of the Levi-Civita connection for . Then, for every ,
[TABLE]
Proof.
We note that the Levi-Civita connection of the (semi)-Riemannian metric , is given by
[TABLE]
We can then either proceed by direct (but lengthy) computations or use the O’Neill’s formulas (Theorem 9.28444Note that [19] uses the opposite sign convention for the Riemannian curvature tensor in [19]) noting that the O’Neill’s tensor of the totally geodesic foliation is given by
[TABLE]
Proof of Theorem 3.11.
. Let and denote the inner product by . For and , one has from Lemma 3.13
[TABLE]
Using 2. we therefore obtain , which implies that is an H-type foliation. We now prove that is horizontally parallel. From Lemma 3.13, one has
[TABLE]
Therefore, which implies that is horizontally parallel. It remains to compute . This can be done by using once again Lemma 3.13. Indeed,
[TABLE]
Therefore, using 2., we have
[TABLE]
and the proof is complete since .
. Let . From Lemma 3.13 we have for and ,
[TABLE]
Thus, if , one has
[TABLE]
On the other hand, still by Lemma 3.13 and , one has , thus
[TABLE]
Then, from Theorem 3.6 and Lemma 3.13, we have that for ,
[TABLE]
Using then the symmetries of the Riemannian curvature tensor and Bianchi’s identity one concludes that for every and ,
[TABLE]
This theorem allows to construct many examples of H-type foliations with parallel horizontal Clifford structures coming from a submersion. In particular, we point out the following corollary:
Corollary 3.14**.**
Let be a Riemannian manifold that carries a rank parallel non flat even Clifford structure in the sense of Moroianu-Semmelmann [38]. Then, if , the sphere bundle of this structure is an H-type foliation with horizontal parallel Clifford structure for which .
Proof.
This follows from Theorem 3.11 and [38, Theorem 3.6]. We note that condition (b) of [38, Theorem 3.6] is satisfied thanks to [38, Proposition 2.10]. ∎
We note that parallel even Clifford structures are classified in Theorem 2.14 in [38]. Because of triality, the case is special and sphere bundles over 8-dimensional manifolds that carry parallel even Clifford structures do not necessarily yield H-type foliations with horizontal parallel Clifford structure. We are now in position to justify Table 1 of the introduction. Indeed A. Moroianu and U. Semmelmann proved the following very nice result:
Theorem 3.15**.**
[38, Theorem 3.7]** There exists a Riemannian submersion from a complete simply connected Riemannian manifold to a complete simply connected Riemannian manifold whose vertical distribution belongs to the curvature constancy of , if and only if the couple appears in the Table 1 of the introduction.
Table 2 of the introduction is then obtained from Table 1 by using the non-compact Cartan duals of the compact symmetric spaces appearing in 1. Justifying Table 2 requires the semi-Riemannian counterpart of [38, Theorem 3.7] which is proved in a similar way. For further details, we refer to the comments after Theorem 3.7, Page 965 in [38] and to the Footnote 1, Page 955 in [38].
3.4 Horizontal Einstein property
In this section, we prove the following theorem:
Theorem 3.16**.**
Let be an H-type foliation with a parallel horizontal Clifford structure with such that:
[TABLE]
with , then:
- •
If , .
- •
If , then at any point orthogonally splits as a direct sum and for and
[TABLE]
where .
- •
If and moreover is of quaternionic type then , and thus .
Remark 3.17**.**
For , and are independent of the point where they are computed. Indeed, the proof will show that and that both and are parallel along horizontal curves.
In particular, if , then is always horizontally Einstein. In the case , the fact that is horizontally Einstein is related to the fact that quaternion Kähler manifolds are Einstein manifolds (see Berger [18], Ishihara [33] or Theorem 14.39 in Besse [19]), and the algebraic structure of our proof below somehow parallels the one of Ishihara and Besse (in the choice of a special horizontal basis). The key lemma is the following:
Lemma 3.18**.**
Let be a totally geodesic foliation with . For any and , we have
[TABLE]
Proof.
Write the Hessian operator for as . Using that is parallel in horizontal directions and that , we observe that for we have
[TABLE]
However, for and , we can also write
[TABLE]
The result follows. ∎
We will also need the following lemma:
Lemma 3.19**.**
Let be a totally geodesic foliation with and . Let be a local orthonormal frame of . Then is of quaternionic type if and only if . If is not of quaternionic type, then is a non-trivial horizontal isometry such that and that commutes with .
Proof.
Let and be a local vertical frame of around . Let us denote by the algebra (for the composition of operators) generated by . We note that is an isometry which is in the center of . If , then the center of is . Therefore . Conversely, if , then one can check that is an algebra and thus . If is not of quaternionic type, the statement of the lemma is immediately checked. ∎
Proof of Theorem 3.16.
Let be a local vertical orthonormal frame. We will denote and for , . We first observe that from Lemma 3.18 together with the parallel horizontal Clifford structure assumption, one obtains that for every ,
[TABLE]
Then, we note that
[TABLE]
and that
[TABLE]
Therefore, we have
[TABLE]
We now fix , and . Note that satisfy the quaternion relations, and choose a local orthonormal basis of such that if is in the basis, so are (up to a sign). We then compute for ,
[TABLE]
On one hand, one obtains from (3.23):
[TABLE]
On the other hand, noticing that the set of and the set of will be identical as varies across the whole basis, one obtains
[TABLE]
where the second equality follows from Bianchi’s identity and symmetries of the curvature tensor. It therefore remains to compute . We use the fact that the set of and the set of will be identical as varies across the whole basis to obtain
[TABLE]
Now, from (3.23):
[TABLE]
If , one has and if , . Therefore, one obtains:
[TABLE]
The analysis of the sum will depend on . If , then one has , because one must have . If , then one can pick an index which is different from , and so that by using invariance of the trace by a change a basis:
[TABLE]
Therefore . Summarizing the above computations, one deduces that for ,
[TABLE]
Therefore, substituting by one concludes
[TABLE]
By denoting , the 1 eigenspace of and the eigenspace of , one then concludes with Lemma 3.19. We note that , thus . ∎
3.5 Sub-Riemannian diameter and first eigenvalue estimates
Combining Theorem 3.16 with the results of Section 2.6, one obtains the following result.
Corollary 3.20**.**
Let be a complete H-type foliation with a parallel horizontal Clifford structure: with . Then, is compact with finite fundamental group. Moreover,
- •
If then its sub-Riemannian diameter is bounded above by and we have the following estimate for the first eigenvalue of the sub-Laplacian
- •
If and is of quaternionic type, then its sub-Riemannian diameter is bounded above by and we have the following estimate for the first eigenvalue of the sub-Laplacian
As already pointed out in Section 2.6, the diameter bounds should not expected to be sharp. However, from [14] the eigenvalue estimates might expected to be. Indeed, consider the quaternionic Hopf fibration
[TABLE]
on the unit sphere where is the standard metric. Then, one has , . Therefore, from Remark 3.12, and the above estimate yields . This is sharp, because one actually has (see [17, 40]).
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Andrei Agrachev, Davide Barilari, and Ugo Boscain. A comprehensive introduction to sub-Riemannian geometry , volume 181 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2020.
- 2[2] Andrei Agrachev, Davide Barilari, and Luca Rizzi. Sub-Riemannian curvature in contact geometry. J. Geom. Anal. , 27(1):366–408, 2017.
- 3[3] Andrei A. Agrachev and Yuri L. Sachkov. Control theory from the geometric viewpoint , volume 87 of Encyclopaedia of Mathematical Sciences . Springer-Verlag, Berlin, 2004. Control Theory and Optimization, II.
- 4[4] Davide Barilari and Stefan Ivanov. A Bonnet-Myers type theorem for quaternionic contact structures. Calc. Var. Partial Differential Equations , 58(1):Paper No. 37, 26, 2019.
- 5[5] Davide Barilari and Luca Rizzi. A formula for Popp’s volume in sub-Riemannian geometry. Anal. Geom. Metr. Spaces , 1:42–57, 2013.
- 6[6] Davide Barilari and Luca Rizzi. Sharp measure contraction property for generalized H-type Carnot groups. Commun. Contemp. Math. , 20(6):1750081, 24, 2018.
- 7[7] Fabrice Baudoin. Sub-Laplacians and hypoelliptic operators on totally geodesic Riemannian foliations. In Geometry, analysis and dynamics on sub-Riemannian manifolds. Vol. 1 , EMS Ser. Lect. Math., pages 259–321. Eur. Math. Soc., Zürich, 2016.
- 8[8] Fabrice Baudoin, Michel Bonnefont, and Nicola Garofalo. A sub-Riemannian curvature-dimension inequality, volume doubling property and the Poincaré inequality. Math. Ann. , 358(3-4):833–860, 2014.
