sphere, torus, degree, cohomology


by quasar987
Tags: cohomology, degree, sphere, torus
quasar987
quasar987 is offline
#1
Dec23-08, 09:56 AM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,768
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
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
quasar987
quasar987 is offline
#2
Dec23-08, 01:57 PM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,768
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
Peaks Freak is offline
#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
mathwonk is offline
#4
Jan1-09, 08:05 PM
Sci Advisor
HW Helper
mathwonk's Avatar
P: 9,428

sphere, torus, degree, cohomology


you don't seem to need any help.
quasar987
quasar987 is offline
#5
Jan1-09, 08:26 PM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,768
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
wofsy is offline
#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
zhentil is offline
#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
wofsy is offline
#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