$\tau$-tilting modules, depth and delooping level

Résumé Technique : Modules $\tau$-tilting, Profondeur et Niveau de Délubage

Énoncé du Problème
L'article traite de la conjecture de la dimension finitiste, un problème ouvert central dans la théorie de la représentation des algèbres de dimension finie. La conjecture pose que pour toute algèbre de dimension finie $A$, la suprême des dimensions projectives de tous les modules de dimension finie (la dimension finitiste, notée $\text{findim} A$) est finie.

Des travaux récents de Gelinas (2022) ont introduit le concept de niveau de délubage (delooping level) pour fournir des bornes à la dimension finitiste. Spécifiquement, Gelinas a prouvé que pour une algèbre de dimension finie $A$, la dimension finitiste de son algèbre opposée $A^{\text{op}}$ est bornée par la profondeur (depth) de $A$ et le niveau de délubage de $A$ (Théorème 1.1). Cependant, des contre-exemples existent concernant la finitude des niveaux de délubage pour les algèbres générales, et la relation entre ces invariants homologiques et des classes spécifiques de modules reste un domaine d'investigation active.

Les auteurs demandent si le théorème de Gelinas peut être généralisé dans le cadre de la théorie $\tau$-tilting. Puisque toute algèbre $A$ est naturellement un module $\tau$-tilting sur elle-même, les auteurs cherchent à définir des notions analogues de profondeur et de niveau de délubage relatives à un module $\tau$-tilting arbitraire $T$, et à déterminer si ces invariants relatifs bornent la dimension finitiste de l'algèbre d'endomorphismes $B = \text{End}_A(T)^{\text{op}}$.

Méthodologie
Les auteurs emploient la machinerie de la théorie $\tau$-tilting, des paires torsionnelles, ainsi que la théorie des briques (bricks) et des semi-briques développée par Adachi, Iyama et Reiten. La méthodologie procède selon les étapes suivantes :

1. Définitions des Invariants Relatifs :

   • Grade et Profondeur Relatifs : Pour un module $\tau$-tilting $T$, les auteurs définissent le grade d'un module $M$ dans la sous-catégorie $\text{Fac}T$ (générée par $T$) relativement à $T$ en utilisant $\text{Ext}^i_A(M, T)$. La profondeur de $\text{Fac}T$ relative à $T$ est définie comme la suprême de ces grades sur une semi-brique $S$ spécifique associée à $T$.
   • Niveau de Délubage Relatif : Utilisant la bijection entre les briques dans $\text{Fac}T$ et les modules simples dans une sous-catégorie spécifique de $\text{mod} B$, les auteurs définissent le $k$-niveau de délubage des modules dans $\text{Fac}T$ relativement à $T$. Cela implique des syzygies relatives à $T$ ($\Omega_T$) et des rétractats stables.

2. Équivalences Homologiques :
   Le papier repose fortement sur l'équivalence de catégories induite par le foncteur $\text{Hom}_A(T, -)$ entre $\text{Fac}T$ et une sous-catégorie de $\text{mod} B$. Spécifiquement, le Théorème 1.3 établit une bijection entre les briques de la décomposition en semi-briques de $\text{Fac}T$ et les modules simples dans la sous-catégorie $\text{Sub}(DT)$.

3. Techniques de Résolution :
   Les auteurs utilisent des présentations $T$-minimales (suites exactes où les termes sont dans $\text{add} T$) pour construire des résolutions projectives dans $\text{mod} B$. Le Lemme 3.3 et la Proposition 4.3 démontrent comment les présentations $T$-minimales dans $\text{mod} A$ se traduisent en présentations projectives minimales dans $\text{mod} B^{\text{op}}$.

Contributions Clés et Résultats

1. Généralisation du Théorème de Gelinas (Théorème 1.2 & 3.4) :
   Les auteurs prouvent que la profondeur de $\text{Fac}T$ relative à $T$ est une borne inférieure pour la dimension finitiste de $B^{\text{op}}$ :
   $$\text{depth}_T(\text{Fac}T) \leq \text{findim}(B^{\text{op}})$$
   Ceci généralise le résultat de Gelinas (où $T=A$) à tout module $\tau$-tilting.

2. Borne Supérieure via le Niveau de Délubage (Théorème 1.4 & 4.5) :
   Le papier établit que le niveau de délubage de $\text{Fac}T$ relatif à $T$ sert de borne supérieure pour la dimension finitiste de $B^{\text{op}}$ :
   $$\text{findim}(B^{\text{op}}) \leq \text{delooping level}_T(\text{Fac}T)$$
   De plus, ils montrent que le $k$-niveau de délubage de l'algèbre $B$ est égal au $k$-niveau de délubage de la sous-catégorie $\text{Fac}T$ relatif à $T$.

3. Conditions de Finitude (Théorème 1.5 & 5.3) :
   La principale application de ces bornes est un nouveau critère pour la finitude de la dimension finitiste. Les auteurs prouvent que si l'intersection des sous-catégories $\text{Fac}T$ et $\text{Sub}T$ (engendrée par $T$) est de type de représentation finie, alors $\text{findim}(B^{\text{op}})$ est fini.

   • Cela implique que si $A$ est de type de représentation finie, alors $\text{findim}(B^{\text{op}})$ est fini pour tout module $\tau$-tilting $T$.
   • Cela implique également que si $A$ est une algèbre de type de représentation minimalement infini (type infini, mais toutes les algèbres facteurs propres sont de type fini), alors $\text{findim}(B^{\text{op}})$ est fini.

4. Équivalence Dérivée et Symétrie (Proposition 5.6) :
   Le papier note que si $T$ est un module $\tau$-tilting, l'algèbre $A$ (modulo l'annulateur de $T$) et $B^{\text{op}}$ sont dérivement équivalentes. Par conséquent, la finitude de la dimension finitiste est préservée entre elles.

Signification et Revendications
Le papier revendique la fourniture d'une version généralisée du théorème de Gelinas (Théorème 1.1) spécifiquement adaptée au contexte des modules $\tau$-tilting. En introduisant la « profondeur relative à $T$ » et le « niveau de délubage relatif à $T$ », les auteurs créent un cadre pour borner la dimension finitiste des algèbres d'endomorphismes de modules $\tau$-tilting.

La signification primaire réside dans l'application à la conjecture de la dimension finitiste. Les auteurs démontrent que pour deux classes importantes d'algèbres — celles de type de représentation finie et les algèbres de type de représentation minimalement infini — la dimension finitiste de l'algèbre opposée de tout endomorphisme d'algèbre $\tau$-tilting est garantie d'être finie. Cela offre une réponse partielle positive à la conjecture dans le contexte spécifique de la théorie $\tau$-tilting, étendant les résultats connus du cas $T=A$ à une classe plus large de modules.

Les auteurs restent modestes concernant la conjecture générale, notant que bien qu'ils fournissent des bornes et des cas spécifiques où la finitude est vérifiée, la finitude générale du niveau de délubage pour des algèbres arbitraires demeure une question ouverte, comme en témoignent les contre-exemples existants dans la littérature. Ce travail sert de pont reliant les propriétés structurelles des modules $\tau$-tilting (spécifiquement le type de représentation de $\text{Fac}T \cap \text{Sub}T$) à la finitude homologique de leurs anneaux d'endomorphismes.