Séminaire de théorie des nombres de l'IMJ-PRG

We focus on a datum of a projective variety $X$ over a global field $K$ and an ample and semipositive adelically metrized line bundle L, such that all of Zhang's successive minima are equal (to 0, without loss of generality). In other words: the associated height function on the $\overline{K}$-points of $X$ is assumed to be non-negative and also to realize the infimum 0 as a limit value under some Zariski-generic sequence. Since the basic example is given by Rumely's capacitary height functions on the projective line, where the Chern form of $L=O(1)$ is the harmonic measure on a compact planar set, we propose to call such a datum a "harmonic arithmetic variety." We shall start by outlining a proof that the set of harmonic subvarieties of $X$ is stable under taking an intersection. For reasons that shall be explained, this result can be considered as an abstract generalization of the Bogomolov conjecture, in whose background there is no algebraic group or dynamical system present. We shall conclude by stating some further results, problems and conjectures concerning harmonic arithmetic varieties and the distribution of their algebraic points with respect to the natural height function.

Hasse et Weil conjecturent que les fonctions Zeta des variétés définies sur les corps de nombres admettent un prolongement méromorphe au plan complexe et satisfont une équation fonctionnelle. Pour les courbes de genre 1 sur les rationnels, cela résulte des travaux de Wiles et Breuil, Conrad, Diamond, Taylor qui expriment la fonction Zeta à l'aide d'une forme modulaire de poids $2$ ... On expliquera comment prouver un résultat analogue pour les courbes de genre $2$ en utilisant des formes modulaires sur des groupes de rang supérieur. Travail en commun avec G. Boxer, F. Calegari, T. Gee.

We present three novel algorithms to factor polynomials in one variable over finite fields using the arithmetic of Drinfeld modules. The first algorithm estimates the degree of an irreducible factor of a polynomial from Euler-Poincare characteristics of random Drinfeld modules. Knowledge of a factor degree allows one to rapidly extract all factors. The second algorithm is a random Drinfeld module analogue of Berlekamp's algorithm, partly inspired by Lenstra's elliptic curve method for integer factorization. The third algorithm employs Drinfeld modules with complex multiplication and will be the primary focus of the talk. The main idea is to compute a lift of the Hasse invariant with Deligne's congruence playing a critical role. We will discuss practical implementations and complexity theoretic implications of the algorithms.

Dans cet exposé, nous introduirons la notion de somme d’Apéry multiple et montrerons que tout multizêta peut s’exprimer comme une combinaison Z-linéaire de telles sommes. Il y a même une manière canonique de le faire. Cela place dans un contexte théorique unifié de nombreuses identités éparses dans la littérature et fournit un moyen systématique d’en engendrer de nouvelles dont certaines, étonnamment simples, n’avaient pas été découvertes auparavant.

Nous expliquerons comment l'étude des sommes de Gál permet d'obtenir des informations nouvelles concernant des valeurs de la fonction zêta de Riemann sur la droite critique. Ce travail a été réalisé en collaboration avec Gérald Tenenbaum et précise notamment les travaux de Bondarenko et Seip.

Moduli spaces of global $\mathbb G$-shtukas play a crucial role in the Langlands program over function fields. We analyze their functoriality properties concerning a change of the curve and a change of the group scheme $\mathbb G$ under various aspects. In the end we discuss a potential application to a proof of the non-emptiness of minimal KR-strata.

Anabelian geometry with étale homotopy types generalizes in a natural way classical anabelian geometry with étale fundamental groups. We show that, both in the classical and the generalized sense, any point of a smooth variety over a field $k$ which is finitely generated over $\mathbb{Q}$ has a fundamental system of (affine) anabelian Zariski-neighbourhoods. This was predicted by Grothendieck in his letter to Faltings. (Joint work with J. Stix)

Euler systems are compatible families of Galois cohomology classes attached to a global Galois representation, and they play an important role in proving cases of the Bloch—Kato conjecture. In my talk, I will explain the construction both of an Euler system and of a $p$-adic $L$-function attached to the spin representation of a genus $2$ Siegel modular form. I will also sketch a strategy for proving an explicit reciprocity law, relating the bottom class of the Euler system to values of the $p$-adic $L$-function. This is work in progress with David Loeffler, Vincent Pilloni and Chris Skinner.

We prove some qualitative results about the $p$-adic Jacquet--Langlands correspondence defined by Scholze, in the $GL(2,Q_p)$, residually reducible case, by using a vanishing theorem proved by Judith Ludwig. In particular, we show that in the cases under consideration the $p$-adic Jacquet--Langlands correspondence can also deal with principal series representations in a non-trivial way, unlike its classical counterpart. The paper is available at http://arxiv.org/abs/1804.07567

Une question fondamentale mais difficile dans la théorie analytique des formes automorphes est la suivante : étant donné un groupe réductif $G$ et une représentation $r$ de son groupe-$L$, combien y a-t-il de représentations automorphes de conducteur analytique borné ? Dans cet exposé, je présenterai une réponse à cette question dans le cas où $G$ est un tore sur un corps de nombres.

