Congruence for rational points over finite fields and coniveau over local fields

Hélène Esnault, Chenyang Xu

If the $\ell$-adic cohomology of a projective smooth variety, defined over a local field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then every model ov…