Canonical fibrations of contact metric $(\kappa,\mu)$-spaces
Eugenia Loiudice, Antonio Lotta

TL;DR
This paper classifies complete, simply connected contact metric $(ppa,mu)$-spaces as homogeneous manifolds by analyzing their canonical fibrations, revealing their base spaces as complex or para-complexifications of spheres or hyperbolic spaces, and providing new homogeneous representations.
Contribution
It offers a complete classification of contact metric $(ppa,mu)$-spaces via their canonical fibrations, including new homogeneous models for certain cases.
Findings
Base spaces are complex or para-complexifications of spheres or hyperbolic spaces.
Provides a new homogeneous representation for spaces with Boeckx invariant less than -1.
Classifies these spaces based on the Boeckx invariant value.
Abstract
We present a classification of the complete, simply connected, contact metric -spaces as homogeneous contact metric manifolds, by studying the base space of their canonical fibration. According to the value of the Boeckx invariant, it turns out that the base is a complexification or a para-complexification of a sphere or of a hyperbolic space. In particular, we obtain a new homogeneous representation of the contact metric -spaces with Boeckx invariant less than .
| Boeckx invariant | Base space | Type |
|---|---|---|
| Complexification of | ||
| Para-complexification of | ||
| Complexification of |
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.
Canonical fibrations of contact metric -spaces
E. Loiudice and A. Lotta
Abstract.
We present a classification of the complete, simply connected, contact metric -spaces as homogeneous contact metric manifolds, by studying the base space of their canonical fibration. According to the value of the Boeckx invariant, it turns out that the base is a complexification or a para-complexification of a sphere or of a hyperbolic space. In particular, we obtain a new homogeneous representation of the contact metric -spaces with Boeckx invariant less than .
Mathematics Subject Classification (2000): Primary 53C25, 53D10; Secondary 53C35, 53C30.
Keywords and phrases: contact metric -space, regular contact manifold.
1. Introduction
The study of the curvature tensor of associated metrics to a contact form is a central theme in contact metric geometry. Actually some important classes of contact metric manifolds can be defined using it. We recall for example that Sasakian manifolds, the odd-dimensional analogues of Kähler manifolds, can be characterized by:
[TABLE]
where are any vector fields and denotes the characteristic vector field of the contact metric manifold. A meaningful generalization of this curvature condition is
[TABLE]
where are real numbers and is the Lie derivative of the structure tensor in the direction of the characteristic vector field .
The contact metric manifolds with this property were introduced by Blair, Koufogiorgos and Papantoniou in [5], and are called contact metric –spaces in the literature. These spaces have many interesting geometric properties; first of all, they are stable under -homothetic deformations and moreover in the non-Sasakian case, i.e., when , the curvature tensor of the associated metric is completely determined. Looking at contact metric manifolds as strongly pseudo-convex (almost) manifolds, in [12] Dileo and the second author showed that the condition is equivalent to the local -symmetry with respect to the Webster metric, according to the general notion introduced by Kaup and Zaitsev in [15]. In this context, another characterization was given by Boeckx and Cho in terms of the parallelism of the Tanaka–Webster curvature [9].
Boeckx gave a crucial contribution to the problem of classifying these manifolds; after showing that every non-Sasakian contact -space is locally homogeneous and strongly locally –symmetric [7], in [6] he defined a scalar invariant which completely determines a contact –space locally up to equivalence and up to -homotetic deformations of its contact metric structure.
A standard example is the tangent sphere bundle of a Riemannian manifold with constant sectional curvature . Being an hypersurface of , which is equipped with a natural almost Kähler structure , where is the Sasaki metric, inherits a standard contact metric structure (for more details, see for instance [4]). In particular, the Webster metric of is a scalar multiple of . The corresponding Boeckx invariant is given by:
[TABLE]
Hence, as varies in , assumes all the real values strictly greater than .
The case seems to lead to models of different nature. Namely, Boeckx found examples of contact metric -spaces, for every value of the invariant , namely a two parameter family of (abstractly constructed) Lie groups with a left-invariant contact metric structure. However, he gave no geometric description of these examples; in particular, to our knowledge, nothing can be found in the literature regarding the topological structure of these manifolds.
One of the first aims of this paper is to fill this gap, showing that the simply connected, complete contact metric –spaces with , with dimension are exhausted by a one parameter family of invariant contact metric structures on the homogeneous space
[TABLE]
Actually, we provide a unified treatment of all the models with . Our classification is accomplished intrisically, by studying the canonical fibration of non Sasakian contact metric -spaces with Boeckx invariant and endowing the base spaces of a canonical connection. Here we refer to the fibration over the leaf space of the foliation determined by the Reeb vector field; as such, it depends only on the contact form of . First, in Theorem 7, non Sasakian contact metric -spaces with Boeckx invariant are characterized by admitting a transitive Lie group of automorphisms whose Lie algebra has a (canonical) symmetric decomposition. This decomposition yields a reductive decomposition for the base space of the canonical fibration and the associated canonical connection makes an affine symmetric space (Corollary 1).
Next we show that admits a uniquely determined standard invariant complex or para-complex structure, by which it is a complexification or a para–complexification of the sphere or of the hyperbolic space , according to the value of the Boeckx invariant of the –space. After identifying the possible base spaces , in the final section we construct explicitly our models as homogeneous contact metric manifolds fiberings onto them. In conclusion, we obtain the following classification list:
[TABLE]
This table also provides a new geometric interpretation of the Boeckx invariant.
2. Preliminaries
Let be a odd-dimensional smooth manifold. An almost contact structure on is a triple consisting of a tensor field , a vector field and a -form satisfying:
[TABLE]
An almost contact manifold always admits a compatible metric, namely a Riemannian metric such that
[TABLE]
for every vector fields on . If such a metric satisfies also
[TABLE]
then is called a contact metric structure on . In this case is a contact form; we shall denote by the corresponding contact distribution and by the module of smooth sections of .
A contact metric manifold is said to be a -contact manifold if its characteristic vector field is Killing. This condition is equivalent to the vanishing of the tensor field
[TABLE]
being Lie differentiation in the direction of .
If the curvature tensor of a contact metric manifold satisfies the following condition
[TABLE]
for every vector fields on , then is a Sasakian manifold. In this case is a Killing vector field and hence is a -contact manifold.
A contact metric -space is a contact metric manifold such that
[TABLE]
where are arbitrary vector fields and , are real numbers. The condition is invariant under -homothetic deformations. We recall that a -homothetic deformation of a contact metric manifold is given by the following changing of the structural tensors of :
[TABLE]
where is a positive constant.
By direct computations one can check that a -homothetic deformation transforms a contact metric space in a contact metric space where
[TABLE]
In particular, a -homothetic deformation of a contact metric manifold satisfying yields:
[TABLE]
In [5] the authors proved the following Theorem.
Theorem 1**.**
Let be a contact metric manifold. Then . Moreover, if then and is Sasakian. If , the contact metric structure is not Sasakian and admits three mutually orthogonal integrable distributions , and corresponding to the eigenspaces of , where .
The explicit expression of the Riemannian curvature tensor of a non-Sasakian contact metric -manifold is known (see [7, Theorem 5]):
Theorem 2**.**
Let be a contact metric -space. If then:
[TABLE]
The class of non-Sasakian contact metric -spaces coincides with the class of contact metric manifolds with non vanishing -parallel tensor , according to [5, Lemma 3.8] and the following result of Boeckx and Cho [8]:
Theorem 3**.**
Let be a contact metric manifold which is not -contact. If for every vector fields orthogonal to , then is a contact metric -space.
Finally, we recall also the following characterization in the context of geometry (we refer to [4, Section 6.4] and [13] for a general reference on this topic):
Theorem 4**.**
[12, Theorem 3.2]** Let be a pseudo-Hermitian manifold. Assume that the Webster metric is not Sasakian. The following conditions are equivalent:
- (1)
The Webster metric is locally -symmetric. 2. (2)
The underlying contact metric structure satisfies the condition.
Non-Sasakian contact metric -spaces have been completely classified by Boeckx in [6]. In this case and the real number
[TABLE]
is an invariant for the structure, that we call Boeckx invariant. Indeed we have that:
Theorem 5** ([6]).**
Let , , be two non-Sasakian -spaces of the same dimension. Then if and only if, up to a -homothetic transformation, the two spaces are locally isometric as contact metric spaces. In particular, if both spaces are simply connected and complete, they are globally isometric up to a -homothetic transformation.
Next we recall the notions of straight and twisted complexifications of a Lie Triple System (LTS). For more details we refer the reader to [1] and [2]. Given a Lie triple system we shall write as usual
[TABLE]
We shall also write instead of . An invariant complex structure on is a complex structure such that for every
[TABLE]
An invariant para-complex structure on is a para-complex structure on (i.e., an endomorphism of such that and the eigenspaces of have the same dimension) satisfying:
[TABLE]
for every .
For every LTS endowed with an invariant (para-)complex structure, the corresponding simply connected symmetric space is canonically endowed with a -invariant almost (para-)complex structure and viceversa (see Proposition III.1.4 of [1]).
An invariant (para-)complex structure on a LTS is called straight or twisted respectively if:
[TABLE]
or
[TABLE]
Accordingly, a straight or respectively twisted (para-)complex symmetric space is an affine symmetric space endowed with an invariant almost (para-) complex structure such that
[TABLE]
or respectively
[TABLE]
where is the curvature of .
A (para-)complexification of a LTS is a LTS together with an invariant (para-)complex structure and an automorphism such that , and the LTS given by the space of -fixed points of is isomorphic to . The (para-)complexification of is called straight or twisted respectively if is a straight or twisted.
We recall that every LTS has a unique straight complexification given by the –trilinear extension of [2, Proposition 2.1.4]. The existence of a twisted complexification or para-complexification of is instead related to the existence of a particular -tensor, the Jordan extension of .
Let be a symmetric space endowed with an invariant almost (para-) complex structure . The structure tensor of is the -tensor
[TABLE]
This tensor satisfies the following two properties:
[TABLE]
[TABLE]
Now, a Jordan triple system is a pair , where is a vector space and is a trilinear map satisfying (JT1), (JT2), called a Jordan triple product on .
Observe that if is a JT product on , then
[TABLE]
is a LT product on .
Let be a JT product on a LTS . We set
[TABLE]
is said to be a Jordan extension of if .
Theorem 6**.**
[1, Theorem III.4.4]** Let be a LTS. The following object are in one-to-one correspondence:
- (1)
twisted complexification of , 2. (2)
twisted para-complexisication of , 3. (3)
Jordan extension of .
In the next section we shall be concerned with the following basic examples, studying their interplay with the classification of contact metric -manifolds. Consider the Lie triple systems and , associated respectively to the sphere and the hyperbolic space , where is
[TABLE]
On one can consider the following JT product:
[TABLE]
Then, according to [1, Proposition IV.1.5], the corresponding twisted complexification and para-complexification of , are the the symmetric spaces
[TABLE]
and
[TABLE]
In the case of , one can consider ; the corresponding twisted complexification is (see [1, p. 91]):
[TABLE]
3. A characterization of contact metric -spaces
Let be a connected homogeneous contact metric manifold. Consider a Lie group acting transitively on as a group of automorphisms of the contact metric structure, and denote by the isotropy subgroup of at . The natural map given by is a diffeomorphism. Thus is a homogeneous Riemannian space and in particular it is a reductive homogeneous space (cf. e.g. [20]). Fix a reductive decomposition of the Lie algebra of :
[TABLE]
where . The identity component of acts again transitively on , and the isotropy subgroup of at is . Let
[TABLE]
be the natural fibration of onto the homogeneous space . Being , (2) is also a reductive decomposition for . Then decomposes into the direct sum of two -invariant subspaces
[TABLE]
where is the vector of corresponding to and corresponds to the determination of the contact distribution at , being the neutral element of .
Now, homogeneity ensures that the contact form is regular (see [10, Section II]); hence we have a canonical fibration of , given by (see also [18, p. 225]):
[TABLE]
where is the identity component of the closed Lie subgroup
[TABLE]
of . Here denotes the one form on pull back of via . We have that ([10, Lemma II.4]).
Moreover, the Lie algebra of is given by:
[TABLE]
and we have the following decomposition of :
[TABLE]
Our first aim is to characterize the non-Sasakian contact metric -spaces as homogeneous contact metric manifolds for which decomposition (3) is symmetric, i.e.,
[TABLE]
Using this, in Corollary 1, we shall be able to endow of -invariant affine connections making it an affine symmetric space.
Theorem 7**.**
Let be a simply connected, complete, contact metric manifold. Assume is not -contact. Then the following conditions are equivalent:
- (a)
* is a contact metric -space.* 2. (b)
* admits a transitive, effective Lie group of automorphisms whose Lie algebra is a symmetric Lie algebra with symmetric decomposition (3).*
Proof.
(a) (b). According to [7], is a homogeneous contact metric manifold. Let be the Lie group of all the automorphisms of the contact metric structure of , and be the isotropy subgroup of at .
We fix a reductive decomposition of
[TABLE]
where and are respectively the Lie algebras of and . Keeping the notation above we consider also the decompositions
[TABLE]
By Theorem 4, for every there exists a local -symmetry at . Being simply connected and complete, the local -symmetries are actually globally defined. Let be the -symmetry at . We recall that is an isometric diffeomorphism of , whose differential at is on . In particular, it is a automorphism of the contact metric structure and and affine automorphism of the canonical -invariant affine connection associated to (4). Hence, denoting by the torsion of , we have that, for every :
[TABLE]
which yields that , and hence .
The curvature tensor of and the Reeb vector field are also preserved by . Hence for every :
[TABLE]
moreover, since we have that thus
[TABLE]
for every . Being effective on , the adjoint representation is injective; therefore, using also , we conclude that .
Finally we prove that ; indeed we have:
[TABLE]
This completes the proof of b.
(b) (a). Let be a reductive decomposition for the homogeneous contact metric space , where is the isotropy subgroup of at a point .
Let and respectively the Levi-Civita connection of and the canonical affine connection on associated to the fixed reductive decomposition. If we set , then
[TABLE]
Now, since the tensor is invariant under automorphisms of the contact metric structure, it is parallel with respect to the canonical connection ([16, p. 193]) and hence:
[TABLE]
Being a metric connection, for we have that
[TABLE]
Then for every :
[TABLE]
Now observe that for every :
[TABLE]
and
[TABLE]
being a symmetric decomposition by assumption. Thus . Hence for every :
[TABLE]
and then, by (7)
[TABLE]
Thus, using (5), we obtain that
[TABLE]
for every . This implies that is a contact metric -space according to Theorem 3. ∎
Corollary 1**.**
Let be a simply connected, complete, non-Sasakian contact metric -manifold. Then the base space of the canonical fibration of is an an affine symmetric space.
Proof.
It suffices to prove that is a homogeneous reductive space with respect to decomposition (3); indeed, the associated canonical -invariant connection makes a locally symmetric affine manifold. Observe that is simply connected since the fibers of the canonical fibration are connected (cf. [10, Theorem II.4]). Being the canonical invariant connection always complete (see Corollary 2.5 of [16, Chapter X]), is actually a symmetric space.
To prove our claim, we already recalled that ; thus and . Since and is connected, it follows that and hence, being also , we conclude that as claimed.
∎
We remark that the affine symmetric structure on thus obtained a priori depends on the initial choice of a reductive decomposition (2) of . In the next section, we shall see that actually different choices lead to the same affine symmetric space, up to isomorphism (see Corollary 2).
4. The base space of the canonical fibration
The aim of this section is to give a complete classification of the symmetric base spaces of the canonical fibrations of simply connected, complete, non-Sasakian contact metric -manifolds with Boeckx invariant . We obtain that is a twisted complexfication or para-complexification of the sphere , or of the hyperbolic space according to the following table:
Keeping the notations above, we identify the tangent space of at the base point with the linear subspace . Moreover we denote by and the subspaces of corresponding respectively to the eigenspaces and of .
We start by computing the curvature of .
Proposition 1**.**
Let be a simply connected, complete, non-Sasakian contact metric -manifold and the base space of the canonical fibration of . If is the canonical affine connection on associated to any reductive decomposition of type (3), then the curvature tensor of at the base point is given by
[TABLE]
Proof.
For every we have (see [16, Chapter X]):
[TABLE]
and hence
[TABLE]
where and are the components of respectively in and ; being the curvature tensor of the canonical connection of the homogeneous reductive space with reductive decomposition .
Let be the Levi-Civita connection of and the curvature tensor of . If we set , then a standard computation yields:
[TABLE]
for every . Moreover, being a -invariant tensor, we have that is parallel with respect to the canonical connection and hence
[TABLE]
and equation (9) becomes:
[TABLE]
We already observed in the proof of Theorem 7 that for every :
[TABLE]
hence
[TABLE]
[TABLE]
In (11) we are using the parallelism of the distributions with respect to , which is a consequence of the fact that .
Moreover we have:
[TABLE]
Then, using (10), (11), (12), specializing at the point we obtain:
[TABLE]
where . The -tensor is a skew symmetric tensor, being . In particular
[TABLE]
so that, by (12):
[TABLE]
Thus, equation (13) becomes:
[TABLE]
Now, using Theorem 7:
[TABLE]
on the other hand
[TABLE]
for every vector field on . Thus:
[TABLE]
Finally, taking into account the explicit expression of the curvature tensor of (see Theorem 2), we obtain (8). ∎
Corollary 2**.**
The affine base spaces of a simply connected, complete, non-Sasakian, contact metric -manifold are all mutually equivalent affine symmetric spaces.
For a non-Sasakian contact metric -space the restriction of the tensor to the horizontal distribution does not induce a complex structure on the base space, as occurs in the homogeneous Sasakian case, because . However, we shall see in the following that admits a standard complex or para-complex structure, according to the following definition and Theorem 8.
Definition 1**.**
Let be a contact metric -manifold and the base space of the canonical fibration of .
A -invariant almost complex structure on will be called standard complex structure provided its determination at the base point is of the form:
[TABLE]
where is a positive constant.
A standard para-complex structure on is a -invariant almost complex structure on whose determination at the base point is of the form:
[TABLE]
where is a positive constant.
Remark 1**.**
A (para-)complex structure on the vector space defined as in (14) (resp. (15)) does not induce in general a -invariant almost complex (resp. para-complex) structure on .
Theorem 8**.**
Let be a simply connected, complete, contact metric -manifold and let the symmetric base space of the canonical fibration of . Then:
- (1)
* if and only if admits a standard complex structure.* 2. (2)
* if and only if admits a standard para-complex structure.*
Moreover, in each case such a standard complex or para-complex structure is uniquely determined; precisely, it corresponds to the following value of the constant in (14), (15):
[TABLE]
when , and
[TABLE]
when .
Proof.
Let the Lie triple system associated to the symmetric space . The Lie triple product is given by the curvature of in the base point :
[TABLE]
Let be a complex structure on of the form:
[TABLE]
where is a real parameter, .
For every and , using (8) and (16), by a direct computation, one can check that:
[TABLE]
Hence, the condition:
[TABLE]
is satisfied for every , if and only if there exists such that .
If then also . It follows that , but by assumption is non-Sasakian; then it must be and
[TABLE]
This condition is equivalent to require that .
Finally:
[TABLE]
Thus
[TABLE]
for every , , if and only if there exist such that .
We conclude that the complex structure is invariant if and only if
. Moreover in this case
[TABLE]
With analogous considerations, we obtain that the para-complex structure defined on by:
[TABLE]
where , is an invariant para-complex structure if and only if . In this case
[TABLE]
∎
Remark 2**.**
Cappelletti Montano, Carriazo and Martín Molina [11] showed that every non-Sasakian contact metric -manifold with admits a Sasakian structure obtained by deforming the -tensor and the Riemannian metric as follows:
[TABLE]
where
[TABLE]
Moreover, for every point of there exists a local -symmetry [12, Theorem 3.2] Observe that the -symmetries preserve the tensor field , and hence they preserve also and . By [12, Proposition 3.3] we have that is a Sasakian -symmetric space and then it fibers over a Kähler manifold that is an Hermitian symmetric space [19]. One can check that coincides with the standard complex structure on in our sense.
Proposition 2**.**
*The standard (para-)complex structure on the base space of a simply connected, complete, non-Sasakian, contact metric -manifold with ( ) is actually a twisted (para-)complex -invariant structure. *
Proof.
This can be easily verified directly using equation (8). ∎
Theorem 9**.**
Let be a simply connected, complete, non-Sasakian, contact metric -manifold. Then:
- (1)
* if and only if its twisted complex symmetric base space is the complexification of .* 2. (2)
* if and only if its twisted para-complex symmetric base space is the para-complexification of .* 3. (3)
* if and only if its twisted complex symmetric base space is the complexification of .*
Proof.
Consider the Lie triple system associated to the canonical symmetric base space . The Lie triple commutator , is given by:
[TABLE]
where is the curvature of . By direct computation, using Proposition 1 we see that the linear mapping
[TABLE]
is an involutive automorphism of the LTS . Thus the space of the -fixed elements of , together with the induced Lie triple bracket, is a Lie triple system. Actually, being
[TABLE]
and being the restriction of to given by
[TABLE]
we have that the LTS is isomorphic to the LTS belonging to the sphere or the hyperbolic space , according to the circumstance that the Boeckx invariant is or respectively; indeed we have 2-\mu+2\lambda=2\lambda\Big{(}I_{M}+1\Big{)}.
Suppose . Let be the twisted complex structure on corresponding to the standard complex structure of . Observe that , being . Then is a twisted complexification of .
We recall that, by definition, the structure tensor of at the base point is:
[TABLE]
and that its restriction to yields the Jordan extension of the LTS , uniquely associated to its twisted complexification (see Theorem 6).
Computing we obtain:
[TABLE]
Hence, taking into account the complexification diagrams of the sphere and of the hyperbolic space [1, Chapter IV], we obtain assertions 1 and 3.
Now suppose and denote by the twisted para-complex structure on corresponding to the standard para-complex structure of at the base point. We have that , being , and hence is a twisted para-complexification of . The structure tensor of at the base point is:
[TABLE]
Then the Jordan extension of uniquely associated to the twisted para-complexification of the LTS is:
[TABLE]
Then, comparing again with the complexification diagram of the sphere we obtain assertion 2.
∎
5. Homogeneous model spaces of contact metric -spaces
In this section we complete our classification, showing that one can actually construct a contact metric -space with prescribed Boeckx invariant starting from each of the symmetric spaces in Table 1. More precisely, we prove
Theorem 10**.**
The simply connected, complete, contact metric -spaces with Boeckx invariant different from can be classified as follows.
a) The homogeneous space carries a one parameter family of invariant contact metric structures whose Boeckx invariant assumes all the values in .
b) The homogeneous space carries a one parameter family of invariant contact metric structures whose Boeckx invariant assumes all the values in .
c) The homogeneous space carries a one parameter family of invariant contact metric structures whose Boeckx invariant assumes all the values in .
Proof.
Starting from a fixed Hermitian or para-Hermitian symmetric structure on each of the symmetric spaces
[TABLE]
we shall construct explicitly a one parameter family of invariant contact metric structures on the homogeneous spaces
[TABLE]
with , and .
We first consider the symmetric Lie algebras and with symmetric decompositions:
[TABLE]
where
[TABLE]
The -invariant almost complex structure defined by
[TABLE]
and the -invariant metric on :
[TABLE]
determine an invariant Hermitian symmetric structure on ; here denotes the standard inner product on and denotes the matrix
[TABLE]
in the case , resp. the matrix
[TABLE]
in the case . Observe that the decomposition of
[TABLE]
[TABLE]
is a reductive decomposition for . Indeed, for every
[TABLE]
we have that . In particular, we have for every .
We have a natural decomposition of :
[TABLE]
where
[TABLE]
By using this decomposition, we define on a tensor , a inner product and a -form as follows:
[TABLE]
where , and , are arbitrary elements of . These tensors are -invariant, indeed for every :
[TABLE]
finally, being , we also have that . Observe that the invariance of implies that, for every and
[TABLE]
where is the fundamental vector field determined by . Thus for every :
[TABLE]
Evaluating this formula at the base point yields:
[TABLE]
By direct computations, using (19), (20), we obtain that
[TABLE]
This proves that the invariant tensors make up a contact metric structure on . Moreover it is a -contact structure if and only if . Indeed, being and invariant tensors on , they are parallel with respect to the canonical connection associated to the decomposition (18), hence:
[TABLE]
then
[TABLE]
Applying Theorem 7 we see that is a contact metric structure on for every ; moreover, by construction, is a standard complex structure on the base space of the canonical fibration of , in the sense of Definition 1. In particular if then, by the uniqueness result in Theorem 8 we must have
[TABLE]
or equivalently
[TABLE]
Thus, as varies in , assumes all the values in and assume all the values in .
Now we consider the Lie algebra with symmetric decomposition , where
[TABLE]
Let be the para-Hermitian structure on determined by the -invariant structure on :
[TABLE]
where denotes the matrix
[TABLE]
The homogeneous space is reductive with respect to the decomposition
[TABLE]
where
[TABLE]
indeed
[TABLE]
for every , .
Now we consider the natural decomposition of :
[TABLE]
where
[TABLE]
Using this decomposition, we define on the following -invariant tensors:
[TABLE]
where and , are any matrices in . One checks by the same method used above that is a contact metric –structure. Moreover
[TABLE]
Then applying again Theorem 8 we get
[TABLE]
and hence, as varies in , assumes all the values in . ∎
Remark 3**.**
Of course, in the case we recover, up to isomorphism, the unit tangent sphere bundle of a Riemannian manifold with constant sectional curvature , .
In the case , we obtain a new homogeneous representation of the contact metric manfolds with , different from the Lie group representation furnished by Boeckx. Actually these models can be geometrically interpreted also as tangent hyperquadric bundle over Lorentzian space forms, as showed in [17].
Remark 4**.**
The homogeneous model spaces of the contact metric -manifolds here obtained also appear in the classification list of the simply connected sub-Riemannian symmetric spaces carried out by Bieliavsky, Falbel and Gorodski in [3]. However, in their paper the contact metric structures are not considered.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] W. Bertram: The Geometry of Jordan and Lie Structures. Springer Lecture Notes in Mathematics 1754, Springer-Verlag, Berlin (2000).
- 2[2] W. Bertram: Complexifications of symmetric spaces and Jordan theory . Trans. Amer. Math. Soc. 353 (2001), 2531–2556.
- 3[3] P. Bieliavsky, E. Falbel and C. Gorodski: The classification of simply-connected contact sub-Riemannian symmetric spaces , Pacific J. Math. 188 (1999), 65–82.
- 4[4] D. E. Blair: Riemannian geometry of contact and symplectic manifolds, volume 203 of Progress in Mathematics . Birkhäuser, Boston Inc., Boston, MA, second edition (2010).
- 5[5] D. E. Blair, T. Koufogiorgos, and B. J. Papantoniou: Contact metric manifolds satisfying a nullity condition , Israel J. Math. 91 (1995), 189–214.
- 6[6] E. Boeckx: A full classification of contact metric ( k , μ ) 𝑘 𝜇 (k,\mu) -spaces , Illinois J. Math. 44 (2000), 212–219.
- 7[7] E. Boeckx: A class of locally φ 𝜑 \varphi -symmetric contact metric spaces , Arch. Math. (Basel) 72 (1999), 466–472.
- 8[8] E. Boeckx and J. T. Cho: η 𝜂 \eta -parallel contact metric spaces , Differential Geom. Appl. 22 (2005), 275–285.
