From Wikipedia, the free encyclopedia

This article is about the term "degree" as used in algebraic topology. For alternate meanings, see degree (mathematics) or degree.

In topology, the term degree is applied to continuous maps between manifolds of the same dimension. It is a generalization of winding number. In physics, the degree of a continuous map is usually called a topological quantum number.

Contents 1 From a circle to itself 2 Between manifolds 3 Calculating degree 4 Properties

The simplest and most important case is the degree of a continuous map from the circle to itself (this is called the winding number):

There is a projection

,

where [x] is the equivalence class of x modulo1 (i.e. if and only if x − y is an integer).

If

is continuous then there exists a continuous

called a lift of f to , such that . Such a lift is unique up to an additive integer constant and

Note that

is an integer and it is also continuous with respect to x; locally constant functions on the real line must be constant. Therefore the definition does not depend on choice of x.

Let be a continuous map, X and Y closed oriented m-dimensional manifolds. Then the degree of f is the degree of the map on top homology groups:

This map is a homomorphism between two copies of the integers , and thus is multiplication by some integer d, which is the degree.

In terms of fundamental classes,

f_m([X]) = deg(f)[Y]

where H_m(X) is generated by [X], likewise for Y.

In terms of differential forms, this says that if you pull back a volume form on Y to X and integrate, you get the degree: this is using the map on forms, and the induced map on cohomology.

Recall that topologically, an orientation is a choice of fundamental class; in other words, an identification of the top homology group with the integers (otherwise you can't tell positive from negative).

One way to calculate the degree is that a (smooth) degree d map is generically d-to-1, counting orientation (away from singular values).

Concretely, if f is smooth and p is a regular value of f then is a finite number of points. In a neighborhood of each preimage x_i the map f is a homeomorphism to its image (it's a covering map), so it is either orientation preserving or orientation reversing. If r is the number of orientation preserving and s is the number of orientation reversing locations, then .

The same definition works for compact manifolds with boundary but then f should send the boundary of X to the boundary of Y.

One can also define degree modulo 2 (deg₂(f)) the same way as before but taking the fundamental class in Z₂ homology. In this case deg₂(f) is element of Z₂, the manifolds need not be orientable and if as before then deg₂(f) is n modulo 2.

The degree of map is a homotopy invariant; moreover for continuous maps from the sphere to itself it is a complete homotopy invariant, i.e. two maps are homotopic if and only if deg(f) = deg(g).

In other words, degree is an isomorphism .