\(\ell\)-adic perverse sheaves over a torus (Q1918237): Difference between revisions

The paper studies perverse \(l\)-adic sheaves on a torus \(T\) over an algebraically closed field \(k\) of characteristic \(p\neq 0,l\). One of the main results provides the classification of such sheaves having Euler-Poincaré characteristic 1. The group which classifies such sheaves is isomorphic to \(T(k)\times {\mathbb{Z}}^{ {\mathcal S}\times {\mathcal C}({\mathbb{G}}_{m,k})(\overline{\mathbb{Q}}_l) }\). Here \({\mathcal S}\) is the collection of subtori of dimension 1 of \(T\) and \({\mathcal C}({\mathbb{G}}_{m,k})(\overline{\mathbb{Q}}_l)\) is the group of the continuous characters of the tame fundamental group of \({\mathbb{G}}_{m,k}\) with values in the group \(\overline{\mathbb{Q}}_l^*\). Another result states that a perverse \(l\)-adic sheaf on \(T\) with Euler-Poincaré characteristic 0 comes from a subtorus of codimension 1. One of the tools is the Mellin transform for perverse \(l\)-adic sheaves. The theorems and proofs can be seen as analogues of the theory of \({\mathcal D}\)-modules on a torus over \(\mathbb{C}\). The algebra of differential operators \({\mathcal D}\) is equal to \({\mathbb{C}}[x_1,\dots ,x_n,x_1^{-1},\dots ,x_n^{-1}] <x_1\frac{d}{dx_1},\dots ,x_n\frac{d}{dx_n}>\). Write \(s_i=-x_i\frac{d}{dx_i}\) and \(\tau _i=x_i\). Then \({\mathcal D}={\mathbb{C}}[s]<\tau >\) and can be identified with an algebra of difference operators. This is the Mellin transform. The classification of the 1-dimensional difference modules over \({\mathbb{C}}(s)<\tau >\) is due to Ore and identifies this group with \(({\mathbb{C}}^*)^n\times {\mathbb{Z}}^{{\mathcal L}\times {\mathbb{C}}/{\mathbb{Z}}}\), where \({\mathcal L}\) is the set of primitive elements of \({\mathbb{Z}}^n\) modulo \(\pm 1\). One observes that the above theorem is a direct analogue of Ore's result. The paper is an expended version of a report of the two authors.