Does anyone know an example of a complete surface (certainly not necessarily embedded in $\Bbb R^3$) with negative curvature unbounded below? Any example I have computed so far is either not complete or has curvature bounded below. Any light that might be shed would be welcome. (Sadly, this corner of geometry is far from my expertise.)
$\begingroup$
$\endgroup$
6

4$\begingroup$ Can't you just take a rotationally symmetric example in polar coordinates? $ds^2 = dr^2 + f(r)^2\,d\theta^2$ where $f$ is a solution of the equation $f''(r)(1+r^2)f(r) = 0$ with $f(0)=0$ and $f'(0)=1$? This will be complete with $K = (1+r^2)<0$ (and $r$ is the distance from the pole $r=0$ in this metric). The explicit solution of the equation is $$f(r) = e^{r^2/2}\ \int_0^r e^{\rho^2}\ d\rho $$. $\endgroup$– Robert BryantCommented Sep 21, 2013 at 10:27

1$\begingroup$ Robert, thanks so much. I was fixating on trying to get a singular metric at the origin, rather than going to infinity, and this was complicating my life a bit. Elegant that the Gaussian emerges yet again :) The question that's motivating this — have you any intuition — is whether as we go off to infinity (with $K\to \infty$) there is a uniform bound (upper and lower) on $A(R)/R^2$ when $R$ is geodesic distance and $A(R)$ is the area of the geodesic ball of radius $R$. (Happy sabbatical!! More later!) $\endgroup$– Ted ShifrinCommented Sep 21, 2013 at 12:25

1$\begingroup$ @Ted Shifrin: You cannot expect to have a upper bound on $A(R)/R^2$: even the hyperbolic plane does not have one since $A(R)$ is exponential! However you do have the lower bound $A(R)/R^2 \ge \pi$ for any simply connected surface of nonpositive curvature, by GüntherBishop inequality. $\endgroup$– Benoît KloecknerCommented Sep 21, 2013 at 13:00

$\begingroup$ @BenoîtKloeckner: Sorry, I phrased it sloppily. I meant for small $R$ only, but I did not know GüntherBishop. Thanks so much. As I said, I have never been enough of a Riemannian expert :) Much appreciated! $\endgroup$– Ted ShifrinCommented Sep 21, 2013 at 13:06

1$\begingroup$ @TedShifrin: As for estimating $A(R)/R^2$ for small $R$, there is the classical expansion $$A(R)/R^2 = \pi\left(1\frac{K(p)}{12}\ R^2\right) + O(R^4),$$ where $A(R)$ is the area of the disc of radius $R$ centered on $p$. $\endgroup$– Robert BryantCommented Sep 21, 2013 at 14:05

Show 1 more comment
1 Answer
$\begingroup$
$\endgroup$
1
Kazdan and Warner (MR0343206 (49 #7950) Reviewed Kazdan, Jerry L.; Warner, F. W. Curvature functions for open 2manifolds. Ann. of Math. (2) 99 (1974), 203–219. 53C20 (35J05 58G15) )
show that a smooth function on a $\mathbb{R}^2$ is the curvature of a complete metric if and only if $\lim_{r\rightarrow \infty} \inf_{p > r} K(p) \leq 0.$ So, presumably this should give plenty of examples of the sort you seek, and maybe if you read the paper it discusses how you might construct such.

$\begingroup$ Many thanks. I actually knew of some of their results from this era, but didn't think to look here. $\endgroup$ Commented Sep 21, 2013 at 0:31