Weil cohomology and model theory (Q2758400)

A Weil cohomology theory is a contravariant functor from the category of irreducible smooth projective varieties over an algebraically closed field to the category of finite-dimensional graded anticommutative algebras over a fixed coefficient field, satisfying certain sophisticated axioms. The notion was developed in the sixties by A.~Grothendieck and M.~Artin in attempts to prove the Weil conjectures (concerning the number of solutions of equations over finite fields and their relation to the topological properties of the variety defined by the corresponding equations over \(\mathbb C\)) and was later used by P.~Deligne in his proof of the conjectures. The main result of the paper is that, although the axioms for a Weil cohomology theory are formulated in terms of high level notions and so do not look like first order ones, they are, in a natural sense, first order. In particular, one can form ultraproducts of Weil cohomology theories and these are models of the axioms. An essential point is a study of first order aspects of intersection theory; in his analysis the author follows \textit{W. Fulton} [``Intersection theory'' (1984; Zbl 0541.14005)]. Then he gives a first order axiomatization of the notion of Weil cohomology theory essentially equivalent to \textit{S. Kleiman}'s axiomatization [in: Dix Exposés sur la cohomologie des Schémas, Adv. Stud. Pure Math. 3, 359--386 (1968; Zbl 0198.25902)]. He remarks that Grothendieck's standard conjectures, assumed for all Weil cohomology theories, imply strong uniformities in the theory of cycles, and, using an ultraproduct argument, demonstrates that for numerical equivalence of cycles.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00010].