Homotopy spheres II (Ex)

From Manifold Atlas
(Difference between revisions)
Jump to: navigation, search
m
(2 intermediate revisions by one user not shown)
Line 3: Line 3:
is the group of homotopy spheres bounding parallelisable manifolds.
is the group of homotopy spheres bounding parallelisable manifolds.
{{beginthm|Exercise}}
{{beginthm|Exercise}}
# Show that $\Sigma$ embeds into $\Rr^{n+1}$ if and only if $\Sigma$ is diffeomorphic to $S^n$.
+
# Show that $\Sigma$ embeds into $S^{n+1}$ if and only if $\Sigma$ is diffeomorphic to $S^n$.
# Show that $\Sigma$ embeds into $\Rr^{n+2}$ if and only if $\Sigma \in bP_{n+1}$.
+
# Show that $\Sigma$ embeds into $S^{n+2}$ if and only if $\Sigma \in bP_{n+1}$.
# For $k \geq 2$, show that $\Sigma$ embeds into $\Rr^{n+k+1}$ with trivial normal bundle if and only if there is a diffeomorphism $\Sigma \times S^k \cong S^n \times S^k$.
+
# For $k \geq 2$, show that $\Sigma$ embeds into $S^{n+k+1}$ with trivial normal bundle if and only if there is a diffeomorphism $\Sigma \times S^k \cong S^n \times S^k$.
# Show that if $\Sigma \in bP_{n+1}$, then for all $k \geq 2$, there is a diffeomorphism $\Sigma \times S^k \cong S^n \times S^k$.
# Show that if $\Sigma \in bP_{n+1}$, then for all $k \geq 2$, there is a diffeomorphism $\Sigma \times S^k \cong S^n \times S^k$.
{{endthm}}
{{endthm}}
Line 13: Line 13:
[[Category:Exercises]]
[[Category:Exercises]]
[[Category:Exercises without solution]]
[[Category:Exercises without solution]]
+
[[Category:Exercises with solution]]

Latest revision as of 00:34, 30 August 2013

In the following, \Sigma \in \Theta_n is a homotopy sphere, n \geq 5, and bP_{n+1} \in \Theta_n is the group of homotopy spheres bounding parallelisable manifolds.

Exercise 0.1.

  1. Show that \Sigma embeds into S^{n+1} if and only if \Sigma is diffeomorphic to S^n.
  2. Show that \Sigma embeds into S^{n+2} if and only if \Sigma \in bP_{n+1}.
  3. For k \geq 2, show that \Sigma embeds into S^{n+k+1} with trivial normal bundle if and only if there is a diffeomorphism \Sigma \times S^k \cong S^n \times S^k.
  4. Show that if \Sigma \in bP_{n+1}, then for all k \geq 2, there is a diffeomorphism \Sigma \times S^k \cong S^n \times S^k.

References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox