The homology of additive functors in prime characteristic

Cet article calcule certains groupes Ext et Tor dans la catégorie des foncteurs additifs sur une catégorie linéaire sur $\mathbb{Z}/p$ en les reliant aux groupes correspondants dans la sous-catégorie des foncteurs additifs, permettant ainsi d'obtenir des résultats sur l'homologie des groupes linéaires généraux.

L'essentiel

Imaginez que vous êtes un architecte qui construit des maisons. Dans le monde des mathématiques, les "foncteurs" sont comme des machines à transformer des objets. Si vous leur donnez un objet mathématique (comme un espace vectoriel), elles vous en sortent un autre.

Ce papier, écrit par Aurélien Djament et Antoine Touzé, s'intéresse à ce qui se passe quand on utilise ces machines dans un monde très spécifique : celui où les nombres se comportent étrangement (ce qu'on appelle la "caractéristique positive", un peu comme si on comptait en modulo un nombre premier, où $p + 1$ peut redevenir $1$).

Voici l'explication de leur découverte, sans jargon technique, avec des images simples :

1. Le problème : Deux façons de voir les mêmes machines

Imaginons deux types de machines :

• Les machines "sérieuses" (Additives) : Elles respectent des règles strictes de logique. Si vous leur donnez deux objets séparés, elles traitent la somme des deux exactement comme si elles les traitaient ensemble. C'est le monde ordonné des mathématiciens classiques.
• Les machines "sauvages" (Toutes les fonctions) : Elles peuvent faire n'importe quoi. Elles ne respectent pas forcément la règle de la somme. C'est un monde beaucoup plus vaste et chaotique.

