Analytic Number Theory and Arithmetic Statistics over Function Fields

Descripción del proyecto

La investigación aborda los retos del campo de funciones

Un reto fundamental en la teoría multiplicativa de números es comprender cómo pueden descomponerse los números en sus factores primos dentro de determinados conjuntos. Los investigadores también estudian problemas complejos de factorización en campos de funciones, similares a los campos numéricos, pero en los que intervienen funciones en lugar de números. El equipo del proyecto Function Fields, financiado por el Consejo Europeo de Investigación, introduce un planteamiento innovador de estos problemas. Al limitar el tamaño de los grupos de cohomología relacionados con los haces mediante el límite de Massey y el ciclo característico, en el proyecto se ayuda a simplificar estructuras complejas. Junto con el método del círculo, el planteamiento propuesto ofrecerá soluciones eficaces a los problemas de campos de funciones. Aunque no resuelve directamente cuestiones de campos numéricos, en el proyecto se abren nuevas vías en geometría, topología y estabilidad homológica.

Objetivo

An archetypal problem in multiplicative number theory is to determine the factorization statistics in a given set, such as the set of values of an integral polynomial, or of the function raising an integer to a non-integral power and taking the integral part, the set of integers n for which there exists an integer 0 < a < n/10 such that n divides a^3-2, or the set of discriminants of cubic extensions of a number field. One is particularly interested in estimating the number of primes in such sets. We study analogs of such problems over function fields (in one variable over a finite field). Almost every problem over number fields admits a sensible (although not necessarily obvious) analog over function fields, and solutions to such problems carry over as well. On the other hand, the Riemann Hypothesis has been resolved in a most definitive form by Deligne in the function field setting. While solutions of problems over function fields do not translate to solutions of analogous problems over number fields, new insights are gained, and connections to geometry, topology, and homological stability emerge. Function field analytic number theory problems often reduce to obtaining cancellation in sums of trace functions of l-adic etale sheaves over the points of a variety over a finite field. The Grothendieck--Lefschetz trace formula, in conjunction with Delignes theorem, gives us cancellation once strong upper bounds on the dimensions of the cohomology groups of our sheaves are available. The main proposed innovation is a bound on the dimensions of cohomology groups of sheaves built using the six operations from more basic sheaves, approached using Massey's bound involving the characteristic cycle. Our methods involve also judicious choices of l for which the reduction of our sheaves mod l simplifies them. These will be combined with the circle method to serve as an off-the-shelf approach to function field problems.