Twisted face-pairing 3-manifolds

This paper is an enriched version of our introductory paper on twisted face-pairing 3-manifolds. Just as every edge-pairing of a 2-dimensional disk yields a closed 2-manifold, so also every face-pairing $\epsilon$ of a faceted 3-ball $P$ yields a closed 3-dimensional pseudomanifold. In dimension 3, the pseudomanifold may suffer from the defect that it fails to be a true 3-manifold at some of its vertices. The method of twisted face-pairing shows how to correct this defect of the quotient pseudomanifold $P/\epsilon$ systematically. The method describes how to modify $P$ by edge subdivision and how to modify any orientation-reversing face-pairing $\epsilon$ of $P$ by twisting, so as to yield an infinite parametrized family of face-pairings $(Q,\delta)$ whose quotient complexes $Q/\delta$ are all closed orientable 3-manifolds. The method is so efficient that, starting even with almost trivial face-pairings $\epsilon$, it yields a rich family of highly nontrivial, yet relatively simple, 3-manifolds.

This paper solves two problems raised by the introductory paper:

(1) Replace the computational proof of the introductory paper by a conceptual geometric proof of the fact that the quotient complex $Q/\delta$ of a twisted face-pairing is a closed 3-manifold. We do so by showing that the quotient complex has just one vertex and that its link is the faceted sphere dual to $Q$.

(2) The twist construction has an ambiguity which allows one to twist all faces clockwise or to twist all faces counterclockwise. The fundamental groups of the two resulting quotient complexes are not at all obviously isomorphic. Are the two manifolds the same, or are they distinct?

We prove the highly nonobvious fact that clockwise twists and counterclockwise twists yield the same manifold. The homeomorphism between them is a duality homeomorphism which reverses orientation and interchanges natural 0-handles with 3-handles, natural 1-handles with 2-handles. This duality result of (2) is central to our further studies of twisted face-pairings.

We also relate the fundamental groups and homology groups of the twisted face-pairing 3-manifolds $Q/\delta$ and of the original pseudomanifold $P/\epsilon$ (with vertices removed).

We conclude the paper by giving examples of twisted face-pairing 3-manifolds. These examples include manifolds from five of Thurston's eight 3-dimensional geometries.