nLab
Friedlander-Milnor isomorphism conjecture

under construction

Contents

Statement

Let

then the canonical morphism

H et (BG,/)H et (BG,/)=H (BG(k),/) H^\bullet_{et}(\mathbf{B}G, \mathbb{Z}/\ell\mathbb{Z}) \longrightarrow H^\bullet_{et}(\flat \mathbf{B}G, \mathbb{Z}/\ell\mathbb{Z}) = H^\bullet(B G(k), \mathbb{Z}/\ell\mathbb{Z})

(from the etale cohomology of the moduli stack of GG (the quotient stack BG*//G\mathbf{B}G \simeq \ast//G) to the cohomology of its underlying discrete group of kk-points) is an isomorphism.

References

Review includes

Original articles include