Motives, quadratic forms and arithmetic

Europe/Paris
Louvre Lens Vallée

Louvre Lens Vallée

84 Rue Paul Bert, 62300 Lens
Description

Université d'Artois (© D. Owczarzak)

24-28 October 2022 in Lens, France

Theme

Motives were originally introduced by Grothendieck in the sixties to provide a universal source to various cohomology theories of algebraic, geometric and arithmetic nature.

The works of Hanamura, Levine and Voevodsky in the nineties, followed by many others, have shed a new light on the subject by introducing triangulated categories of motives and relating them to a newly defined homotopy category of schemes. More recent avatars of motives include the motives with modulus of Kahn, Miyazaki, Saito and Yamazaki or the log-motives of Binda, Park and Østvær, both purposely avoiding A1-invariance.

Motivic methods have also pervaded arithmetic geometry, which is the use of methods of algebraic geometry over a base of arithmetic nature such as a number field, in order to study number theoretical problems such as Diophantine equations. Several famous unresolved conjectures predict general patterns and guide mathematicians in the area, among which Grothendieck's standard conjectures, the Hodge conjecture(s), the Tate conjecture and the Beilinson conjecture.

The remaining theme of this conference, quadratic forms, is a subject in its own right. The algebraic theory of quadratic forms over fields has bloomed in the last fifty years, with tremendous progress in the computations of their discrete invariants. The connexion with motives goes both ways: the understanding of the motives of geometric objects related to quadratic forms, such as quadrics, has been the source of many beautiful results on quadratic forms, while in reverse, invariants of quadratic nature, such as Hermitian K-theory or Chow-Witt groups somewhat surprisingly appear in the endomorphisms of the motivic stable homotopy category of schemes.

Speakers / Orateurs

  • Luca Barbieri-Viale (Milan)

  • Olivier Benoist (Paris)

  • Federico Binda (Milan)

  • Jean-Louis Colliot-Thélène (Orsay) 

  • Frédéric Déglise (Lyon)

  • Hélène Esnault (Berlin)

  • Javier Fresán (Palaiseau)

  • Florian Ivorra (Rennes)

  • Moritz Kerz (Regensburg)

  • Florence Lecomte (Strasbourg)

  • Marc Levine (Essen)

  • Hiroyasu Miyazaki (Tokyo)

  • Alena Pirutka (New-York, Paris)

  • Joël Riou (Orsay)

  • Sujatha (Vancouver)

  • Claire Voisin (Paris)

  • Olivier Wittenberg (Villetaneuse)

  • Takao Yamazaki (Sendai)

Organizers / Organisateurs

Jérôme Burési, Baptiste Calmès, Ivo Dell'Ambrogio, Ahmed Laghribi

Scientific Committee / Comité scientifique

Yves André, Anna Cadoret, Shuji Saito

 

           

 

 

 

Participants
  • Ahmed Laghribi
  • Anna Cadoret
  • Anneloes Viergever
  • Baptiste Calmes
  • Bruno Kahn
  • Claire Voisin
  • Claudio Pedrini
  • Daniel Ferrand
  • David Alberto Saldaña Monteza
  • Federico Binda
  • Florence Lecomte
  • Florian Ivorra
  • Frederic Deglise
  • Guillaume Bressan
  • Hiroyasu Miyazaki
  • Hélène Esnault
  • Ivo Dell'Ambrogio
  • Javier Fresán
  • Jean-Louis Colliot-Thélène
  • Jens Hornbostel
  • Jinhyun Park
  • Johann Bouali
  • Joël Riou
  • Juan Felipe Castro Cardenas
  • Junhao Fan
  • Jérôme Buresi
  • Long Liu
  • Luca Barbieri Viale
  • Luca Terenzi
  • Lukas Bröring
  • Marc Levine
  • Moritz Kerz
  • Muhammad Ashar Tafhim
  • Olivier Benoist
  • Olivier Wittenberg
  • Paweł Gładki
  • Rahul Gupta
  • Runlei Xiao
  • Shuji Saito
  • Sofian Tur-Dorvault
  • Sujatha Ramdorai
  • Swann Tubach
  • Takao Yamazaki
  • Ulysse Mounoud
  • Yves André
    • Monday morning: Welcome/Accueil
      • 9:30 AM
        Welcome/Coffee
      • 9:45 AM
        Announcements
    • Monday morning
      • 1
        Questions de surjectivité et d'injectivité pour certaines applications cycles

        On s'intéressera particulièrement au groupe de Chow réduit des zéro-cycles.
        On commence par noter que l'application de ce groupe vers les points
        rationnels de l'Albanese n'est pas forcément surjective. On s'intéresse
        ensuite à la torsion du noyau de diverses applications cycles, dont l'application
        cycle de Jannsen à valeurs dans la cohomologie étale continue.
        On passe en revue des résultats récents sur le sujet. On termine
        en donnant un exemple de non-injectivité pour une surface
        géométriquement rationnelle, remontant dans son principe à 1982.
        Ce travail est en partie en commun avec F. Scavia.

        Speaker: Jean-Louis Colliot-Thélène (Mathématiques Université Paris-Saclay)
      • 11:00 AM
        Coffee break
      • 2
        Characteristic cycle over symmetric products of curves - Cycle caractéristique sur une puissance symétrique d'une courbe

        Suite à des travaux de Beilinson, T. Saito a développé la notion de cycle
        caractéristique d'un faisceau étale F sur une variété algébrique lisse Y
        sur un corps k algébriquement clos : il s'agit d'un cycle sur le fibré
        cotangent de Y qui permet de mesurer le défaut d'acyclicité de F. Dans un
        travail en commun avec Fabrice Orgogozo, étant donné un faisceau étale
        constructible F de F_l-espaces vectoriels modérément ramifié sur une courbe
        algébrique lisse X, nous calculons le cycle caractéristique des tenseurs
        symétriques n-uples de F (qui vivent sur le produit symétrique de X). Grâce
        à ces calculs, nous retrouvons un résultat d'acyclicité initialement établi
        par P. Deligne dans un séminaire à l'IHÉS en 1980, et nous envisageons de
        l'appliquer à l'étude du déterminant de la cohomologie des courbes.

        Characteristic cycle over symmetric products of curves

        Following Beilinson, T. Saito has developed the notion of characteristic
        cycle of étale sheaves F over smooth algebraic varieties over algebraically
        closed fields: this cycle over the cotangent bundle of Y measures the lack
        of acyclicity of F. In a joint work with Fabrice Orgogozo, given a
        constructible étale sheaf of F_l-vector spaces that is tamely ramified over
        a smooth curve, we compute the characteristic cycle of nth-symmetric
        tensors of F (which lie over a symmetric product of X). Using this
        computation, we recover an acyclicity result initially obtained by P.
        Deligne in an IHÉS seminar in 1980, et we are considering applications to
        the study of the determinant of the cohomology of curves.

        Speaker: Joël Riou (Université Paris-Saclay)
    • Monday afternoon
      • 3
        Some properties of local systems

        We’ll review some properties of rigid local systems, what we know and what we expect. Based on joint work with Michael Groechening (and for one point with Johan de Jong).

        Speaker: Hélène Esnault (Freie Universität Berlin)
      • 3:00 PM
        Coffee break
      • 4
        On some realizations of motives with modulus

        The theory of motives with modulus was introduced as a generalization of Voevodsky's theory of motives. This generalization aims to get a motivic picture of non-A^1-homotopy invariant phenomena, which cannot be captured by Voevodsky's theory. In this talk, I will briefly review the basics of the theory, and explain the construction of Hodge realization of motives with modulus, based on the ongoing joint works with Shane Kelly. If time permits, I will try to explain my recent joint work with Junnosuke Koizumi on the relationship between motives with modulus and big Witt vectors.

        Speaker: Hiroyasu Miyazaki (NTT Institute for Fundamental Mathematics (NTT-IFM))
    • Tuesday Morning
      • 5
        Steenrod operations and algebraic classes

        The first counterexamples to the integral Hodge conjecture,
        due to Atiyah and Hirzebruch, exploit the action of Steenrod operations.
        In this talk, we will further study the interaction of Steenrod
        operations and algebraic classes, over arbitrary fields, and we will
        derive new examples of non-algebraic cohomology classes.

        Speaker: Olivier Benoist (ENS, CNRS)
      • 10:00 AM
        Coffee break
      • 6
        Geometric representability of 1-cycles on rationally connected threefolds

        We prove that for any rationally connected threefold X over the complex numbers, there exists a smooth projective surface S and a family of 1-cycles on X parameterized by S, inducing an Abel-Jacobi isomorphism Alb(S)≅J^3(X). This statement was previously known for some classes of smooth Fano threefolds.

        Speaker: Claire Voisin (CNRS, IMJ-PRG)
      • 11:15 AM
        Coffee break
      • 7
        The Picard-Lefschetz formula for normal crossings

        In the study of semi-stable degeneration of Lefschetz pencils one is led to a generalization of the classical Picard-Lefschetz formula for certain perverse sheaves on normal crossing spaces. In the talk I will recall the formalism of nearby cycle and vanishing cycle functors and I will explain how Hodge theory allows one to obtain the normal crossing Picard-Lefschetz formula.
        Joint work with A. Beilinson and H. Esnault.

        Speaker: Moritz Kerz
    • Tuesday afternoon
      • 8
        Nearby motivic sheaves of weighted equivariant functions

        Let X be a smooth algebraic variety (over a field of characteristic zero) endowed with a multiplicative action of the affine line. In a recent work with Julien Sebag we show that the nearby motivic sheaf functor of a weighted equivariant function on X commutes with direct images for twists (by some Thom equivalence) of constant motives. In this talk, I will sketch the proof of this result and provide some motivation. In particular I will explain how our result provides a generalized functorial version within the stable homotopy category of schemes of conjectures by Behrend-Bryan-Szendrői and Davison-Meinhardt motivated by Donaldson-Thomas theory and originally formulated as an equality between virtual motives.

        Speaker: Florian Ivorra (Université de Rennes 1)
      • 3:30 PM
        Coffee break
      • 9
        Iwasawa modules along p-adic Lie extensions

        This talk will define various modules that occur in Iwasawa theory over different p-adic Lie extensions and provide a survey of recent results and open conjectures.

        Speaker: Sujatha Ramdorai (University of British Columbia)
    • Wednesday morning
      • 10
        Representing Hodge realization

        Looking for a category to represent Hodge filtration, with or without log, with or without modulus.

        Speaker: Florence Lecomte (IRMA CNRS Strasbourg)
      • 10:00 AM
        Coffee break
      • 11
        HKR theorem and residue sequences for logarithmic Hochschild homology

        Using a geometric definition of logarithmic Hochschild homology of derived pre-log rings, we construct an André-Quillen type spectral sequence and show a logarithmic version of the Hochschild-Kostant-Rosenberg theorem. We use this to show that (log) Hochschild homology is representable in the category of log motives. Among the applications, we deduce a residue sequence for Hochschild homology involving blow-ups of log schemes, generalising results of Rognes-Sagave-Schlichtkrull. This is a joint work with Tommy Lundemo, Doosung Park and Paul Arne Østvær.

        Speaker: Federico Binda (University of Milano)
      • 11:15 AM
        Coffee break
      • 12
        Unramified cohomology and P^1-invariance

        Binda-Rulling-Saito proved that a smooth proper variety with universally trivial Chow group of zero-cycles has trivial unramified cohomology for any reciprocity sheaves.
        We generalize this result to P^1-invariant sheaves with transfers. A key ingredient is a new moving lemma.
        This is joint work with Wataru Kai and Shusuke Otabe.

        Speaker: Takao Yamazaki (Chuo University)
    • Field trip
    • Conference dinner
      • 8:00 PM
        Conference dinner
    • Thursday morning
      • 13
        Quadratic counts of twisted cubic curves on hypersurfaces and complete intersections in a projective space

        Early on in the development of Gromov-Witten theory, Ellingsrud and Strømme computed the number of twisted cubic curves on hypersurfaces and complete intersections of appropriate (multi-)degree. With Sabrina Pauli, we adapt their method to give a refinement to a ``count’ landing in the Grothendieck-Witt ring of quadratic forms; the rank recovers the classical count, while the signature gives a lower bound for the number of real twisted cubics in a real hypersurface/complete intersection of suitable (multi-)degree. The signature for the case of the quintic threefold agrees with the Ooguri-Vafa invariant computed as a weighted count of holomorphic maps of disks, due to Pandharipande-Solomon-Walcher, but we do not have any explanation for this identity. We will give some background on the theory of quadratic enumerative geometry, and explain the main ingredients going into our computation.

        Speaker: Marc Levine (Universität Duisburg-Essen)
      • 10:30 AM
        Coffee break
      • 14
        Representability of Hermitian K-theory in the homotopy category of schemes

        This is a report on joint work with Yonatan Harpaz and Denis Nardin.

        Hermitian K-theory and motivic homotopy theory enjoy a fruitful relationship, in particular through the quadratic nature of morphisms in the latter, epistomized by the theorem of Morel relating the endomorphisms of the unit sphere with Milnor-Witt K-theory.

        A recent definition of Hermitian K-theory in terms of stable infinity-categories and quadratic functors enables one to consider various flavours of Hermitian K-theory -- symmetric forms, quadratic forms, etc. -- related in a common framework. As required to distinguish these, the theory unfolds nicely without any invertibility of 2 assumption.

        I'll discuss representability results of Hermtian K-theory in the stable homotopy category of schemes over a base, in a characteristic free manner.

        Speaker: Baptiste Calmes
    • Thursday afternoon
      • 15
        Niveaux de corps de fonctions de variétés réelles

        Soit X une variété algébrique réelle lisse de dimension d. On sait depuis Artin que -1 est somme de carrés dans le corps de fonctions de X si et seulement si X n'a pas de point réel. Dans ce cas, combien de carrés sont-ils nécessaires pour écrire -1 comme somme de carrés ? Nous exhibons un lien entre cette question et la géométrie et la cohomologie de X, en montrant que la borne supérieure de Pfister 2^d peut être améliorée sous diverses hypothèses sur X.
        Il s'agit d'un travail en commun avec Olivier Benoist.

        Speaker: Olivier Wittenberg (CNRS & USPN)
      • 3:00 PM
        Coffee break
      • 16
        Algèbres d’exposant 2 et extensions multiquadratiques

        Pour les algèbres simples centrales d'exposant 2, nous discuterons la notion de décomposition adaptée à certaines extensions multiquadratiques du centre. Le cas d’un corps de caractéristique 2 et de 2-dimension cohomologique 2 sera particulièrement étudié en mettant le lien avec des questions sur les formes quadratiques et la cohomologie de Kato. (C’est un travail en commun avec Demba Barry).

        Speaker: Ahmed Laghribi (Université d'Artois)
    • Friday morning
      • 17
        Perverse homotopy heart of stable motivic homotopy and Milnor-Witt-modules

        One of Voevodsky's pillar for motivic complexes is the Gersten resolution of homotopy invariant sheaves with transfers over a perfect field k. In my Ph. D., prepared in the Algebraic Geometry team that Bruno was leading in Chevaleret, I extended this result in an equivalence of categories between the homotopy heart of (stable) Voevodsky's motivic complexes and Rost's cycle modules, over k.
        After the fundammental work of Morel on stable homotopy over the field k, Niels Feld has been able to extend this result for motivic spectra over k, after introducing a suitable variant of Rost's theory, based on the Milnor-Witt variant of Milnor K-theory. In this new theory, invariants of quadratic nature such as Witt and Chow-Witt groups are captured.
        Shortly after his Ph. D., Joseph Ayoub proposed a way to extend the first motivic equivalence to bases over a field. This was based on his perverse version of the homotopy t-structure, a theory that was continued by Bondarko and myself a few years ago using the notion of dimension functions.
        In this talk, I will present a work in collaboration with Niels Feld and Fangzhou Jin where we realize Ayoub's conjectural program showing that the heart of stable homotopy category over appropriate base schemes can be related to a suitable version of relative Milnor-Witt modules. We will also show the link between objects of the perverse homotopy heart and both Cousin and Cohen-Macaulay complexes of Grothendieck-Hartshorne.

        Speaker: Frederic Deglise
      • 10:00 AM
        Coffee break
      • 18
        Spectral measures associated with tensor categories

        I will report on an ongoing project with Arthur Forey and Emmanuel Kowalski that grew out of some afterthoughts on our work on equidistribution of exponential sums. We define spectral measures associated with complex-valued additive invariants on tensor categories, and find simple criteria for their existence and uniqueness. We then compute them for some exotic tensor categories, such as Deligne's category of representations of the ``symmetric group'' $S_t$ for a complex number $t$, and show how they give rise to abstract proofs of very classical results, for example the fact that the random variables giving the number of fixed points of a uniformly chosen random permutation on $n$ letters converge to the Poisson distribution with parameter $1$ as $n$ goes to infinity.

        Speaker: Javier Fresán
      • 11:15 AM
        Coffee break
      • 19
        Universal Weil cohomology

        In a joint work with Bruno Kahn we construct a universal
        Weil cohomology for smooth projective varieties over a field.
        In this talk we explain universal cohomology theories as solutions of
        representability problems providing the main ingredients for this
        construction.

        Speaker: Luca Barbieri Viale