IMJ-PRG CNRS - UPMC - Paris Diderot

Autour des cycles algébriques

Année 2017- 2018

Organisateurs : A. Cadoret - F. Charles - J. Fresán - M. Morrow

Oliver Braunling, Kęstutis Česnavičius et Adam Topaz

Séminaire Autour des cycles algébriques

mercredi 20 juin 2018 à 14:00

Jussieu, couloir 15-16, salle 413

Oliver Braunling (Universität Freiburg)

Kęstutis Česnavičius (Université Paris-Sud, CNRS)

Adam Topaz (University of Oxford)

Emiliano Ambrosi, Raju Krishnamoorthy et Marco Maculan

Séminaire Autour des cycles algébriques

mercredi 16 mai 2018 à 14:00

Jussieu, couloir 15-16, salle 413

14h00—15h00 Emiliano Ambrosi (Ecole Polytechnique) Spécialisation du groupe de Néron-Severi en caractéristique positive.
Soit k un corps infini de type fini et de caractéristique p>0, X une schéma séparé, lisse et géométriquement connexe sur k et f:Y—>X un morphisme propre et lisse. On montre qu’il y a beaucoup des points fermés x de X tels que le rang du groupe de Néron-Severi géométrique de la fibre en x est le même que le rang du groupe de Néron-Severi géométrique de la fibre générique. Si X est une courbe, on montre que c’est vrai pour tous les points k-rationnels sauf un nombre fini. Pour k de caractéristique 0, ces résultats sont dus à Y.André (existence) et A.Cadoret-A.Tamagawa (finitude) et utilisent la théorie de Hodge. Pour étendre l’argument en caractéristique positive, on utilise la conjecture variationnelle de Tate en cohomologie crystalline (M.Morrow), la comparaison entre différentes cohomologies p-adiques (P.Berthelot, A.Ogus, K.Kedlaya, A.Shiho) et des techniques tannakiennes d’indépendance (M.Larsen-R.Pink).

15h30—16h30 Raju Krishnamoorthy (Freie Universität Berlin) Rank 2 local systems and abelian varieties
We report on joint work-in-progress with A. Pál. Let X/k be a smooth variety over a finite field and let L be a rank 2 local system on X that is absolutely irreducible and has infinite image. We conjecture that L "comes from a family of abelian varieties". If one assumes a full set of (p-adic) companions, we show how to reduce this conjecture (in the projective case) to curves.

17h00—18h00 Marco Maculan (IMJ-PRG) Espaces de Stein en géométrie non-archimédienne
Les espaces de Stein sont à la géométrie complexe ce que les variétés affines sont à la géométrie algébrique : les sous-espaces fermés de l’espace affine (sous une hypothèse de finitude, dans le cas complexe). En géométrie non-archimédienne la présence d’espaces à bord produit des phénomènes nouveaux : à la fin des années quatre-vingts Liu a montré qu’il existent des compacts à bord dont la cohomologie supérieure de tout faisceau cohérent s’annule et qui ne sont pas des sous-espaces fermés d’un produit de disques fermés. Dans un travail en commun avec J. Poineau, nous montrons que ces problèmes disparaissent en absence de bord et caractérisons les espaces définis par l’acyclicité de tout faisceau cohérent.

Florian Ivorra, Hiroyasu Miyazaki et Matthew Morrow

Séminaire Autour des cycles algébriques

mercredi 11 avril 2018 à 14:00

Jussieu, couloir 15-16, salle 413

14:00—15:00 Florian Ivorra (Freiburg, Rennes) On the six operations for perverse motivic sheaves
Let k be a subfield of the complex numbers. Though it is not known to satisfy all the expected properties (especially the relations with the Chow groups), Nori’s (unconditional) category of mixed motives has been so far one of the best candidates for Grothendieck’s conjectural category of mixed motives over k.
After recalling Nori’s tannakian construction, I will explain how it is possible to use the triangulated categories of étale motives constructed by Morel-Voevodsky and studied by Ayoub to define an Abelian category of perverse motivic sheaves over any k-variety (so that a perverse motive over a point is simply a Nori motive). Then, I will discuss the construction of the six operations on (the derived categories of) perverse motives, focusing mainly on the issue of nearby cycles functors and inverse image functors.
This is joint work with Sophie Morel.

15:30—16:30 Hiroyasu Miyazaki (IMJ-PRG) On the nil higher Chow groups with modulus
The algebraic K-groups do not satisfy the homotopy invariance in general. The nil K-groups are defined as the obstruction to the homotopy invariance. C. Weibel proved that the nil K-groups admit module structures over the big Witt ring of the base field, and he deduced several structure theorems. Binda-Saito’s higher Chow groups with modulus can be regarded as a cycle-theoretic analogue of the relative K-groups, which are not homotopy invariant in general.
In this talk, we will define the nil higher Chow groups with modulus as the obstruction to the homotopy invariance, and we will construct module structures over the big Witt ring of the base field. If time permits, I will also explain a similar result on Kahn-Saito-Yamazaki’s reciprocity sheaves.

