Nilpotent cohomological Hall algebras of surfaces

Cet article établit un cadre pour les algèbres de Hall cohomologiques associées aux faisceaux cohérents supportés sur une courbe fixée au sein d'une surface lisse, en construisant un espace de modules généralisé et en définissant une algèbre fonctorielle qui dépend uniquement du voisinage formel de la courbe pour étudier les opérateurs de Hecke et résoudre des questions concernant les singularités de Klein.

L'essentiel

Imaginez que vous regardez une feuille de tissu lisse et plate (une « surface » mathématique). Maintenant, imaginez dessiner une ligne ou une forme spécifique sur ce tissu. Cette forme pourrait être un cercle simple, ou un nœud emmêlé et complexe où le tissu se replie sur lui-même (une courbe « singulière » ou « réductible »).

Cet article porte sur la construction d'un nouveau type de machine mathématique (une algèbre) qui nous aide à comprendre comment nous pouvons modifier ou « ajuster » le tissu spécement le long de cette ligne, sans nous soucier de ce qui se passe loin de celle-ci.

Voici une décomposition des idées principales de l'article en utilisant des analogies de la vie quotidienne :

1. Le problème : Trop de possibilités

En mathématiques, lorsque vous étudiez comment modifier un tissu le long d'une ligne, vous devez généralement examiner l'ensemble du tissu. Mais parfois, les changements qui vous intéressent sont si spécifiques à cette ligne que la vue de l'« ensemble du tissu » est trop complexe et infinie. C'est comme essayer de comprendre comment un fil spécifique dans un pull est noué en regardant l'océan tout entier.

Les auteurs ont voulu créer un système qui se concentre uniquement sur le voisinage de cette ligne spécifique, en ignorant le reste de l'univers. Ils appellent cela le « voisinage formel ».

2. La solution : Une machine de « Zoom »

L'article construit un nouvel objet mathématique appelé Algèbre de Hall Cohomologique Nilpotente (COHA).

• La partie « Hall » : Considérez cela comme un livre de règles pour combiner des choses. Si vous avez deux manières différentes de modifier le tissu le long de la ligne, ce livre de règles vous indique comment les « multiplier » pour obtenir une troisième manière.
• La partie « Nilpotente » : C'est le filtre clé. Cela signifie que la machine ne s'intéresse qu'aux modifications qui deviennent « nulles » ou « triviales » si on les déplace trop loin de la ligne. C'est comme un projecteur qui n'éclaire que la ligne elle-même ; tout ce qui se trouve en dehors de la lumière s'efface dans le néant.
• La partie « Cohomologique » : C'est le ruban à mesurer. Elle ne se contente pas de compter les modifications ; elle mesure leur « forme » et leurs « torsions » en utilisant la géométrie avancée.

3. La grande découverte : Le secret « Local »

La découverte la plus importante de l'article est que cette nouvelle machine dépend uniquement du voisinage immédiat de la ligne, et non de la surface entière.

• L'analogie : Imaginez que vous ayez une carte du monde. Habituellement, pour comprendre une ville spécifique, vous devez connaître tout le pays. Cet article proue que pour ces types spécifiques de modifications de tissu, vous pouvez découper la carte, ne garder que le petit carré d'un pouce contenant la ville, et vous obtiendrez exactement les mêmes résultats mathématiques.
• Pourquoi c'est important : Cela permet aux mathématiciens d'effectuer des calculs « locaux » (qui sont plus faciles) tout en sachant qu'ils s'appliquent à la situation « globale ». Cela transforme un puzzle massif et impossible en un petit problème gérable.

4. Le « Moduli Stack » : Un catalogue de toutes les possibilités

Pour construire cette machine, les auteurs ont d'abord dû créer un immense catalogue (appelé « moduli stack ») de toutes les manières possibles de modifier le tissu le long de cette ligne.

• Ils ont proué que même si ce catalogue est infiniment grand, il possède une structure très organisée. C'est comme une bibliothèque infiniment haute, mais si vous regardez la version « réduite » (en supprimant les détails complexes et flous), elle ressemble à un bâtiment standard bien organisé.
• Cette structure permet de définir l'homologie de Borel-Moore, qui est essentiellement une façon de compter et de mesurer les « trous » et les « boucles » dans cette bibliothèque infinie.

5. La connexion avec d'autres mathématiques

L'article mentionne que cette nouvelle machine se connecte à d'autres outils mathématiques célèbres :

