Séminaires : Séminaire d'Algèbre

Equipe(s) : gr,
Responsables :J. Alev, D. Hernandez, B. Keller, Th. Levasseur, et S. Morier-Genoud.
Email des responsables : Jacques Alev <jacques.alev@univ-reims.fr>, David Hernandez <david.hernandez@imj-prg.fr>, Bernhard Keller <bernhard.keller@imj-prg.fr>, Thierry Levasseur <Thierry.Levasseur@univ-brest.fr>, Sophie Morier-Genoud <sophie.morier-genoud@imj-prg.fr>
Salle : à distance / remote
Adresse :IHP
Description

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 Derived Categories of Bimodules
Date25/01/2016
Horaire14:00 à 15:00
Diffusion
RésumeHomological algebra plays a major role in noncommutative ring theory. One important homological construct related to a noncommutative ring $A$ is the dualizing complex, which is a special kind of complex of $A$-bimodules. When $A$ is a ring containing a central field $K$, this concept is well-understood now. However, little is known about dualizing complexes when the ring $A$ does not contain a central field (I shall refer to this as the noncommutative arithmetic setting). The main technical issue is finding the correct derived category of $A$-bimodules. In this talk I will propose a promising definition of the derived category of $A$-bimodules in the noncommutative arithmetic setting. Here $A$ is a (possibly) noncommutative ring, central over a commutative base ring $K$ (e.g. $K=Z$). The idea is to resolve $A$: we choose a DG (differential graded) ring $A'$, central and flat over $K$, with a DG ring quasi-isomorphism $A'\to A$. Such resolutions exist. The enveloping DG ring $A'^{\text{en}}$ is the tensor product over $K$ of $A'$ and its opposite. Our candidate for the ``derived category of $A$-bimodules'' is the category $D(A'^{\text{en}})$, the derived category of DG $A'^{\text{en}}$-modules. A recent theorem says that the category $D(A'^{\text{en}})$ is independent of the resolution $A'$, up to a canonical equivalence. This justifies our definition. Working within $D(A'^{\text{en}})$, it is not hard to define dualizing complexes over $A$, and to prove all their expected properties (like when $K$ is a field). We can also talk about rigid dualizing complexes in the noncommutative arithmetic setting. What is noticeably missing is a result about existence of rigid dualizing complexes. When the $K$ is a field, Van den Bergh had discovered a powerful existence result for rigid dualizing complexes. We are now trying to extend Van den Bergh's method to the noncommutative arithmetic setting. This is work in progress, joint with Rishi Vyas. In this talk I will explain, in broad strokes, what are DG rings, DG modules, and the associated derived categories and derived functors. Also, I will try to go into the details of a few results and examples, to give the flavor of this material.
Salleà distance / remote
AdresseIHP
© IMJ-PRG