Étale cohomology of rank one \(\ell \)-adic local systems in positive characteristic (Q2046884)

The authors prove the non-Archimedean analogs of several results known for algebraic varieties defined over a field of characteristic zero. More precisely, Let \(X\) be a smooth projective algebraic variety defined over an algebraic closed field. The main results of the paper are: \begin{itemize} \item[1.] the hard Lefschetz theorem holds for any \(\ell\)-adic rank one local system on \(X\); \item[2.] the cohomology jumping loci of any arithmetic \(\ell\)-adic constructible complexes are finite unions of torsion translated formal Lie subgroups; \item[3.] when \(X\) is an abelian variety, any arithmetic \(\ell\)-adic perverse sheaf on \(X\) satisfies generic vanishing theorems. \end{itemize} For analytic local systems and constructible sheaves on a complex algebraic variety, 1 is known more generally for all semi-simple local systems by \textit{C. Simpson} [Ann. Sci. Éc. Norm. Supér. (4) 26, No. 3, 361--401 (1993; Zbl 0798.14005)]. 2 is proved by \textit{N. Budur} and \textit{B. Wang} [Ann. Sci. Éc. Norm. Supér. (4) 48, No. 1, 227--236 (2015; Zbl 1319.14027)] based on works of Simpson. 3 is proved by \textit{C. Schnell} [Publ. Math., Inst. Hautes Étud. Sci. 121, 1--55 (2015; Zbl 1386.14079)]. The main idea of the proofs is to study certain special loci, which are closed in the deformation space of rank one \(\ell\)-adic local systems and stablized by a suitable Frobenius action. As the main technical result (Theorem 3.4), the authors prove that such special loci are always fnite unions of torsion translated formal Lie subgroups. This technical theorem is proved using formal Lie groups and generalized Fourier-Mellin transformations.