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 be a connected 2-manifold without boundary obtained from a (possibly infinite) collection of polygons by identifying them along edges of equal length. Let be the set of vertices, and for every , let denote the (Gaussian) curvature of : minus the sum of incident polygon angles. Descartes showed that whenever may be realized as the surface of a convex polytope in . More generally, if is made of finitely many polygons, Euler's formula is equivalent to the equation where is the Euler characteristic of . Our main theorem shows that whenever converges and there is a positive lower bound on the distance between any pair of vertices in , there exists a compact closed 2-manifold and an integer so that is homeomorphic to minus points, and further .

In the special case when every polygon is regular of side length one and for every vertex , we apply our main theorem to deduce that is made of finitely many polygons and is homeomorphic to either the 2-sphere or to the projective plane. Further, we show that unless is a prism, antiprism, or the projective planar analogue of one of these that . This resolves a recent conjecture of Higuchi.

**1.**A. D. Aleksandrov and V. A. Zalgaller,*Intrinsic geometry of surfaces*, Translated from the Russian by J. M. Danskin. Translations of Mathematical Monographs, Vol. 15, American Mathematical Society, Providence, R.I., 1967. MR**0216434****2.**`http://www.ams.org/new-in-math/cover/descartes1.html`**3.**M. Gromov,*Hyperbolic groups*, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75–263. MR**919829**, https://doi.org/10.1007/978-1-4613-9586-7_3**4.**Yusuke Higuchi,*Combinatorial curvature for planar graphs*, J. Graph Theory**38**(2001), no. 4, 220–229. MR**1864922**, https://doi.org/10.1002/jgt.10004**5.**J. Milnor,*A note on curvature and fundamental group*, J. Differential Geometry**2**(1968), 1–7. MR**0232311****6.**Bojan Mohar,*Embeddings of infinite graphs*, J. Combin. Theory Ser. B**44**(1988), no. 1, 29–43. MR**923264**, https://doi.org/10.1016/0095-8956(88)90094-9**7.**S. B. Myers,*Riemannian manifolds with positive mean curvature*, Duke Math. J.**8**(1941), 401–404. MR**0004518****8.**T. Réti, E. Bitay, Z. Kosztolányi, On the polyhedral graphs with positive combinatorial curvature, Acta Polytechnica Hungarica 2 (2005) 19-37.**9.**David A. Stone,*A combinatorial analogue of a theorem of Myers*, Illinois J. Math.**20**(1976), no. 1, 12–21. MR**0410602**

David A. Stone,*Correction to my paper: “A combinatorial analogue of a theorem of Myers” (Illinois J. Math. 20 (1976), no. 1, 12–21)*, Illinois J. Math.**20**(1976), no. 3, 551–554. MR**0410603****10.**David A. Stone,*A combinatorial analogue of a theorem of Myers*, Illinois J. Math.**20**(1976), no. 1, 12–21. MR**0410602**

David A. Stone,*Correction to my paper: “A combinatorial analogue of a theorem of Myers” (Illinois J. Math. 20 (1976), no. 1, 12–21)*, Illinois J. Math.**20**(1976), no. 3, 551–554. MR**0410603****11.**Liang Sun and Xingxing Yu,*Positively curved cubic plane graphs are finite*, J. Graph Theory**47**(2004), no. 4, 241–274. MR**2096789**, https://doi.org/10.1002/jgt.20026**12.**Wolfgang Woess,*A note on tilings and strong isoperimetric inequality*, Math. Proc. Cambridge Philos. Soc.**124**(1998), no. 3, 385–393. MR**1636552**, 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

Email:
bojan.mohar@fmf.uni-lj.si

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

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.