Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-30T20:10:31.187Z Has data issue: false hasContentIssue false

An algorithm for the construction of 3-manifolds from 2-complexes

Published online by Cambridge University Press:  24 October 2008

L. Neuwirth
Affiliation:
Institute for Defense Analyses, Princeton, N.J., U.S.A.

Extract

In order to study 3-manifolds with some particular group as fundamental group, one likes to have examples. There is an absence in the literature of means of constructing such examples. In this paper, theorems are proved which give necessary and sufficient conditions for the canonical 2-complex which corresponds to a group presentation to be a spine (2-dimensional skeleton in a cell decomposition with one 3-cell) of a connected closed† orientable 3-manifold. By enumerating all presentations of a group given by a particular presentation, two of the theorems provide an effective algorithm which permits one to attempt in a systematic way to construct 3-manifolds with a given group as fundamental group. Since every closed 3-manifold has a spine which corresponds to a group presentation, if the group is the fundamental group of an orientable 3-manifold, then the algorithm will eventually yield a 3-manifold, if not, then one is out of luck. There is no way out of this since Stallings has shown (1) that no algorithm exists which can, for every finitely presented group G, answer the question: Is G the fundamental group of a 3-manifold?

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1968

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)Stallings, J.On the recursiveness of sets of presentation of 3-manifold groups. Fund. Math. 51 (1962/1963), 191194.CrossRefGoogle Scholar
(2)Brown, M.A mapping theorem for untriangulated manifolds, topology of 3-manifolds (Prentice-Hall, Englewood Cliffs, New Jersey, 1962).Google Scholar
(3)Seifert, Threlfall. Lehrbuch der Topologie, p. 208, Satz I (Chelsea, New York, New York, 1947).Google Scholar
(4)Seifert, Threlfall. Lehrbuch der Topologie, p. 203, Satz I (Chelsea, New York, New York, 1947).Google Scholar
(5)Fox, R.3-manifolds, course notes (Princeton University, 1956).Google Scholar
(6)Stallings, J. Ph.D. Thesis, Princeton University, 1959.Google Scholar
(7)Neuwirth, L.Knot groups (Princeton University Press, Princeton, New Jersey, 1965).Google Scholar
(8)Neuwirth, L.In-groups, covering and imbeddings. Proc. Cambridge Philos. Soc. 61 (1965), 647656.CrossRefGoogle Scholar
(9)Neuwirth, L.Imbedding in low dimensions. Illinois J. Math. 10, no. 3 (1966).CrossRefGoogle Scholar
(10)Edmunds, J.A combinatorial representation for polyhedral surfaces, notices Amer. Math. Soc. 7 (1960), 646.Google Scholar