4
$\begingroup$

I want to prove that $\pi_1(S^n,x_0)$ is trivial if $2\leq n,$ BUT using universal covering. So let $p:\tilde S^n \rightarrow S^n$ the universal covering. Define $f:D^n\rightarrow S^n$ such that $f(\partial D)=x_0.$ Proof that $f$ rises to $f':D^n\rightarrow \tilde S^n$ and with this function $f'$ define $f'':S^n\rightarrow \tilde S^n$ such that $p\circ f''=id_{S^n}.$ With this applying the fundamental group to $p\circ f''$ get that $\pi_1(S^n,x_0)$ is the trivial group.

I have the definition of $f$ and is easy to prove that $f'$ exist, and is clear that if I find $f''$ with the property $p\circ f''=id_{S^n}$ and using the fundamental group like the hint I get the final of the proof, BUT I don't know how define $f''.$
Thanks.

$\endgroup$
2
$\begingroup$

Hint: Since $S^n \cong D^n/\partial D^n$, a map $f': D^n \to \tilde S^n$ that maps $\partial D^n$ to a point is equivalent to a map $f'':S^n \to \tilde S^n$. And keep in mind that $p \circ f'=f$. (Click below for the full solution.)

We should choose $f: (D^n,\partial D^n) \to (S^n,x_0)$ to be the quotient map $D^n \to D^n/\partial D^n=S^n$ (so it equivalent to the identity $S^n \to S^n$ in the above sense). We get a lift $f': D^n \to \tilde {S^n}$, but we need to check that $\partial D^n$ is mapped to a single point in $\tilde {S^n}$. Since $f': D^n \to \tilde {S^n}$ must satisfy $$p\circ f'(\partial D^n)=f(\partial D^n)=x_0,$$ $f'$ must map $\partial D^n$ to $p^{-1}(x_0)$. Then $f'(\partial D^n)$ is a single point because $p^{-1}(x_0)$ is discrete and $\partial D^n$ is connected. Since $S^n=D^n/\partial D^n$, we get a map $f'':(S^n,x_0)\to (\tilde{ S^n},\tilde x_0)$ such that $p\circ f''=\operatorname{id}_{S^n}$.

Moral of the story: $\,$ In an ideal world, we would directly construct a lift $f'': S^n \to \tilde S^n$ of $\operatorname{id}_{S^n}: S^n \to S^n$, since this implies that $p_*$ is surjective. The problem is that we're not sure that such a lift exists because we don't know $\pi_1(S^n)$, so we have to pass through $D^n$.

$\endgroup$
  • $\begingroup$ lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll Thanks, :) $\endgroup$ – sti9111 May 28 '15 at 13:31
  • $\begingroup$ @SergioTroncosoIgua: No problem! And remember that you can always officially accept an answer if you're satisfied with it. This goes for all questions you post, which I noticed have no accepted answers yet. $\endgroup$ – Kyle May 28 '15 at 14:16
  • $\begingroup$ Jejejeje, is because I new in this and I forget it, again thanks. $\endgroup$ – sti9111 May 28 '15 at 14:18
  • $\begingroup$ Excuse me, But Now reading again, I don´t see how is defined $f´´$ $\endgroup$ – sti9111 May 28 '15 at 22:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.