## The Gauss-Bonnet formula of polytopal manifolds and the characterization of embedded graphs with nonnegative curvature

HTML articles powered by AMS MathViewer

- by Beifang Chen
- Proc. Amer. Math. Soc.
**137**(2009), 1601-1611 - DOI: https://doi.org/10.1090/S0002-9939-08-09739-6
- Published electronically: November 20, 2008
- PDF | Request permission

## Abstract:

Let $M$ be a connected $d$-manifold without boundary obtained from a (possibly infinite) collection $\mathcal P$ of polytopes of ${\mathbb R}^d$ by identifying them along isometric facets. Let $V(M)$ be the set of vertices of $M$. For each $v\in V(M)$, define the discrete Gaussian curvature $\kappa _M(v)$ as the normal angle-sum with sign, extended over all polytopes having $v$ as a vertex. Our main result is as follows: If the absolute total curvature $\sum _{v\in V(M)}|\kappa _M(v)|$ is finite, then the limiting curvature $\kappa _M(p)$ for every end $p\in \operatorname {End} M$ can be well-defined and the Gauss-Bonnet formula holds: \[ \sum _{v\in V(M)\cup \operatorname {End} M}\kappa _M(v)=\chi (M). \] In particular, if $G$ is a (possibly infinite) graph embedded in a $2$-manifold $M$ without boundary such that every face has at least $3$ sides, and if the combinatorial curvature $\Phi _G(v)\geq 0$ for all $v\in V(G)$, then the number of vertices with nonvanishing curvature is finite. Furthermore, if $G$ is finite, then $M$ has four choices: sphere, torus, projective plane, and Klein bottle. If $G$ is infinite, then $M$ has three choices: cylinder without boundary, plane, and projective plane minus one point.## References

- A. D. Aleksandrov and V. A. Zalgaller,
*Intrinsic geometry of surfaces*, Translations of Mathematical Monographs, Vol. 15, American Mathematical Society, Providence, R.I., 1967. Translated from the Russian by J. M. Danskin. MR**0216434** - Carl B. Allendoerfer and André Weil,
*The Gauss-Bonnet theorem for Riemannian polyhedra*, Trans. Amer. Math. Soc.**53**(1943), 101–129. MR**7627**, DOI 10.1090/S0002-9947-1943-0007627-9 - Thomas Banchoff,
*Critical points and curvature for embedded polyhedra*, J. Differential Geometry**1**(1967), 245–256. MR**225327** - Jeff Cheeger and David G. Ebin,
*Comparison theorems in Riemannian geometry*, North-Holland Mathematical Library, Vol. 9, North-Holland Publishing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York, 1975. MR**0458335** - Jeff Cheeger, Werner Müller, and Robert Schrader,
*On the curvature of piecewise flat spaces*, Comm. Math. Phys.**92**(1984), no. 3, 405–454. MR**734226**, DOI 10.1007/BF01210729 - Beifang Chen,
*The Gram-Sommerville and Gauss-Bonnet theorems and combinatorial geometric measures for noncompact polyhedra*, Adv. Math.**91**(1992), no. 2, 269–291. MR**1149626**, DOI 10.1016/0001-8708(92)90019-H - Beifang Chen and Guantao Chen,
*Gauss-Bonnet formula, finiteness condition, and characterizations of graphs embedded in surfaces*, Graphs Combin.**24**(2008), no. 3, 159–183. MR**2410938**, DOI 10.1007/s00373-008-0782-z - Matt DeVos and Bojan Mohar,
*An analogue of the Descartes-Euler formula for infinite graphs and Higuchi’s conjecture*, Trans. Amer. Math. Soc.**359**(2007), no. 7, 3287–3300. MR**2299456**, DOI 10.1090/S0002-9947-07-04125-6 - H. Groemer,
*On the extension of additive functionals on classes of convex sets*, Pacific J. Math.**75**(1978), no. 2, 397–410. MR**513905**, DOI 10.2140/pjm.1978.75.397 - M. Gromov,
*Hyperbolic groups*, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75–263. MR**919829**, DOI 10.1007/978-1-4613-9586-7_{3} - Yusuke Higuchi,
*Combinatorial curvature for planar graphs*, J. Graph Theory**38**(2001), no. 4, 220–229. MR**1864922**, DOI 10.1002/jgt.10004 - M. Ishida, Pseudo-curvature of a graph,
*Lecture at ‘Workshop on topological graph theory’*, Yokohama National University, 1990. - P. McMullen,
*Non-linear angle-sum relations for polyhedral cones and polytopes*, Math. Proc. Cambridge Philos. Soc.**78**(1975), no. 2, 247–261. MR**394436**, DOI 10.1017/S0305004100051665 - S. B. Myers,
*Riemannian manifolds with positive mean curvature*, Duke Math. J.**8**(1941), 401–404. MR**4518**, DOI 10.1215/S0012-7094-41-00832-3 - David A. Stone,
*A combinatorial analogue of a theorem of Myers*, Illinois J. Math.**20**(1976), no. 1, 12–21. MR**410602** - Wolfgang Woess,
*A note on tilings and strong isoperimetric inequality*, Math. Proc. Cambridge Philos. Soc.**124**(1998), no. 3, 385–393. MR**1636552**, DOI 10.1017/S0305004197002429

## Bibliographic Information

**Beifang Chen**- Affiliation: Department of Mathematics, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong
- Email: mabfchen@ust.hk
- Received by editor(s): March 2, 2007
- Received by editor(s) in revised form: February 15, 2008, and July 6, 2008
- Published electronically: November 20, 2008
- Additional Notes: The author was supported in part by the RGC Competitive Earmarked Research Grants 600703 and 600506.
- Communicated by: Jon G. Wolfson
- © Copyright 2008
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc.
**137**(2009), 1601-1611 - MSC (2000): Primary 05C10, 52B70; Secondary 05C75, 57M15, 57N05, 57P99
- DOI: https://doi.org/10.1090/S0002-9939-08-09739-6
- MathSciNet review: 2470818