4
$\begingroup$

Let $M$ be a simply connected closed Riemannian manifold. How does one find a condition that may be imposed on $M$ (perhaps on the curvature of $M$ and on torsion) which guarantees that the rational cohomology ring $H^*(M;\mathbb{Q})=\bigoplus_{k\in\mathbb{N}}H^k(M;\mathbb{Q})$ needs at least two generators? That is, how does one force $M$ not to have rational cohomology that is the quotient of a polynomial ring?

Cross-posting on MO: https://mathoverflow.net/questions/306490/show-that-the-rational-cohomology-ring-hm-mathbbq-needs-at-least-two-ge

Any help would be much appreciated. Thanks in advance!

|cite|improve this question
$\endgroup$
  • 2
    $\begingroup$ If $M$ is oriented then there are at least two non-trivial classes in $H^*(M;\mathbb{Q})$. More generally you can consider its Betti numbers. $\endgroup$ – Tyrone Jul 20 '18 at 9:47
  • 4
    $\begingroup$ @Tyrone I think the question is how to force $M$ to not have polynomial cohomology ring. $\endgroup$ – user98602 Jul 20 '18 at 14:01
  • $\begingroup$ What type of conditions are you looking for? Curvature or what else? $\endgroup$ – Thomas Rot Jul 20 '18 at 14:47
  • $\begingroup$ @Thomas Rot Yes, curvature in particular. $\endgroup$ – Sergio Charles Jul 20 '18 at 16:24
  • $\begingroup$ @Mike Miller Yes, I would like to force $M$ not to have a truncated polynomial cohomology ring. $\endgroup$ – Sergio Charles Jul 20 '18 at 16:25
4
$\begingroup$

I can't imagine any kind of curvature condition which would work. I will use the phrase "standard examples" to refer to a space diffeomorphic to a sphere or projective space over $\mathbb{C},\mathbb{H}$ or $\mathbb{O}$. This are certainly the most well known examples of manifolds having the kinds of cohomology rings you are trying to avoid.

For example, one could demand negative/zero/positive sectional curvature. But the first two cases can't arise on a closed simply connected manifold, by Cartan-Hadamard Theorem. This leaves the case of positive sectional curvature - but then all of the standard examples admit such a metric.

So, perhaps one could demand negative/zero/positive Ricci curvature. Again, in the positive case, all the standard examples admit such a metric. Further, Lohkamp has shown that every manifold of dimension at least $3$ admits a metric of negative Ricci curvature. And it seems to be open whether or not $S^n$ admits a Ricci flat metric (see this MO question). I do not know about Ricci flat metrics on any other space with singly generated rational cohomology.

Finally, in the realm of scalar curvature, all the standard examples admit metrics on positive scalar curvature. By Kazdan-Warner, they each admit scalar flat and scalar negative metrics.

To further complicate matters, there are known examples of exotic spheres which do not admit metrics of positive scalar curvature (so don't admit metrics of positive sectional or Ricci curvature). So it doesn't seem like any of the usual curvature conditions can limit the rational cohomology ring like you would like.

|cite|improve this answer
$\endgroup$
  • $\begingroup$ Thank you. My suggestion of a condition on sectional or Ricci curvature was only speculative and tentative. It does not have to necessarily be a condition on curvature. $\endgroup$ – Sergio Charles Jul 23 '18 at 19:43
  • 1
    $\begingroup$ Sure, and there are also notions of curvature I didn't cover (Almost non-negative, bi-orthogonal sectional curvature, etc), so perhaps one of those does what you want. $\endgroup$ – Jason DeVito Jul 23 '18 at 21:03
  • $\begingroup$ I am by no means an expert, so I am not too familiar with such curvatures. Does reducible holonomy say anything about one of these curvatures? @JasonDeVito $\endgroup$ – Sergio Charles Jul 23 '18 at 21:18
  • 1
    $\begingroup$ I know almost nothing about those other kinds of curvatures, sorry! $\endgroup$ – Jason DeVito Jul 24 '18 at 3:21
1
$\begingroup$

The following is Ian Agol's answer on my cross-post on MO: If $M$ is simply-connected and has reducible holonomy, then a theorem of de Rham implies that $M$ is a product, and hence does not have homology generated by one element. Moreover, coupling Berger's classification with de Rham's decomposition theorem, one obtains a classification of reducible holonomy groups by requiring that each factor is one of the examples coming from the list.

|cite|improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.