• Opérateurs de Hecke : Ce sont comme des « interrupteurs » qui changent l'état du tissu. Les auteurs montrent que leur nouvelle machine est le « plus grand tableau de bord possible » pour ces changements le long de la ligne.
• Groupes Quantiques et Yangiens : Ce sont des structures algébriques complexes utilisées en physique (comme la mécanique quantique). L'article pose les jalons pour montrer que ces machines de modification de tissu sont en réalité les mêmes que ces machines de physique, spécifiquement lorsque le tissu est une « résolution minimale » d'une singularité (une façon de lisser un point tranchant).

Résumé

En termes simples, cet article construit un calculateur spécialisé pour étudier comment ajuster une surface le long d'une ligne spécifique, potentiellement complexe.

1. Il prouve que vous pouvez étudier cette ligne de manière isolée (localement) sans avoir besoin de connaître toute la surface.
2. Il crée un livre de règles (une algèbre) pour combiner ces ajustements.
3. Il montre que ce livre de règles est robuste et fonctionne que vous regardiez l'ensemble de la surface ou simplement le minuscule voisinage de la ligne.

Ce travail ne fait pas que résoudre un puzzle ; il fournit la base (le « cadre ») pour que d'autres mathématiciens puissent utiliser ces outils pour résoudre des problèmes encore plus difficiles, comme le lien entre la géométrie et la physique quantique, ce que les auteurs mentionnent faire dans un article complémentaire.

Résumé technique

Résumé technique : Algèbres de Hall cohomologiques nilpotentes de surfaces

Problème et motivation
L'article traite de l'étude systématique des « opérateurs de Hecke » cohomologiques associés aux modifications de faisceaux cohérents sur une surface lisse $X$ le long d'une courbe propre fixée $Z \subset X$ (qui peut être singulière et réductible). Bien que les algèbres de Hall cohomologiques (COHA) pour les surfaces lisses et les algèbres préprojectives de quivers soient bien établies, un cadre général pour les COHA « nilpotentes » — spécifiquement celles régissant les faisceaux supportés de manière set-théorique sur un sous-schéma $Z$ — faisait défaut.

Les auteurs visent à construire un espace de modules de faisceaux cohérents sur $X$ avec un support set-théorique sur $Z$, noté $\text{Coh}(\widehat{X}_Z)$, et à doter son homologie de Borel-Moore d'une structure d'algèbre de Hall canonique. Cette construction est motivée par la nécessité de comprendre la relation entre la COHA d'une résolution minimale d'une singularité de Klein et la COHA préprojective correspondante (une question abordée dans l'article compagnon [DPS$^+$26]) et de fournir une construction intrinsèque de la « plus grande » algèbre d'opérateurs de Hecke cohomologiques pour de telles modifications.

Méthodologie et cadre
Les auteurs développent un cadre sophistiqué combinant la géométrie algébrique dérivée, la théorie homotopique motivique et la théorie des objets ind.

1. Espaces de modules et structures ind-géométriques :
   L'objet central est l'espace de modules $\text{Coh}(\widehat{X}_Z)$ des faisceaux cohérents sur la complétion formelle $\widehat{X}_Z$ de $X$ le long de $Z$. Comme cette catégorie n'est pas de type fini, l'espace de modules n'est pas un espace de modules algébrique au sens classique. Les auteurs prouvent que $\text{Coh}(\widehat{X}_Z)$ est un espace ind-géométrique (une limite filtrée d'espaces de modules d'Artin avec des applications de plongement fermé).

   • Théorème A : Ils établissent que l'espace de modules réduit $\text{Coh}(\widehat{X}_Z)_{\text{red}}$ est un espace de modules d'Artin quasi-séparé localement de type fini. De plus, $\text{Coh}(\widehat{X}_Z)$ est identifié comme la complétion formelle de l'espace de modules de tous les faisceaux cohérents $\text{Coh}_{\text{ps}}(X)$ le long du sous-espace de modules fermé des faisceaux supportés sur $Z$.
   • Admissibilité : Pour gérer la non-quasi-compacité, les auteurs introduisent la classe des espaces ind-géométriques admissibles, caractérisés par un espace de modules réduit géométrique. Ils construisent une exhaustion ouverte admissible explicite pour ces espaces en utilisant les strates de Harder-Narasimhan.

2. Homologie de Borel-Moore motivique :
   Étendant les travaux de A. Khan [Kha19] et les travaux précédents des auteurs [DPS22], ils définissent l'homologie de Borel-Moore pour les espaces ind-géométriques admissibles.

   • Théorème C : Ils construisent un foncteur laxement symétrique monoidal $H^{\text{BM}}_*(-; \mathbb{Q})$ de la catégorie des correspondances d'espaces ind-géométriques admissibles vers les objets pro de modules. Cette théorie accommode la non-quasi-compacité en traitant les groupes d'homologie comme des espaces vectoriels topologiques (limites sur des exhaustions ouvertes quasi-compactes) et étend la fonctorialité aux morphismes localement propres via une procédure de renormalisation.

3. Structures 2-Segal et multiplication de Hall :
   Pour définir la multiplication de Hall, les auteurs utilisent la construction de Waldhausen $S_\bullet \text{Coh}(\widehat{X}_Z)$, qui forme un espace dérivé 2-Segal encodant la structure d'algèbre dans les correspondances.

   • Théorème B : Ils prouvent que les carrés pertinents impliquant les espaces d'extensions sont des pullbacks. Cela garantit que les applications de correspondance définissant le produit de Hall sont bien se comportées (représentables par des espaces dérivés d'Artin lci, quasi-compacts et de connexité finie).
   • Crucialement, ils montrent que la structure d'algèbre de Hall dépend uniquement de la complétion formelle $\widehat{X}_Z$ en tant que schéma formel, et non de la surface ambiante $X$.