17:00—18:00 Matthew Morrow (IMJ-PRG) Some recent progress on motivic filtrations on algebraic K-theory
I will give an introduction to some aspects of the Lichtenbaum—Quillen conjecture and the existence of Atiyah—Hirzebruch motivic filtrations on algebraic K-theory, before presenting some new results in the case of p-adic K-theory in characteristic p via syntomic methods. This will include in particular a motivic cohomology theory with modulus, which describes the wild part of algebraic K-theory relative to a normal crossing divisor. Joint works with Bhargav Bhatt and Peter Scholze, and with Dustin Clausen and Akhil Mathew.

Hélène Esnault et Adrian Langer

Séminaire Autour des cycles algébriques

mercredi 21 février 2018 à 14:30

Jussieu, couloir 15-16, salle 413

Hélène Esnault (Freie Universität Berlin)
Cohomologically rigid complex local systems with finite determinant and quasi-unipotent monodromies at infinity are integral.
14:30—15:30 : Miscellaneous on companions
16:00—17:00 : The Betti to ℓ-adic proof.
Joint work with Michael Groechenig.
If we dropped ‘Cohomologically’ from the title, this would be a complete (positive) answer to Simpson’s conjecture.
We prove the conjecture under the (perhaps ?) stronger assumption that the local systems are cohomologically rigid. Our proof can’t be extended to the case of rigid connections, and I shall explain why.
Initially, in the projective case, our proof consisted in going to the de Rham side, showing that the restriction of the connection on the p-adic varieties is a Frobenius isocrystal, descend mod p, considering the ℓ-adic companions (the existence of which has been proven recently by Abe and myself) and going back to the complex numbers by showing that the induced local systems stemming from the companions are still cohomologically rigid. This last step requires the study of weights and the L-functions of the companions.
The new proof is purely Betti-ℓ-adic. To produce ℓ-adic companions, one has to be able to descend the representation completed at an integral place to the arithmetic fundamental group of the mod p-variety. This requires a variant of a classical argument of Simpson. In doing so one has to make sure that one keeps the conditions at infinity. The companions one uses are now ℓ-adic and have been constructed a few years ago by Drinfeld. One then proves that the formation of companions in our situation preserves the conditions at infinity (this relies on a theorem of Deligne) and one proves, again using weights, that the induced complex local systems are cohomologically rigid as well.
This proof does not request the projective geometry one needs to prove the F-isocrystal theorem mentioned above. For this reason it can be performed in this generality.
We thank Pierre Deligne for putting us under pressure so we do not restrict our proof to the projective case. His understanding of intersection cohomology of the local systems considered plays an important role in the proof.
For lack of time, I won’t lecture on the F-isocrystals

17:30—18:30 : Adrian Langer (Uniwersytet Warszawski)
Rigid representations of projective fundamental groups
I will talk about some results related to Simpson’s conjecture : rigid irreducible representation of the fundamental group of a smooth complex variety comes from some family of smooth projective varieties. I will sketch the proof of this conjecture in case of rank 3 representations. This is a joint work with Carlos Simpson.

Luis Garcia, Nicolas Bergeron et Salim Tayou

Séminaire Autour des cycles algébriques

mercredi 24 janvier 2018 à 14:00

Jussieu, couloir 15-16, salle 413

14:00 — 15:00 : Luis Garcia (University of Toronto, IHES)
Superconnections and applications to special cycles
I will discuss a construction, using Quillen’s superconnections, of some natural differential forms on the period domains parametrizing polarized Hodge structures on a fixed rational vector space V. These forms depend on a vector v of V and have a Gaussian shape that peaks on the locus where v becomes a Hodge class. For hermitian symmetric domains we will see that they agree with some forms introduced by Kudla and Millson to study special cycles on Shimura varieties. As an application (joint work with S. Sankaran) we will define natural Green forms for special cycles and will compute the corresponding archimedean local heights, making progress on a conjecture of Kudla.

