Nancy-Metz number theory seminar

Dans cet exposé, on étudie les courses de nombres premiers entre résidus et non-résidus quadratiques modulo q. Les nombres de Skewes généralisés désignent les premières valeurs pour lesquelles les résidus quadratiques devancent les non-résidus. Je présenterai un travail en collaboration avec A. Bailleul et T. Untrau dans lequel nous réfutons une conjecture de Fiorilli portant sur la taille de ces nombres. De plus, sous l’hypothèse de Riemann généralisée, ainsi qu’une hypothèse d’indépendance linéaire effective, nous établissons des bornes supérieures pour ces nombres en fonction de q.

Montgomery (1973) suggested an approach to study the pair correlation of nontrivial zeros of the Riemann zeta-function, and proved the corresponding asymptotic formula within a limited range assuming the Riemann Hypothesis (RH). The extended behavior remains a conjecture which implies the famous Pair Correlation Conjecture (PCC) for these zeros. In my previous work with Siegfred Alan C. Baluyot, Daniel Alan Goldston, and Caroline L. Turnage-Butterbaugh, we have showed how to remove RH in Montgomery’s pair correlation method and recover known results on the proportion of simple zeros under hypotheses weaker than RH. We have in addition obtained the proportion of zeros lying on the critical line, which we simply call critical zeros for brevity. Getting results on critical zeros is only achieved since we do not assume RH. We also recently noticed that these proportions can be further improved if we take further advantage of the feature that we “may” have zeros off the critical line.
In follow-up work with Daniel Goldston, Junghun Lee and Jordan Schettler, we showed that PCC without RH implies that asymptotically 100% of the zeros are simple and critical, thus RH is asymptotically true. We remark that our method also works with other pair correlation conjectures. In this talk, I would like to briefly introduce these results and our key ideas.

Nous développons une nouvelle technique pour minorer des sommes d’exponentielle de la forme $\sum f(n) e^{2i\pi\alpha n}$ pour tout $\alpha.$
Nous montrerons en particulier que la somme $\sum_{p\le x} e^{2i\pi\alpha p}$ est non bornée pour tout $\alpha,$ et plus précisément diverge au moins comme $x^{1/6-\varepsilon}$ pour une suite de $x$ tendant vers l’infini, uniformément en $\alpha.$

In this talk I will describe a way to implement the resonance method in problems of analytic number theory which are not necessarily multiplicative in nature.
This extension of the method not only produces improved extreme results wherever Dirichelt’s approximation theorem has been usually employed but it also highlights its connection to Bohr’s and Jessen’s proof of Kronecker’s approximation theorem.

En se laissant guider par l’exemple des ensembles de Sidon (ensembles de nombres dont les sommes de deux éléments sont uniques, très étudiés en combinatoire additive), je présenterai des résultats récents, en collaboration avec R. Riblet, où des techniques de théorie des ensembles permettent de construire des ensembles “grands” en certains sens (cardinalité, mesure ou dimension) tout en étant “épars” car évitant des configurations prescrites (pas de relation linéaire, ou ne contenant pas de parallélogramme, etc.). Des questions subtiles en lien avec l’axiome du choix seront évoquées.

Motivé par ses travaux et ceux de Behrend dans les années 30 concernant les ensembles primitifs d’entiers, Erdős conjectura en 1948 que si $\mathcal{A}$ est un ensemble dénombrable de réels $>1$, tel que $\limsup_{x\to +\infty} \frac{1}{\log x}\sum_{\alpha\leq x, \alpha\in \mathcal{A}}\frac{1}{\alpha} >0$, alors pour tout $\varepsilon>0$, il existe une infinité de triplets $(\alpha, \beta, n)\in \mathcal{A}^2\times \mathbb{N}$ tels que $\alpha\neq \beta$ et $|n\alpha-\beta|<\varepsilon.$ Très peu de temps avant sa mort en 1996, il avait offert 500$ pour la résolution de ce problème de nature diophantienne.

Dans cet exposé, je présenterai un travail récent, en collaboration avec Dimitris Koukoulopoulos et Jared Lichtman, où l’on démontre cette conjecture.

