A structure theorem for bad 3-orbifolds

Abstract: We explicitly construct a collection of bad 3-orbifolds, (mathcal{X}), satisfying the following properties: �egin{enumerate} item The underlying topological space of any (X in mathcal{X}) is homeomorphic to

S^{2} i m e s I

or

. item The boundary of any (X in mathcal{X}) consists of one or two spherical 2-orbifolds. item Any bad 3-orbifold is obtained from a good 3-orbifold by repeating, finitely many times, the following operation: remove one or two orbifold-balls, and glue in some (X in mathcal{X}). end{enumerate} Conversely, any bad 3-orbifold (OO) contains some (X in mathcal{X}) as a sub-orbifold; we call removing (X) and capping the resulting boundary em cut-and-cap.em Then by cutting-and-capping finitely many times we obtain a good orbifold.

Review text

A (closed, orientable) \(3\)-orbifold \(\mathcal{O}\) with non-empty singular set is \textit{bad} if it is not covered by a manifold. Thurston's Orbifold Theorem and Perleman's Geometrization Theorem imply that \(\mathcal{O}\) is bad if and only if it contains an embedded bad \(2\)-orbifold. A teardrop, resp. bad-football, is a (bad) \(2\)-orbifold with underlying topological space the \(2\)-sphere and exactly one singular point of weight \(>1\), resp. exactly two singular points of unequal weight \(>1\). The authors show that a closed, orientable bad \(3\)-orbifold admits an embedded teardrop or bad-football. Using this they explicitly construct twelve families \(\mathcal{X}\) of bad orbifolds such that for any \(X\in\mathcal{X}\), the underlying topological space of \(X\) is homeomorphic to \(S^2{\times}I\) or \((S^2{\times}S^1 )\backslash B^3\) and the boundary of \(X\) consists of one or two good spherical \(2\)-orbifolds. Furthermore, any closed, orientable bad \(3\)-orbifold \(\mathcal{O}\) contains some \(X\in\mathcal{X}\) as a sub-orbifold. Removing \(X\) and capping the resulting boundary results in a new \(3\)-orbifold. Then repeating this process a finite number of times results in a good orbifold. Conversely, any closed, orientable \(3\)-orbifold is obtained from a good \(3\)-orbifold by successively removing one or two orbifold \(3\)-balls and attaching a bad orbifold \(X\) from \(\mathcal{X}\) a finite number of times.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: A structure theorem for bad 3-orbifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2157465)