# Torus with positive sectional curvature.

There was this question, whether a torus in dimension n, $T^n$, can carry a riemannian metric with positive sectional curvature.

A read a proof, which goes as follows:

$T^n$ is complete, because it's compact. Assume $sec_x>0$ for all $x\in T^n$. Then his universal covering has also positive sectional curvature, hence is compact after the Bonnet-Myers theorem. So the fundamental group of $T^n$ is finite, which is a contradiction.

I think this is no complete proof. The Theorem of Bonnet-Myers needs an unifome bound on the curvature, so strictly positive curvature everywhere is not sufficient. Here's mny counterexample: Take the upper hyperboloid in the three dimensional euclidian space $M:=\{x\in\mathbb{R}^3|x_1^2+x_2^2-x_3^2=-1,x_3>0\}$ with the induced metric from $R^3$. This has positive sectional curvature evreywhere, but is not compact. (Because as $|x|$ goes to infinity, the sectional curvature of $x$ goes to zero.)

What do I make wrong? Or am I right and this proof is incomplete? If so, how can I get an uniformly bound on the sectional curvature? Using that $T^n$ is compact? How can I make this precise?

• SInce $T$ is compact, its sectional curvature is uniformly bounded. The same is true then of its universal covering space, with the same bounds, since the section curvatures of the latter are exacty the same as those of the former! Commented Mar 22, 2013 at 16:07
• A continuous function on a compact set achieves its minimum. Commented Mar 22, 2013 at 17:03

Your hyperboloid has negative sectional curvature everywhere, indeed constant $-1.$ This is one of the standard models of the hyperbolic plane. http://en.wikipedia.org/wiki/Hyperboloid_model
• @archipelago, what is the source you are quoting? You are correct about taking the other induced metric. However, the hyperboloid cannot be the Riemannian covering space of the ordinary torus. For one thing, the integral of the sectional (Gauss) curvature on the torus is $0.$ Commented Mar 22, 2013 at 15:53