Group presentations corresponding to spines of $3$-manifolds. III

Authors:
R. P. Osborne and R. S. Stevens

Journal:
Trans. Amer. Math. Soc. **234** (1977), 245-251

MSC:
Primary 57A10; Secondary 55A05

DOI:
https://doi.org/10.1090/S0002-9947-1977-0488063-0

MathSciNet review:
0488063

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Continuing after the previous papers of this series, attention is devoted to RR-systems having two towns (i.e., to compact 3-manifolds with spines corresponding to group presentations having two generators). An interesting kind of symmetry is noted and then used to derive some useful results. Specifically, the following theorems are proved: Theorem 1. *Let* $\phi$ *be a group presentation corresponding to a spine of a compact orientable* 3-*manifold, and let w be a relator of* $\phi$ *involving just two generators a and b. If w is cyclically reduced, then either* (a) *w can be “written backwards"* (*i.e., if* $w = {a^{{m_1}}}{b^{{m_1}}}{a^{{m_2}}}{b^{{n_2}}} \ldots {a^{{m_k}}}{b^{{n_k}}}$, *then w is a cyclic conjugate of* ${b^{{n_k}}}{a^{{m_k}}} \ldots {b^{{n_2}}}{a^{{m_2}}}{b^{{n_1}}}{a^{{m_1}}}$), *or* (b) *w lies in the commutator subgroup of the free group on a and b*. Theorem 2. (*Loose translation*). *If* $\phi$ *is a group presentation with two generators and if the corresponding* 2-*complex* ${K_\phi }$ *is a spine of a closed orientable* 3-*manifold then*, ${K_\phi }$ *is a spine of a closed orientable* 3-*manifold if and* (*except for two minor cases*) *only if* $\phi$ *has two relators and among the six allowable types of syllables* (3 *in each generator*), *exactly four occur an odd number of times. Further, each of the two relators can be “written backwards."*

- Richard S. Stevens,
*Classification of $3$-manifolds with certain spines*, Trans. Amer. Math. Soc.**205**(1975), 151–166. MR**358786**, DOI https://doi.org/10.1090/S0002-9947-1975-0358786-0 - R. P. Osborne and R. S. Stevens,
*Group presentations corresponding to spines of $3$-manifolds. I*, Amer. J. Math.**96**(1974), 454–471. MR**356058**, DOI https://doi.org/10.2307/2373554 - R. P. Osborne and R. S. Stevens,
*Group presentations corresponding to spines of $3$-manifolds. II*, Trans. Amer. Math. Soc.**234**(1977), no. 1, 213–243. MR**488062**, DOI https://doi.org/10.1090/S0002-9947-1977-0488062-9 - L. Neuwirth,
*An algorithm for the construction of $3$-manifolds from $2$-complexes*, Proc. Cambridge Philos. Soc.**64**(1968), 603–613. MR**226642**, DOI https://doi.org/10.1017/s0305004100043279 - Joan S. Birman and Hugh M. Hilden,
*Heegaard splittings of branched coverings of $S^{3}$*, Trans. Amer. Math. Soc.**213**(1975), 315–352. MR**380765**, DOI https://doi.org/10.1090/S0002-9947-1975-0380765-8

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
57A10,
55A05

Retrieve articles in all journals with MSC: 57A10, 55A05

Additional Information

Keywords:
Compact orientable 3-manifold,
spine,
2-complex,
group presentation,
<I>P</I>-graph

Article copyright:
© Copyright 1977
American Mathematical Society