Contributions clés et résultats

• Construction de la COHA nilpotente : Le résultat principal est le Théorème D, qui établit l'existence d'une structure d'algèbre topologique unitaire et associative sur l'homologie de Borel-Moore $H^{\text{BM}}_*(\text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z); \mathbb{Q})$. La multiplication est définie via la correspondance :
  $$\text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z) \times \text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z) \xleftarrow{\partial_0 \times \partial_2} S_2 \text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z) \xrightarrow{\partial_1} \text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z)$$
  où le produit est $p_* q^!$.

• Fonctorialité et indépendance :

  • L'algèbre est fonctorielle par rapport aux plongements fermés $Z' \subset Z$ et aux transformations du formalisme motivique.
  • Elle est invariante par les isomorphismes de complétions formelles : un isomorphisme de complétions formelles $\widehat{X}_Z \cong \widehat{X'}_{Z'}$ induit un isomorphisme d'algèbres topologiques. Cela permet de réduire les calculs globaux à des calculs locaux dépendant uniquement du voisinage formel.

• Cas 0-dimensionnel et Algèbres W :
  Dans la section 6, sous l'hypothèse que la poussée directe $H^{\text{BM}}_*(Z) \to H^{\text{BM}}_*(X)$ est injective (satisfaite pour les résolutions minimales des singularités ADE et certains surfaces elliptiques), les auteurs fournissent une caractérisation explicite de la COHA nilpotente 0-dimensionnelle.

  • Théorème 6.7 : Ils prouvent que la COHA nilpotente 0-dimensionnelle est isomorphe à une sous-algèbre spécifique de l'algèbre W associée à la paire $(X, Z)$, spécifiquement $H_{X,Z;0} \cong W_+(\widehat{X}_Z)$. Cela relie la construction géométrique aux structures algébriques étudiées dans [MMSV23].

Signification et affirmations
L'article affirme fournir le cadre fondamental pour les algèbres de Hall cohomologiques nilpotentes, généralisant la construction des quivers aux surfaces. Sa signification réside dans :

1. Généralisation : Il étend la théorie des COHA au cadre des faisceaux supportés sur des courbes propres arbitraires (potentiellement singulières) sur des surfaces lisses, généralisant le cône nilpotent global.
2. Construction intrinsèque : Il offre une construction intrinsèque de l'algèbre des opérateurs de Hecke cohomologiques, indépendante de la géométrie globale de la surface ambiante, reposant uniquement sur le voisinage formel de la courbe.
3. Pont vers les groupes quantiques : En établissant le lien avec les algèbres W dans le cas 0-dimensionnel et la relation avec les COHA préprojectives (via [DPS$^+$26]), ce travail fournit un outil crucial pour comprendre la relation précise entre les COHA de surfaces et les groupes quantiques/Yangians.
4. Avancée technique : Il fait progresser la théorie de l'homologie de Borel-Moore motivique pour la classe des espaces ind-géométriques admissibles, permettant de traiter rigoureusement les problèmes de modules non-quasi-compacts dans un cadre dérivé.

Les auteurs notent que les résultats sont destinés à être utilisés dans l'article compagnon [DPS$^+$26] pour répondre à des questions spécifiques concernant la relation entre les COHA des singularités de Klein et les algèbres préprojectives, mais ils ne prétendent pas résoudre le problème complet de présentation pour des surfaces arbitraires dans ce texte, notant que le cas 0-dimensionnel est le plus explicitement compris.