Skip to main content
added 255 characters in body
Source Link
Tim Campion
  • 64k
  • 13
  • 143
  • 384

Let me summarize the information in the comments in a CW post. Feel free to edit.

  • For "weaker" notions of curvature, negative curvature seems to not imply that a manifold is a $K(G,1)$. As Deane Yang pointed out, Lohkamp showed that for each $d \geq 3$, there are numbers $a(d) > b(d) > 0$ such that every manifold $M$ of dimension $d$ admits a complete metric $g$ with $-a(d) < \operatorname{Ric}(M,g) < -b(d)$. I believe this implies an analogous result for scalar curvature.

  • The only loophole I can see is that there might be a smaller interval $a(d) \geq a' \geq b' \geq b(d) > 0$ such that if $M$ admits a metric $g$ with $-a'\leq \mathrm{Ric}(M,g) \leq -b'$, then $M$ is a $K(G,1)$. (Possibly $a',b'$ might depend on further parameters such as $\operatorname{diam}(M,g)$ or $\operatorname{vol}(M,g)$).

    For instance, if $M$ admits a metric of constant negative Ricci curvature, does this imply that $M$ is a $K(G,1)$? Igor Belegradek points out below that the answer is no in this case as shown by Yau.

  • For sectional curvature, the story is different. As several people pointed out, the Cartan-Hadamard theorem says that any manifold admitting a complete metric of nonpositive sectional curvature is a $K(G,1)$.

