## An analogue of the Descartes-Euler formula for infinite graphs and Higuchi’s conjecture

HTML articles powered by AMS MathViewer

- by Matt DeVos and Bojan Mohar PDF
- Trans. Amer. Math. Soc.
**359**(2007), 3287-3300 Request permission

## Abstract:

Let $\mathcal {R}$ be a connected 2-manifold without boundary obtained from a (possibly infinite) collection of polygons by identifying them along edges of equal length. Let $V$ be the set of vertices, and for every $v \in V$, let $\kappa (v)$ denote the (Gaussian) curvature of $v$: $2 \pi$ minus the sum of incident polygon angles. Descartes showed that $\sum _{v \in V} \kappa (v) = 4 \pi$ whenever $\mathcal {R}$ may be realized as the surface of a convex polytope in $\mathbb {R}^3$. More generally, if $\mathcal {R}$ is made of finitely many polygons, Euler’s formula is equivalent to the equation $\sum _{v \in V} \kappa (v) = 2 \pi \chi (\mathcal {R})$ where $\chi (\mathcal {R})$ is the Euler characteristic of $\mathcal {R}$. Our main theorem shows that whenever $\sum _{v \in V : \kappa (v) < 0} \kappa (v)$ converges and there is a positive lower bound on the distance between any pair of vertices in $\mathcal {R}$, there exists a compact closed 2-manifold $\mathcal {S}$ and an integer $t$ so that $\mathcal {R}$ is homeomorphic to $\mathcal {S}$ minus $t$ points, and further $\sum _{v \in V} \kappa (v) \le 2 \pi \chi (\mathcal {S}) - 2 \pi t$. In the special case when every polygon is regular of side length one and $\kappa (v) > 0$ for every vertex $v$, we apply our main theorem to deduce that $\mathcal {R}$ is made of finitely many polygons and is homeomorphic to either the 2-sphere or to the projective plane. Further, we show that unless $\mathcal {R}$ is a prism, antiprism, or the projective planar analogue of one of these that $|V| \le 3444$. This resolves a recent conjecture of Higuchi.## 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** - http://www.ams.org/new-in-math/cover/descartes1.html
- 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 - J. Milnor,
*A note on curvature and fundamental group*, J. Differential Geometry**2**(1968), 1–7. MR**232311**, DOI 10.4310/jdg/1214501132 - Bojan Mohar,
*Embeddings of infinite graphs*, J. Combin. Theory Ser. B**44**(1988), no. 1, 29–43. MR**923264**, DOI 10.1016/0095-8956(88)90094-9 - 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 - T. Réti, E. Bitay, Z. Kosztolányi, On the polyhedral graphs with positive combinatorial curvature, Acta Polytechnica Hungarica 2 (2005) 19–37.
- David A. Stone,
*A combinatorial analogue of a theorem of Myers*, Illinois J. Math.**20**(1976), no. 1, 12–21. MR**410602** - David A. Stone,
*A combinatorial analogue of a theorem of Myers*, Illinois J. Math.**20**(1976), no. 1, 12–21. MR**410602** - Liang Sun and Xingxing Yu,
*Positively curved cubic plane graphs are finite*, J. Graph Theory**47**(2004), no. 4, 241–274. MR**2096789**, DOI 10.1002/jgt.20026 - 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

## Additional Information

**Matt DeVos**- Affiliation: Department of Mathematics, Simon Fraser University, Burnaby, British Columbia, V5A 1S6, Canada
- Email: mdevos@sfu.ca
**Bojan Mohar**- Affiliation: Department of Mathematics, University of Ljubljana, 1000 Ljubljana, Slovenia
- Address at time of publication: Department of Mathematics, Simon Fraser University, Burnaby, British Columbia, V5A 1S6, Canada
- MR Author ID: 126065
- ORCID: 0000-0002-7408-6148
- Email: bojan.mohar@fmf.uni-lj.si
- Received by editor(s): July 2, 2004
- Received by editor(s) in revised form: May 11, 2005
- Published electronically: February 21, 2007
- Additional Notes: The first author was supported in part by the SLO-USA Grant BI-US/04-05/36 and by the Slovenian grant L1–5014.

The second author was supported in part by the Ministry of Education, Science and Sport of Slovenia, Research Program P1–0297 and Research Project J1–6150. - © Copyright 2007
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc.
**359**(2007), 3287-3300 - MSC (2000): Primary 05C10
- DOI: https://doi.org/10.1090/S0002-9947-07-04125-6
- MathSciNet review: 2299456