We investigate, in characteristic 0, the compatibilities of various definitions of relatively unipotent log-de Rham fundamental groups for certain proper log-smooth integral morphisms of log-schemes. All the definitions are algebraic: this will allow us to give a purely algebraic proof of the p-adic good reduction criterium for curves (as given by Andreatta-Iovita-Kim). This is a joint work with Di Proietto and Shiho.

We construct infinite-dimensional continuous-time dynamical systems attached to integral normal schemes which are flat and of finite type over the spectrum of the integers. We study the periodic orbits and connectedness properties of these systems and ask several questions.

There are several conjectures about K3 surfaces and abelian varieties of bounded dimension defined over number fields of bounded degree. They state that there are only finitely many possibilities for (1) the endomorphism algebra of an abelian variety, (2) the Neron-Severi lattice of a K3 surface, and (3) the Galois invariant subgroup of the geometric Brauer group. I will explain how these conjectures are related and what is known about them. This is a joint work with Martin Orr and Yuri Zarhin.

Le 12ème problème de Hilbert nous met au défi de construire des extensions abéliennes des corps de nombres. Je discuterai une construction $p$-adique pour les corps quadratiques réels, en utilisant des invariants qui se comportent comme étants des « valeurs spéciales de $j(z)$ ». Ceci est un travail en commun avec Henri Darmon.

Selon une remarquable conjecture de R. Pink, qui généralise celles de Manin-Mumford, Mordell-Lang, André-Oort, et de Bombieri-Masser-Zannier et Zilber, une sous-variété irréductible $Y$ d'une variété de Shimura mixte $S$ ne peut rencontrer de façon Zariski-dense la réunion des sous-variétés spéciales de $S$ de codimension $> \dim(Y)$ que si elle est contenue dans une sous-variété spéciale stricte de $S$ . On explicitera cette conjecture, et on la vérifiera, quand $S$ est le torseur de Poincaré sur une courbe elliptique à multiplications complexes. Il s'agit d'un travail avec H. Schmidt (ArXiv 1803.04835), et avec B. Edixhoven.

Elliptic curves over the rationals admit maps from various Shimura curves, and the comparison ratio of the degrees of these maps recovers important information on $abc$-triples. On the other hand, this ratio can be controlled by the Arakelov height of CM points. This requires a number of tools: zero-density estimates for L-functions, integral models for various objects, Galois representations, and some complex-analytic estimates. The final outcome is an unconditional estimate for the product of $p$-adic valuations of $abc$-triples, which lies beyond the reach of existing methods in the context of the $abc$ conjecture such as linear forms in logarithms. Our methods also yield other results. For instance, for totally real fields $F$ of bounded degree, we prove that the Faltings height of modular elliptic curves $E$ over $F$ is bounded linearly on log(modular degree of $E$) + log(Disc. of $F$). The logarithmic dependence of the discriminant of $F$ can be seen as evidence towards Vojta’s conjecture on algebraic points of bounded degree.

In 1996, Noguchi and Wang independently proved analogues of Nevanlinna-Cartan's Second Main Theorem with truncated counting functions for function fields. As in Cartan's theorem, the level of truncation was equal to the dimension of the ambient projective space. Using the theory of omega-integral curves studied by Vojta, we prove extensions of Noguchi-Wang's theorem with other truncations. In particular, we obtain a bound of the height of a non-constant morphism from a curve to the projective plane in terms of the number of intersections (without multiplicities) of its image with a divisor of a particular kind. This proves some new special cases of Vojta's conjecture with truncated counting functions in the context of function fields.

Suite au travail de plusieurs mathématiciens, les systèmes d'Euler se sont avérés très importants dans l'étude de l'arithmétique des formes automorphes. Par exemple, la construction de Kato d'un système d'Euler associé à une forme modulaire lui a permis de donner une construction alternative de la fonction $L$ $p$-adique de cette forme et de montrer une divisibilité dans la conjecture principale d'Iwasawa. Lei, Loeffler et Zerbes ont montré que les techniques de Kato peuvent être adaptées pour construire des systèmes d'Euler dans d'autres cadres (produit tensoriel de deux formes modulaires, formes de Hilbert, formes de Siegel pour le groupe $GSp_4$). On expliquera comment construire des tours de classes intéressantes dans la cohomologie des variétés de Siegel de genre 3. On étudiera leurs régulateurs complexes et on en donnera une application à la théorie d'Iwasawa. Il s'agit des travaux en commun avec A. Cauchi et F. Lemma.

The period conjecture of Grothendieck predicts the relations between the period numbers of mixed motives. In joint work with Wüstholz we have established Kontsevich's formulation of the conjecture (concentrating on linear rather than algebraic relations) for 1-motives. As a consequence this gives a sharp criterion for transcendence of periods of curves. The plan of this talk is to explain this result as well as the framework of conjectures behind it.

