On geometric formality of rationally elliitic manifolds in dimensions $6$ and $7$
Svjetlana Terzic

TL;DR
This paper investigates the geometric formality of rationally elliptic manifolds in dimensions 6 and 7, establishing conditions under which these manifolds have cohomology similar to symmetric spaces.
Contribution
It proves that certain six- and seven-dimensional rationally elliptic manifolds are cohomologically equivalent to symmetric spaces, clarifying their geometric structure.
Findings
Six-dimensional biquotients with b2=3 have cohomology of symmetric spaces.
Rationally hyperbolic six-dimensional manifolds with b2≤2 and b3=0 are not geometrically formal.
Seven-dimensional geometrically formal rationally elliptic manifolds also have cohomology of symmetric spaces.
Abstract
We discuss the question of geometric formality for rationally elliptic manifolds of dimension and . We prove that a geometrically formal six-dimensional biquotient with has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with and can not be geometrically formal. As it follows from their real homotopy classification, the seven-dimensional geometrically formal rationally elliptic manifolds have the real cohomology of symmetric spaces as well.
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.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Geometry and complex manifolds · Algebraic Geometry and Number Theory
On geometric formality of rationally elliptic manifolds in dimensions and
Svjetlana Terzić
Abstract
We discuss the question of geometric formality for rationally elliptic manifolds of dimension and . We prove that a geometrically formal six-dimensional biquotient with has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with and can not be geometrically formal. As it follows from their real homotopy classification, the seven-dimensional geometrically formal rationally elliptic manifolds have the real cohomology of symmetric spaces as well. 111MSC 2000: 53C25, 53C30
Contents
1 Introduction
The notion of geometric formality of a closed compact manifold is defined by an existence of a metric on such that the exterior product of harmonic forms are again harmonic forms. It is proved in [15] that a geometrically formal manifold of dimension has the real cohomology of a symmetric space. Afterwards this notion has been further studied and there were provided many examples of non -geometrically formal homogeneous spaces [17] [18],[11], but also the examples of geometrically formal homogeneous spaces which are not homotopy symmetric spaces [18]. The notion of geometric formality has also been studied from the point of view of its relation to the different positive curvatures [2], [1].
In this note we investigate the question of geometric formality of rationally elliptic manifolds in small dimensions. The reason for considering rationally elliptic manifolds is that a rationally hyperbolic manifold has many relations in its real cohomology algebra comparing to the number of generators, which very often may appear as an obstruction to geometric formality. In addition, the same estimation on the Betti numbers that holds for the rationally elliptic manifolds [8] holds for the geometrically formal manifolds as well [15].
In Section 2.2.1 and Section 4 we show that, from the classification of the rationally elliptic manifolds in dimensions five and seven it directly follows that in these dimensions any geometrically formal manifold has the real cohomology of a symmetric space. In Section 3 we consider the biquotients of dimension six for which and prove that any such geometrically formal biquotient has the real cohomology algebra of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with and can not be geometrically formal.
Acknowledgment: The author would like to thank the referee whose remarks made the author significantly clarify some places in the paper and improve the exposition.
2 Rationally elliptic manifolds and geometric formality
2.1 Notion of geometric formality
Let be a closed oriented Riemannian manifold and its de Rham algebra of differential forms. A differential form is said to be harmonic if where is the exterior derivative, is coderivative and is the Laplace-de Rham operator. To recall this in more detail, let be the scalar product in the space of differential forms at defined by:
[TABLE]
where and .
The scalar product on the space is defined by
[TABLE]
The Hodge star operator , , is defined by
[TABLE]
Then for and it holds It implies that the operator is adjoint to in the space of - forms.
Denote by the graded linear subspace of harmonic forms. It is well known that any harmonic form is closed and no harmonic form is exact. In addition, the Hodge theorem states that any cohomology class contains unique harmonic representative. Thus, there exists an isomorphism between the graded vector spaces and .
It naturally arises the question about the existence of the metric on such that has an algebra structure under the exterior product . For a such metric the algebras and are isomorphic. This is defined in [15]:
Definition 1**.**
A Riemannian metric on is said to be formal if the exterior product of its harmonic forms are harmonic forms.
Definition 2**.**
A closed Riemannian manifold is said to be geometrically formal if it admits a formal Riemannian metric.
The following examples of geometrically formal manifolds are well known: the real cohomology spheres are geometrically formal since they have, up to constant, just one harmonic form; the symmetric spaces are geometrically formal for an an invariant metric . The second one follows from the observations [6] that any -invariant form on a symmetric space is closed and none is exact. In addition, invariant forms form an algebra under the exterior product. Since harmonic forms for an invariant metric are - invariant, it follows that coincides with and, thus, is an algebra.
We found useful to note the following:
Lemma 1**.**
Assume that the manifold is not geometrically formal. Then the product metric on can not be formal for any closed manifold and any Riemannian metrics on and on .
Proof.
Assume that product metric on is a formal metric for some closed manifold and some Riemannian metrics on and on . We claim that the metric is also formal. To see that let be a harmonic form on relative to the metric and let be the corresponding star operator. Then is a harmonic form on relative to the metric . Namely, since and are orthogonal for the metric we have that , where and is the restriction of the from on . More precisely, if , then . Since we obtain that on it holds . It further implies that , since obviously and . Therefore if and are harmonic forms on then is harmonic form on . The restriction of on is the same form, so it follows that is a harmonic form on and the metric is formal, what is the contradiction. ∎
Remark 1*.*
Let us point out one useful observation. Assume that a manifold is geometrically formal and consider its cohomology ring with its generators and relations. Choose harmonic form in each generator for . Then these harmonic forms satisfy the same relations as the corresponding generators in . In many cases the existence of such forms leads to the contradiction meaning that the cohomology structure is often an obstruction to geometric formality.
2.1.1 Relation between rational formality and geometric formality
Definition 3**.**
A manifold is formal in the sense of rational homotopy theory if is weakly equivalent to :
[TABLE]
where the both homomorphisms induce isomorphisms in cohomology.
The first well known examples of formal spaces are the manifolds having free cohomology algebras, then Kaehler manifolds, compact symmetric spaces, etc. Note that the first proof of formality of compact symmetric spaces is based on the fact we already recalled that an invariant metric on a compact symmetric space is formal. Thus, in this case to prove formality one can take in (1), where is an algebra of harmonic forms for an invariant metric.
In addition it is known : all homogeneous spaces with are formal [20], all closed simply connected manifolds of dimension are formal [19], all closed simply connected -dimensional manifolds with are formal [10].
Remark 2*.*
A geometrically formal manifold is formal:
[TABLE]
The converse is not true. For example, it is proved in [17] that the complete flag manifolds are not geometrically formal, although they are formal since . Moreover, none of the complete flag manifolds of a simple compact Lie group is geometrically formal, although they are all formal. This is proved in [17] for the classical Lie groups and and in [11] for the exceptional Lie groups. For all these spaces their cohomology ring structure is an obstruction for geometric formality. On the other hand, in [18] are provided the series of Stiefel manifolds for which it is proved to be geometrically formal and not homotopy equivalent to a symmetric space.
2.2 Rationally elliptic manifolds and geometric formality
Let be a simply connected topological space of finite type, that is for any .
Definition 4**.**
is said to be rationally elliptic if is finite and it is said to be rationally hyperbolic if is infinite.
Example 1**.**
The compact homogeneous spaces and the biquotients of compact Lie groups are rationally elliptic spaces, see [8].
The ranks of the homotopy groups of a rationally elliptic space , satisfy [8]:
[TABLE]
We want to consider the question of geometric formality, or more precisely the weaker question of the real cohomology structure of geometrically formal manifolds, for rationally elliptic spaces. Why to consider rationally elliptic spaces?
The first reason comes from the fact that the Betti numbers of a geometrically formal manifold satisfy [15]:
[TABLE]
It implies that
[TABLE]
On the other hand, it is known [8] that the Betti numbers of a rationally elliptic space satisfy the inequality (3) as well.
The second reason is that a rationally hyperbolic space has many relations in its real cohomology algebra comparing to the number of generators. Namely, let us recall [8] that a free algebra is said to be a minimal model for a commutative differential graded algebra if and there exists a morphism , which induces an isomorphism in cohomology. The minimal model of a simply connected topological space of a finite type is defined to be the minimal model of . It is well known that is unique up to isomorphism and it classifies the rational homotopy type of . Moreover, the ranks of the homotopy groups for are given by the numbers of the generators of the corresponding degree in the minimal model .
For a rationally formal simply connected space , the minimal model coincides with the minimal model of . Therefore, the minimal model of a formal simply connected formal space can be obtained from its cohomology algebra. One just starts, see [8], with the cohomology generators of degree two and builds up the minimal model by adding the generators of higher degree to eliminate the cohomology relations, but in the same time keeping the freeness of the minimal model. Thus, since for a rationally hyperbolic formal space , has infinite number of generators, the number of relations in is quite large comparing to the number of generators in .
Note that and have the same number of generators and is the minimal model for for a formal . It implies that the number of relations in for a rationally hyperbolic formal space is quite large as well. Therefore, taking into account Remark 1, the rationally hyperbolic formal manifolds are hardly to expect to admit a formal metric.
From the side of geometry, it is conjectured by Gromov [12] that the estimation (3) holds for positively curved manifolds, while there is also conjecture by Bott [13] that a simply connected manifold which admits a metric of non-negative sectional curvature is rationally elliptic. This brought attention to the study of the connection between positive curvature and geometric formality. In that context the following results are known.
- •
It is proved in [2] that for a simply connected compact oriented Riemannian -manifold which is geometrically formal and has non-negative sectional curvature one of the following holds: is homeomorphic to , is diffeomorphic to or is isometric to with product metric where both factors carry metrics with positive curvature.
- •
A homogeneous geometrically formal metric of positive curvature is either symmetric or a metric on a rationally homology sphere, see [1].
- •
The normal homogeneous metric on Alloff-Wallach spaces is not geometrically formal [18] , but it is not positively curved as well. It is proved in [1] that no other homogeneous metric is geometrically formal as well.
Remark 3*.*
We further discuss the notion of geometric formality for the rationally elliptic manifolds whose dimension is , because of the more general result of [15] which states that a closed oriented geometrically formal manifold of dimension has the real cohomology algebra of a compact globally symmetric space.
2.2.1 Five-dimensional rationally elliptic manifolds
The following results are known:
- •
All five-dimensional simply connected rationally elliptic manifolds have the rational homotopy type of or ( [21], [24]);
- •
There are four diffeomorphism types five-dimensional biquotients [3]:
[TABLE]
The manifolds and are obtained by gluing two copies of non-trivial three dimensional disc bundles over along the common boundary . The Wu manifold is real cohomology sphere , while .
Thus, all geometrically formal five-dimensional simply connected rationally elliptic manifolds have the real cohomology of a symmetric space. Among biquotients, and are geometrically formal, while for it is for us an open question.
3 Six-dimensional rationally elliptic manifolds
The second Betti number of a six-dimensional rationally elliptic manifold is by (2) less than or equal . The following results are known:
- •
All six-dimensional rationally elliptic manifold with have the real cohomology of , , and ( [14], [23]).
- •
All six-dimensional rationally elliptic manifold with have the real homotopy type of , or ( [14]).
- •
All six dimensional rationally elliptic manifolds with have the rational homotopy groups of ( [23]),
The first result on the real cohomology structure of the geometrically formal rationally elliptic six-manifolds for which is as follows [23]:
Proposition 1**.**
All geometrically formal six-dimensional rationally elliptic manifolds with have the real cohomology of a symmetric space.
Corollary 1**.**
The manifolds and are not geometrically formal.
We discuss here the question of geometric formality for some simply-connected six-dimensional biquotients for which .
Let us recall some notions and results on general six-dimensional biquotients. The biquotient is said to be reduced if is simply-connected, is connected and no simple factor of acts transitively on any simple factor of . By the result of Totaro [25] any compact simply-connected biquotient is diffeomorphic to reduced ones. The biquotient is said to be decomposable if it can be obtained as the total space of bundle over . It is proved [4] that a reduced compact simply connected six-dimensional biquotient satisfies one of the following:
it is diffeomorphic to a homogeneous space or Eschenburg inhomogeneous flag manifold ; 2. 2.
it is decomposable; 3. 3.
it is diffeomorphic to or .
The only irreducible homogeneous space of dimension which does not have the cohomology of a symmetric space is and it is not geometrically formal. The Eschenburg inhomogeneous flag manifold is neither geometrically formal as it is proved in [17].
We analyze now the following decomposable biquotients: three bundles over and infinitely many bundles with base a -dimensional biquotient - , , , . Any bundle from the infinite families of the considered bundles has the second Betti number equal .
Lemma 2**.**
All three bundles over have the real cohomology of , that is of a symmetric space.
Proof.
Any - bundle over is obtained as the projectivisation of rank three complex vector bundle over . Therefore, the integral cohomology of its total space is generated by two generators and of degree subject to the relations
[TABLE]
If we put then and generate the real cohomology ring of and satisfy the relations , , and . ∎
Note that the cohomology structure can not be obstruction for geometric formality of any of these bundles. The trivial bundle is geometrically formal, while for the other two bundles we can remark that if some of them admits a formal metric it admits a symplectic structure as well.
It is proved in [17] that any of the infinitely many bundle over is geometrically formal if and only if it is a trivial bundle . Applying the same argument as it is done in [17] for these family of bundles, we prove the following:
Theorem 1**.**
None of the infinitely many non-trivial -bundles over is geometrically formal.
Proof.
Let be the total space of a - bundle over . Then is the unit sphere bundle in the associated rank vector bundle and it is obtained by the projectivisation of rank complex vector bundle . Therefore the integral cohomology of is given by subject to the relation
[TABLE]
where and are the pull backs of the first and second Chern classes from . The cohomology ring has two generators of degree satisfying relations , and . The relation (4) writes as
[TABLE]
Let , then . It follows that
[TABLE]
and are the cohomology generators for the real cohomology ring . We obtain that and , what implies that is top degree cohomology class.
Assume that is geometrically formal. Let and be the harmonic representatives for and respectively. Since it follows that the kernel foliation of is at least two-dimensional. Let be the independent vectors of this foliation. From (5) it follows .
If then is a volume form on . But, , what is the contradiction.
If then , what implies that the integers and are even. It further implies that and . Therefore, by [22], [5] the bundle is trivial that is . The connected sum is not geometrically formal, since it is known not to admit a symplectic structure. It follows by Lemma 1 that no product metric on is formal.
∎
Theorem 2**.**
None of the infinitely many -bundles over which does not have the real cohomology of is geometrically formal.
Proof.
As previously, the bundle is obtained by the projectivisation of rank complex vector bundle . The integral cohomology of is given by subject to the relation:
[TABLE]
where are the pull backs of the generators of the cohomology ring and they satisfy relations . Let . Then and represent the generators for and in terms of these generators the relation (6) writes as
[TABLE]
where . Since we conclude that is non-zero top-degree cohomology class on .
Assume that is geometrically formal and let , and be the harmonic representatives for , and . We have that , what implies that there exist linearly independent vector fields and in the intersection of the kernel foliations for and . It follows from (7) that , so and can not be the volume forms on . Thus, the volume form must be .
If in (7) then it is easy to see that does not have the real cohomology of . The assumption that is geometrically formal implies that is a volume form on as well, what is in contradiction with the fact .
If then has the real cohomology of . In this case we have that , what implies that . Note that if the both integers and are even then what implies that this bundle is trivial, that is , which is geometrically formal symmetric space.
∎
Theorem 3**.**
None of the infinitely many -bundles over which does not have the real cohomology of is geometrically formal.
Proof.
Let be the total space of a - bundle over . The real cohomology ring for is the same as for . Therefore, as in the proof of previous theorem, we conclude that if does not have the real cohomology of then can not be geometrically formal.
Let and are the the pullbacks of the first and the second Chern classes for , where and are the generators for . Then, as previously, the real cohomology ring for is also generated by and such that , where . It implies that has the real cohomology of if and only if . In this case and also the integers and are of the same parity. If the both and are even then and the bundle is trivial, that is . It is proved in [16] that admits no formal metric, what implies that no product metric on is formal. ∎
Corollary 2**.**
None of the biquotients from the infinite families of the six-dimensional biquotients of the form different from is geometrically formal.
Proof.
The six-dimensional biquotients of the form are classified in [4]. They are parametrized by the three families of infinite matrices and four sporadic matrices. In the same paper it is established which of these biquotients that correspond to these matrices are diffeomorphic. For the biquotients considered in [24] which give one family of these biquotients and whose real cohomology ring has three generators subject to the relations , it is proved in [18] that they are not geometrically formal. We want to remark that, as it is pointed in [4], these biquotients are decomposable meaning that any of them can be obtained as bundle over or as bundle over , so Theorem 2 and Theorem 3 provide the new proof that they are not geometrically formal. The other family of these biquotients has the real cohomology ring generated by subject to the relations . This family is considered in [23], where it is proved that none of these biquotients which does not have the real cohomology of is not geometrically formal. The third family of the biquotients has the real cohomology generators subject to the relations . For this family it is proved in [4] that they are decomposable meaning that they can be represented as bundles over , so Theorem 1 proves that they are not geometrically formal. ∎
Remark 4*.*
Note that the biquotients from Corollary 2 belong to the third case in the description of six-dimensional biquotients that is given in [4]. This condition also describes the manifold .
3.1 On some hyperbolic six-dimensional manifolds
We show that none of the hyperbolic, closed, simply-connected six-dimensional manifold for which and can be geometrically formal because of its cohomology structure. For such a manifold it is known [14] that it is rationally hyperbolic if and only if it has the real homotopy type of or .
Proposition 2**.**
A manifold having real cohomology structure of or can not be geometrically formal.
Proof.
The manifold has three cohomology generators , such that and and , and . If assume that this manifold is geometrically formal, we have harmonic forms and representing the classes respectively, which satisfy the same relations as these classes. Since this form have four-dimensional kernel foliation. Denote by linearly independent vectors of this foliation. Since we obtain that , what implies . It further gives
[TABLE]
[TABLE]
This is in contradiction with the fact that is a volume form.
The manifold has four cohomology generators such that and , which satisfy relations , and . If this manifold is geometrically formal, we would have that the harmonic forms and , which represent the cohomology classes and , satisfy . Therefore, the kernel foliations for and are four-dimensional. We denote their basis by and respectively.
Let and be harmonic representatives for and . Since and we obtain that and .
The intersection of the kernel foliations for and is at least two-dimensional. Note that this kernel foliations can not coincide since it gives contradiction with the fact that and are volume forms.
Assume that the kernel intersection is two-dimensional and let and be the basis of this intersection. Since , we obtain that what gives . Therefore, , which is in contradiction with the fact that is a volume form.
If the kernel intersection is three dimensional, let , and denote by and . Then from it follows that and from it follows that . Further, there exists vector field orthogonal to the sum of these foliations . We obtain that . Note that since, say, for we would have , which is in contradiction with being volume form. Therefore, what, together with previous, implies . Therefore, we obtain that contradicting that is a volume form.
∎
4 Seven-dimensional rationally elliptic manifolds
It is proved in [14] that a closed simply-connected seven-dimensional manifold is rationally elliptic if and only if it has the real homotopy type of one of the following manifolds : , , , , , or . Here the manifold is a homogeneous space , where the embedding is given by
[TABLE]
The manifolds , , and are obviously geometrically formal. On the other side, not all manifolds having the real homotopy types of these manifolds are geometrically formal. The Alloff-Wallach spaces have the real cohomology of , but the normal homogeneous metrics on these spaces are not formal [18]. This result, as we already mentioned, is recently strengthened in [1], where it is proved that none of the homogeneous metrics on Alloff-Wallach spaces can be geometrically formal.
The real cohomology algebra for is as follows:
[TABLE]
where . It follows that is not Cartan pair homogeneous space and, thus, not formal in the sense of rational homotopy theory [20]. Therefore, it can not be geometrically formal.
The product metric on any of manifolds and can not be formal since, otherwise, it would by Lemma 1 imply that the connected sums and are geometrically formal manifolds which is, as we already noted, not the case.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] M. Amann and W.Ziller, Geometrically formal metrics of positive sectional curvature , Journal of Geometric Analysis 26 (2016), 996-1010.
- 2[2] C. Baer, Geometrically formal 4 4 4 -manifolds with nonnegative sectional curvature , Communication in Analysis and Geometry 23 (2015), no. 3, 479 - 497.
- 3[3] D. Barden, Simply-connected five manifolds . Annals of Mathematics 82 (1965), 365 – 385.
- 4[4] J. De Vito, The classification of compact simply connected biquotients in dimension 6 and 7 , Mathematische Annalen 368 , no. 3-4, 1493–1541.
- 5[5] A. Dold, H. Whitney, Classification of oriented sphere bundles over 4 4 4 -complex , Annals of Mathematics (2) 69 (1959), 667–677.
- 6[6] B. A. Dubrovin, A. T. Fomenko and S. P. Novikov, Modern Geometry — Methods and Applications , Vol. III, Graduate Texts in Mathematics 124, Springer Verlag 1990.
- 7[7] J. H. Eschenburg, Cohomology of biquotients , Manuscripta Mathematica 75 (1992), 151–166.
- 8[8] Y. Felix, S. Halperin and J. C. Thomas, Rational Homotopy Theory , Springer Verlag, 2000.
