On intersection cohomology with torus action of complexity one, II

Cet article démontre que les composantes du théorème de décomposition pour les contractions d'actions toriques de complexité un sont des complexes de cohomologie d'intersection de sous-variétés de codimension paire, ce qui implique l'annulation de la cohomologie d'intersection impaire pour les variétés complètes rationnelles concernées et permet de calculer leurs nombres de Betti à partir de la matrice de poids.

L'essentiel

🌟 L'Architecture des Formes Mathématiques : Une Histoire de Torus et de Déchets

Imaginez que les mathématiques sont un immense chantier de construction. Les architectes (les mathématiciens) essaient de comprendre la forme et la structure de bâtiments très étranges appelés variétés algébriques. Ces bâtiments ne sont pas faits de briques, mais d'équations.

Dans cet article, trois chercheurs (Marta, Narasimha et Kevin) s'intéressent à un type de bâtiment très spécial : ceux qui ont une symétrie circulaire (comme une roue de vélo ou un tour de potier). En mathématiques, on appelle cela une action de "tore".

Leur objectif ? Comprendre comment ces bâtiments sont construits, même s'ils ont des fissures, des trous ou des coins pointus (ce qu'on appelle des singularités). Pour cela, ils utilisent un outil de mesure très précis appelé la cohomologie d'intersection.

1. Le Problème : Comment mesurer la "forme" d'un bâtiment cassé ?

Imaginez que vous avez un vase en céramique magnifique, mais il est tombé et s'est brisé en mille morceaux. Si vous essayez de le mesurer avec une règle classique, vous aurez des résultats faux parce que le vase n'est plus lisse.

La cohomologie d'intersection est comme un scanner 3D magique qui peut "voir" à travers les fissures et vous dire combien de pièces il y a vraiment, quelle est la vraie forme du vase, et combien de trous il a, même s'il est brisé.

Les auteurs s'intéressent à une catégorie précise de ces bâtiments : ceux qui ont une symétrie de complexité un.

• Analogie : Imaginez un bâtiment dont la forme change très peu quand vous tournez autour. C'est presque comme un cylindre (très simple), mais avec quelques petites déformations locales. C'est plus simple que le chaos total, mais plus complexe qu'un simple cylindre parfait.

2. La Méthode : La "Machine à Réparer" (Le théorème de décomposition)

Pour comprendre ces bâtiments brisés, les auteurs utilisent une technique appelée le théorème de décomposition.

• L'analogie du déménagement : Imaginez que vous voulez comprendre la structure d'une maison en ruine (la variété $X$). Au lieu de l'analyser directement, vous construisez une version "réparée" et lisse de cette maison (appelée $\tilde{X}$). C'est comme si vous preniez les plans originaux et que vous reconstruisiez la maison sans les fissures.
• Ensuite, vous faites un lien entre la maison réparée et la maison en ruine. C'est ce qu'on appelle une application de contraction. C'est comme si vous preniez la maison réparée et que vous la "écrasiez" doucement pour qu'elle redevienne la maison en ruine.

La découverte majeure (Théorème A) :
Les auteurs montrent que lorsque vous faites cette opération de "contraction" (passer de la maison réparée à la maison brisée), vous ne perdez pas d'informations au hasard.
Ce qui est "perdu" ou "ajouté" lors de ce passage correspond exactement à des pièces géométriques très spécifiques : des sous-structures de dimensions paires (comme des murs, des sols, mais jamais des demi-murs).
C'est comme dire : "Quand on répare ce bâtiment, les pièces qu'on doit enlever pour le remettre à l'état original sont toujours des blocs entiers et symétriques."

3. La Conséquence : Pourquoi les nombres impairs disparaissent

Grâce à cette découverte, ils prouvent quelque chose de très important (Théorème B) :
Si un bâtiment de ce type est "rationnel" (ce qui signifie qu'il peut être construit à partir de pièces de base simples, comme des cubes), alors tous ses nombres de mesure impairs sont nuls.

• L'analogie musicale : Imaginez que la forme du bâtiment joue une symphonie. Les auteurs découvrent que si le bâtiment est "rationnel", la musique ne contient aucune note impaire (pas de 1ère, 3ème, 5ème harmonique). Seules les notes paires (2, 4, 6...) résonnent. C'est une preuve que la structure est extrêmement régulière et "propre".

4. La Recette de Cuisine : De l'Équation à la Forme

La deuxième partie du papier est comme un livre de cuisine. Les auteurs disent : "Si vous avez une équation (la recette), voici comment calculer exactement la forme du bâtiment sans avoir à le construire physiquement."

• Le cas des hypersurfaces trinomiales : Ils prennent un exemple concret : des équations avec trois termes (comme $A + B + C = 0$). C'est comme une recette avec trois ingrédients principaux.
• La Matrice des Poids : Ils utilisent une grille de nombres (une matrice) qui décrit comment les ingrédients interagissent.
• Le Résultat : À partir de cette grille, ils peuvent calculer directement le "scanner 3D" (les nombres de Betti) du bâtiment. Ils donnent une formule magique qui transforme l'équation brute en une description complète de la forme géométrique, y compris ses trous et ses fissures.

En Résumé

Cet article est une avancée majeure pour les architectes des mathématiques. Il dit essentiellement :

1. On sait maintenant comment "réparer" mathématiquement les bâtiments symétriques complexes pour mieux les étudier.
2. On a prouvé que si ces bâtiments sont faits de pièces simples, leur structure est si régulière qu'elle ignore totalement les nombres impairs.
3. On a créé une calculatrice qui permet de passer directement d'une équation (la recette) à la forme géométrique exacte du résultat, même si le résultat est très abîmé.

C'est comme passer de la théorie pure à une boîte à outils pratique pour comprendre la géométrie cachée derrière les équations les plus complexes.

Résumé technique

Voici un résumé technique détaillé de l'article "On Intersection Cohomology with Torus Action of Complexity One, II" de Marta Agustín Vicente, Narasimha Chary Bonala et Kevin Langlois.

1. Problématique et Contexte

L'article s'inscrit dans l'étude de la cohomologie d'intersection des variétés algébriques complexes complètes munies d'une action d'un tore algébrique $T = (\mathbb{C}^*)^n$. L'invariant central de classification pour ces actions est la complexité, définie par $c(X) = \dim X - \dim T/T_0$ (où $T_0$ est le noyau de l'action).

• Complexité 0 : Correspond aux variétés toriques, dont la géométrie est entièrement décrite par des objets combinatoires (fans, polytopes). La cohomologie d'intersection y est bien comprise via les vecteurs $f$ et les polynômes $g$ et $h$.
• Complexité 1 : Cette classe inclut les surfaces $\mathbb{C}^*$ et les variétés plus générales. Bien qu'elles admettent une description combinatoire via les fans diviseurs (divisorial fans) sur une courbe lisse, le calcul explicite de leur cohomologie d'intersection, en particulier pour des variétés non normales ou définies par des équations, reste un défi.

L'objectif principal de ce papier est de finaliser un programme de recherche visant à déterminer les nombres de Betti de la cohomologie d'intersection pour les variétés de complexité un, en fournissant des formules explicites basées sur les équations définissant la variété.

2. Méthodologie

Les auteurs développent une approche structurée en plusieurs étapes, combinant la théorie des faisceaux pervers, la géométrie torique et la théorie des actions linéaires de tores :

1. Théorème de Décomposition et Contractions :

   • Ils utilisent la contraction $\pi : \tilde{X} \to X$, où $\tilde{X}$ est la normalisation du graphe du quotient rationnel de l'action. $\tilde{X}$ est une variété toroïdale (ou torique généralisée) dont la cohomologie est plus accessible.
   • L'analyse repose sur le Théorème de Décomposition de Beilinson-Bernstein-Deligne-Gabber appliqué à la morphisme de contraction $\pi$. Les auteurs montrent que les composantes apparaissant dans la décomposition de $\pi_* IC_{\tilde{X}}$ sont des complexes de cohomologie d'intersection de sous-variétés de codimension paire.

2. Théorie des "Weight Packages" (Paquets de poids) :

   • Pour traiter les variétés définies par des équations (potentiellement non normales), ils introduisent et généralisent la notion de paquet de poids $\theta = (N, \bar{N}, F, S, \Sigma)$.
   • Ce paquet encode l'action linéaire du tore via une matrice de poids $F$.
   • Ils établissent un lien explicite entre les équations définissant une sous-variété $X \subset \mathbb{P}^\ell$ (ou $\mathbb{A}^\ell$) et un fan diviseur décrivant la normalisation de $X$. Cela permet de passer d'une description algébrique (équations) à une description combinatoire (fans diviseurs).

3. Calcul Combinatoire :

   • Une fois le fan diviseur obtenu, ils utilisent les polynômes $g$ et $h$ (généralisés aux fans diviseurs) pour calculer le polynôme de Poincaré de la variété de contraction $\tilde{X}$.
   • Ils corrigent ensuite ce résultat pour obtenir celui de $X$ en soustrayant les contributions des orbites singulières (le lieu exceptionnel de la contraction).

3. Contributions et Résultats Clés

Les résultats principaux sont synthétisés dans les théorèmes A à E :

• Théorème A (Structure de la décomposition) :
  Pour une variété normale $X$ de complexité un, le faisceau direct image $\pi_* IC_{\tilde{X}}$ se décompose en :
  $$\pi_* IC_{\tilde{X}} \simeq IC_X \oplus \bigoplus_{O \in \text{Orb}_{\text{even}}(E)} (\iota_O)_* IC_{\bar{O}}^{\oplus s_O}$$
  où $E$ est l'image du lieu exceptionnel et la somme porte uniquement sur les orbites de codimension paire. Cela implique que les faisceaux pervers supplémentaires sont supportés par des sous-variétés de codimension paire.

• Théorème B (Critère de rationalité) :
  Une variété complète $X$ de complexité un est rationnelle si et seulement si sa cohomologie d'intersection de dimension impaire est nulle :
  $$IH^{2j+1}(X; \mathbb{Q}) = 0 \quad \forall j \in \mathbb{Z}.$$
  Ce résultat fournit un critère cohomologique simple pour la rationalité dans ce contexte.

• Théorème C (Formule des nombres de Betti) :
  Ils dérivent une formule explicite pour le polynôme de Poincaré $P_X(t)$ d'une variété complète normale $X$ définie par un fan diviseur $\mathcal{E}$ :
  $$P_X(t) = h_{\tilde{\mathcal{E}}}(t) - \sum_{\tau \in HF(\mathcal{E})} g_{n(\tau)}(\tau) t^{c(\tau)} h(\text{Star}(\mathcal{E}, \tau); t^2)$$
  où $h_{\tilde{\mathcal{E}}}$ est le polynôme de la variété de contraction et la somme corrige les singularités via les cônes $\tau$ associés aux orbites du lieu exceptionnel.

• Théorème D (Lien Équations $\leftrightarrow$ Combinatoire) :
  Ce théorème est crucial pour les applications. Il établit une correspondance entre :

  1. Un paquet de poids $\theta$ et une courbe $C$ dans un tore.
  2. Les équations d'une sous-variété projective $X \subset \mathbb{P}^\ell$ avec action linéaire de complexité un.
     Il permet de construire le fan diviseur de la normalisation de $X$ directement à partir de la matrice de poids et des équations définissant $X$.

• Théorème E (Hypersurfaces Trinomiales Affines) :
  En appliquant les résultats précédents aux hypersurfaces trinomiales affines $X = V(T_1^{n_1} + T_2^{n_2} + T_3^{n_3})$, les auteurs donnent une formule complète pour les nombres de Betti de la cohomologie d'intersection en fonction des exposants $n_{i,j}$ et des paramètres arithmétiques dérivés (PGCD).

4. Signification et Impact

• Généralisation des résultats toriques : L'article étend la compréhension de la cohomologie d'intersection au-delà des variétés toriques (complexité 0) vers la complexité 1, en utilisant une structure combinatoire riche (fans diviseurs).
• Outil de calcul effectif : La méthode proposée permet de calculer la cohomologie d'intersection de variétés singulières définies par des équations polynomiales sans avoir besoin de les désingulariser explicitement, ce qui est souvent impossible en pratique.
• Lien entre géométrie et arithmétique : Pour les hypersurfaces trinomiales, les résultats montrent comment les propriétés topologiques (Betti numbers) sont contrôlées par des données arithmétiques simples (PGCD des exposants).
• Rationalité et Cohomologie : La preuve que la nullité de la cohomologie impaire équivaut à la rationalité pour ces variétés offre un nouvel outil pour étudier la géométrie birationnelle des variétés à action de tore.

En résumé, ce papier fournit une "boîte à outils" complète pour analyser la topologie des variétés de complexité un, reliant la théorie des faisceaux pervers, la géométrie torique généralisée et l'algèbre commutative des équations définissant les variétés.