A Tauberian theorem for ℓ-adic sheaves on <img src="/fulltext-image.asp?format=htmlnonpaginated&src=B70W7418845U6X30_html\11425_2010_3143_Article_IEq1.gif" border="0" alt="$$\mathbb{A}$$" /><sup>1</sup>

Lei Fu
DOI: https://doi.org/10.1007/s11425-010-3143-3
2010-01-01
Abstract:Let K is an element of L-1(R) and let integral is an element of L-infinity(R) be two functions on R. The convolution (K * f)(x) = integral(R) 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 ->infinity) (K * f)(x) = lim(x ->infinity) (K * A)(x) for some constant A, then lim(x ->infinity) f(x) = A. We prove the following l-adic analogue of this theorem: Suppose K, F, G are perverse l-adic sheaves on the affine line A over an algebraically closed field of characteristic p (p not equal l). Under suitable conditions, if (K * F)vertical bar(eta infinity) congruent to (K * G)vertical bar(eta infinity), then F vertical bar(eta infinity) congruent to G vertical bar(eta infinity), where eta(infinity) is the spectrum of the local field of A at infinity.
What problem does this paper attempt to address?