Sevilla, España
Chequia
Barcelona, España
A graph homomorphism can be realized as a sequence of vertex identifications followedby suppression of multiple edges. We extend this notion to cellularly embedded graphs inclosed surfaces (maps) in a way that preserves both the combinatorial structure of the graphand the topological structure of the surface. By restricting vertex identifications to thosethat can be performed while respecting the surface topology, we obtain a definition of maphomomorphism that preserves genus and orientability. Such notions as the core of a graphand the homomorphism order are then extended to maps. We characterize map cores via acombinatorial formulation of some contractible curves on the surface in which the graph isembedded. We also show that, in contrast to graph homomorphisms, the poset of map coresordered by the existence of a homomorphism does not contain any dense interval (so it isnot universal for countable posets), and give examples of a pair of cores with an infinitenumber of cores between them and of an infinite chain of gaps.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados