0708-1300/Homework Assignment 6: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
 
No edit summary
Line 9: Line 9:
'''Problem 1.''' If <math>M</math> is a compact orientable n-manifold with no boundary, show that <math>H^n_{dR}(M)\neq 0</math>.
'''Problem 1.''' If <math>M</math> is a compact orientable n-manifold with no boundary, show that <math>H^n_{dR}(M)\neq 0</math>.


'''Problem 3.''' The "standard volume form on S^2" is the form <math>\omega</math> given by <math>\omega=\frac{1}{4\pi}\left(xdy\wedge dz+ydz\wedge dx+zdx\wedge dy\right)</math>. Show that <math>\int_{S^2}\omega=1</math>.
'''Problem 2.''' The "standard volume form on S^2" is the form <math>\omega</math> given by <math>\omega=\frac{1}{4\pi}\left(xdy\wedge dz+ydz\wedge dx+zdx\wedge dy\right)</math>. Show that <math>\int_{S^2}\omega=1</math>.


'''Problem 3.''' Show that if <math>\omega\in\Omega^2(S^2)</math> satisfies <math>\int_{S_2}\omega=0</math>, then <math>\omega</math> is exact, and therefore, if <math>w_1\in\Omega^2(S^2)</math> and <math>w_2\in\Omega^2(S^2)</math> satisfy <math>\int_{S_2}\omega_1=\int_{S_2}\omega_2</math>, then <math>[\omega_1]=[\omega_2]</math> as elements of <math>H^n_{dR}(S^2)</math>.
'''Problem 3.''' Show that if <math>\omega\in\Omega^2(S^2)</math> satisfies <math>\int_{S_2}\omega=0</math>, then <math>\omega</math> is exact, and therefore, if <math>w_1\in\Omega^2(S^2)</math> and <math>w_2\in\Omega^2(S^2)</math> satisfy <math>\int_{S_2}\omega_1=\int_{S_2}\omega_2</math>, then <math>[\omega_1]=[\omega_2]</math> as elements of <math>H^n_{dR}(S^2)</math>.

Revision as of 19:24, 5 December 2007

Announcements go here
In Preparation

The information below is preliminary and cannot be trusted! (v)

Reading

At your leisure, read your class notes over the break, and especially at some point right before classes resume after the break.

Doing

Solve and submit your solutions of the following problems:

Problem 1. If is a compact orientable n-manifold with no boundary, show that .

Problem 2. The "standard volume form on S^2" is the form given by . Show that .

Problem 3. Show that if satisfies , then is exact, and therefore, if and satisfy , then as elements of .

Problem 4. A "link" in is an ordered pair , in which and are smooth embeddings of the circle into , whose images (called "the components of ") are disjoint. Two such links are called "isotopic", if one can be deformed to the other via a homotopy along which the components remain disjoint. Given a link , define a map by . Finally, let be the standard volume form of , and define "the linking number of " to be . Show

  1. If two links and are isotopic, then their linking numbers are the same: .
  2. If is a second 2-form on for which and if is defined in the same manner as except replacing with , then . (In particular this is true if is very close to a -function form at the north pole of ).
  3. Compute (but just up to an overall sign) the linking number of the link L11a193, displayed below:
L11a193.png

Due Date

This assignment is due in class on Thursday January 10, 2007.

Just for Fun

Prove that the following two links are not isotopic, yet their complements are diffeomorphic:

0708-1300-LinkComplementExample1.png 0708-1300-LinkComplementExample2.png

(See more at Classes: 2004-05: Math 1300Y - Topology: Homework Assignment 5)