Counting maps from a surface to a graph

Mladen Bestvina; Mark Feighn

Home/Archive/arXiv

arXiv · math/0505363

Counting maps from a surface to a graph

Mladen Bestvina·Mark Feighn

View original source ↗Read source document ↗Export metadata ↓

Abstract

Let F be a non-abelian finite rank free group, and let H_g be the fundamental group of a surface of genus g with one boundary component represented by D_g in H_g. So, H_g is the free group and D_g is the product of commutators [a_1,b_1]...[a_g,b_g]. Given x in F, we are interested in the number num(x) of primitive, i.e. root-free, images of monomorphisms (H_g,D_g) -> (F,x). Our main result is that f(g) >= 2^g where f(g)=sup num(x), where sup is taken over all elements x in F. This answers a question of Zlil Sela that is related to his work on the Tarski problem. We also show that f is independent of F and go on to obtain similar results where the monomorphisms considered are additionally required to have minimal genus.

Explore related subjects

math.GT math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Mladen Bestvina, Mark Feighn. 2005-05-17. Counting maps from a surface to a graph. https://arxiv.org/abs/math/0505363

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Cut pairs and Morse splitting of finitely generated groups

Bowditch's theorem for hyperbolic groups establishes a fundamental correspondence between splittings over two-ended subgroups and the existence of local cut points in the Gromov boundary. While analogous results have been obtained for CAT(0) and relatively hyperbolic groups, no general theorem of this type exists for arbitrary finitely generated groups. The Morse boundary, introduced by Charney-Sultan and extended by Cordes, provides a quasi-isometry invariant boundary for any finitely generated group that naturally generalizes the Gromov boundary. In this paper, we prove that a splitting of a finitely generated group with connected Morse boundary over a two-ended Morse subgroup gives rise to a separating pair of points in the Morse boundary.

math.GT↗

arXiv2026

Khovanov Homology in Connected Sums

Khovanov homology is an invariant for links in the three sphere that categorizes the Jones polynomial. We extend Khovanov's construction to links in 3-manifolds that are connected sums of orientable interval bundles over surfaces. Cutting the 3-manifold along a separating sphere, we construct type D and type A structures that are invariants of tangles in the two halves following the work of Roberts. Gluing the type D and type A structures along the common boundary recovers the Khovanov homology of the link.

math.GT↗

arXiv2026

Fox-Milnor condition for concordant knots in homology 3-spheres

This paper will show that the Alexander polynomial of a knot, which is of slice type in an oriented homology 3-sphere, obeys the Fox-Milnor polynomial condition. A relation between Alexander polynomial of concordant knots in an oriented homology 3-sphere is established.

math.GT↗