Degree of analytic map between Riemann surfaces: Difference between revisions

Revision as of 22:15, 3 May 2008

Definition

Suppose $M, N$ are Riemann surfaces and $f : M \to N$ is an analytic map. The degree of $f$ , denoted $d e g (f)$ , is defined as follows, for any point $q \in N$ :

$d e g (f) : = \sum_{f (p) = q} v_{f} (p)$

where $v_{f} (p)$ denotes the local degree of the map $f$ in a small neighborhood of $p$ . This local degree is also the same as the smallest positive $n$ such that the $n^{t h}$ derivative of $f$ does not vanish, for some choice of local coordinates around $p$ and $q$ .

Facts

This definition coincides with the definition of degree in the sense of a map of differential manifolds. Indeed, if we pick $q$ to be a regular value of $f$ , all the $v_{f} (p)$ are one (because the map is nondegenerate on all tangent spaces, and preserves orientation), and hence the degree is the same as the number of inverse images of the regular value.
It also coincides with the purely topological definition of degree, because $v_{f} (p)$ equals the degree in terms of the effect of the map locally on homology classes.
Unlike the case of topological or differential manifolds, we cannot have degree one maps between different Riemann surfaces. In fact, a degree one analytic map between Riemann surfaces must be an isomorphism. This also shows that not every homotopy class of continuous or smooth maps, has an analytic representative.

@@ Line 7: / Line 7: @@
 where <math>v_f(p)</math> denotes the local degree of the map <math>f</math> in a small neighborhood of <math>p</math>. This local degree is also the same as the smallest positive <math>n</math> such that the <math>n^{th}</math> derivative of <math>f</math> does not vanish, for some choice of local coordinates around <math>p</math> and <math>q</math>.
-This definition coincides with the definition of degree in the sense of a map of differential manifolds. Indeed, if we pick <math>q</math> to be a regular value of <math>f</math>, all the <math>v_f(p)</math> are one (because the map is nondegenerate on all tangent spaces, and preserves orientation), and hence the degree is the same as the number of inverse images of the regular value.
+==Facts==
+* This definition coincides with the definition of degree in the sense of a map of differential manifolds. Indeed, if we pick <math>q</math> to be a regular value of <math>f</math>, all the <math>v_f(p)</math> are one (because the map is nondegenerate on all tangent spaces, and preserves orientation), and hence the degree is the same as the number of inverse images of the regular value.
-It also coincides with the purely topological definition of degree, because <math>v_f(p)</math> equals the degree in terms of the effect of the map locally on homology classes.
+* It also coincides with the purely topological definition of degree, because <math>v_f(p)</math> equals the degree in terms of the effect of the map locally on homology classes.
+* Unlike the case of topological or differential manifolds, we cannot have degree one maps between different Riemann surfaces. In fact, a degree one analytic map between Riemann surfaces must be an isomorphism. This also shows that not every homotopy class of continuous or smooth maps, has an analytic representative.