Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper establishes an analogue of Artin vanishing along the multiplication-by-$\ell$ tower of an abelian variety for constructible $\mathbb{F}_{\ell}$-sheaves. The authors prove that the pullback on cohomology systematically vanishes in degrees strictly above the support dimension after a bounded number of steps, affirmatively answering an open question posed by Bhatt, Schnell, and Scholze. These techniques yield sharp codimension estimates for the Fourier–Mellin transform of perverse sheaves, removing the arithmeticity requirement from Esnault–Kerz and extending results to mod-$\ell$ coefficients even when Hard Lefschetz fails.
Higher cohomology along abelian multiplication towers systematically vanishes past the support dimension, settling an open question by Bhatt, Schnell, and Scholze while bypassing the need for Hard Lefschetz.
Let $A$ be an abelian variety of dimension $g$ over an algebraically closed field and let $\ell$ be a prime invertible in the field. For every constructible $\mathbb{F}_{\ell}$-sheaf $F$ on $A$ we prove that there is an integer $e$, depending on $F$, such that the pullback map $[\ell^{e}]^{*}\colon\mathrm{H}^{i}(A,[\ell^{n}]^{*}F)\to\mathrm{H}^{i}(A,[\ell^{n+e}]^{*}F)$ is zero for all $n\geq0$ and all $i>\dim\operatorname{Supp}F$. In particular $\varinjlim\limits_{n}\mathrm{H}^{i}(A,[\ell^{n}]^{*}F)=0$ for $i>\dim\operatorname{Supp}F$, which answers a question of Bhatt--Schnell--Scholze. Our methods also give sharp codimension estimates for the supports of the cohomology sheaves of the Fourier--Mellin transform of a perverse sheaf. With $\ell$-adic coefficients, we remove the arithmeticity hypothesis from the estimates of Esnault--Kerz. The corresponding estimates for the completed transform with $\mathbb{F}_{\ell}$-coefficients are new and hold even when Hard Lefschetz fails.