Prismatic Steenrod operations and arithmetic duality on Brauer groups

TL;DR

This paper develops a new syntomic Steenrod algebra acting on mod p syntomic cohomology, applying it to resolve Tate's conjecture on symplectic forms in Brauer groups over finite fields, using advanced prismatic and perfectoid techniques.

Contribution

It introduces the spectral syntomic cohomology framework and spectral prismatic F-gauges, extending classical duality and Steenrod operations with modern geometric methods.

Findings

Resolved the last open cases of Tate's 1966 conjecture.

Established spectral Serre duality for spectral prismatic F-gauges.

Explicitly computed syntomic Steenrod operations.

Abstract

We construct and analyze the "syntomic Steenrod algebra", which acts on the mod $p$ syntomic cohomology (also known as etale-motivic cohomology) of algebraic varieties in characteristic $p$. We then apply the resulting theory to resolve the last open cases of a 1966 Conjecture of Tate, concerning the existence of a symplectic form on the Brauer groups of smooth proper surfaces over finite fields. More generally, we exhibit symplectic structure on the higher Brauer groups of even dimensional varieties over finite fields. Although the applications are classical, our methods rely on recent advances in perfectoid geometry and prismatic cohomology, which we employ to define a theory of "spectral syntomic cohomology" with coefficients in motivic spectra. We then organize the resulting cohomology theories into a category of "spectral prismatic $F$-gauges", generalizing the prismatic $F$-gauges of Drinfeld and Bhatt--Lurie, for which we establish a ``spectral Serre duality'' extending classical coherent duality. These abstract constructions are leveraged to explicitly compute the syntomic Steenrod operations.