A Tauberian theorem for ℓ-adic sheaves on 𝔸 1

Lei Fu
DOI: https://doi.org/10.1007/s11425-010-3143-3
2010-01-01
Science China Mathematics
Abstract:Let K ∈ L 1 (ℝ) and let f ∈ L ∞ (ℝ) be two functions on ℝ. The convolution ( K*F)( x ) = ∫_ℝK( x - y)f( y )dy can be considered as an average of f with weight defined by K . Wiener’s Tauberian theorem says that under suitable conditions, if lim_x →∞( K*F)( x ) = lim_x →∞∫_ℝ( K*A)( x ) for some constant A , then lim_x →∞ f( x ) = A We prove the following ℓ-adic analogue of this theorem: Suppose K, F, G are perverse ℓ-adic sheaves on the affine line 𝔸 over an algebraically closed field of characteristic p ( p ≠ ℓ). Under suitable conditions, if ( K*F)|_η _∞≅( K*G)|_η _∞ , then F|_η _∞≅ G|_η _∞ , where η ∞ is the spectrum of the local field of 𝔸 at ∞ .
What problem does this paper attempt to address?