La cohomologie des champs de chtoucas a été utilisée par V. Lafforgue pour construire la paramétrisation de Langlands pour l'espace des formes automorphes cuspidales pour les corps de fonction. Je montrerai dans cet exposé que la cohomologie à support compact des champs de chtoucas est de type fini comme module sur l'algèbre de Hecke en une place non ramifiée. Comme application, j’étendrai les opérateurs d'excursion de l'espace des formes automorphes cuspidales à l'espace de toutes les formes automorphes à support compact. Puis j'obtiendrai la paramétrisation de Langlands pour des quotients de ce dernier espace, de façon compatible avec l'induction parabolique.

La méthode de Chabauty pour trouver les points rationnels d'une courbe nécessite que le rang de Mordell-Weil de sa jacobienne (ou d'un quotient à de celle-ci) soit strictement inférieur à sa dimension. Pour cette raison, la famille des courbes modulaires associées aux normalisateurs de sous-groupes de Cartan non déployés résistait jusqu'alors à l'étude, mais un développement récent baptisé "Chabauty quadratique" permet de s'attaquer au cas rang=dimension si on dispose d'endomorphismes supplémentaires. Dans cet exposé, j'expliquerai un travail en commun avec Dogra et Siksek consistant à prouver une version de Chabauty quadratique pour un quotient de la jacobienne (nécessitant une hypothèse supplémentaire non triviale), puis à prouver que ces hypothèses sont vérifiées pour les courbes modulaires citées, ouvrant ainsi la voie à la détermination de leurs points rationnels.

Soit $\mathcal A \rightarrow S$ un schéma abélien sur caractèristique $0$. On peut y associer une application de Betti, qui est une application réellement analytique dont les fibres sont complexes analytiques. Étant donnée une sous variété $X$ de $\mathcal A$, on peut se poser la question suivante : quel est le rang de la restriction de Betti à $X$ ? Cette question a été posée explicitement par André, Corvaja et Zannier, pourtant des cas spéciaux avaient eu des applications différentes. Dans cet exposé je donnerai un critère simple en termes géométriques qui permet de détecter ce rang de Betti, en utilisant un résultat de transcendence sur les corps de fonctions (Ax-Schanuel mixte) et des techniques des intersections atypiques.

The asymptotic Fermat conjecture states that for a number field $K$ there is a constant $B_K$ such that for primes $p \ge B_K$ the only $K$-rational points on the Fermat curve $X^p+Y^p+Z^p=0$ are the obvious ones. In this talk we survey joint work with Nuno Freitas, Alain Kraus and Haluk Sengun, on the asymptotic Fermat conjecture. In particular we prove AFC for family of number fields $K=\Q(\zeta_{2^r})^+$.

Je parlerai de la construction d'une nouvelle cohomologie de Weil qui interpole entre les différentes cohomologies $\ell$-adiques et la cohomologie rigide de Berthelot. J'énoncerai ensuite plusieurs conjectures sur l'anneau de coefficients de cette nouvelle cohomologie qui admet une action naturelle du groupe de Galois motivique d'un certain corps de caractéristique nulle. Une de ces conjectures entraîne l'indépendance de $\ell$.

A result of Fouvry and Iwaniec states that there are infinitely many primes of the form $x^2+y^2$ where $y$ is a prime number. In this talk we will see a generalization of this theorem to the situation of an arbitrary primitive positive definite binary quadratic form. This is joint work with Peter Cho-Ho Lam and Stanley Xiao.

In order to compute Brauer-Manin obstructions to the Hasse principle and weak approximation, one must evaluate elements of the Brauer group at adelic points of a variety $X$. If an element of the Brauer group has order coprime to $p$, then its evaluation at a $p$-adic point factors via reduction of the point modulo $p$. For $p$-torsion elements this is no longer the case: in order to compute the evaluation map one must know the point to a higher $p$-adic precision. Classifying Brauer group elements according to the precision required to evaluate them at $p$-adic points gives a filtration on $\mathrm{Br}X[p]$ which we describe using work of Bloch and Kato. This is joint work with Martin Bright.

We present heuristics that suggest that there is a uniform upper bound on the rank of $E(\mathbb Q)$ as $E$ varies over all elliptic curves over $\mathbb Q$. This is joint work with Jennifer Park, John Voight, and Melanie Matchett Wood.

Initiated in 1770, Waring’s problem concerns how many ways a positive integer can be represented as a sum of powers. Using breakthrough work of Bourgain-Demeter-Guth and Wooley we can study this problem in considerable generality and apply it to study Campana points on certain higher-dimensional orbifolds. These points acts as a kind of bridge between the theory of rational and integral points on algebraic varieties. This is joint work with Shuntaro Yamagishi.

We discuss generalizations of well-known properties of torsion points of order $3$ on elliptic curves to the case of arbitrary positive genus $g$ described in the title. This is a report on a joint work with Boris Bekker (StPetersburg).