Hostname: page-component-7c8c6479df-94d59 Total loading time: 0 Render date: 2024-03-28T05:31:17.534Z Has data issue: false hasContentIssue false

One-relator surface groups

Published online by Cambridge University Press:  24 October 2008

John Hempel
Affiliation:
Rice University, Houston, Texas, U.S.A.

Extract

For X a subset of a group G, the smallest normal subgroup of G which contains X is called the normal closure of X and is denoted by ngp (X; G) or simply by ngp (X) if there is no possibility of ambiguity. By a surface group we mean the fundamental group of a compact surface. We are interested in determining when a normal subgroup of a surface group contains a simple loop – the homotopy class of an embedding of S1 in the surface, or more generally, a power of a simple loop. This is significant to the study of 3-manifolds since a Heegaard splitting of a 3-manifold is reducible (cf. [2]) if and only if the kernel of the corresponding splitting homomorphism contains a simple loop. We give an answer in the case that the normal subgroup is the normal closure ngp (α) of a single element α: if ngp (α) contains a (power of a) simple loop β then α is homotopic to a (power of a) simple loop and β±1 is homotopic either to (a power of) α or to the commutator [α, γ] of a with some simple loop γ meeting a transversely in a single point. This implies that if a is not homotopic to a power of a simple loop, then the quotient map π1(S) → π1(S)/ngp (α) does not factor through a group with more than one end. In the process we show that π1(S)/ngp (α) is locally indicable if and only if α is not a proper power and that α always lifts to a simple loop in the covering space Sα of S corresponding to ngp (α). We also obtain some estimates on the minimal number of double points in certain homotopy classes of loops.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1990

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Brodskii, S. D.. Equations over groups and groups with a single defining relation. Sibirsk. Math. Z. 25 (1984), 84103.Google Scholar
[2]Hempel, John. Intersection calculus on surfaces with applications to 3-manifolds. Mem. Amer. Math. Soc. 282 (1983), 145.Google Scholar
[3]Higman, Graham. The units of group rings. Proc. London Math. Soc. (2) 46 (1940), 231248.CrossRefGoogle Scholar
[4]Howie, James. On locally indicable groups. Math. Z. 180 (1982), 445461.CrossRefGoogle Scholar
[5]Wilhelm, Magnus, Abraham, Karrass and Donald, Solitar. Combinatorial Group Theory (Interscience, 1966).Google Scholar
[6]Maskit, Bernard. A theorem on planar covering surfaces with applications to 3-manifolds. Ann. of Math. 81 (1965), 341355.CrossRefGoogle Scholar
[7]Weinbaum, C. M.. On relators and diagrams for groups with a single defining relator. Illinois J. Math. 16 (1972), 308322.CrossRefGoogle Scholar