Kappa classes (Ex)

From Manifold Atlas
(Difference between revisions)
Jump to: navigation, search
(Created page with "<wikitex>; Let $i \colon SG \to G/TOP$ be the canonical map and let $\kappa_{4k-2} \in H^{4k-2}(G/PL; \Zz/2)$ be defined as in \cite{Madsen&Milgram1979|Theorem 4.9}. In addit...")
m
Line 9: Line 9:
# Show that there is a framed manifold of Kervaire invariant one in dimension $(4k-2)$ if and only if there is a closed framed $(4k-2)$-manifold $M$ and a map $\varphi \colon M \to SG$ such that $\phi^*(\kappa_{4k-2}) \in H^{4k-2}(M; \Zz/2)$ is a generator.
# Show that there is a framed manifold of Kervaire invariant one in dimension $(4k-2)$ if and only if there is a closed framed $(4k-2)$-manifold $M$ and a map $\varphi \colon M \to SG$ such that $\phi^*(\kappa_{4k-2}) \in H^{4k-2}(M; \Zz/2)$ is a generator.
{{endthm}}
{{endthm}}
</wikitex>
</wikitex>
== References ==
== References ==

Latest revision as of 01:17, 26 August 2013

Let i \colon SG \to G/TOP be the canonical map and let \kappa_{4k-2} \in H^{4k-2}(G/PL; \Zz/2) be defined as in [Madsen&Milgram1979, Theorem 4.9]. In addition let \varphi_K \colon S^{4k-2} \to G/PL be the normal invariant of a degree one normal map (f, b) \colon M_K \to S^{4k-2} from the Kervaire manifold to the (4k-2)-sphere.

Exercise 0.1.

  1. Show that \phi_K^*(\kappa_{4k-2}) \in H^{4k-2}(S^{4k-2}; \Zz/2) is the generator.
  2. Show that there is a framed manifold of Kervaire invariant one in dimension (4k-2) if and only if there is a map \varphi \colon S^{4k-2} \to SG such that \phi^*(\kappa_{4k-2}) \in H^{4k-2}(M; \Zz/2) is a generator.
  3. Show that there is a framed manifold of Kervaire invariant one in dimension (4k-2) if and only if there is a closed framed (4k-2)-manifold M and a map \varphi \colon M \to SG such that \phi^*(\kappa_{4k-2}) \in H^{4k-2}(M; \Zz/2) is a generator.

[edit] References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox