I have problem with following exercise


Consider the hypersurface $M$ parametrized by $z=x^2+y^2$.

Endow this with the Riemannian metric induced from the $\mathbb{R}^3$.

Compute the sectional curvature.

  • Bonnet-Myers theorem says that if the (Ricci) curvature is bounded from below by a positive constant then the manifold is compact. So, the given surface can't have curvature bounded from below by a positive constant. – mfl Nov 3 '14 at 10:15
  • Which parts do you have problem with? – user99914 Nov 3 '14 at 10:28
  • @John, How one can compute the sectional curvature of above? and i guess this calculation gives positive curvature, but this hypersurface is not compact. – phy_math Nov 3 '14 at 10:32
  • Do you know the metric of this surface? – user99914 Nov 3 '14 at 10:35
  • No.... Are you taking a course? – user99914 Nov 3 '14 at 10:40

I'd like to know my calculation process is done correctly.

Note $z=x^2+y^2$, in $\mathbb{R}^3$, by introducing spherical coordinate such that \begin{align} x= r\cos{\theta}, \quad y= r\sin{\theta} , \quad z=r^2 \end{align} we have \begin{align} x^2 +y^2 = r^2= z \end{align} and doing calculation with chain rule \begin{align} \partial_{r} = \cos(\theta)\partial_x + \sin(\theta) \partial_{y} +2r \partial_z\end{align} \begin{align} \partial_{\theta} = -r\sin(\theta) \partial_x + r\cos(\theta) \partial_y \end{align} Thus \begin{align} ds^2 = (1+4r^2)dr^2 + r^2d\theta^2 \end{align} and sectional curvature How can i use sectional curvature formula for this case?

I know

Note i used the formula for sectional curvature for geodesic polar coordinate $i.e$ \begin{align} ds^2 =dr^2 +f(r,\theta)^2 d\theta^2 \qquad K=-\frac{1}{f}\frac{\partial^2 f}{\partial r^2} \end{align}

  • I might be overlooking something, but it appears to me as though the surface that you have parametrized does not satisfy $z = x^2 + y^2$. Namely, I see that you have $x^2 + y^2 = \sin^{2}\theta_{1} \cos^{2}\theta_{2} + \sin^{2}\theta_{1} \sin^{2}\theta_{2} = \sin^{2}\theta_{1}$. By my calculations, this surface satisfies $x^2 + y^2 + z^1 = 1$ (i.e. is a sphere of radius 1). If you are going to introduce new coordinates to address the problem, you might consider spherical coordinates with $x = r\cos \theta$, $y = \r\sin \theta$ and $z = r^2$. – THW Nov 3 '14 at 18:12
  • 2
    It might be more instructive to set your surface up as a Monge surface with $(u, v)\mapsto (u, v, f(u, v))$ and derive the Gaussian curvature for a general Monge patch. – THW Nov 3 '14 at 18:20
  • @THW Thanks, I edited the process – phy_math Nov 4 '14 at 3:16
  • @THW, The informative for a general Monge patch helps me a lot. THanks – phy_math Nov 4 '14 at 3:35
  • I figure out what i did wrong in the above, and how to do this calculation correctly and obtain desired curvature. But still i am confused of considering Bonnet-Myers theorem. Maybe next week i will summarize my calculation and post it below. – phy_math Nov 4 '14 at 11:43
up vote 0 down vote accepted

This method was using Monge surface parametrization, which was introduced by @THW. in my former question.


Endowment of $\mathbb{R}^3$, we can do Gauss approach as follows. \begin{align} \mathbf{x}(r,\theta)=(f(r),r\cos(\theta), r\sin(\theta)) \end{align} where $f(r)=r^2=z$. \begin{align} &\mathbf{x}(r,\theta)=\left(f(r),r\cos(\theta), r\sin(\theta) \right) \quad \mathbf{x}_r = \left(f'(r), \cos(\theta), \sin(\theta) \right) \\ & \mathbf{x}_{rr} = \left( f''(r),0,0 \right) \quad \mathbf{x}_\theta = \left( 0,-r\sin(\theta), r\cos(\theta) \right) \\ &\mathbf{x}_{\theta\theta} = \left( 0,-r\cos(\theta), -r\sin(\theta) \right) \quad \mathbf{x}_{r\theta} = \left(0, -\sin(\theta), \cos(\theta)\right) \end{align} Here $'$ denote the $r$-derivative. Then \begin{align} I=ds^2 =(\mathbf{x}_r du + \mathbf{x}_\theta dv) \cdot(\mathbf{x}_r dr + \mathbf{x}_\theta d\theta) = Edr^2 + 2F drd\theta+ G d\theta^2 \end{align} with $E = 1 +(f')^2$, $F=0$, $G=r^2$. Note \begin{align} &\mathbf{x}_r \times \mathbf{x}_\theta = \left(r, -f'(r) r \cos(\theta), -f'(r) r \sin(\theta) \right) \\ &||\mathbf{x}_r \times \mathbf{x}_\theta|| = \sqrt{EG-F^2} = r\sqrt{1 + (f')^2} \\ & U=\frac{\mathbf{x}_r \times \mathbf{x}_\theta}{||\mathbf{x}_r \times \mathbf{x}_\theta||}= \frac{\left(1, -f' \cos(\theta), -f' \sin(\theta) \right)}{\sqrt{1 + (f')^2}} \end{align} and \begin{align} &e= \mathbf{x}_{rr} \cdot U=\frac{f''}{\sqrt{1 + (f')^2}}, \qquad f=\mathbf{x}_{r\theta}\cdot U=0 , \qquad g=\mathbf{x}_{\theta\theta} \cdot U=\frac{f'r}{\sqrt{1 + (f')^2}} \\ &\kappa_\mu = \frac{e}{E} =\frac{f''}{\sqrt{\left(1 +(f')^2 \right)^3}}, \quad \kappa_{\pi} = \frac{g}{G}=\frac{f'}{r\sqrt{1+(f')^2}} \end{align} Thus we obtain Gauss Curvature \begin{align} K = \kappa_\mu \kappa_\pi =\frac{f'f''}{r\left( 1 +(f')^2 \right)^2}\stackrel{f =r^2 }=\frac{4}{\left( 1 +4r^2 \right)^2} >0 \end{align}

Your Answer

 

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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