Inertia group II (Ex)

(Difference between revisions)
Jump to: navigation, search
m
m
Line 6: Line 6:
{{beginthm|Exercise}}
{{beginthm|Exercise}}
# Show that $\Sigma \in I_H(M)$ if and only if ${\rm Id}_M \colon \Sigma \sharp M \to M$ is equivalent to ${\rm Id}_M \colon M \to M$ in $\mathcal{S}(M)$.
# Show that $\Sigma \in I_H(M)$ if and only if ${\rm Id}_M \colon \Sigma \sharp M \to M$ is equivalent to ${\rm Id}_M \colon M \to M$ in $\mathcal{S}(M)$.
# Determine $I(\Hh P^2)$ and $I_H(\Hh P^2)$: they are subgroups of $\Theta_8 = \Zz/2$.
+
# Determine $I_H(\Hh P^2)$.
+
# Assuming that $I(\Hh P^2) = \Theta_8$, deduce that $\Hh P^2$ admits a self-homotopy equivalence which is not homotopic to a diffeomorphism.
{{endthm}}
{{endthm}}
</wikitex>
</wikitex>

Revision as of 23:44, 27 August 2013

Let M be a closed smooth oriented n-manifold. The homotopy inertia group of M, I_H(M),  is the subgroup of homotopyn-spheres\Theta_n$ defined by

Tex syntax error
where for the statement
Tex syntax error
we regard M and \Sigma \sharp M as the same topological space (with different smooth structures).

Exercise 0.1.

  1. Show that \Sigma \in I_H(M) if and only if
    Tex syntax error
    is equivalent to
    Tex syntax error
    in \mathcal{S}(M).
  2. Determine I_H(\Hh P^2).
  3. Assuming that I(\Hh P^2) = \Theta_8, deduce that \Hh P^2 admits a self-homotopy equivalence which is not homotopic to a diffeomorphism.

References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox