Arithmetic and Algebraic Geometry: A conference in honor of Ofer Gabber on the occasion of his 60th birthday

Centre de Conférences Marilyn et James Simons (Le Bois-Marie)

Centre de Conférences Marilyn et James Simons

Le Bois-Marie

35, route de Chartres 91440 Bures-sur-Yvette

Arithmetic and Algebraic Geometry:

A conference in honor of Ofer Gabber on the occasion of his 60th birthday


List of speakers includes:

     Y. André (CNRS & IMJ-PRG),
     A. Beilinson (University of Chicago),
     B. Bhatt (University of Michigan),
     B. Conrad (Stanford),
     G. Faltings (MPIM),
     D. Gaitsgory (Harvard),
     K. Kato (University of Chicago),
     N. Katz (Princeton),
     M. Kisin (Harvard),
     G. Laumon (Université Paris-Sud),
     G. Lusztig (MIT),
     M. Olsson (UC Berkeley),
     F. Orgogozo (CNRS & École polytechnique),
     L. Ramero (Université de Lille I),
     T. Saito (University of Tokyo),
     P. Scholze (Universität Bonn),
     A. Shiho (University of Tokyo),
     Y. Varshavsky (Hebrew University of Jerusalem),
     A. Vasiu (Binghamton University),
     G. Williamson (University of Sydney),
     W. Zheng (Morningside Center of Mathematics)

Organising Committee:

     A. Abbes (CNRS & IHÉS),
     S. Bloch (University of Chicago),
     L. Illusie (Université Paris-Sud),
     B. Mazur (Harvard)

Organized in partnership with 


  • Alberto Navarro
  • Alberto Vezzani
  • Ali Khardani
  • Amadou Bah
  • Anna Cadoret
  • Anne-Marie Aubert
  • Ariane Mezard
  • Arthur Ogus
  • Atticus Christensen
  • Becket Sempliner
  • Benjamin Schraen
  • Bogdan Zavyalov
  • Bruno Kahn
  • Carlos di Fiore
  • Changjian Su
  • Christophe Breuil
  • Christophe Soulé
  • Claudio Pedrini
  • Cong Xue
  • Cristiana bertolin
  • Cédric Pépin
  • Daniel Bertrand
  • Davide Marangoni
  • Daxin Xu
  • Emmanuel Letellier
  • Enlin Yang
  • Evangelia Gazaki
  • Fabrice ORGOGOZO
  • Federica Galluzzi
  • Florence LECOMTE
  • Florian Herzig
  • Francesco Baldassarri
  • Francesco Lemma
  • François Charles
  • François Loeser
  • Gianluca Marzo
  • Go Yamashita
  • Gourab Bhattacharya
  • Guy Henniart
  • Hansheng Diao
  • Haoyu Hu
  • Hiroshi NARUSE
  • Hiroyasu Miyazaki
  • Hongjie Yu
  • Javier Fresán
  • Jean Barge
  • Jean-François BOUTOT
  • Jean-Louis Colliot-Thélène
  • Jean-Marc Fontaine
  • Jean-Pierre Wintenberger
  • Jean-Stefan Koskivirta
  • Jiaming CHEN
  • Jinbo Ren
  • Jishnu Ray
  • Julien Grivaux
  • Katrina Honigs
  • Kestutis Cesnavicius
  • Laurent Clozel
  • Lawrence Breen
  • Lucia Mocz
  • Lucien Szpiro
  • Marie-France Vigneras
  • Masataka Chida
  • Mathieu Ballandras
  • Matthew Morrow
  • Meinolf Geck
  • Michael Zhao
  • Michel Gros
  • Michel Lapidus
  • Mladen Dimitrov
  • Morten Lüders
  • Naoki Imai
  • Nguyen Quang Do Thong
  • Nicolas Templier
  • Ofer Gabber
  • Ousmane Ilunga mutoba
  • Parisa Ghazizadeh
  • Pascal Boyer
  • Peiyi Cui
  • Peter Jossen
  • Pierre Cartier
  • Pierre Schapira
  • Pol van Hoften
  • Qing Liu
  • Quentin Guignard
  • Rob de Jeu
  • Robert Wilms
  • Ruotao Yang
  • Rémi Lodh
  • Salim Tayou
  • Samir Bouslamti
  • Seidai Yasuda
  • Sergei Iakovenko
  • Shashika Petta Mestrige
  • Sofia Tirabassi
  • Sylvain Gaulhiac
  • Tadashi ochiai
  • Takeshi Tsuji
  • Will Sawin
  • William Messing
  • Wojciech Gajda
  • Xiaohua Ai
  • Xiaozong WANG
  • Yahya Nsese lebozo
  • Yichen Qin
  • Yigeng Zhao
  • Yoichi Mieda
  • Yun Gao
  • Yunqing Tang
  • Yuri Sulyma
  • Zhipu Zhao
