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

Authors:
Matt DeVos and Bojan Mohar

Journal:
Trans. Amer. Math. Soc. **359** (2007), 3287-3300

MSC (2000):
Primary 05C10

DOI:
https://doi.org/10.1090/S0002-9947-07-04125-6

Published electronically:
February 21, 2007

MathSciNet review:
2299456

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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.

- 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 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 - J. Milnor,
*A note on curvature and fundamental group*, J. Differential Geometry**2**(1968), 1–7. MR**232311** - Bojan Mohar,
*Embeddings of infinite graphs*, J. Combin. Theory Ser. B**44**(1988), no. 1, 29–43. MR**923264**, DOI https://doi.org/10.1016/0095-8956%2888%2990094-9 - S. B. Myers,
*Riemannian manifolds with positive mean curvature*, Duke Math. J.**8**(1941), 401–404. MR**4518** - 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 https://doi.org/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 https://doi.org/10.1017/S0305004197002429

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
05C10

Retrieve articles in all journals with MSC (2000): 05C10

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.

Article copyright:
© Copyright 2007
American Mathematical Society

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