Random multiplicative functions are random models for arithmetic functions such as Dirichlet characters. Moments of sums involving random multiplicative functions are related to interesting counting problems, and understanding these counts can allow one to deduce the limiting distribution of the sums. Using this idea, Benatar, Nishry, and Rodgers showed that the limiting distribution of exponential sums with random multiplicative coefficients is Gaussian. However, they found that moments do not suffice if one wishes to understand the maximum size of these exponential sums. After introducing random multiplicative functions, we will discuss why this is the case, and show how one can obtain conjecturally sharp lower bounds for the maximum size of exponential sums with random multiplicative coefficients.

We consider some questions of arithmetic statistics for matrices of a given rank or fixed determinant or characteristic polynomial, whose entries are parametrised by arbitrary polynomials over the integers. In particular, some of our results improve a recent bound of V. Blomer and J. Li (2022) for counting matrices of given rank that are parametrised by monomials.

Joint works with Philipp Habegger, Ali Mohammadi and Igor Shparlinski.

The elliptic curves $E_d : y^2 = x^3 – dx$, where $d$ is a fourth-power-free integer, form a family of quartic twists. We study in this talk the average analytic rank $r(d)$ over the family. Under the GRH, we show that the average analytic rank is bounded by $13/6$, and by $3/2$ assuming a conjecture of Heath-Brown and Patterson about the distribution of quartic Gauss sums. Since the same result holds when we restricts to the subfamilies of curves $E_d$ where the root number is fixed (i.e. $W(E_d) = \pm 1$), this shows that there is a positive proportion of curves with $r(E_d)=0$ among the curves with even analytic rank, and a positive proportions of curves with $r(E_d)=1$ among the curves with odd analytic rank.

Our results are similar to the results obtained by Heath-Brown for the analytic rank of the quadratic twists $dy^2 = x^3 + ax + b$ under the GRH. For the quadratic twists, it was shown in the recent ground-breaking work of Smith that half of the quadratic twists have algebraic rank 0 and half of the quadratic twists have algebraic rank 1, under the assumption that the Tate-Shafarevic group is finite. For the case of the quartic twists $E_d : y^2 = x^3 – dx$, no bound for the average algebraic rank is known.

This is joint work with L. Devin, A. Fazzari and E. Waxman.

La conjecture des $k$-uplets de nombres premiers par Hardy et Littlewood prédit la répartition des $k$ uplets de nombres premiers séparés par des entiers donnés. Ainsi si $k=2$, elle conjecture l’asymptotique du  nombre de pairs de nombres premiers jumeaux (dont la différence vaut $2$). Malgré les avancées récentes, elle est encore hors de portée mais permet de prédire des résultats importants sur les nombres premiers.

En 2004, sous la conjecture de Hardy et Littlewood, Montgomery et Soundararajan ont établi  une relation asymptotique pour les moments
$$M_k(X,h):=\frac1X\sum_{1\leq n\leq X} \big(\psi(n+h)-\psi(n)-h\big)^k$$
o\`u
$ \psi(x)$ est la fonction sommatoire de la fonction de von Mangoldt $\Lambda.$ Pour $k$ pair, cela fournit un équivalent. Nous
étudions le cas impair et en particulier le cas $k=3$.
Nous présenterons les nouvelles techniques développées pour le cas $k=3$ pour obtenir un équivalent et expliquerons les heuristiques dans le cas $k$ impair

A celebrated result of Duke from the 80’s says that closed geodesics on the modular curve equidistribute as the discriminant tends to infinfity. This is the real quadratic analogue of the equidistribution of CM-points on the modular curve associated to class groups of imaginary quadratic fields. In this talk I will describe a number of generalizations of the result of Duke including; the distribution of the homology classes of closed geodesics, and hyperbolic orbifolds associated class groups of real quadr. fields (as defined by Duke-Imamouglu-Toth). I will emphasize the similarities and differences with the imaginary case. If time permits I will also discuss a q-orbit analogue.

Soit $F(X,Y)$ une forme binaire à coefficients entiers, de discriminant non nul, de degré $\geq 3$.
A quelle condition, nécessaire et suffisante, existe-t-il une forme $G (X,Y)$, non $GL(2, Z)$-équivalente à $F(X,Y)$, telle qu’on ait l’égalité des images $F(Z^2) = G(Z^2)$ ?
La condition trouvée repose sur l’existence d’un élément d’ordre $3$, d’un certain type, dans le groupe d’automorphismes de $F$.
Travail en commun avec Peter Koymans.