On the conductor of cohomological transforms
Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 30 (2021) no. 1, pp. 203-254.

In the analytic study of trace functions of -adic sheaves over finite fields, a crucial issue is to control the conductor of sheaves constructed in various ways. We consider cohomological transforms on the affine line over a finite field which have trace functions given by linear operators with an additive character of a rational function in two variables as a kernel. We prove that the conductor of such transforms is bounded in terms of the complexity of the input sheaf and of the rational function defining the kernel, and discuss applications of this result, including motivating examples arising from the Polymath8 project.

Dans l’étude analytique des fonctions traces de faisceaux –adiques sur les corps finis, un problème crucial est de contrôler la taille du conducteur de faisceaux construits de façons variées. Nous considérons les transformées cohomologiques sur la droite affine sur un corps fini dont les fonctions traces sont données par des opérateurs linéaires dont la matrice est un caractère additif évalué sur une fonction rationnelle en deux variables. Nous prouvons que le conducteur de telles transformées est borné en fonction du conducteur du faisceau de départ et de la fraction rationnelle définissant le noyau. Enfin nous présentons des applications et des exemples, en particulier des exemples provenant du projet Polymath8.

Received:
Accepted:
Published online:
DOI: 10.5802/afst.1671
Classification: 11T23, 14F20, 11G20
Keywords: Étale cohomology, conductor, $\ell $-adic sheaves, Riemann Hypothesis over finite fields, exponential sums

Étienne Fouvry 1; Emmanuel Kowalski 2; Philippe Michel 3

