The Tate conjecture is a fundamental question in mathematics about algebraic geometry and number theory. Roughly speaking, it asks whether certain abstract mathematical objects called "cohomology classes" associated with a geometric shape over a finite field can always be explained by concrete geometric substructures called "algebraic cycles." Proving this for a class of objects means showing that the geometry is, in a precise sense, fully captured by things you can actually construct. Since the 1960s, when John Tate proved it for abelian varieties of dimension one (elliptic curves), progress on higher dimensions had stalled.
The paper proves the Tate conjecture for abelian fourfolds, which are a type of highly symmetric geometric object of dimension four defined over finite fields. This is the first time the conjecture has been fully resolved for any fixed dimension of abelian varieties beyond what Tate himself handled over sixty years ago. The proof works by borrowing techniques from a related result by Ancona about a different conjecture (the standard conjecture of Hodge type), and ultimately connects the finite-field problem to results by Markman about complex abelian varieties, where more flexible tools are available.
As a bonus, combining this new result with existing theorems by Ancona and Kahn, the authors also settle another long-standing open question: the standard conjecture on homological versus numerical equivalence for abelian fourfolds, and this holds over any field, not just finite ones. This means that two natural but differently-defined ways of measuring when algebraic cycles are "equivalent" turn out to agree for these objects. Together, the results complete the proof of all the standard conjectures for abelian fourfolds, closing a chapter that has been open since Grothendieck formulated these conjectures in the 1960s.