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

Author:
Beifang Chen

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

Published electronically:
November 20, 2008

MathSciNet review:
2470818

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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.

- 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 https://doi.org/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 Publishing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York, 1975. North-Holland Mathematical Library, Vol. 9. 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** - 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 https://doi.org/10.1016/0001-8708%2892%2990019-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 https://doi.org/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 https://doi.org/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** - 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 https://doi.org/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 https://doi.org/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 https://doi.org/10.1017/S0305004100051665 - S. B. Myers,
*Riemannian manifolds with positive mean curvature*, Duke Math. J.**8**(1941), 401–404. MR**4518** - 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 https://doi.org/10.1017/S0305004197002429

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
05C10,
52B70,
05C75,
57M15,
57N05,
57P99

Retrieve articles in all journals with MSC (2000): 05C10, 52B70, 05C75, 57M15, 57N05, 57P99

Additional Information

**Beifang Chen**

Affiliation:
Department of Mathematics, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong

Email:
mabfchen@ust.hk

Keywords:
Discrete curvature,
combinatorial curvature,
Gauss-Bonnet formula,
Euler relation,
infinite graph,
embedded graph,
nonnegative curvature,
finiteness theorem

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

Article copyright:
© Copyright 2008
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.