Bézout's theorem for abelian varieties
Let $X$, $Y$ be closed irreducible subvarieties of an absolutely simple abelian variety of dimension $g$ over a field. If $\dim(X) + \dim(Y) \le g$, we prove that the addition morphism $X \times Y \to X + Y$ is semismall. As a consequence, we deduce that if $\dim(X) + \dim(Y) \ge g$, the subvarieties $X$ and $Y$ must meet (Bézout's theorem). If we drop the assumption that the abelian variety is absolutely simple, we prove that Bézout's theorem still holds if $X$ satisfies a nondegeneracy condition. These results were previously known only in characteristic zero. Our proof of the semismallness statement is based on the theory of perverse sheaves: using results of Krämer and Weissauer, we prove that for perverse sheaves $K$ supported on $X$, and $L$ supported on $Y$, the convolution product $K * L$ is again perverse.