Register to reply

Sphere, torus, degree, cohomology

by quasar987
Tags: cohomology, degree, sphere, torus
Share this thread:
quasar987
#1
Dec23-08, 09:56 AM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,771
I am trying to show that any smooth map F from the 2-sphere to the 2-torus has degree zero.

The definition of the degree of F can be taken to be the (integer) degF such that

[tex]\int_{\mathbb{S}^2}F^*\omega=(\deg F)\int_{\mathbb{T}^2}\omega[/tex]

For omega any 2-form on T. Another definition would be

[tex]\deg F= \sum_{x\in F^{-1}(y)}sgn(dF_x)[/tex]

where y is any regular value of F (meaning dF_x is invertible at every x is in F^{-1}(y)) and where the sign of det(dF_x) is +1 if the isomorphism dF_x preserves the orientation and -1 if it reverses it.


So! Of course, if it were to happen for some reason that no smooth map from S to T can be surjective, then the result would follow because we would only have to select in the second definition a y in T that has an empty preimage, in which case degF=0 by convention. But I don't see how could argue in this direction.

Another trail is this. Consider T as R/Z and let p:R-->R/Z be the projection map.

R
|
|p
|
v
T<---F---S

Topologically, there exists a lift G:S-->R making the above diagram commutative. If such a smooth lift exists, then noting that H(S)=R and H(R)=0 and passing to the cohomology in the preceeding diagram, we would end up with the following commutative diagram:

H(R)=0
^
|
|p*
|
H(T)---F*--->H(S)=R

(and G*:H(R)=0-->H(S)=R). We conclude that the pullback F* of F in cohomology is identically 0. That is to say, the usual pullback pulls every 2-form to an exact 2-form (since every 2-forms on the 2-torus is closed). But on the n-sphere, the integral of an n-form vanishes if and only if the form is exact. In particular, taking omega to be an orientation (aka volume) form so that [itex]\int\omega \neq 0[/itex], we could conclude that degF=0.

So the question is, does the smooth version of the lifting lemma used above holds???

Thanks.
Phys.Org News Partner Science news on Phys.org
Study links polar vortex chills to melting sea ice
Lab unveil new nano-sized synthetic scaffolding technique
Cool calculations for cold atoms: New theory of universal three-body encounters
quasar987
#2
Dec23-08, 01:57 PM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,771
If p is a local diffeomorphism, this will undoubtedly imply that the a priori only continuous G is smooth.

I'm gonna look into this.
Peaks Freak
#3
Jan1-09, 01:20 AM
P: 6
I like your second approach. Since the 2-sphere is simply-connected, every map f:S^2 -> T^2 lifts to the universal cover (i.e., lifts to a continuous map F:S^2 -> R^2.) This lift is unique up to the choice of a point in the fiber above f(1,0,0), where I'm assuming (1,0,0) to be the chosen basepoint of S^2. Since the covering projection R^2 -> T^2 has smooth local sections, the lift F is smooth. Thus, you have the commutative diagram you're after.

Quick question: I usually work with singular homology, in which case the degree of a smooth map f:M -> N between manifolds of the same dimension n can be defined to be the integer corresponding to the induced map f_*:H_n(M) -> H_n(N). Relative to this approach, the result (that deg(f) = 0) follows from the existence of the commutative diagram. Does this apply to the (co)homology theory you're using?

mathwonk
#4
Jan1-09, 08:05 PM
Sci Advisor
HW Helper
mathwonk's Avatar
P: 9,488
Sphere, torus, degree, cohomology

you don't seem to need any help.
quasar987
#5
Jan1-09, 08:26 PM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,771
Indeed, it turns out that p is a local diffeomorphism and approach #2 works.

It often happens that the key idea comes to me as I am typing the question or a minute after I'm done.
wofsy
#6
Jan19-09, 01:23 PM
P: 707
here's a proof that you might like.

The volume element of the torus is the wedge-product of the two closed one forms dual to its generating circles. If you think of the torus as R2/Z2 then these are just the forms dx and dy projected onto the torus.

But every closed form on the sphere is exact. Thus the pullbacks of these two one forms on the torus to the sphere are exact and the integral of their wedge product is zero.
zhentil
#7
Jan20-09, 01:01 PM
P: 491
Don't homotopic maps induce the same map in De Rham cohomology? I would think that
[tex]\pi_2 T^2 = 0[/tex]
would do the trick.
wofsy
#8
Jan20-09, 02:49 PM
P: 707
Quote Quote by zhentil View Post
Don't homotopic maps induce the same map in De Rham cohomology? I would think that
[tex]\pi_2 T^2 = 0[/tex]
would do the trick.
that also works.


Register to reply

Related Discussions
De Rham cohomology Differential Geometry 10
Boundary of a torus or sphere? Calculus & Beyond Homework 2