Séminaire de Théorie des Nombres de Nancy-Metz

Dans cet exposé, nous présenterons une méthode simple et efficace, qui a ses origines dans les travaux de Baker et Montgomery, et qui permet de produire des changements de signe de sommes de certaines fonctions multiplicatives réelles. Nous illustrons ensuite deux applications aux sommes de caractères de Dirichlet quadratiques ainsi qu’aux sommes de fonctions multiplicatives aléatoires de Rademacher. Ceci est basé sur un travail en commun avec O. Klurman et M. Munsch.

In 1964, Hooley proved that for an irreducible polynomial $p$ in $\mathbb{Z}[x]$, the ratios $v/n$ for $v$ roots of the polynomial $p$ modulo $n$, are equidistributed modulo $1$. We prove joint equidistribution of these roots of polynomial congruences and polynomial values. As part of the proof, we generalize a result of Montgomery and Vaughan regarding exponential sums with multiplicative coefficients to the setting of Weyl sums.

La fonction Delta d’Erdős-Hooley mesure la concentration des diviseurs d’un entier dans un intervalle dyadique. Récemment, Ford Koukoulopoulos et Tao ont amélioré l’encadrement de l’ordre moyen de cette fonction dû à Hall et Tenenbaum. Nous expliquerons les idées nouvelles de ces auteurs et expliquerons comment dans un travail en collaboration avec Gérald Tenenbaum nous avons précisé leur encadrement.

Dans un travail en commun avec Régis de La Bretèche et Daniel Fiorilli, on considère certains moments pondérés correspondant à la distribution des substitutions de Frobenius dans les classes de conjugaison des groupes de Galois d’extensions normales des rationnels. La question s’inspire de résultats de Hooley et de progrès récents de La Bretèche–Fiorilli concernant les moments de la distribution des nombres premiers en progression arithmétique. Tout comme dans ces travaux antérieurs, nos résultats sont conditionnels à GRH et confirment que les moments considérés devraient être gaussiens. Si le temps le permet, nous mentionnerons une autre notion de moments pour laquelle certaines structures de groupes de Galois excluent un comportement gaussien.

Séminaire commun avec l’équipe Probabilités et Statistique.

Le lemme de Hensel pour les fonctions polynomiales $p$-adiques $f: \mathbb{Z}_p\rightarrow \mathbb{Z}_p$ permet de déduire l’existence d’une solution de $f(x)=0$ à partir de l’existence d’une solution approchée. E. Y. Axelsson et A. Khrennikov (2016) ont étendu le lemme de Hensel aux fonctions $1$- et $p^\alpha$-Lipschitz et ont posé la question concernant une généralisation de leur résultat aux fonctions continues $p$-adiques générales. L’objet de cet exposé est de présenter cette généralisation, obtenue dans un travail récent en collaboration avec H. Kaneko.

Les propriétés des chiffres des nombres premiers et de diverses autres suites de nombres entiers ont suscité beaucoup d’intérêt ces dernières années. Pour tout nombre entier naturel $k$, nous notons $\overleftarrow{k}$ le miroir de $k$ en base 2, défini par
$$
\overleftarrow{k} = \sum_{j=0}^{n-1} \varepsilon_j\,2^{n-1-j}
\quad
\mbox{ où }
\quad
k = \sum_{j=0}^{n-1} \varepsilon_{j} \,2^j
$$
avec $\varepsilon_j \in \{0,1\}$, $j\in\{0, \ldots, n-1\}$, $ \varepsilon_{n-1} = 1$. Une question naturelle est d’estimer le nombre de nombres premiers $p\in \left[2^{n-1},2^n\right[$ tels que $\overleftarrow{p}$ est également premier. Nous présenterons un résultat fournissant une majoration de l’ordre de grandeur attendu. Notre méthode est fondée sur une technique de crible. Elle nous permet aussi d’obtenir une bonne minoration du nombre de nombres entiers $k$ tels que $k$ et $\overleftarrow{k}$ ont au plus 8 facteurs premiers (comptés avec multiplicité). Enfin, nous présenterons une formule asymptotique pour le nombre de nombres entiers $k\in \left[2^{n-1},2^n\right[$ tels que $k$ et $\overleftarrow{k}$ sont sans facteur carré.

Il s’agit d’un travail en commun avec Cécile Dartyge, Bruno Martin, Joël Rivat et Igor Shparlinski.

Soient $N\geq 1$ et $\chi_1,…,\chi_N$ des caractères de Dirichlet primitifs, pairs et deux à deux distincts, de conducteur $q_1$, …, $q_N$ respectivement. Posons

\[F(s):=\sum_{j=1}^N c_j\varepsilon_jq_j^{s/2}L(s,\chi_j),\]

où $(\varepsilon_j)$ sont des complexes de module 1 tels que $F$ satisfasse une équation fonctionnelle et $c_j\in\mathbb R^*$. Nous distinguons les zéros de $F$ en deux catégories : des zéros dits triviaux, impliqués par cette équation fonctionnelle, et des zéros dits non-triviaux, confinés dans une bande verticale $V$. Nous notons $N(T)$ le nombre de zéros de $F$ dans le rectangle $\{z\in V:\Im(z)\in[0,T]\}$ et $N_0(T)$ le nombre de ces zéros étant sur la droite critique.

A la fin des années 90, Selberg donna les grandes lignes d’un raisonnement prouvant qu’une proportion positive de zéros non-triviaux de $F$ sont sur la droite critique, en établissant que

\[\kappa_F:=\liminf_T\frac{N_0(2T)-N_0(T)}{N(2T)-N(T)}\geq \frac c{N^2}\]

pour un $c>0$. Nous proposons alors d’améliorer et d’expliciter cette minoration, en démontrant en particulier que

\[\kappa_F\geq \frac{2.16\times 10^{-6}}{N\log N},\]

pour tout $N$ assez grand.