Let be a finite extension of and a smooth proper -variety with good reduction. Under a mild assumption on the behaviour of Hodge numbers under reduction modulo , we prove that the existence of a non-zero global 2-form on implies, after a finite extension of , the existence of -torsion Brauer classes with surjective evaluation map. This implies that any smooth proper variety over a number field which satisfies weak approximation over all finite extensions has no non-zero global 2-form. The proof is based on a prismatic interpretation of Brauer classes with eventually constant evaluation, and a Newton-above-Hodge result for the mod reduction of prismatic cohomology. This generalises work of Bright and the second-named author beyond the ordinary reduction case.

生成讲解博客的中文版本

生成AI智能校验的中文版本