This is an old revision of the document!
HW 11
This weeks material is mostly conceptual, although the statement and proof in Pugh are all based on concrete formula.
Consider the generalized angular forms $\Omega_{n-1}$ defined on $\R^n \RM 0$
For $n=2$, we define $\Omega_1 = |x|^{-2} (x_1 dx_2 - x_2 dx_1)$
For $n=3$, we define $\Omega_2 = |x|^{-3} (x_1 dx_2 \wedge dx_3 - x_2 dx_1 \wedge dx_3 + x_1 dx_2 \wedge dx_3)$
Can you prove that $d \Omega_1=0$, $d \Omega_2=0$?
Can you write down the expression for the general $n$? Or just prove the general case?
Consider the following 2-cell in $\R^3$ (it parametrized the unit sphere), $$\gamma: [0,1]^2 \to \R^3, \quad (s,t) \mapsto (\sin (\pi s) \cos (2\pi t), \sin (\pi s) \cos (2\pi t), \cos \pi s) $$ What is $\int_\gamma \Omega_2$?
Suppose we use a different parametrization of $S^2$ $$ \gamma: \R^2 \mapsto \R^3, \quad (a,b) \mapsto (\frac{2a}{1+a^2+b^2}, \frac{2b}{1+a^2+b^2}, \frac{-1+a^2+b^2}{1+a^2+b^2}) $$ Can you explain why $\int_{\gamma} \Omega_2$ is the same as the previous one?
Let $\gamma_1, \gamma_2, [0,1] \to \R^3$ be two smooth loops, i.e. $\gamma_i(0)=\gamma_i(1)$ and $\gamma_i'(0) = \gamma_i'(1)$. Suppose they have disjoint images. Define a 2-cell $\phi: [0,1]^2 \to \R^3$ by $\phi(s,t) = \gamma_1(s) - \gamma_2(t)$. Prove that $\int_\phi \Omega_2$ is insensitive to small perturbation of $\gamma_1, \gamma_2$. This is called the Gauss linking number, and is a topological invariant of links.