|Responsables :||J. Alev, D. Hernandez, B. Keller, Th. Levasseur, et S. Morier-Genoud.|
|Email des responsables :||Jacques Alev <email@example.com>, David Hernandez <firstname.lastname@example.org>, Bernhard Keller <email@example.com>, Thierry Levasseur <Thierry.Levasseur@univ-brest.fr>, Sophie Morier-Genoud <firstname.lastname@example.org>|
|Salle :||à distance / remote|
Depuis le 23 mars 2020, le séminaire se tient à distance. Pour les liens et mots de passe, merci de contacter l'un des organisateurs ou de souscrire à la liste de diffusion https://listes.math.cnrs.fr/wws/info/paris-algebra-seminar. L'information nécessaire sera envoyée par courrier électronique peu avant chaque exposé. Les notes et transparents sont disponibles ici.
Since March 23, 2020, the seminar has been taking place remotely. For the links and passwords, please contact one of the organizers or
subscribe to the mailing list at https://listes.math.cnrs.fr/wws/info/paris-algebra-seminar. The connexion information will be emailed shortly before each talk. Slides and notes are available here.
|Orateur(s)||Amnon YEKUTIELI - Ben Gurion University, Israel et Université Paris 7,|
|Titre||Rigidity, Residues and Duality: Overview and Recent Progress|
|Horaire||14:00 à 15:00|
|Résume||Let K be a regular noetherian ring. I will begin by explaining what is a rigid dualizing complex over an essentially finite type (EFT) K-ring A. This concept was introduced by Van den Bergh in the 1990's, in the setting of noncommutative algebra. It was imported to commutative algebra by Zhang and myself around 2005, where it was made functorial, and it was also expanded to the arithmetic setting (no base field). The arithmetic setting required the use of DG ring resolutions, and in this aspect there were some major errors in our early treatment. These errors have recently been corrected, in joint work with Ornaghi and Singh. Moreover, we have established the forward functoriality of rigid dualizing complexes w.r.t essentially etale ring homomorphisms, and their backward functoriality w.r.t. finite ring homomorphisms. These results mean that we have a twisted induction pseudofunctor, constructed in a totally algebraic way (rings only, no geometry). Looking to the future, we plan to study a more refined notion: rigid residue complexes. These are complexes of quasi-coherent sheaves in the big etale site of EFT K-rings, and they admit backward functoriality, called ind-rigid traces, w.r.t. arbitrary ring homomorphisms. Rigid residue complexes can be easily glued on EFT K-schemes, and they still have the ind-rigid traces w.r.t. arbitrary scheme maps. The twisted induction now becomes the geometric twisted inverse image pseudofunctor $f \mapsto f^!$. We expect to prove the Rigid Residue Theorem and the Rigid Duality Theorem for proper maps of EFT K-schemes, thus recovering almost all of the theory in the original book “Residues and Duality”, in a very explicit way. The etale functoriality implies that every finite type Deligne-Mumford (DM) K‑stack admits a rigid residue complex. Here too we have the $f \mapsto f^!$ pseudofunctor. For a map of DM stacks there is the ind-rigid trace. Under a mild technical condition, we expect to prove the Rigid Residue Theorem for proper maps of DM stacks, and the Rigid Duality Theorem for such maps that are also tame. More details are available in the eprint with the same title at arxiv.org/abs/2102.00255|
|Salle||à distance / remote|