Cohomology of the universal smooth cubic surface

Abstract

We compute the rational cohomology of the universal family of smooth cubic surfaces using Vassiliev's method of simplicial resolution. Modulo embedding, the universal family has cohomology isomorphic to that of ${\mathbb{P}}^2$. A consequence of our theorem is that over the finite field ${\mathbb{F}}_q$, away from finitely many characteristics, the average number of points on a smooth cubic surface is $q^2+q+1$.

19 pages, 4 figures, 1 table. Minor corrections, mostly TeX. Shares part of the setup with arXiv:1803.04146