We may ask if this can be improved to allow a small amount of positive curvature. As Igor Belegradek pointed out, "small amount" can't be specified in terms of volume, since $R S^2 \times g(R) S^1$ has constant volume $a$ for appropriate $g(R)$, but by choosing $R$ sufficiently large, it has arbitrarily small positive curvature. But as Igor Belegradek also pointed out, Y. Fukaya and Yamaguchi showed that there is a positive number $\epsilon(d,D)$ dependent only on the dimension $d$ and diameter $D$, such that any compact Riemannian manifold $M$ with $-1 \leq \operatorname{sec}(M) < \epsilon(\operatorname{dim}(M), \operatorname{diam}(M))$ is a $K(G,1)$. The lower bound on the curvature is necessary; Fukaya says that Gromov constructed metrics on $S^3$ with fixed diameter and arbitrarily small sectional curvature.

  • I don't know if Yamaguchi - Fukaya's result holds for complete Riemannian manifolds (as Igor Belegradek points out the question doesn't even make sense in this case).
  • Another direction which might be interesting would be to control "small amounts of positive curvature" in some other way. For instance, rather than controlling the $L^\infty$ norm of the sectional curvature, one might ask for control over some averaged version of it -- this might allow the curvature to become very positive at a point so long as it's not very positive in a large region. Somehow the necessity of the lower curvature bound in Fukaya's result suggests to me that something like this might be a good idea.

Let me summarize the information in the comments in a CW post. Feel free to edit.

  • For "weaker" notions of curvature, negative curvature seems to not imply that a manifold is a $K(G,1)$. As Deane Yang pointed out, Lohkamp showed that for each $d \geq 3$, there are numbers $a(d) > b(d) > 0$ such that every manifold $M$ of dimension $d$ admits a complete metric $g$ with $-a(d) < \operatorname{Ric}(M,g) < -b(d)$. I believe this implies an analogous result for scalar curvature.

  • The only loophole I can see is that there might be a smaller interval $a(d) \geq a' \geq b' \geq b(d) > 0$ such that if $M$ admits a metric $g$ with $-a'\leq \mathrm{Ric}(M,g) \leq -b'$, then $M$ is a $K(G,1)$. (Possibly $a',b'$ might depend on further parameters such as $\operatorname{diam}(M,g)$ or $\operatorname{vol}(M,g)$).

    For instance, if $M$ admits a metric of constant negative Ricci curvature, does this imply that $M$ is a $K(G,1)$?

  • For sectional curvature, the story is different. As several people pointed out, the Cartan-Hadamard theorem says that any manifold admitting a complete metric of nonpositive sectional curvature is a $K(G,1)$.

We may ask if this can be improved to allow a small amount of positive curvature. As Igor Belegradek pointed out, "small amount" can't be specified in terms of volume, since $R S^2 \times g(R) S^1$ has constant volume $a$ for appropriate $g(R)$, but by choosing $R$ sufficiently large, it has arbitrarily small positive curvature. But as Igor Belegradek also pointed out, Y. Fukaya showed that there is a positive number $\epsilon(d,D)$ dependent only on the dimension $d$ and diameter $D$, such that any compact Riemannian manifold $M$ with $-1 \leq \operatorname{sec}(M) < \epsilon(\operatorname{dim}(M), \operatorname{diam}(M))$ is a $K(G,1)$. The lower bound on the curvature is necessary; Fukaya says that Gromov constructed metrics on $S^3$ with fixed diameter and arbitrarily small sectional curvature.

  • I don't know if Fukaya's result holds for complete Riemannian manifolds.
  • Another direction which might be interesting would be to control "small amounts of positive curvature" in some other way. For instance, rather than controlling the $L^\infty$ norm of the sectional curvature, one might ask for control over some averaged version of it -- this might allow the curvature to become very positive at a point so long as it's not very positive in a large region. Somehow the necessity of the lower curvature bound in Fukaya's result suggests to me that something like this might be a good idea.

Let me summarize the information in the comments in a CW post. Feel free to edit.

  • For "weaker" notions of curvature, negative curvature seems to not imply that a manifold is a $K(G,1)$. As Deane Yang pointed out, Lohkamp showed that for each $d \geq 3$, there are numbers $a(d) > b(d) > 0$ such that every manifold $M$ of dimension $d$ admits a complete metric $g$ with $-a(d) < \operatorname{Ric}(M,g) < -b(d)$. I believe this implies an analogous result for scalar curvature.

  • The only loophole I can see is that there might be a smaller interval $a(d) \geq a' \geq b' \geq b(d) > 0$ such that if $M$ admits a metric $g$ with $-a'\leq \mathrm{Ric}(M,g) \leq -b'$, then $M$ is a $K(G,1)$. (Possibly $a',b'$ might depend on further parameters such as $\operatorname{diam}(M,g)$ or $\operatorname{vol}(M,g)$).

    For instance, if $M$ admits a metric of constant negative Ricci curvature, does this imply that $M$ is a $K(G,1)$? Igor Belegradek points out below that the answer is no in this case as shown by Yau.

  • For sectional curvature, the story is different. As several people pointed out, the Cartan-Hadamard theorem says that any manifold admitting a complete metric of nonpositive sectional curvature is a $K(G,1)$.

We may ask if this can be improved to allow a small amount of positive curvature. As Igor Belegradek pointed out, "small amount" can't be specified in terms of volume, since $R S^2 \times g(R) S^1$ has constant volume $a$ for appropriate $g(R)$, but by choosing $R$ sufficiently large, it has arbitrarily small positive curvature. But as Igor Belegradek also pointed out, Fukaya and Yamaguchi showed that there is a positive number $\epsilon(d,D)$ dependent only on the dimension $d$ and diameter $D$, such that any compact Riemannian manifold $M$ with $-1 \leq \operatorname{sec}(M) < \epsilon(\operatorname{dim}(M), \operatorname{diam}(M))$ is a $K(G,1)$. The lower bound on the curvature is necessary; Fukaya says that Gromov constructed metrics on $S^3$ with fixed diameter and arbitrarily small sectional curvature.

  • I don't know if Yamaguchi - Fukaya's result holds for complete Riemannian manifolds (as Igor Belegradek points out the question doesn't even make sense in this case).
  • Another direction which might be interesting would be to control "small amounts of positive curvature" in some other way. For instance, rather than controlling the $L^\infty$ norm of the sectional curvature, one might ask for control over some averaged version of it -- this might allow the curvature to become very positive at a point so long as it's not very positive in a large region. Somehow the necessity of the lower curvature bound in Fukaya's result suggests to me that something like this might be a good idea.
Source Link
Tim Campion
  • 64k
  • 13
  • 143
  • 384

Let me summarize the information in the comments in a CW post. Feel free to edit.

  • For "weaker" notions of curvature, negative curvature seems to not imply that a manifold is a $K(G,1)$. As Deane Yang pointed out, Lohkamp showed that for each $d \geq 3$, there are numbers $a(d) > b(d) > 0$ such that every manifold $M$ of dimension $d$ admits a complete metric $g$ with $-a(d) < \operatorname{Ric}(M,g) < -b(d)$. I believe this implies an analogous result for scalar curvature.

  • The only loophole I can see is that there might be a smaller interval $a(d) \geq a' \geq b' \geq b(d) > 0$ such that if $M$ admits a metric $g$ with $-a'\leq \mathrm{Ric}(M,g) \leq -b'$, then $M$ is a $K(G,1)$. (Possibly $a',b'$ might depend on further parameters such as $\operatorname{diam}(M,g)$ or $\operatorname{vol}(M,g)$).

    For instance, if $M$ admits a metric of constant negative Ricci curvature, does this imply that $M$ is a $K(G,1)$?

  • For sectional curvature, the story is different. As several people pointed out, the Cartan-Hadamard theorem says that any manifold admitting a complete metric of nonpositive sectional curvature is a $K(G,1)$.

We may ask if this can be improved to allow a small amount of positive curvature. As Igor Belegradek pointed out, "small amount" can't be specified in terms of volume, since $R S^2 \times g(R) S^1$ has constant volume $a$ for appropriate $g(R)$, but by choosing $R$ sufficiently large, it has arbitrarily small positive curvature. But as Igor Belegradek also pointed out, Y. Fukaya showed that there is a positive number $\epsilon(d,D)$ dependent only on the dimension $d$ and diameter $D$, such that any compact Riemannian manifold $M$ with $-1 \leq \operatorname{sec}(M) < \epsilon(\operatorname{dim}(M), \operatorname{diam}(M))$ is a $K(G,1)$. The lower bound on the curvature is necessary; Fukaya says that Gromov constructed metrics on $S^3$ with fixed diameter and arbitrarily small sectional curvature.

  • I don't know if Fukaya's result holds for complete Riemannian manifolds.
  • Another direction which might be interesting would be to control "small amounts of positive curvature" in some other way. For instance, rather than controlling the $L^\infty$ norm of the sectional curvature, one might ask for control over some averaged version of it -- this might allow the curvature to become very positive at a point so long as it's not very positive in a large region. Somehow the necessity of the lower curvature bound in Fukaya's result suggests to me that something like this might be a good idea.
Post Made Community Wiki by Tim Campion