Unbounded derived categories of small and big modules: is the natural functor fully faithful? (Q2031517)

Soient \(\mathcal{A}\) une catégorie abélienne raisonnable et \(\mathcal{U}\) une sous-catégorie pleine, abélienne, stable par extensions. Considérons la catégorie dérivée non bornée \(\mathrm{D}(\mathcal{A})\) et la sous-catégorie pleine \(\mathrm{D}_\mathcal{U}(\mathcal{A})\) des complexes dont la cohomologie en chaque degré appartient à \(\mathcal{U}\). Le foncteur exact d'inclusion \(\mathcal{U}\to\mathcal{A}\) induit un foncteur triangulé \(\mathrm{D}(\mathcal{U})\to\mathrm{D}_\mathcal{U}(\mathcal{A})\) ; une question fondamentale consiste à savoir si c'est une équivalence. C'est absolument faux en général. L'article s'intéresse principalement au cas où \(\mathcal{A}\) est une catégorie de modules sur un anneau noethérien, ou plus généralement une catégorie de Grothendieck localement noethérienne, et où \(\mathcal{U}\) est la sous-catégorie des objets de type fini. Si l'on remplace la catégorie dérivée \(\mathrm{D}\) par la sous-catégorie triangulée pleine \(\mathrm{D}^-\) des complexes dont la cohomologie est nulle en degré assez grand, la situation est plus favorable : comme conséquence d'un résultat général classique (dont l'article rappelle la démonstration -- voir sa \textit{Proposition 2.1}), le foncteur canonique \(\mathrm{D}^-(\mathcal{U})\to\mathrm{D}^-_\mathcal{U}(\mathcal{A})\) est toujours une équivalence pour \(\mathcal{A}\) localement noethérienne, \(\mathcal{U}\) étant la sous-catégorie des objets de type fini. Un autre type de catégorie dérivée est utilisé dans l'article, la \textit{catégorie dérivée absolue} \(\mathrm{D^{abs}}(\mathcal{A})\), qui est le quotient (triangulé) de la catégorie homotopique \(\mathrm{K}(\mathcal{A})\) des complexes de cochaînes dans \(\mathcal{A}\) par la sous-catégorie épaisse des complexes \textit{absolument acycliques}. Cette dernière est par définition la plus petite sous-catégorie épaisse de \(\mathrm{K}(\mathcal{A})\) contenant le complexe total de toute suite exacte courte de complexes de \(\mathcal{A}\), vue comme bicomplexe à trois colonnes. L'article montre, comme conséquence d'un résultat beaucoup plus général (\textit{Theorem 5.5}), que l'inclusion dans \(\mathcal{A}\) de la sous-catégorie \(\mathcal{U}\) des objets de type fini d'une catégorie localement noethérienne \(\mathcal{A}\) induit un foncteur \textit{pleinement fidèle} \(\mathrm{D^{abs}}(\mathcal{U})\to\mathrm{D^{abs}}(\mathcal{A})\). (Les auteurs mentionnent ignorer toute description de son image essentielle.) Si \(\mathcal{A}\) est une catégorie abélienne \textit{de dimension globale finie}, le foncteur triangulé canonique \(\mathrm{D^{abs}}(\mathcal{A})\to\mathrm{D}(\mathcal{A})\) est une équivalence. Les auteurs montrent ainsi (\textit{Corollary 5.11}) que si \(\mathcal{A}\) est localement noethérienne et de dimension globale finie, le foncteur canonique \(\mathrm{D}(\mathcal{U})\to\mathrm{D}_\mathcal{U}(\mathcal{A})\) est une équivalence (\(\mathcal{U}\) ayant la signification précédente) ; la démonstration de l'essentielle surjectivité (\textit{Proposition 4.2}) n'utilise pas la catégorie dérivée absolue. L'article fournit également une classe d'exemples intéressante pour lesquels la réponse à la question initiale est \textit{négative}. Ainsi, si \(A\) est un anneau artinien auto-injectif non semi-simple, l'image essentielle du foncteur canonique \(\mathrm{D}(A-\mathbf{mod})\to\mathrm{D}(A-\mathbf{Mod})\) (où \(A-\mathbf{mod}\) désigne la sous-catégorie des modules de type fini de la catégorie \(A-\mathbf{Mod}\) des \(A\)-modules à gauche) est incluse strictement dans \(\mathrm{D}_{A-\mathbf{mod}}(A-\mathbf{Mod})\), même après saturation par facteur direct, et n'est pas plein (\textit{Theorem 3.1}). Les auteurs indiquent que la question de sa fidélité est ouverte, même dans l'exemple simple où \(A\) est l'algèbre des nombres duaux sur le corps des nombres complexes. Dans l'appendice de l'article, le cas d'une catégorie abélienne \textit{héréditaire} \(\mathcal{A}\) est traité, où l'on obtient une réponse positive générale : pour toute sous-catégorie abélienne pleine stable par extensions \(\mathcal{U}\) de \(\mathcal{A}\), le foncteur canonique \(\mathrm{D}(\mathcal{U})\to\mathrm{D}_\mathcal{U}(\mathcal{A})\) est une équivalence.