16
$\begingroup$

I hesitated for a long time to ask such an elementary-seeming question on Math Overflow, but when I asked and bountied it on Math SE, I found that a few experts seem to disagree on the answer, and I didn't get enough responses to indicate a statistically significant consensus.

A cursory online search gives that about half the sources include the requirement of orientability in the Gauss-Bonnet theorem, and half don't. (I listed eight on the "no" side in the SE question; a Google search yields many more on the "yes" side.)

Ted Shifrin claims that

It is absolutely a necessity, as to define the [global] integral $\iint_M K dA$ requires an orientation.... (The far abstracted version of Gauss-Bonnet refers to the Euler class of the tangent bundle of an oriented 2n-dimensional Riemannian manifold. Orientability is needed there, too, to define the Pfaffian of the curvature matrix.)

Sunghyuk Park, on the other hand, gives an answer claiming that with any non-orientable surface you can consider its orientable double cover, and for that double cover all three terms (the Gaussian curvature surface integral, the boundary geodesic curvature line integral, and the Euler characteristic term) all double, so that the theorem remains true. Ted Shifrin concedes that the theorem might hold for closed non-orientable surfaces, but claims that the boundary line integrals actually cancel out instead of doubling.

So what's the deal? Does the Gauss-Bonnet theorem hold for (a) any compact non-orientable surface, (b) only closed non-orientable surfaces, or (c) no (nontrivial) generic class of non-orientable compact surfaces?

$\endgroup$
  • 4
    $\begingroup$ In researching this, I found another question about orientable surfaces on which the experts seem split exactly 50-50: whether or not the word "non-orientable" is hyphenated. $\endgroup$ – tparker Sep 13 '18 at 4:41
  • 9
    $\begingroup$ The theorem holds perfectly well for non-orientable surfaces. You just have to be a little careful when computing the integral. Depending on what formula you use for $K dA$, you might be using a formalism that assumes orientability -- something like a differential form formalism. But you can make perfect sense of both the left and right hand side of the Gauss-Bonnet formula for non-orientable surfaces, and you can prove it in a variety of ways. The double cover is one. $\endgroup$ – Ryan Budney Sep 13 '18 at 6:05
  • $\begingroup$ GB-formula holds holds for closed non-orientable surface, here $dA$ means the volum-measure. For one example, $\mathbb RP^2$. $\endgroup$ – DLIN Sep 13 '18 at 6:51
  • 1
    $\begingroup$ @tparker Both spellings are usually fine! See grammar-monster.com/lessons/hyphens_in_prefixes.htm $\endgroup$ – Sofie Verbeek Sep 13 '18 at 7:27
  • 1
    $\begingroup$ This should hold also for closed non-orientable surfaces $S$, viewing $\iint K\,dA$ as the integral of the Gaussian curvature $K$ with respect to the area measure (speaking about measures completely avoids orientability). Proof: if you pass to the oriented double cover $\widehat S$, both sides $\iint K\,dA$ and $2\pi\chi(S)$ double their value; since they are equal for $\widehat S$, they coincide also for $S$. $\endgroup$ – Mizar Sep 15 '18 at 15:24

Your Answer

By clicking "Post Your Answer", you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.