The product of sphere and torus is parallelizable. How to prove this? Help solve this question, this is qualifying exams of Hopkins university.
The product of sphere and torus is parallelizable. How to prove this?
-
2don't add information important to answering the question in comments: edit the actual question and include it there. – 2011-06-23
2 Answers
Let $\tau$ be the tangent bundle of $S^2$. Observe that $\tau\oplus 1\cong 3$ (indeed, if we add to $\tau$ the normal bundle (for the standard embedding in $\mathbb R^3$) -- which is trivial -- we get a trivial vector bundle; $n$ denotes trivial $n$-dimensional bundle) and tangent bundle of $\mathbb T^2$ is trivial. Now let $\pi_1\colon S^2\times\mathbb T^2\to S^2$ and $\pi_2\colon S^2\times\mathbb T^2\to\mathbb T^2$ be natural projections; then $T_{S^2\times \mathbb T^2}=\pi_1^*T_{S^2}\oplus\pi_2^*T_{\mathbb T^2}=\pi_1^*\tau\oplus\pi_2^*2=\pi_1^*\tau\oplus 2=\pi_1^*(\tau\oplus1\oplus1)=\pi_1^*4=4.$
Can't resist adding a bonus: a short and elementary proof that a product of spheres is parallelizable if one of them is odd (E.B.Staples, 1966).
-
0I k$n$ow, I know... I was joking! – 2011-06-24
It is sufficient to prove that $S^2\times T^1$ is parallelizable. This will imply the parallelizability of $S^2\times T^2$ being the product of two parallelizable manifolds.
The general problem of parallelizability of products of spheres was considered in Maurizio Parton's thesis:
As mentioned in the thesis introduction: the parallelizability of $S^2\times T^1$ is a special case of a theorem of M. Kervaire.
In the thesis, a new parallelizability proof was given for the more general case of $S^n\times T^1$ by explicit construction (Proposition 2.1.2).
The main idea is as follows:
Let $x = (x_i)$ be the Eucledian coordinates of $R^{n+1}$ and the sphere $S^n$ be given by:
$ |x|^2 = \sum_i x_i^2 = 1$
$S^n\times T^1$ is diffeomorphic to the quotient manifold $(R^{n=1}-0)/\Gamma$, where the group $\Gamma$ is generated by the map $x \mapsto e^{2\pi} x$. Then the projection:
$ R^{n=1}-0 \rightarrow S^n\times T^1$
$x \mapsto (x/|x|, \log|x| \mod 2\pi)$
is $\Gamma$ equivariant, thus defines a parallelization.
-
0@Grigory: I think that the point is that Parton constructs *explicitly* the parallelizations. – 2011-06-23