MHB Can Gauss Curvature Be Zero on a Genus 2 Surface?

  • Thread starter Thread starter Poirot1
  • Start date Start date
  • Tags Tags
    Curvature Gauss
Poirot1
Messages
243
Reaction score
0
Use the gauss bonnet theorem to show that the gauss curvature of a closed orientable surface of genus 2 cannot be identically zero

euler characteristic is 2-2(2)=-2 so total gauss curvature is equal to -4pi. The integral of zero is zero and not -4pi so gauss curvature is not identically zero. Is this right?
 
Physics news on Phys.org
Poirot said:
Use the gauss bonnet theorem to show that the gauss curvature of a closed orientable surface of genus 2 cannot be identically zero

euler characteristic is 2-2(2)=-2 so total gauss curvature is equal to -4pi. The integral of zero is zero and not -4pi so gauss curvature is not identically zero. Is this right?

That's right.

To explain this more clearly to those who end up at this thread:

The Gauss-Bonnet theorem states that for a compact, 2-dimensional manifold $$M$$, with gaussian curvature $$K$$, whose boundary $$∂M$$ has geodesic curvature $$k_g$$, we have the equality:
$$\int_M K\;dA+\int_{\partial M}k_g\;ds=2\pi\chi(M)$$
where $$\chi(M)$$ is the Euler Characteristic of the surface $$M$$.

In the case of a closed, orientable surface of genus 2, we would state that the surface has no boundary, and that its Euler Characteristic is given by $$2-2g=-2$$. Thus, the Gauss-Bonnet theorem states that
$$\int_M K\;dA=-4\pi$$

Clearly, if $$K=0$$ everywhere (that is, if K is "identically zero"), then the integral on the left would be the integral of zero over some surface, which would have to be zero. We conclude by contradiction that this cannot be the case.
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top