I just read on the ALGTOP discussion list that Morel has announced a proof of the Friedlander conjecture. Question: Are there other applications besides the Milnor conjecture $H_*(G,F_p)=H_*(BG,F_p)$ for complex algebraic groups $G$? And, for an outsider to algebraic geometry, what is the motivation to consider etale cohomology and how does it relate to ordinary cohomology, i.e. how does Friedlander imply Milnor?
1 Answer
$\begingroup$
$\endgroup$
As indicated by D. Roberts, see the video of Morel's talk at the Abel Conference in honour of Milnor held very recently!
Also, see Friedlander's own historical survey!