Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I seek metrics on complete manifolds whose scalar curvature represents a singularity of the form $\frac{h}{\rho^2}$ where $h$ is a continuous function and $\rho$ vanishes on the boundary of some compact set of the manifold.

share|improve this question
    
A simple example might be to form a surface of revolution by rotating the superellipse $x^m+y^m=1$ about the $y$ axis, and using the induced intrinsic metric on that surface. The $m=2/3$ case, called an astroid, gives a surface of revolution whose Gaussian curvature blows up like $\rho^{-1/2}$, where $\rho$ is the distance from the cusp. I would expect that some $m<2/3$ would give a singularity with the exponent you want. (You didn't define $\rho$, but I assume you intend it to be the distance from the boundary.) –  Ben Crowell Jul 31 '12 at 15:43

3 Answers 3

Take the graph $t=\sqrt{x^2+y^2+z^2}$ with induced intrinsic metric. In $(x,y,z)$-coordinates, the scalar curvature is $$\frac C{x^2+y^2+z^2}.$$

Are you happy?

share|improve this answer
    
Did you mean some other function, perhaps something like $z=1/|x+y|$, rather than $z=|x+y|$? –  Ben Crowell Jul 31 '12 at 12:47
2  
I think, Anton answered question which OP intended to ask, namely, construct a singular Riemannian metric whose curvature behaves like $h/\rho^2$, where $\rho(x)=d(x_0, x)$ and $h(x_0)\ne 0$. Instead, OP asked a question which does not make whole lot of sense, since in his question scalar curvature becomes infinite outside of a bounded region $C$ (assuming that he does not want $h$ to vanish outside of $C$, otherwise one could take, say, $h=-\rho$ and have curvature equal to $-1$ everywhere). –  Misha Jul 31 '12 at 13:39
    
Anton's formula for the scalar curvature doesn't match up correctly with the equation he's given for the surface. The surface $z=|x+y|$ consists of two half-planes joined at the line $x=-y$. The scalar curvature of this surface does not equal $C/|x+y|^2$. The induced intrinsic curvature of this surface is in fact zero everywhere, even on the line $x=-y$. (One way to see that it's zero even on the line is to consider the join between the two planes as the limiting case of a piece of a cylinder with radius $r$ approaching zero; the intrinsic curvature is zero for all $r$.) –  Ben Crowell Jul 31 '12 at 14:34
    
@Anton: Assuming you intended $z=|x+y|^p$ with some other exponent $p\ne 1$, there is still a problem with the answer, because the OP wanted the singularity to occur on the boundary of a compact set, and the line $x=-y$ is not the boundary of a compact set. @Misha: I assume the OP intended $\lim_{\rho\rightarrow0}h\ne 0$. –  Ben Crowell Jul 31 '12 at 15:49
2  
Ben, isn't the one point the boundary of the compact set consisting of that same point? –  Deane Yang Jul 31 '12 at 18:45

There is a description a plane curve called its Cesàro equation, in which the curvature is given as a function $k$ of arc length $s$. Suppose that $k$'s domain is $(0,1]$. Then it should be clear that, given one point and a tangent vector at that point, the corresponding curve $\mathbf{r}(s)$ exists and is unique for $s\in[0,1]$. (Even if the function $k$ misbehaves at $s=0$, the limit $\mathbf{r}(0)$ exists.)

Define the curve C whose Cesàro equation for $s\in(0,1]$ is $k=1/s^2$, with (arbitrarily, but for concreteness) $\mathbf{r}(0)=(1,0)$, and its tangent vector upward at $s=0$. Form a surface of revolution S by revolving C about the $y$ axis. S is compact, and the locus $s=0$ is a unit circle forming a boundary of S.

The Gaussian curvature $\kappa$ is equal in magnitude to the product of the curvatures along the two principal axes. The curvature along the azimuthal axis is 1 for $s=0$, so $|\kappa|\sim 1/s^2$ as $s\rightarrow 0$.

share|improve this answer

You can use the warped product of two Riemannian manifolds, with a warping function which vanishes on a compact region.

Let $(B,g_B)$ and $(F,g_F)$ be two Riemannian manifolds, and $f$ a smooth function on $B$. The warped product of $B$ and $F$ with warping function $f$ is the manifold $$B\times_f F:=\big(B\times F, \pi^*_B(g_B) + (f\circ \pi_B)\pi^*_F(g_F)\big),$$ where $\pi_B:B\times F \to B$ and $\pi_F: B \times F \to F$ are the canonical projections. It is customary to call $B$ the base and $F$ the fiber of the warped product $B\times_f F$.

Let $B \times_f F$ be a warped product, with $\dim F>1$. Then, the scalar curvature $s$ of $B \times_f F$ is related to the scalar curvatures $s_B$ and $s_F$ of $B$ and $F$ by $$s = s_B + \frac {s_F}{f^2} + 2\dim F\frac{\Delta f}{f} + \dim F(\dim F - 1)\frac{\langle grad f, grad f\rangle_B}{f^2}.$$

You can play with this formula to obtain what you are looking for - by trying to make $s_B + 2\dim F\frac{\Delta f}{f}$ vanish, or at least to be of the form $\frac{h}{f^2}$. To make it vanish, you may solve the equation $$\Delta f+\frac{s_B}{2\dim F}f=0.$$

More about warped products in O'Neill's "Semi-Riemannian geometry: with applications to relativity", and in this paper.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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