Asymptotic vanishing of cohomology in triangulated categories

Résumé Technique : Disparition Asymptotique de la Cohomologie dans les Catégories Triangulées

Énoncé du Problème
L'article traite du comportement de la disparition asymptotique de la cohomologie dans le contexte des catégories triangulées. Bien que la disparition de l'homologie et de la cohomologie soit un sujet fondamental en algèbre, la littérature récente s'est concentrée sur la disparition asymptotique sur des anneaux commutatifs spécifiques, s'appuyant souvent sur des conditions de noethérianité sur la totalité de la cohomologie. Une question centrale est de savoir si une disparition « sporadique » (où la cohomologie disparaît pour certains indices élevés mais pas pour d'autres) peut se produire, ou si la disparition implique un motif plus structuré et éventuel. Les auteurs visent à distiller ces concepts dans le cadre général des catégories triangulées, où la cohomologie est naturellement définie, afin de déterminer si la disparition asymptotique est « bien élevée » sous certaines conditions de finitude spécifiques.

Méthodologie
Les auteurs établissent un cadre général impliquant une catégorie triangulée $(\mathcal{C}, \Sigma, \Delta)$ équipée d'une action centrale d'un anneau gradué-commutatif et de degré non négatif $H$. L'hypothèse centrale est que pour une paire d'objets $A, B \in \mathcal{C}$, le $H$-module $\text{Hom}_{\ge n_0}^{\mathcal{C}}(A, B)$ est noethérien pour un certain entier $n_0$.

La méthodologie procède par les étapes suivantes :

1. Lemmes Algébriques : Les auteurs prouvent des lemmes concernant les anneaux gradués-commutatifs et les modules. Plus précisément, ils établissent que si un anneau gradué-commutatif est noethérien, sa partie paire est noethérienne et l'anneau est de type fini comme module sur cette partie paire. Ils utilisent également une variante des résultats de [9] et [15] pour montrer que, sous des conditions où la partie de degré zéro de l'anneau contient un corps infini (ou est locale avec un résidu infini), il existe un élément homogène d'un degré spécifique qui agit injectivement sur le module pour des degrés suffisamment grands.
2. Application du Théorème de Hilbert-Serre : Dans les cas où la cohomologie a une longueur finie sur la partie de degré zéro de l'anneau, les auteurs appliquent le théorème classique de Hilbert-Serre à la fonction génératrice des longueurs des groupes de cohomologie. Cela permet d'analyser la rationalité de la série et la périodicité du comportement de disparition.
3. Synthèse : En combinant l'injectivité de la multiplication par des éléments spécifiques (du Lemme 2.2) avec la structure de l'idéal annulateur et les propriétés de la partie paire de l'anneau, les auteurs dérivent le théorème structurel principal concernant les motifs de disparition.

Contributions Principales et Résultats
La contribution primaire est le Théorème 2.4, qui caractérise la disparition asymptotique de la cohomologie $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$ sous l'hypothèse que la cohomologie est éventuellement noethérienne sur un anneau central $H$. Le théorème stipule que si soit :

1. $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$ a une longueur finie sur $H_0$ pour $n$ grand ; ou
2. $H_0$ contient un corps infini ou est local avec un résidu infini ;

Alors l'un des deux résultats suivants doit se produire :

• Disparition Éventuelle Totale : $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) = 0$ pour tout $n \gg 0$.
• Non-Disparition Périodique : Il existe des entiers $d > 0$ et $m_0$ tels que $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) \neq 0$ pour tout $n \ge m_0$ satisfaisant $n \equiv j \pmod d$ pour au moins un $j$ ($0 \le j < d$).

Crucialement, le résultat exclut la disparition « sporadique » ; si la cohomologie ne disparaît pas éventuellement, elle doit être non nulle de façon infinie selon un motif périodique.

Applications
L'article démontre l'utilité du Théorème 2.4 en l'appliquant à trois classes spécifiques d'anneaux :

1. Intersections Complètes Locales Commutatives : Pour des modules de type fini $M, N$ sur un anneau d'intersection complète locale commutative $A$, les auteurs montrent que soit $\text{Ext}^n_A(M, N) = 0$ pour tout $n > \dim A$, soit il existe un $m_0$ tel que les groupes Ext sont non nuls pour tous les entiers pairs ou tous les entiers impairs $n \ge m_0$. Cela généralise les résultats précédents (ex. [29]).
2. Algèbres de Dimension Finie : Le résultat est appliqué à des algèbres où l'anneau de cohomologie de Hochschild $HH^*(A)$ agit centralement. Cela inclut :
   • Intersections Complètes Quantiques : Pour les algèbres $A_{c,q}^a$, les auteurs prouvent que soit $\text{Ext}^n_A(M, N) = 0$ pour tout $n > 0$, soit la non-disparition se produit pour tous les $n$ pairs ou tous les $n$ impairs $n \ge m_0$.
   • Algèbres Extérieures : En tant que cas spécifique d'intersections complètes quantiques, le même comportement de disparition périodique est établi.
3. Algèbres de Groupes Modulaires : Pour un groupe fini $G$ et un corps $k$ de caractéristique première $p$ divisant $|G|$, l'anneau de cohomologie $H^*(G, k)$ agit centralement. Les auteurs montrent que pour des modules de type fini $M, N$, soit $\text{Ext}^n_{kG}(M, N) = 0$ pour tout $n > 0$, soit la non-disparition se produit périodiquement modulo $d$. La période $d$ est identifiée comme le plus petit commun multiple des degrés des générateurs de l'anneau de cohomologie. Un exemple explicite est fourni pour le groupe symétrique $S_8$, où la période calculée est 420.

Signification
L'article revendique sa signification en unifiant divers résultats récents sur la disparition asymptotique sous un cadre unique et général de catégories triangulées. En distillant les conditions noethériennes nécessaires et les actions d'anneaux centraux, les auteurs démontrent que la nature « bien élevée » de la disparition asymptotique (spécifiquement l'impossibilité de la disparition sporadique) est une conséquence structurelle de la propriété de noethérianité du module de cohomologie sur un anneau central. Ce travail fournit un outil théorique robuste qui s'applique à la géométrie commutative, l'algèbre non commutative et la théorie des représentations sans nécessiter de preuves ad hoc pour chaque type d'anneau spécifique. Les résultats confirment que si la cohomologie ne disparaît pas éventuellement, sa non-disparition est gouvernée par une périodicité stricte déterminée par les degrés des générateurs de l'anneau agissant.