Skip to main content
2 of 3
edited title
Ying Zhang
  • 1.2k
  • 11
  • 16

Maps inducing zero on homotopy groups but are not null-homotopic

Today my fellow grad student asked me a question, given a map f from X to Y, assume $f_*(\pi_i(X))=0$ in Y, when is f null-homotopic?

I search the literature a little bit, D.W.Kahn

http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.pjm/1102995805

And M.Sternstein has worked on this, and Sternstein even got a necessary and sufficient condition, for suitable spaces.

http://www.jstor.org/stable/pdfplus/2037939.pdf

However, his condition is a little complicated for me as a beginner. Right now I just wanted a counter example of a such a map. Kahn in his paper said one can have many such examples using Eilenberg Maclance spaces. Well, we can certainly show a lot of map between E-M spaces induce zero map on homopoty groups just by pure group theoretic reasons, but I can not think of a easy example when you can show that map, if it exists, is not null-homotopic. Could someone give me some hint?

or, maybe even some examples arising from manifolds?

Ying Zhang
  • 1.2k
  • 11
  • 16