Notions of degree for maps $S^n \to S^n$? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T12:52:05Z http://mathoverflow.net/feeds/question/5001 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/5001/notions-of-degree-for-maps-sn-to-sn Notions of degree for maps $S^n \to S^n$? Charles Chen 2009-11-11T08:30:15Z 2009-11-11T13:59:14Z <p>In algebraic topology, we define a degree for a map $f: S^n \to S^n$ as where the induced map $f_*$ on the $n$-th homology group of $S^n$ sends $1$.</p> <p>In differential topology, we have a different (same?) notion of degree for $f$. You take a regular value $b \in S^n$, consider $f^{-1} (b)$ (which is finite by the inverse function theorem and some compactness argument), and take the difference between the number of points in the preimage where the Jacobian of $f$ is positive and the number of points in the preimage where the Jacobian of $f$ is negative.</p> <p>Geometrically, I can see that they are the same, but I couldn't convince myself rigorously. In Prop 2.30 of Hatcher, he mentions that the degree of $f$ is the sum of the local degrees of $f$ at each preimage point, and local degrees are either $\pm 1$. (Local degree is defined in the middle of page 136 in Hatcher.)</p> <p>So, the final question is, must the sign of the local degree of $x \in f^{-1}(b)$ the same as the sign of the Jacobian of $f$ at $x$?</p> http://mathoverflow.net/questions/5001/notions-of-degree-for-maps-sn-to-sn/5007#5007 Answer by Elizabeth S. Q. Goodman for Notions of degree for maps $S^n \to S^n$? Elizabeth S. Q. Goodman 2009-11-11T08:49:47Z 2009-11-11T08:49:47Z <p>I think so: it looks like the local degree according to Hatcher's definition measures whether $f$ preserves orientation or reverses it on the neighborhood of $x$. On page 233 he begins discussion of orientation using excision classes: an orientation for an neighborhood in an $n$-manifold at a point $x$ is just a choice of generator of $H_n(\mathbb R^n, \mathbb R^n-x)$, and a small neighborhood $U$ about $x$ is homeomorphic to $\mathbb R^n$. In his degree-counting, he takes a neighborhood $U$ of $x$ which is disjoint from other preimages $f^{-1}(f(U))$ and looks at the sign of the map $H_n(U, U-{x})\rightarrow H_n(f(U), f(U)-{y})$.</p> <p>The sign of the Jacobian of $f$ should also tell you whether $f$ is locally orientation-preserving or reversing at at $x$.</p> http://mathoverflow.net/questions/5001/notions-of-degree-for-maps-sn-to-sn/5009#5009 Answer by Gian Maria Dall'Ara for Notions of degree for maps $S^n \to S^n$? Gian Maria Dall'Ara 2009-11-11T09:08:23Z 2009-11-11T09:08:23Z <p>I think you can find a proof that the differentiable topological degree is the (co)homological degree in the book by Bott and Tu (Diffrential forms in algebraic topology). But there instead of homology they describe cohomology first. Then you need to translate everything to the homological setting (by de Rham isomorphism).</p> http://mathoverflow.net/questions/5001/notions-of-degree-for-maps-sn-to-sn/5030#5030 Answer by Sam Derbyshire for Notions of degree for maps $S^n \to S^n$? Sam Derbyshire 2009-11-11T10:42:15Z 2009-11-11T10:49:52Z <p>I think what you need is the following lemma (usually called the "Stack of records" lemma):</p> <p>Consider a smooth proper map of manifolds of the same dimension $f \colon M \to N$ and let $y \in N$ be a regular value of $f$.</p> <p>Then there exists a neighbourhood $V \subset N$ of $y$ such that $f^{-1}(V) = \cup_{i=1}^n U_i$ with $U_i \cap U_j = \emptyset$ for $i \neq j$ and $f|_{U_i} \colon U_i \to V$ is a diffeomorphism for all $i$.</p> <p><br /><br /></p> <p>Now from this you can just sum up $\pm 1$ according to orientation on each $U_i$ to get the local degree of $f$ at $y$, and this works for both definitions of degree.</p>