Geometric decompositions of 4-dimensional orbifold bundles (Q719086): Difference between revisions

A closed \(4\)-manifold \(E\) is an orbifold bundle if there is an orbifold fibration \(p\, : \, E \to B\) over a \(2\)-dimensional base orbifold \(B\), with regular fiber \(F\) an aspherical surface. An orbifold bundle \(E\) admits a geometric decomposition if it has a finite collection \(\mathcal{S}\) of disjoint connected \(2\)-sided hypersurfaces such that each component of \(E - \cup_{S \in \mathcal{S}}S\) is geometric of finite volume. In this paper, many results on the geometric structure of orbifold bundles and their geometric decompositions are shown. We list some of them: {\parindent6.5mm \begin{itemize}\item[(1)] (Theorem 2 in Section 1) Consider \(E\) with \(\pi_1(E)\) a torsion-free group which has a \(PD_2\)-subgroup with quotient a hyperbolic \(2\)-orbifold group. If \(\chi(\pi_1(E))>0\), \(E\) admits only finitely many orbifold fibrations; \item[(2)] (Theorem 3 in Section 1) Let \(E\) be a 4-manifold with orbifold fibration over the torus whose fiber is a closed hyperbolic surface. If \(\beta_1(E) > 2\) then there are such fibrations with fiber genus arbitrarily large; \item[(3)] (Theorem 4 in Section 3) For \(E\) with \(\chi^{orb}(B)=0\) and \(\chi(F)<0\), necessary and sufficent conditions for \(E\) to admit the geometry \(\mathbf{H}^2 \times \mathbf{E}^2\) or \(\mathbf{H}^3 \times \mathbf{E}^1\) are obtained; \item[(4)] (Theorem 5 in Section 3) For an aspherical \(E\) with \(\chi(E)>0\), necessary and sufficent conditions for \(E\) to admit the geometry \(\mathbf{H}^2 \times \mathbf{H}^2\) are obtained; \item[(5)] (Section 4) Some conditions of the possible geometries of pieces of some orbifold bundles are obtained; \item[(6)] (Sections 5 and 6) The notions of horizontal and vertical decomposition are introduced and investigated; \item[(7)] (Theorem 13 in Section 7) Let \(E\) be a Seifert fibered over a hyperbolic base \(B\). Then \(E\) is an \(\mathbf{H}^2 \times \mathbf{E}^2\)-manifold if the fiber is the Klein bottle, and otherwise has a vertical decomposition of type \(\mathbf{H}^2 \times \mathbf{E}^2\), unless \(B\) or its orientable cover has a cone point of order \(2\) at which the action reverses the orientation of the fiber; \item[(8)] (Section 8) Some necessary conditions of \(E\) over a hyperbolic base to have a decomposition of type \(\mathbf{F}^4\) are obtained. \end{itemize}}