Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I have a question of the non-separating surfaces contained in a 3-Manifold with semi-bundle structure.

Suppose $M$ is a $3-$manifold with semi-bundle structure, this means that $M$ is a closed irreducible oriented $3-$manifold which can be doubly covered by a surface bundle over circle. In fact, $M = M_{1} \cup M_{2},$ both $M_{1}$ and $M_{2}$ are twisted $I-$bundles over a non-orientable surface, $M_{i} = \Sigma_{g} \tilde{\times} I,$ where $\Sigma_{g}$ is an orientable surface with genus $g.$ So if $\tilde{M}$ is the surface bundle which doubly covers $M,$ $\Sigma_{g}$ is the fiber surface in $\tilde{M}$. $M$ can be obtained by gluing $M_{1}$ and $M_{2}$ along their common boundary $\Sigma_{g}.$

My question is:

If $\Sigma$ is a non-separating surface embedded into $M,$ here $\Sigma$ can be either two sided or one sided (If I didn't make a silly mistake, this is equivallent to say that $\Sigma$ represents a nontrivial element in $H_{2}(M;\mathbb{Z}_{2})$ ). Further assume $\Sigma$ can be lifted to the $2-$sheeted covering surface bundle $\tilde{M},$ could we claim that the lifting $\tilde{\Sigma}$ is also non-separating in $\tilde{M}$? (In other words, is $\tilde{\Sigma}$ representing a nontrivial element in $H_{2}(\tilde{M};\mathbb{Z}_{2})$?)

Further, if $\Sigma$ is non-separating and it cannot be lifted to the double covering $\tilde{M},$ then I have the claim: there exists a non-separating surface $\tilde{\Sigma}$ in $\tilde{M}$ such that $\tilde{\Sigma}$ is the double covering of $\Sigma,$ is this claim correct? In this case, an obvious example is the fiber surface $\Sigma_{g}$ in the surface bundle covers a non-orientable surface in the semi-bundle.

I am inclined to believe that both claims are true, however, I cannot find a very clear and elegant proof. Can anyone give me some suggestions?

share|improve this question
1  
A non-separating hypersurface in an n-manifold always lifts to a nonseparating surface in a finite cover. –  Misha Jul 16 '13 at 4:35

1 Answer 1

As Misha points out you can lift a non-separating surface to a finite cover, so that part of the question is settled. To construct a non-separating component in $M_i$ with $i= 1,2$ you could look at an argument similar to the one given by J. Stallings, 'On fibering certain 3-nianifolds', Topology of 3-manifolds and related topics, Prentice-Hall, Englewood Cliffs, N. J., 1962.

Assume we are working over field coefficients. If $\Sigma_g$ denotes the boundary component of $M_{i}$ with ($i=1,2$), that is $\partial M_i = \Sigma_g$, take a nontrivial element of $H_{1}(\partial M_i)$ that is not 'killed' by the map $\phi:H_1(\partial M_i)\rightarrow H_{1}(M_i)$. Such an element exists from the half lives half dies lemma. Here the map $\phi$ is simply a component of the long exact sequence in homology of $(M,\partial M_i)$.

If $H_1(M)$ is infinite, then a map $f:M_i\rightarrow S^1$ has a push-forward $f_{*}$ such that $f_{*}:H_{1}(M)\rightarrow \mathbb{Z}$ (again look at Stallings paper). This is a map in cohomology and in particular if we look at the the element $\phi(\alpha)$ under the map $f_{*}$, we are essentially picking an element in $H^{1}(M)$. By poincare duality we have an element of $H_{2}(M)$ that is non-zero which represents a non-separating surface in $M_i$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.