1 Université Paris-Saclay, CNRS, Laboratoire de Mathématiques d’Orsay, 91405 Orsay, France
2 ETH Zürich – D-MATH, Rämistrasse 101, CH-8092 Zürich, Switzerland
3 EPFL/SB/TAN, Station 8, CH-1015 Lausanne, Switzerland
License: CC-BY 4.0
Copyrights: The authors retain unrestricted copyrights and publishing rights
@article{AFST_2021_6_30_1_203_0,
     author = {\'Etienne Fouvry and Emmanuel Kowalski and Philippe Michel},
     title = {On the conductor of cohomological transforms},
     journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
     pages = {203--254},
     publisher = {Universit\'e Paul Sabatier, Toulouse},
     volume = {Ser. 6, 30},
     number = {1},
     year = {2021},
     doi = {10.5802/afst.1671},
     language = {en},
     url = {https://afst.centre-mersenne.org/articles/10.5802/afst.1671/}
}
TY  - JOUR
AU  - Étienne Fouvry
AU  - Emmanuel Kowalski
AU  - Philippe Michel
TI  - On the conductor of cohomological transforms
JO  - Annales de la Faculté des sciences de Toulouse : Mathématiques
PY  - 2021
SP  - 203
EP  - 254
VL  - 30
IS  - 1
PB  - Université Paul Sabatier, Toulouse
UR  - https://afst.centre-mersenne.org/articles/10.5802/afst.1671/
DO  - 10.5802/afst.1671
LA  - en
ID  - AFST_2021_6_30_1_203_0
ER  - 
%0 Journal Article
%A Étienne Fouvry
%A Emmanuel Kowalski
%A Philippe Michel
%T On the conductor of cohomological transforms
%J Annales de la Faculté des sciences de Toulouse : Mathématiques
%D 2021
%P 203-254
%V 30
%N 1
%I Université Paul Sabatier, Toulouse
%U https://afst.centre-mersenne.org/articles/10.5802/afst.1671/
%R 10.5802/afst.1671
%G en
%F AFST_2021_6_30_1_203_0
Étienne Fouvry; Emmanuel Kowalski; Philippe Michel. On the conductor of cohomological transforms. Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 30 (2021) no. 1, pp. 203-254. doi : 10.5802/afst.1671. https://afst.centre-mersenne.org/articles/10.5802/afst.1671/

[1] John B. Conrey; Henryk Iwaniec The cubic moment of central values of automorphic L-functions, Ann. Math., Volume 151 (2000) no. 3, pp. 1175-1216 | DOI | MR | Zbl

[2] Pierre Deligne Cohomologie étale, Lecture Notes in Mathematics, 569, Springer, 1977 (S.G.A, 41 2)

[3] Pierre Deligne La conjecture de Weil. II, Publ. Math., Inst. Hautes Étud. Sci., Volume 52 (1980), pp. 137-252 | DOI | Numdam

[4] Étienne Fouvry; Emmanuel Kowalski; Philippe Michel Algebraic trace weights over the primes, Duke Math. J., Volume 163 (2014) no. 9, pp. 1683-1736

[5] Étienne Fouvry; Emmanuel Kowalski; Philippe Michel Algebraic twists of modular forms and Hecke orbits, Geom. Funct. Anal., Volume 25 (2015) no. 2, pp. 580-657 | DOI | MR | Zbl

[6] Étienne Fouvry; Emmanuel Kowalski; Philippe Michel On the exponent of distribution of the ternary divisor function, Mathematika, Volume 61 (2015) no. 1, pp. 121-144 | DOI | MR | Zbl

[7] Lei Fu Etale cohomology theory, Nankai Tracts in Mathematics, 13, World Scientific, 2011 | MR | Zbl

[8] Nicholas M. Katz Sommes exponentielles, Astérisque, 79, Société Mathématique de France, 1980 | Numdam | MR | Zbl

[9] Nicholas M. Katz Gauss sums, Kloosterman sums, and monodromy groups, Annals of Mathematics Studies, Princeton University Press, 1988 no. 116 | Zbl

[10] Nicholas M. Katz Exponential Sums and Differential Equations, Annals of Mathematics Studies, 124, Princeton University Press, 1990 | MR | Zbl

[11] Nicholas M. Katz Affine cohomological transforms, perversity, and monodromy, J. Am. Math. Soc., Volume 6 (1993) no. 1, pp. 149-222 | DOI | MR | Zbl

[12] Nicholas M. Katz Rigid local systems, Annals of Mathematics Studies, 139, Princeton University Press, 1996 | MR | Zbl

[13] Nicholas M. Katz L-functions and monodromy: four lectures on Weil II, Adv. Math., Volume 160 (2001) no. 1, pp. 81-132 | DOI | MR | Zbl

[14] Nicholas M. Katz Sums of Betti numbers in arbitrary characteristic, Finite Fields Appl., Volume 7 (2001) no. 1, pp. 29-44 | DOI | MR | Zbl

[15] Emmanuel Kowalski; Philippe Michel; Will Sawin Bilinear forms with Kloosterman sums and applications, Ann. Math.(2), Volume 186 (2017) no. 2, pp. 413-500 | DOI | MR | Zbl

[16] Gérard Laumon Semi-continuité du conducteur de Swan (d’après P. Deligne), Caractéristique d’Euler-Poincaré (Astérisque), Volume 83, Société Mathématique de France, 1981, pp. 173-219 | Numdam | Zbl

[17] Gérard Laumon Transformation de Fourier, constantes d’équations fonctionnelles et conjecture de Weil, Publ. Math., Inst. Hautes Étud. Sci., Volume 65 (1987), pp. 131-210 | DOI | Zbl

[18] James S. Milne Étale cohomology, Princeton Mathematical Series, 33, Princeton University Press, 1980 | MR | Zbl

[19] Ian Petrow; Matthew P. Young The Weyl bound for Dirichlet L-functions of cube-free conductor, Ann. Math., Volume 192 (2020) no. 2, pp. 437-486 | DOI | MR | Zbl

[20] G. H. J. Polymath New equidistribution estimates of Zhang type, Algebra Number Theory, Volume 8 (2014) no. 9, pp. 2067-2199 | MR

[21] Joseph J. Rotman An introduction to homological algebra, Springer Universitext, 2009 | Zbl

[22] Will Sawin Quantitative sheaf theory (drafted by A. Forey, J. Fresán and E. Kowalski, https://arxiv.org/abs/2101.00635)

Cited by Sources: