Lagrangian structures on the derived moduli of constructible sheaves

Cet article démontre que les modules de faisceaux constructibles et de faisceaux pervers sur une variété stratifiée compacte orientée sont lagrangiens décalés de $(2-n)$, en construisant une structure de Calabi-Yau relative à gauche via un résultat de recollement laxiste et en identifiant les feuilles symplectiques associées aux faisceaux pervers avec monodromie prescrite.

L'essentiel

Imaginez que vous êtes un architecte chargé de concevoir la structure d'un bâtiment très complexe, disons un gratte-ciel avec des ailes, des sous-sols et des ponts suspendus. En mathématiques, ce "bâtiment" est un espace stratifié : un objet géométrique qui n'est pas lisse partout, mais qui est composé de différentes pièces (des strates) collées ensemble, comme un puzzle 3D.

Le papier que nous allons explorer, écrit par Merlin Christ et Enrico Lampetti, est une recette secrète pour comprendre comment ces bâtiments mathématiques "respirent" et comment on peut les décrire avec une précision absolue.

Voici l'explication, sans jargon technique, en utilisant des métaphores du quotidien.

1. Le problème : Comment cartographier un monde cassé ?

Dans le monde classique, les mathématiciens aiment les objets lisses (comme une sphère parfaite). Mais la réalité est souvent "cassée" ou "stratifiée" : pensez à une pomme avec une tige, ou à un gâteau avec plusieurs couches.

• Les "faisceaux constructibles" sont comme des capteurs ou des caméras que l'on place sur ce bâtiment. Ils enregistrent ce qui se passe dans chaque pièce (chaque strate).
• Le but des auteurs est de créer une carte complète (un "moduli") de tous les arrangements possibles de ces capteurs. C'est comme vouloir lister tous les plans d'architecte possibles pour un bâtiment donné.

2. La découverte magique : Le "Calabi-Yau Cubique"

Pour comprendre ces cartes, les auteurs utilisent une idée puissante appelée structure Calabi-Yau.

• L'analogie : Imaginez que votre bâtiment a une propriété secrète : il est parfaitement équilibré, comme un mobile de bébé qui ne penche jamais d'un côté. En mathématiques, cet équilibre s'appelle une "structure Calabi-Yau". Cela signifie que l'intérieur du bâtiment et sa surface sont liés d'une manière très spéciale et symétrique.
• Le twist : Dans ce papier, les auteurs ne regardent pas juste un cube ou une sphère. Ils regardent un cube de cubes (un hypercube). Imaginez un Rubik's Cube, mais où chaque petite face est elle-même un autre Rubik's Cube, et ainsi de suite.
• Ils montrent que pour n'importe quel bâtiment stratifié (même avec des coins et des bords), on peut construire ce "Cube Calabi-Yau". C'est comme si chaque pièce du bâtiment possédait sa propre boussole interne qui pointe toujours vers le centre de l'équilibre.

3. La technique de collage : "Le Lax Gluing"

Comment construisent-ils ce cube géant ? Ils utilisent une technique de collage appelée "lax gluing" (collage "lâche" ou flexible).

• L'analogie : Imaginez que vous construisez un château avec des blocs de Lego. Habituellement, vous devez clipser les blocs parfaitement (collage rigide). Ici, les auteurs utilisent un "Lego magique" qui permet de connecter les pièces même si elles ne sont pas parfaitement alignées, tant qu'elles respectent une certaine flexibilité.
• Ils prennent des morceaux de leur bâtiment (les "tubular neighborhoods", ou voisinages tubulaires, qui sont comme des tubes autour des fissures du bâtiment) et les assemblent avec cette technique flexible.
• Le résultat ? Un grand cube mathématique qui contient toute l'information sur le bâtiment, et qui conserve cette propriété d'équilibre magique (Calabi-Yau) à chaque étape du collage.

4. Le résultat final : Des "Lignes Lagrangiennes" et des "Feuilles Symplectiques"

Une fois qu'ils ont ce cube magique, ils peuvent en déduire des choses sur les moduli (les cartes de tous les arrangements possibles).

• Structure Lagrangienne : Imaginez que vous avez une surface d'eau calme (une symétrie parfaite). Si vous jetez un caillou, vous créez des vagues. Une "structure Lagrangienne" est comme une ligne de crête parfaite sur ces vagues. Les auteurs montrent que la carte de tous les capteurs (faisceaux) sur votre bâtiment possède cette ligne de crête parfaite. C'est une preuve que l'ensemble de ces mathématiques est "sain" et bien structuré.
• Les Feuilles Symplectiques : C'est le moment le plus cool. Imaginez que votre carte de capteurs est un grand lac. Parfois, ce lac n'est pas uniforme ; il a des zones calmes et des zones agitées.
  • Les auteurs montrent que si vous fixez certaines règles (par exemple, "les capteurs doivent tourner d'une certaine façon autour d'un fil invisible"), vous obtenez des îles spécifiques dans ce lac.
  • Ces îles sont appelées feuilles symplectiques. Elles sont comme des zones de danse où les mathématiques se comportent de manière très prévisible et belle.
  • Exemple concret : Si votre bâtiment est un nœud dans un espace à 3 dimensions (comme un nœud de corde), ils montrent comment décrire exactement les "îles" de solutions possibles autour de ce nœud. C'est comme pouvoir prédire exactement comment les vibrations se propagent le long d'une corde de guitare.

En résumé

Ce papier est une avancée majeure car il fournit une boîte à outils universelle pour comprendre la géométrie des objets complexes et brisés.

1. Ils prennent un objet complexe (un bâtiment stratifié).
2. Ils le découpent en morceaux gérables.
3. Ils utilisent une technique de collage flexible pour reconstruire un "cube d'équilibre" (Calabi-Yau).
4. Grâce à ce cube, ils prouvent que la carte de tous les possibles (les faisceaux) possède une structure géométrique profonde et belle (Lagrangienne).
5. Ils identifient ensuite des zones spécifiques (feuilles symplectiques) où les mathématiques deviennent encore plus simples et prévisibles, même dans des cas très compliqués comme les nœuds ou les surfaces courbes.

C'est un peu comme avoir découvert que derrière le chaos apparent d'un gratte-ciel en construction, il existe un plan d'architecte parfait et invisible qui garantit que tout tient debout de manière harmonieuse.

Résumé technique

Voici un résumé technique détaillé de l'article "Lagrangian structures on the derived moduli of constructible sheaves" de Merlin Christ et Enrico Lampetti.

1. Problème et Contexte

L'article s'inscrit dans le cadre de la géométrie dérivée et de la théorie des catégories supérieures, visant à généraliser les structures symplectiques et lagrangiennes décalées (shifted) aux espaces de modules de faisceaux constructibles sur des espaces stratifiés.

• Contexte théorique : Les structures symplectiques décalées sur les champs dérivés ont été introduites par Pantev, Toën, Vaquié et Vezzosi ([PTVV13]). Brav et Dyckerhoff ([BD19]) ont ensuite établi un analogue non-commutatif : une structure de Calabi-Yau relative à gauche sur un foncteur entre catégories dg (ou $\infty$-catégories stables) induit une structure lagrangienne décalée sur le morphisme des champs de modules d'objets.
• Problème spécifique : Alors que ces résultats sont bien établis pour les variétés lisses (via les systèmes locaux) et les variétés à bord, leur extension aux faisceaux constructibles sur des espaces stratifiés (en particulier ceux munis d'une stratification lisse conique) reste un défi technique majeur. L'objectif est de montrer que les champs de modules de faisceaux constructibles et de faisceaux pervers sur une variété compacte orientée stratifiée possèdent des structures lagrangiennes décalées, et d'identifier les feuilles symplectiques associées aux monodromies prescrites.

2. Méthodologie

Les auteurs adoptent une approche combinant la théorie des catégories stables linéaires, la théorie de l'homotopie stratifiée et la géométrie dérivée.

• Cadre catégorique : Au lieu des catégories dg, les auteurs travaillent avec des $\infty$-catégories stables $k$-linéaires ($\text{LinCat}_k$). Ils utilisent la catégorie des faisceaux constructibles à valeurs dans $\text{D}(k)$, notée $\text{Cons}_P(X)$, identifiée via l'équivalence d'exodromie aux foncteurs depuis la catégorie des chemins de sortie ($\text{Exit}(X, P)$).
• Structures de Calabi-Yau cubiques : Le cœur de la méthode réside dans l'utilisation des structures de Calabi-Yau cubiques (introduites dans [CDW23]). Une telle structure sur un cube de catégories $C_*$ implique des structures de Calabi-Yau relatives sur les foncteurs de colimite et des structures de Calabi-Yau sur les faces du cube.
• Technique de "Lax Gluing" (Collage lâche) :
  • Les auteurs construisent un cube catégorique $\text{Cons}_P(X)_*$ associé à l'espace stratifié $(X, P)$.
  • Cette construction repose sur le processus d'"unzipping" (dézippage) des espaces stratifiés coniques lisses, qui transforme l'espace singulier en une variété lisse à coins (manifold with corners).
  • Ils utilisent un résultat de collage nouveau : le pushout dirigé (ou pushout partiellement lâche) de cubes de catégories. Contrairement aux pushouts standards, cette opération préserve les structures de Calabi-Yau dans un contexte $(\infty, 2)$-catégorique.
• Construction du cube :
  1. On associe à chaque strate et à ses voisinages tubulaires des cubes de systèmes locaux (qui possèdent naturellement des structures de Calabi-Yau grâce à l'orientation de la variété).
  2. On recolle ces cubes via des pushouts dirigés pour reconstruire le cube global $\text{Cons}_P(X)_*$.
  3. La structure de Calabi-Yau cubique sur ce cube global est obtenue par récurrence et par le théorème de collage (Proposition 2.17).

3. Contributions Clés et Résultats Principaux

A. Structure de Calabi-Yau sur les catégories de faisceaux constructibles

Le résultat central est l'existence d'une structure de Calabi-Yau relative sur le foncteur d'inclusion des systèmes locaux du bord vers les faisceaux constructibles.

• Théorème 1 (Théorème 3.51, Corollaire 4.20) : Soit $X$ une variété compacte orientée de dimension $d$ avec une stratification lisse conique $P$ de profondeur $n$.
  1. Le cube catégorique $(n+1)$-dimensionnel $\text{Cons}_P(X)_*$ porte une structure canonique de Calabi-Yau à gauche de degré $d$.
  2. Le foncteur de colimite des faces du cube vers la pointe (le champ des faisceaux constructibles) hérite d'une structure de Calabi-Yau relative à gauche de degré $n$.
  3. En conséquence, le morphisme entre les champs de modules dérivés $\mathcal{M}\text{Cons}_P(X) \to \mathcal{M}(\text{colim})$ est une morphism lagrangien décalé de $(2-d)$.

B. Structures de Poisson et feuilles symplectiques

• Corollaire 1 (Corollaire 4.22) : Les champs dérivés de faisceaux constructibles $\text{Cons}_P(X)$ et de faisceaux pervers $^p\text{Perv}_P(X)$ portent des structures de Poisson décalées de $(2-d)$.
• Théorème 2 (Théorème 4.38) - Feuilles symplectiques : Dans le cas où la stratification est donnée par une sous-variété lisse $D$ de codimension 2 (par exemple, un nœud dans une 3-variété), les auteurs identifient explicitement les feuilles symplectiques.
  • En fixant la monodromie $\lambda$ autour des composantes connexes du fibré en cercles normal $\partial D \to D$, on obtient un sous-champ $^p\text{Perv}^{r,\lambda}_D(X)$.
  • Ce sous-champ porte une structure symplectique décalée de $(2-d)$.
  • Exemple concret : Pour un nœud $K$ dans une 3-variété $M$, le champ de faisceaux pervers avec monodromie fixée porte une structure symplectique décalée de $-1$.

C. Généralisation des résultats connus

L'article généralise les travaux de Brav-Dyckerhoff sur les systèmes locaux aux faisceaux constructibles et aux espaces stratifiés, en fournissant un cadre unifié qui inclut les variétés à bord et les singularités coniques.

4. Signification et Implications

• Nouvelle classe d'exemples : L'article fournit une source riche de morphismes lagrangiens décalés issus de la topologie des espaces stratifiés, élargissant considérablement le paysage des exemples connus en géométrie symplectique dérivée.
• Lien avec l'algèbre de Hall cohomologique : La présence de structures symplectiques décalées (notamment de degré 0 et -1) sur des champs dérivés symétriques est cruciale pour la construction d'algèbres de Lie BPS et l'étude de la cohomologie de ces champs via les algèbres de Hall cohomologiques (références à [BDN+25, HK25]).
• Outils pour la théorie des nœuds et la physique mathématique : Les résultats sur les feuilles symplectiques pour les nœuds (Exemple 2) offrent un cadre rigoureux pour étudier les invariants de nœuds et les théories de champ topologique (TFT) associés aux singularités.
• Innovation technique : La méthode de "lax gluing" pour les cubes de Calabi-Yau est une avancée technique significative qui permet de traiter des structures globales complexes en les décomposant en blocs locaux (voisinages tubulaires) et en les recollant de manière cohérente.

En résumé, cet article établit un pont fondamental entre la topologie des espaces stratifiés, la théorie des catégories supérieures et la géométrie symplectique dérivée, ouvrant la voie à de nouvelles applications en théorie des nœuds et en physique mathématique.