Create examples of deg=1 maps - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T17:53:09Z http://mathoverflow.net/feeds/question/103666 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/103666/create-examples-of-deg1-maps Create examples of deg=1 maps Siqi He 2012-08-01T08:14:58Z 2012-08-01T16:16:44Z <p>My question is:</p> <p>For given k-dimension manifold M, Is there any way to produce a manifold N so that there exist a map $f:M\rightarrow N$, $degf=1$</p> <p>The trivial method I know: The only trivial method I can image is when <code>$M=M_1\#M_2$</code>, then we can produce a deg=1 map from $M$ to $M_1$. Or for the torus, we can produce deg=1 map.</p> <p>Topological Restrictiom I know: if $f:M\rightarrow N$, $degf=1$ </p> <p>(1)then every betti number of M must bigger than N.</p> <p>(2)$f_*\pi_1(M)$ is onto. </p> <p>edit: Another restriction is that the Gromov norm of $M$ must be at least as large as the Gromov norm of $N$. add by Zare</p> http://mathoverflow.net/questions/103666/create-examples-of-deg1-maps/103700#103700 Answer by Agol for Create examples of deg=1 maps Agol 2012-08-01T16:05:00Z 2012-08-01T16:16:44Z <p>In dimension 2, <a href="http://www.jstor.org/stable/1971246?origin=crossref" rel="nofollow">Edmonds proved</a> that every degree one map between closed orientable surfaces is homotopic to a "pinch map", which takes a subsurface which is bounded by one component, and sends it to a disk. This is a special case of the connect sum method you describe, so that is really the only method in 2D. </p> <p>In dimension 3, <a href="http://front.math.ucdavis.edu/1107.5855" rel="nofollow">Yi Liu has proven</a> that every closed orientable 3-manifold has a degree one map to finitely many other closed orientable 3-manifolds. I think it ought to be possible to make the proof into an algorithm. So given a closed manifold $M$, there should be an algorithm which produces finitely many manifolds $N$ such that there is a degree one map $M\to N$. It might also be possible to say something about the homotopy classes of such maps, but this hasn't been worked out. I should say also that there are many known 3-manifolds which have <a href="http://www.ams.org/mathscinet-getitem?mr=1674109" rel="nofollow">non-zero degree maps only to themselves or $S^3$</a>. </p> <p>Unfortunately, the proof doesn't give a prescription of how to produce such maps. There is a version of the pinching map for Seifert manifolds, by extending a pinch over the base orbifolds to the fibrations. </p> <p>A related method for producing degree one maps is to observe that any knot complement has a degree one map to a solid torus which is the identity on the boundary torus. Thus, one can glue the knot complement and the solid torus to another manifold with torus boundary, and extend the degree one map as the identity over the manifold. This only works if you have a manifold with essential tori in it.</p> <p>A third method allows you to specify the range, but not the domain. Take a 3-manifold $N$, and take a knot $K\subset N$ which is null-homotopic. Then one may perform a surgery on this knot with slope $\alpha$ to get a manifold $N_K(\alpha)$ which has a degree one map $N_K(\alpha)\to N$, by extending the meridian of the Dehn filling over a disk in $N$ which realizes the null-homotopy of $K$. This method is described in <a href="http://www.ams.org/mathscinet-getitem?mr=1412685" rel="nofollow">Section 3 of this paper</a>. </p>