Contact: Elisabeth Jasserand
    • 9:00 AM
      Registration & coffee
    • 1
      Rigid local systems and (some) finite groups
      We will discuss rigid local systems on the affine line in positive characteristic whose monodromy groups are certain finite groups of Lie type.
      Speaker: N. Katz (Princeton)
    • 2
      Character formulas in the modular representation theory of algebraic groups
      I will review present two formulas for the characters of representations of reductive algebraic groups in positive characteristic p. Both formulas involve certain polynomials ("p-Kazhdan-Lusztig polynomials") which measure the failure of the decomposition theorem for resolutions of affine Schubert varieties, when the sheaf coefficients are of characteristic p. These formulas are proven under mild bounds on p (e.g. p ≥ 2 × Coxeter number) and are expected to hold uniformly. (This is joint work with S. Riche, with parts also joint with P. Achar and S. Makisumi.)
      Speaker: G. Williamson (University of Sydney)
    • 1:00 PM
    • 3
      Stratifying reductive groups
      We define a decomposition of a reductive group into finitely many strata. The largest stratum is the set of regular elements, the smallest stratum is the centre.
      Speaker: G. Lusztig (MIT)
    • 3:30 PM
    • 4
      Hilbert's thirteenth problem and the moduli space of abelian varieties
      The (multi-valued) solution of a general polynomial of degree n is a priori a function of n-1 variables. Hilbert's thirteenth problem and its variants ask when such functions can be written as a composite of functions in a smaller number of variables. I will explain some progress on this question which uses the geometry of A_g. This is joint work with Benson Farb and Jesse Wolfson.
      Speaker: M. Kisin (Harvard)
    • 9:30 AM
    • 5
      Prisms and deformations of de Rham cohomology
      Prisms are generalizations of perfectoid rings to a setting where "Frobenius need not be an isomorphism". I will explain the definition and use it to construct a prismatic site for any scheme. The resulting prismatic cohomology often gives a one-parameter deformation of de Rham cohomology. For instance, it recovers the recently constructed A_{inf}-cohomology for smooth schemes over perfectoid rings (and thus crystalline cohomology when in characteristic p). A relative variant yields cohomological Breuil-Kisin modules, and related ideas also give a co-ordinate free construction of q-de Rham cohomology. Joint work with Peter Scholze.
      Speaker: B. Bhatt (University of Michigan)
    • 6
      p-adic K-theory of p-adic rings
      The original proof of Grothendieck's purity conjecture in étale cohomology (the Thomason-Gabber theorem) relies on results on l-adic K-theory and its relation to étale cohomology when l is invertible. Using recent advances of Clausen-Mathew-Morrow and joint work with Bhatt and Morrow, our understanding in the complementary case of p-adic K-theory of p-adic rings has reached a similar level. In particular, we can express p-adic étale K-theory in terms of the cohomology theories of integral p-adic Hodge theory, such as the prismatic cohomology discussed in Bhatt's talk. Depending on time, I may indicate some possible applications.
      Speaker: P. Scholze (Universität Bonn)
    • 1:00 PM
    • 7
      Perfectoid Cohen-Macaulay rings and homological aspects of commutative algebra in mixed characteristic
      The homological turn in commutative algebra due to Auslander and Serre was pushed forward by Peskine and Szpiro with a systematic use of the Frobenius functor, which led to tight closure theory, a powerful instrument developed by Hochster and Huneke to study singularities in characteristic p. We shall report on recent advances in the mixed characteristic case, where perfectoid Cohen-Macaulay algebras play the role of absolute integral closures in characteristic p, and lead to a mixed characteristic analog of tight closure theory.
      Speaker: Y. André (CNRS & IMJ-PRG)
    • 3:30 PM
    • 8
      Perfectoid spaces and log-regular rings
      I will present a generalization of Scholze's perfectoid spaces that includes the limits of certain very ramified towers of log-regular rings. This is part of an on-going joint work with Ofer Gabber.
      Speaker: L. Ramero (Université de Lille I)
    • 9:30 AM
    • 9
      Arakelov geometry on degenerating curves
      We investigate the asymptotic of Arakelov Green functions and metrics, and of the delta-function, if a smooth Riemann surface degenerates to a stable curve.
      Speaker: G. Faltings (MPIM)
    • 10
      Hochschild and cyclic homology of log schemes
      I will discuss an approach to extending the notions of Hochschild and cyclic homology from schemes to log schemes. The approach is based on a more general theory for morphisms of algebraic stacks.
      Speaker: M. Olsson (UC Berkeley)
    • 1:00 PM
    • 11
      Log Drinfeld modules and moduli spaces
      We construct toroidal compactifications of the moduli space of Drinfeld modules of rank d with N-level structure. We obtain them as the moduli spaces of log Drinfeld modules of rank d with N-level structure. The theory of toroidal compactifications was announced by Pink long ago (using the works of Fujiwara) but the details are not yet published. We follow the ideas of Pink adding log studies and considering cone decompositions related to simplices of Bruhat-Tits buildings. This is a joint work with T. Fukaya and R. Sharifi.
      Speaker: K. Kato (University of Chicago)
    • 3:30 PM
    • 12
      On relative log de Rham-Witt complex
      The notion of relative log de Rham-Witt complex, which is the log version of relative de Rham-Witt complex of Langer-Zink, is defined by Matsuue. In this talk, we give the comparison theorem between relative log de Rham-Witt cohomology and relative log crystalline cohomology for log smooth saturated morphism of fs log schemes satisfying certain condition on which p is nilpotent. Our result generalizes most of the previously known results by Illusie, Hyodo-Kato, Langer-Zink and Matsuue. This is a joint work with Kazuki Hirayama.
      Speaker: A. Shiho (University of Tokyo)
    • 9:30 AM
    • 13
      "fundamental local equivalence" for quantum geometric Langlands
      The key role in the usual geometric Langlands is played by the geometric Satake equivalence, which says that the category of spherical perverse sheaves on the affine Grassmannian Gr_G of the group G is equivalent to the category Rep(G^L) of algebraic representations of the Langlands dual G^L. Despite its importance, the above statement is rather fragile; for example it holds only at the level of abelian categories, but fails at the derived level. A more robust assertion can be formulated by replacing the spherical category by the Whittaker category. In this talk we will introduce the quantum context, which amounts to replacing sheaves on Gr_G by sheaves twisted by a certain gerbe (the latter is the quantum parameter q). It turns out that the Whittaker variant of Geometric Satake admits a deformation, where on the Langlands dual side, the category Rep(G^L) gets deformed to the category of modules over the quantum group, whose quantum parameter is the same q. The construction of the equivalence between the two sides relies on the description of a certain remarkable perverse sheaf on the configuration space of colored divisors, which encodes the combinatorics of the Cartan matrix.
      Speaker: D. Gaitsgory (Harvard)
    • 14
      Perverse equivariant sheaves on loop Lie algebras, and affine Springer theory
      This is a joint work with A. Bouthier and D. Kazhdan. Let G be a connected reductive group, and let LG be the corresponding loop group. Our main goal is to construct a "perverse" t-structure on the derived category of Ad LG-equivariant sheaves on LG and to show that the affine Grothendieck-Springer sheaf belongs to its core. More precisely, we construct the t-structure on the derived category of LG-equivariant sheaves supported on bounded regular semi-simple elements of LG, and we only consider its Lie algebra analog.
      Speaker: Y. Varshavsky (Hebrew University of Jerusalem)
    • 1:00 PM
    • 15
      Spreading-out for families of rigid analytic spaces (joint work with Brian Conrad)
      Speaker: O. Gabber (CNRS & IHES)
    • 3:30 PM
    • 16
      On the classification of p-healthy regular schemes
      A regular local ring R of dimension at least 2 and mixed characteristic (0,p) is called p-healthy if each p-divisible group over the the punctured spectrum of R extends to a p-divisible group over Spec R. In the book of Faltings and Chai, it has been claimed that, in the current language, each such R is p-healthy. A counterexample due to Raynaud, recollected by Ogus, and worked out by Gabber in 1992 shows that this claim is far from being true. After several erroneous attempts by different specialists, just in 2010, Zink and Vasiu were able to generalize Gabber's counterexample, to show the existence of plenty of p-healthy regular rings of dimension 2 and to provide a first correct proof of the uniqueness of integral canonical models of Shimura varieties. As two joint papers with Gabber, we report on a complete classification of p-healthy regular rings of dimension 2 which are henselian and have perfect residue fields and on the very first examples of p-healthy regular schemes of arbitrary dimension greater than 2. These examples in dimension greater than 2 correct several errors in the literature and provide a new (second) proof of the uniqueness of integral canonical models of Shimura varieties.
      Speaker: A. Vasiu (Binghamton University)
    • 5:15 PM
      Cocktail party in honor of Ofer Gabber
    • 9:30 AM
    • 17
      Characteristic cycle of constructible sheaves and restriction to curves
      The characteristic cycle of a constructible sheaf is determined by its rank and the conductor of the restrictions to curves. We also discuss compatibility with proper push forward.
      Speaker: T. Saito (University of Tokyo)
    • 18
      Deligne's geometrical approach to the product formula for l-adic epsilon factors
      Around 1985, Gérard Laumon gave a proof of the local factorization of the determinant of the Frobenius map acting on the cohomology of a curve. Shortly before Laumon's work, however, Deligne had developed a different approach to the problem, which is not well known today. In this talk, I would like to introduce Deligne's method to a wider audience, in the hope that its full potential has yet to be exploited. Its starting point is Deligne's symmetric Künneth formula and the acyclicity properties of the Abel-Jacobi morphism, which led to the first proof of the result in the tame case. (Understanding Deligne's method is one part of an ongoing project with Joël Riou.)
      Speaker: F. Orgogozo (CNRS & École polytechnique)
    • 1:00 PM
    • 19
      Compatible systems along the boundary
      A theorem of Deligne says that compatible systems of l-adic sheaves on a smooth curve over a finite field are compatible along the boundary. I will present an extension of Deligne's theorem to schemes of finite type over the ring of integers of a local field, based on Gabber's theorem on compatible systems. This has applications to the equicharacteristic case of some classical conjectures on l-independence. I will also discuss the relationship with compatible wild ramification. This is joint work with Qing Lu.
      Speaker: W. Zheng (Morningside Center of Mathematics)
    • 3:30 PM