Categorical Bockstein sequences (Q1633196): Difference between revisions

Cet article est une contribution théorique aux problèmes de réduction modulo un entier en algèbre homologique. Considérons le cas simple de la comparaison des représentations linéaires des groupes finis sur différents anneaux. Soient \(G\) un groupe fini, \(k\) un anneau commutatif et \(\mathcal{F}_k\) la catégorie des modules à gauche sur la \(k\)-algèbre \(k[G]\) du groupe \(G\), dont le \(k\)-module sous-jacent est libre de rang fini. Tout morphisme d'anneaux commutatifs \(k\to A\) induit un foncteur de changement de base \(\mathcal{F}_k\to\mathcal{F}_A\) qui n'est généralement pas essentiellement surjectif, y compris dans le cas fondamental favorable où \(k\) est l'anneau \(\mathbb{Z}_l\) des entiers \(l\)-adiques et \(A\) l'anneau cyclique \(\mathbb{Z}/m\), où \(l\) est un nombre premier, \(m\) une puissance \(l\) et le morphisme \(\mathbb{Z}_l\to\mathbb{Z}/m\) la réduction modulo \(m\). Ces foncteurs de changement de base jouissent toutefois de bonnes propriétés. Tout d'abord, la catégorie \(\mathcal{F}_k\) est une catégorie \textit{exacte} [\textit{D. Quillen}, Lect. Notes Math. 341, 85--147 (1973; Zbl 0292.18004)] et le foncteur de changement de base est exact. De plus, ce foncteur \(\rho : \mathcal{F}_{\mathbb{Z}_l}\to\mathcal{F}_{\mathbb{Z}/m}\) donne lieu à une \textit{suite exacte de Bockstein} \[ 0\to\mathrm{Hom}_{\mathcal{F}_{\mathbb{Z}_l}}(M,N)\to\mathrm{Hom}_{\mathcal{F}_{\mathbb{Z}_l}}(M,N)\to\mathrm{Hom}_{\mathcal{F}_{\mathbb{Z}/m}}(\rho M,\rho N) \] \[ \to\mathrm{Ext}^1_{\mathcal{F}_{\mathbb{Z}_l}}(M,N)\to\mathrm{Ext}^1_{\mathcal{F}_{\mathbb{Z}_l}}(M,N)\to\mathrm{Ext}^1_{\mathcal{F}_{\mathbb{Z}/m}}(\rho M,\rho N)\to\cdots \] où la première flèche de chaque ligne est la multiplication par \(m\). L'objectif principal de l'article est de construire, à partir d'une catégorie exacte \(\mathcal{E}\) et d'un élément \(\mathfrak{s}\) de son centre, c'est-à-dire d'une transformation naturelle de l'identité de \(\mathcal{E}\) dans elle-même (plus généralement, l'auteur considère une catégorie exacte munie d'un foncteur de décalage qui est un automorphisme et autorise un élément du centre \textit{gradué} associé) vérifiant des conditions appropriées, une catégorie exacte \(\mathcal{E}'\) munie d'un foncteur exact \(\rho : \mathcal{E}\to\mathcal{E}'\), obtenue en quelque sorte en tuant \(\mathfrak{s}\), donnant lieu à une suite exacte longue de type Bockstein, de sorte que, pour \(\mathcal{E}=\mathcal{F}_{\mathbb{Z}_l}\) et \(\mathfrak{s}=m\), \(\mathcal{E}'\) s'identifie à \(\mathcal{F}_{\mathbb{Z}/m}\), \(\rho\) au foncteur de changement de base (i.e. de réduction modulo \(m\)) et qu'on retrouve la suite exacte précédente. L'article donne de nombreuses autres situations où sa construction catégorique s'applique. Sa motivation principale provient des faisceaux mixtes d'Artin-Tate, étudiés par l'auteur dans [\textit{L. Positselski}, Mosc. Math. J. 11, No. 2, 317--402 (2011; Zbl 1273.12004)].