2
$\begingroup$

If I start with an infinite flat sheet of graph paper, and in polar coordinates cut out a piece according to: $r>0, \ \ -f(r) < \theta < f(r)$

Now I want to stitch the remaining graph paper together, by associating each point $(r,f(r))$ to $(r,-f(r))$ on the seam.

How do I calculate what the curvature is of the stitched up paper along the seam?

  • 1
    Are you sure it is possible to stitch the paper together?2011-04-30
  • 0
    I don't see why not. The top and bottom seam is a mirror image across $\theta=0$, so I could easily stitch these in real life. So I don't see any problem doing it theoretically. Is there some requirement I should know about for stitching seams together? Is it more than assigning points on the seam smoothly to each other?2011-04-30
  • 2
    Unless I am misunderstanding, one has the following problem: If $f(r)$ is not constant (i.e. if the top and bottom seams are not straight) then in real life you would have to essentially arrange the paper so that near the seams the top and bottom of the paper were parallel (so that you match the two seams). The sewn piece of paper will then have a cusp all the way along the seam (so the curvature will be infinite along the seam). If you try to do it any other way, you will tear the paper while trying to sew up the seams. (But if the seam is a straight line, then you can match the two ...2011-04-30
  • 0
    ... edges of the paper flatly along the seam, and then have curvature zero along the seam --- all the curvature will be concentrated at the cone point.)2011-04-30
  • 1
    So the curvature is either zero or infinite (a delta function like limit)? And the only way to get zero is with a straight line? This doesn't seem intuitive to me. Can you show the math in an answer so I can learn the details? That would be great!2011-04-30
  • 2
    @John In a sufficiently small neighbourhood of any point not on your seam, the (Gaussian) curvature is zero, since it is isometric to the plane. So all the curvature has to be concentrated in the seam; a set of measure zero. The integral of the curvature in a small disk that intersects the seam cannot be nonzero if the curvature on the seam is represented by finite values.2011-04-30
  • 0
    @yasmar Okay, the only possibilities being zero or infinite curvature at a point on the seam makes sense now. Thank you. That the only way to get zero curvature is with f(r)=constant still doesn't though. Maybe just an answer showing how I could calculate the curvature at the seam would be a great start.2011-04-30
  • 0
    Take a look at [this answer by Deane Yang](http://mathoverflow.net/questions/16850/curvature-and-parallel-transport/17099#17099) at MathOverflow to get an idea of how curvature can be computer via parallel transport of a vector around a closed loop. On a two-dimensional surface this computation simplifies drastically (see, e.g. exercise 12 in [this problem set](http://www.dpmms.cam.ac.uk/study/II/DifferentialGeometry/2010-2011/dg2e4.pdf); note that the computation is still morally valid if your manifold is only $C^1$, as it would be in your case).2011-04-30

1 Answers 1

1

Perhaps your description of what you wanted to do doesn't match with what you intended. If we go backwards, i.e., start with a right circular cone, and make some squiggly cut in it, from base to apex, and then flatten that out we will get a disk with a wedge with squiggly sides cut out. The two sguiggly sides match up.

Assume that if we did the cut with a straight line, then we'd get a wedge described by the lines $\pm \tilde{\theta}$. Now, we can imagine replacing those straight lines by the squiggly one described by your function. To keep from making a mess, we'd need constraints on the function, corresponding to your squiggly line on the cone not wrapping around and intersecting itself. Say $f'(0) = 0$, and $|f(r)| < \pi r$, but we might have to think about that more. Now we have a wedge cut out by curves described by $\pm \tilde{\theta} + f(r)$. In other words, we're removing the piece according to $$ -\tilde{\theta} + f(r) \leq \theta \leq \tilde{\theta} + f(r), $$ which is not the same as you have in your question. If we get it right, and we have a seam with no curvature, then it will be represented by a curve on the cone we get, so it makes sense to go backwards like this.

  • 0
    Your answer works backwards from a cone to show that the f(r) I referred to will give zero curvature along the seam (except at the origin I guess) if f(r) = constant. But how do I calculate the curvature at the origin? And how do I calculate the curvature for any other case? Shouldn't there be some way to get a formula for the curvature in terms of f(r)?2011-04-30
  • 0
    If you make a cone (i.e., if $f(r)$ is constant in your question), then the discrete curvature at the cone point is the angle defect, i.e. $2\pi -2\tilde{\theta}$, where I've reverted to the notation in my answer. This lets you recover the Gauss-Bonnet theorem for polyhedra, for example.2011-04-30
  • 0
    If you make a cusp along a seam, as you describe, then things will get more complicated. If the cusp ends, i.e. $f(r) = C$ for $r \geq r_0$, for some constants $C$ and $r_0$, then presumably you can determine the curvature by integrating something around a loop containing the cusp, as Willie's comment to your question above suggests. We could maybe argue that it'll be something simple like $2\pi r_0 - \ell(\gamma)$, where $\gamma$ is the curve defined the circular arc a distance $r_0$ from the cone point. But this probably isn't quite right, because the geodesic distance to the cone point ...2011-04-30
  • 0
    won't be $r_0$ when the cusp gets in the way. I am not sure why @Willie suggested that we have a $C^1$ manifold here. Maybe he will elaborate on that.2011-04-30