15:30 — 16:30 : Nicolas Bergeron (Paris UPMC)
Transgression de la classe d’Euler et cohomologie d’Eisenstein de GL_N (Z)
Dans un travail en cours avec Pierre Charollois, Luis Garcia et Akshay Venkatesh nous donnons une construction nouvelle de certains classes d’Eisenstein pour GL_N (Z) déjà considérées par Nori et Sczech. Le point de départ de cette construction est un théorème de Sullivan sur l’annulation de la classe d’Euler rationnelle d’un SL_N (Z)-fibré vectoriel et la transgression explicite de cette classe d’Euler par Bismut et Cheeger. Leur construction produit en effet une forme universelle qui peut être considérée comme un noyau pour un relevé thêta régularisé associé à la paire réductive duale (GL_1, GL_N). Ceci suggère de regarder les généralisations possibles du cocycle d’Eisenstein associées aux paires duales (GL_k, GL_N) avec k>1. On est conduit à des relevés arithmétiques intéressants.

17:00 — 18:00 : Salim Tayou (Université Paris-Sud)
Équirépartition du lieu de Hodge de variations de structure de Hodge de type K3
Étant donnée une variation de structure de Hodge entière de type K3 au dessus d’une courbe complexe quasi-projective, c’est un résultat classique dû à Green-Voisin que le lieu de Hodge correspondant est dénombrable et dense dès lors que la variation est simple et non-triviale. Dans cet exposé, on étudiera l’équirépartition de ce lieu pour la mesure induite par intégration de la classe de Chern du fibré de Hodge. On donnera une estimée asymptotique du nombre de points sur la base ayant une classe de Hodge de carré donné. On discutera ensuite quelques applications à l’étude des fibrations elliptiques dans les familles de surfaces K3 sur une courbe ainsi que la distribution des classes paraboliques dans les familles de variétés hyperkähleriennes sur une courbe.

Enlin Yang et Yigeng Zhao

Séminaire Autour des cycles algébriques

mercredi 13 décembre 2017 à 16:00

Jussieu, couloir 15-16, salle 413.

L’exposé de 14:30 est annulé
14:30—15:30 : Jean-Louis Colliot-Thélène (Université Paris-Sud)
Spécialisation des types birationnels
Sur un corps de caractéristique zéro, une spécialisation lisse d’une variété projective et lisse rationnelle est stablement rationnelle. Ce résultat de Nicaise et Shinder (9 août 2017) a été précisé (la rationalité se spécialise) et étendu par Kontsevich et Tschinkel (18 août 2017). L’exposé sera pour l’essentiel consacré à ce dernier travail.

16:00—17:00 et 17:30—18:30 : Enlin Yang et Yigeng Zhao (Université de Ratisbonne)
Characteristic class and the epsilon factor of a constructible étale sheaf
In this talk, we will firstly recall the definitions and the properties of singular support and characteristic cycle of a constructible étale sheaf on a smooth variety. The singular support, defined by Beilinson, is a closed conical subset of the cotangent bundle. The characteristic cycle, constructed by Saito, is a $\mathbb Z$-linear combination of irreducible components of the singular support. This theory is an algebraic analogue of that studied by Kashiwara and Schapira in a transcendental setting.
In the second part of this talk we will focus on the joint work with Umezaki. We prove a conjecture of Kato-Saito on a twist formula for the epsilon factor of a constructible étale sheaf on a projective smooth variety over a finite field. In our proof, Beilinson and Saito’s theory plays an essential role.

Giuseppe Ancona, Javier Fresán

Séminaire Autour des cycles algébriques

mercredi 15 novembre 2017 à 15:30

15:30—16:30 : Giuseppe Ancona (Université de Strasbourg).
Sur la conjecture standard de type Hodge pour les variétés abéliennes
Soient S une surface et V le Q espace vectoriel des diviseurs modulo équivalence numérique. Le produit d’intersection définit un accouplement parfait sur V. On sait depuis les années Trente qu’il est de signature (1,n). Dans les années Soixante Grothendieck a conjecturé une généralisation de cet énoncé aux cycles de codimension quelconque sur des variétés générales. En caractéristique zéro cette conjecture est une conséquence des relations de Hodge Riemann. En caractéristique positive assez peu est connu. A l’aide de formules du produit classiques sur les formes quadratiques nous allons traduire cette question de signature en un problème p-adique. Il se trouve que ce dernier peut être attaqué avec la théorie de Hodge p-adique. Cela nous permettra de démontrer la question originale pour les variétés abéliennes de dimension quatre.

17:00—18:00 : Javier Fresán (École Polytechnique).
Annulation générique, convolution abélienne et sommes exponentielles
Sur une variété abélienne complexe, la cohomologie d’un faisceau pervers tordu par un caractère est génériquement concentré en degré zéro d’après un théorème de Krämer et Weissauer. Leur preuve est intimement liée à l’existence d’une catégorie tannakienne de faisceaux pervers munis de la convolution « abélienne ». J’expliquerai comment l’analogue de ce résultat sur les corps finis permet de démontrer l’équidistribution de certaines sommes exponentielles. Ceci généralise des travaux récents de Katz dans le cadre du groupe multiplicatif et les courbes elliptiques.