(It’s known for Dedekind schemes, and for Y⊂XY \subset X both smooth varieties, but a conjecture in general. Some work by Thomason?)
nLab page on Cohomological purity