Les mathématiciens veulent souvent calculer la "distance" ou la "différence" entre deux machines (ce qu'on appelle les groupes Ext et Tor).

• Si on compare deux machines "sérieuses" dans le monde des machines "sérieuses", le calcul est facile et bien connu.
• Mais si on les compare dans le monde "sauvage", c'est souvent un cauchemar. Les résultats peuvent être infinis, bizarres, et très difficiles à prédire.

La question est : Peut-on utiliser les calculs faciles du monde "sérieux" pour comprendre le monde "sauvage" ?

2. La découverte : Le "Kit de réparation" magique

Les auteurs ont découvert une formule magique, valable uniquement dans ce monde de caractéristique positive (où $p$ est un nombre premier).

Ils disent essentiellement :

"Pour comprendre le comportement 'sauvage' de vos machines, prenez votre calcul 'sérieux' facile, et ajoutez-y un 'kit de réparation' spécial."

Ce "kit de réparation" est une structure mathématique très précise (un ensemble d'outils notés $e_1, e_2, e_3...$) qui agit comme un correcteur d'erreurs.

• Dans le monde "sérieux", il n'y a pas d'erreurs, donc le kit est vide.
• Dans le monde "sauvage", le kit se remplit d'outils infinis pour corriger les anomalies causées par la caractéristique $p$.

L'analogie de la traduction :
Imaginez que vous essayez de traduire un poème d'une langue simple (le monde additif) vers une langue très complexe et poétique (le monde de toutes les fonctions).

• Si vous traduisez mot à mot (le calcul additif), vous perdez le sens.
• Les auteurs disent : "Non, ne traduisez pas mot à mot ! Prenez votre traduction simple, et ajoutez-y un dictionnaire de nuances (le kit de réparation) qui explique toutes les subtilités cachées de la langue complexe."
• Grâce à ce dictionnaire, vous pouvez reconstruire parfaitement la traduction complexe à partir de la simple.

3. Pourquoi est-ce important ? (L'application aux groupes)

Pourquoi s'embêter avec ces machines abstraites ? Parce qu'elles sont liées à la symétrie et aux groupes de transformations (comme les rotations d'un cube, mais en dimensions infinies).

Les auteurs montrent que leur formule permet de calculer l'homologie (une sorte de "carte d'identité" topologique) de ces groupes de transformations.

• Avant : Calculer l'identité de ces groupes était comme essayer de deviner la forme d'un nuage en regardant une goutte d'eau. C'était très dur.
• Maintenant : Grâce à leur formule, on peut décomposer le nuage en gouttes d'eau simples (les calculs additifs) et utiliser le "kit de réparation" pour reconstruire la forme exacte du nuage.

4. En résumé

Ce papier est une clé universelle.
Il dit : "Ne soyez pas effrayés par la complexité du monde des fonctions non-additives en caractéristique positive. Vous avez déjà toutes les pièces du puzzle dans le monde simple. Il vous suffit d'ajouter notre 'boîte à outils' spéciale (le produit tensoriel avec l'algèbre des extensions) pour tout débloquer."

C'est une victoire de l'ordre sur le chaos : ils ont prouvé que même dans un monde mathématique apparemment désordonné, il existe une structure cachée et élégante qui relie tout au monde simple que nous connaissons déjà.

Résumé technique

Voici un résumé technique détaillé du papier arXiv:2407.10522v3 intitulé "The Homology of Additive Functors in Prime Characteristic" par Aurélien Djament et Antoine Touzé.

1. Problématique et Contexte

Le travail s'inscrit dans l'étude de l'homologie et de la cohomologie des foncteurs entre catégories additives. Soit $A$ une catégorie additive essentiellement petite et $k$ un corps. On considère deux catégories de foncteurs :

• $\text{Add}(A, k)$ : la catégorie des foncteurs additifs de $A$ vers les espaces vectoriels $k$.
• $\mathcal{F}(A, k)$ : la catégorie de tous les foncteurs (pas nécessairement additifs) de $A$ vers $k$.

Il existe un foncteur d'inclusion pleine $\text{Add}(A, k) \hookrightarrow \mathcal{F}(A, k)$. Cela induit une application canonique entre les groupes d'extensions (Ext) :
$$\Phi : \text{Ext}^*_{\text{Add}(A, k)}(\pi, \rho) \to \text{Ext}^*_{\mathcal{F}(A, k)}(\pi, \rho)$$
où $\pi$ et $\rho$ sont des foncteurs additifs.

Le problème central est de comprendre la nature de cette application $\Phi$ lorsque le corps $k$ est de caractéristique positive $p$.

• En caractéristique 0, $\Phi$ est un isomorphisme (résultat connu).
• En caractéristique $p$, $\Phi$ n'est généralement pas un isomorphisme. Le terme de droite (dans la catégorie de tous les foncteurs) contient des informations supplémentaires, souvent liées à l'homologie de Hochschild topologique, qui ne sont pas capturées par la théorie additive classique.

L'objectif est de décrire explicitement les groupes $\text{Ext}$ et $\text{Tor}$ dans la catégorie $\mathcal{F}(A, k)$ en termes de ceux calculés dans $\text{Add}(A, k)$, en particulier lorsque $A$ est une catégorie $F_p$-linéaire.

2. Méthodologie

Les auteurs développent une stratégie de réduction et d'approximation basée sur plusieurs outils techniques avancés :

1. Enveloppes $\aleph$-additives : Pour gérer les problèmes de taille et d'existence de coproduits infinis (nécessaires pour les foncteurs représentables dans des espaces de dimension infinie), les auteurs introduisent l'enveloppe $\aleph$-additive $A^\aleph$ d'une catégorie $A$. Cela permet de travailler dans un cadre où les foncteurs représentables admettent des adjoints à gauche, facilitant les arguments d'adjonction.
2. Foncteurs polynomiaux stricts : L'utilisation de la catégorie des foncteurs polynomiaux stricts $\mathcal{P}_k$ (introduite par Friedlander et Suslin) sert d'intermédiaire crucial. La structure de ces foncteurs est bien comprise en cohomologie, permettant des changements de base efficaces.
3. Twists de Frobenius et Algèbres d'Extensions : L'analyse repose sur le calcul des extensions auto-extensions du foncteur identité $I$ (ou ses twists de Frobenius $I^{(r)}$) dans la catégorie des foncteurs polynomiaux. Les auteurs exploitent la structure de l'algèbre d'extensions $E^*_\infty = \varinjlim \text{Ext}^*_{\mathcal{P}_k}(I^{(r)}, I^{(r)})$.
4. Dualité et Théorème de Künneth : Pour les résultats sur le $\text{Tor}$, les auteurs utilisent la dualité entre $\text{Ext}$ et $\text{Tor}$ via le foncteur dual $D_V F$, ainsi que des isomorphismes de Künneth pour les produits tensoriels de foncteurs.
5. Hypothèse de perfection : L'hypothèse que $k$ est un corps parfait est essentielle pour l'annulation de l'homologie de Hochschild $HH_*(k)$ (via le théorème de Hochschild-Kostant-Rosenberg), ce qui simplifie considérablement les calculs.

3. Résultats Principaux

A. Théorème 1 : Isomorphisme des Ext

Soit $k$ un corps parfait de caractéristique $p > 0$ et $A$ une catégorie additive $F_p$-linéaire essentiellement petite.
L'application naturelle $\Psi$ définie par :
$$\Psi : \text{Ext}^*_{\text{Add}(A, k)}(\pi, \rho) \otimes_k \text{Ext}^*_{\mathcal{F}(P_k, k)}(I, I) \to \text{Ext}^*_{\mathcal{F}(A, k)}(\pi, \rho)$$
est un isomorphisme de $k$-algèbres graduées.

• Structure de l'anneau des extensions universelles :
  $$\text{Ext}^*_{\mathcal{F}(P_k, k)}(I, I) \simeq k[e_1, e_2, \dots] / \langle e_1^p, e_2^p, \dots \rangle$$
  où chaque classe $e_i$ est de degré cohomologique $2p^i - 1$.
• Signification : Les extensions dans la catégorie de tous les foncteurs sont simplement le produit tensoriel des extensions additives par une algèbre commutative libre (modulo relations de puissance $p$) générée par les classes de Frobenius. Cela généralise le résultat de [7] (pour $A=P_k$) à toute catégorie $F_p$-linéaire.
• Contre-exemples : Le théorème échoue si $A$ n'est pas $F_p$-linéaire ou si $k$ n'est pas parfait (l'homologie de Hochschild non triviale de $k$ intervient alors).

B. Corollaire 2 : Calcul du Tor

En dualisant le théorème 1, les auteurs obtiennent une formule pour le $\text{Tor}$ dans la catégorie de tous les foncteurs :
$$\text{Tor}^{\mathcal{F}(A, k)}_*(\pi, \rho) \simeq \text{Tor}^{\text{Add}(A, k)}_*(\pi, \rho) \otimes_k T_*$$
où $T_*$ est un espace vectoriel gradué de dimension 1 en degrés pairs et 0 en degrés impairs.
Cela permet de calculer le $\text{Tor}$ entre foncteurs non additifs en partant du $\text{Tor}$ additif.

C. Applications aux Foncteurs Polynomiaux (Section 8)

Les auteurs montrent comment appliquer ces résultats pour calculer le $\text{Tor}$ entre des foncteurs polynomiaux (non additifs) construits à partir de foncteurs additifs.

• Ils établissent un isomorphisme de Künneth pour les produits tensoriels de foncteurs.
• Ils traitent le cas des foncteurs de la forme $\pi \otimes_{S_d} V$ (produit tensoriel symétrisé).
• Exemple concret (Exemple 4) : Pour les groupes linéaires infinis $GL_\infty(R)$, l'homologie avec coefficients dans des représentations polynomiales peut être calculée explicitement en termes de l'homologie du groupe et du $\text{Tor}$ additif des modules sous-jacents.

4. Signification et Impact

Ce travail est fondamental pour la théorie des foncteurs en caractéristique positive :

1. Unification : Il fournit une formule universelle reliant la cohomologie des foncteurs additifs (souvent calculable via l'algèbre homologique classique des modules) à celle des foncteurs généraux.
2. Outil pour l'homologie des groupes : Les résultats s'appliquent directement au calcul de l'homologie des groupes linéaires $GL_n(R)$ et $GL_\infty(R)$ à coefficients dans des représentations polynomiales. La formule (2) de l'introduction montre que $H_*(GL_\infty(R), F \otimes G)$ se décompose en un produit tensoriel impliquant le $\text{Tor}$ calculé dans la catégorie des foncteurs.
3. Lien avec la Topologie : Les auteurs soulignent le lien avec l'homologie de Hochschild topologique (THH). La structure de l'algèbre $\text{Ext}^*_{\mathcal{F}(P_k, k)}(I, I)$ reflète la structure de la THH des algèbres lisses sur $F_p$.
4. Généralisation : Ce papier étend les travaux antérieurs (notamment ceux de Franjou, Friedlander, Scorichenko, Suslin, et de Djament lui-même) en levant la restriction aux catégories de modules projectifs finis pour des catégories additives générales $F_p$-linéaires.

En résumé, ce papier établit que, en caractéristique $p$, la "complexité" supplémentaire des foncteurs non additifs est entièrement contrôlée par une algèbre de cohomologie universelle (liée aux twists de Frobenius), permettant ainsi de ramener des calculs complexes dans $\mathcal{F}(A, k)$ à des calculs plus simples dans $\text{Add}(A, k)$.