Heights on toric varieties for singular metrics: Global theory

Cet article développe une théorie des diviseurs adéliques toriques généralisant le cadre d'Yuan et Zhang, établissant que le nombre d'intersection arithmétique d'un diviseur torique adélique semi-positif s'exprime comme l'intégrale d'une fonction concave sur un ensemble convexe compact, ce qui permet de calculer les hauteurs des variétés toriques arithmétiques munies de métriques singulières.

L'essentiel

🌍 Le Grand Voyage des Nombres : Une Carte pour les Formes Mathématiques

Imaginez que vous êtes un explorateur mathématique. Votre mission est de mesurer la "complexité" de certaines formes géométriques très spéciales, appelées variétés toriques. Pour faire simple, imaginez ces formes comme des sculptures complexes faites de blocs de Lego, mais qui existent dans un monde où les règles de la géométrie se mélangent avec celles de l'arithmétique (les nombres entiers, les fractions, etc.).

L'auteur de ce papier, Gari Y. Peralta Alvarez, a développé une nouvelle boussole et une nouvelle carte pour mesurer ces sculptures, même lorsqu'elles sont abîmées, cassées ou "singulières" (c'est-à-dire qu'elles ont des coins pointus ou des trous).

Voici comment cela fonctionne, étape par étape :

1. Le Problème : Mesurer des Choses "Cassées" 🧱

Dans le monde classique des mathématiques, pour mesurer la taille ou la complexité d'une sculpture, on utilise des règles lisses et parfaites. Mais dans la réalité (et en mathématiques avancées), les objets sont souvent imparfaits. Ils ont des "cicatrices" ou des points où la surface devient rugueuse.

• L'analogie : Imaginez que vous essayez de mesurer le volume d'un château de sable. Si le château est parfait, c'est facile. Mais si le vent a érodé certaines tours et qu'il y a des trous, les règles classiques ne fonctionnent plus. Vous avez besoin d'une nouvelle méthode pour dire : "Même avec ces trous, combien de sable reste-t-il ?"

C'est ce que ce papier résout : il crée une méthode pour mesurer la complexité de ces formes mathématiques, même quand elles sont "cassées" par des métriques singulières (des règles de mesure qui deviennent infinies ou bizarres à certains endroits).

2. La Solution : Transformer la Géométrie en Cuisine 🍳

Le génie de cette recherche réside dans une astuce incroyable : transformer un problème de géométrie complexe en un problème de cuisine simple.

L'auteur utilise une technique appelée analyse convexe.

• L'analogie : Au lieu de regarder la sculpture 3D complexe, il la projette sur une table pour en faire un dessin en 2D (un polyèdre, comme une forme géométrique plate).
• Ensuite, au lieu de calculer des volumes compliqués, il remplit cette forme avec une fonction (une sorte de "météo" ou de "relief"). Imaginez que votre dessin 2D est un terrain, et que vous devez calculer la quantité de terre nécessaire pour le remplir jusqu'à un certain niveau.

Dans ce papier, l'auteur montre que la complexité mathématique (appelée hauteur) de la sculpture est exactement égale à l'aire sous cette courbe de "météo" sur votre dessin 2D.

3. La Nouvelle Carte : Le "Toit Global" 🏠

L'auteur introduit un concept clé : la fonction toit global (global roof function).

• L'analogie : Imaginez que votre forme mathématique est une maison. Traditionnellement, on ne pouvait mesurer la maison que si le toit était lisse et parfait. Ici, l'auteur dit : "Peu importe si le toit est en pente, s'il a des trous, ou s'il est fait de matériaux différents selon les saisons (les différents nombres premiers)".
• Il crée une carte unique qui résume tout le comportement de la maison, qu'elle soit vue de loin ou de près. Cette carte est construite en additionnant les petites pièces du puzzle venant de partout dans le monde des nombres (les "lieux" ou places en mathématiques).

4. Le Résultat Magique : Une Formule Simple ✨

Le résultat principal du papier est une formule qui dit :

"Pour connaître la complexité totale de cette forme, il suffit de faire la moyenne (l'intégrale) de notre fonction toit sur la forme géométrique."

C'est comme si, au lieu de compter chaque brique individuellement (ce qui est impossible car il y en a une infinité), on pouvait simplement regarder la forme globale et dire : "Ah, la complexité est exactement égale à cette aire."

5. Pourquoi c'est important ? 🚀

Avant ce travail, les mathématiciens ne pouvaient mesurer ces formes que si elles étaient "parfaites" (lisses).

• L'avancée : Grâce à cette nouvelle théorie, on peut maintenant étudier des objets très réels et très complexes qui apparaissent dans d'autres domaines, comme la théorie des nombres (pour résoudre des énigmes sur les équations) ou la physique théorique.
• L'exemple concret : Le papier montre des exemples où les anciennes méthodes échouaient (donnant des résultats infinis ou impossibles), mais où la nouvelle méthode donne un nombre précis et fini. C'est comme si on avait trouvé une échelle pour mesurer un nuage.

En Résumé 📝

Ce papier est comme un guide de survie pour les mathématiciens qui veulent explorer des territoires accidentés.

1. Il prend des formes géométriques complexes et "cassées".
2. Il les transforme en dessins simples (des polyèdres).
3. Il y dessine une "météo" (la fonction toit) qui résume tout.
4. Et enfin, il utilise une formule simple pour calculer la complexité totale de l'objet.

C'est une victoire de l'intuition : au lieu de se perdre dans des calculs infinis, on regarde la forme globale et on obtient la réponse. C'est de la géométrie, de l'analyse et de l'arithmétique qui dansent ensemble pour donner une réponse claire.

Résumé technique

Voici un résumé technique détaillé de l'article "Heights on Toric Varieties for Singular Metrics: Global Theory" de Gari Y. Peralta Alvarez.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie d'Arakelov, visant à mesurer la complexité arithmétique des variétés algébriques via des hauteurs et des nombres d'intersection arithmétiques.

• Limites des théories existantes : La théorie classique de Gillet et Soulé repose sur des métriques hermitiennes lisses. Cependant, de nombreux objets géométriques naturels (comme le fibré de Hodge ou les formes de Siegel-Jacobi) portent des métriques singulières (logarithmiques ou pires).
• Approches récentes :
  • Burgos, Philippon et Sombra ont développé une description convexe-analytique pour les variétés toriques projectives avec des métriques continues.
  • Yuan et Zhang ont introduit la théorie des diviseurs adéliques sur les variétés quasi-projectives, permettant de traiter des métriques singulières via des limites de modèles projectifs.
  • Burgos et Kramer (2024) ont étendu cela aux intersections arithmétiques avec des métriques très singulières en utilisant l'énergie relative.
• Le défi : Le groupe des diviseurs adéliques $\text{Div}(U/\mathbb{Z})$ est un objet abstrait et complexe (limites de suites de Cauchy de diviseurs sur des compactifications). Il est difficile d'y effectuer des calculs explicites, en particulier pour les variétés quasi-projectives avec des métriques singulières.

Objectif de l'article : Développer une version torique de la théorie des diviseurs adéliques de Yuan-Zhang. L'objectif est d'étendre les descriptions convexe-analytiques (connues pour le cas projectif lisse) au cadre quasi-projectif avec des métriques singulières, afin de permettre le calcul explicite des hauteurs et des nombres d'intersection.

2. Méthodologie

L'auteur construit un cadre théorique rigoureux en combinant la géométrie torique, l'analyse convexe et la théorie des diviseurs adéliques.

• Cadre Torique : L'étude se concentre sur un tore scindé $U_S$ sur un anneau d'entiers $S$-entiers. L'auteur considère les modèles projectifs toriques de cette variété.
• Faisceaux et Éventails Arithmétiques :
  • Introduction de la notion d'éventail arithmétique $\Sigma = (\tilde{\Sigma}_p)_p$, qui encode la géométrie d'une variété torique projective sur $\text{Spec}(\mathcal{O}_K)$ via ses fibres génériques et ses fibres spéciales (aux places finies).
  • Utilisation de la descente fpqc pour caractériser les diviseurs toriques et les morphismes propres entre modèles toriques en termes de fonctions de support et de fonctions affines par morceaux.
• Diviseurs Adéliques Toriques :
  • Définition du groupe $\text{Div}_T(U_S/\mathbb{Z})$ comme le complété du groupe des diviseurs modèles toriques par rapport à une topologie de frontière (boundary topology).
  • Utilisation de la tropicalisation pour traduire les fonctions de Green (métriques) en fonctions continues sur l'espace vectoriel réel $N_\mathbb{R}$.
• Outils Convexes :
  • Caractérisation des diviseurs semi-positifs et nef via des fonctions concaves (fonctions de toit $v$-adiques et globales).
  • Utilisation de la transformée de Legendre-Fenchel pour passer des fonctions de Green aux fonctions de toit.
  • Intégrales mixtes et convergence de suites de fonctions concaves.

3. Contributions Clés et Résultats Principaux

L'article établit des correspondances bijectives entre des objets géométriques (diviseurs adéliques) et des objets analytiques (fonctions concaves), permettant des calculs explicites.

A. Caractérisation Convexe-Analytique (Théorème 1)

Il existe une bijection entre le cône des diviseurs adéliques toriques semi-positifs sur $U_S$ et le cône des $v$-tuples de fonctions concaves fermées $(\vartheta_v)$ satisfaisant des conditions de régularité et de décroissance rapide :

1. Les fonctions sont définies sur un ensemble convexe compact $\Delta \subset M_\mathbb{R}$.
2. Pour presque toutes les places finies, la fonction est nulle (ou très proche de zéro).
3. Les fonctions satisfont des conditions de sup-convolution par rapport à des boules de rayon $\epsilon$.

B. Fonction de Toit Globale et Propriété Nef (Théorème 2)

Pour un diviseur semi-positif $D$, l'auteur définit la fonction de toit globale $\vartheta_D$ comme la somme pondérée des fonctions de toit $v$-adiques :
$$\vartheta_D = \sum_{v \in M(\mathbb{Q})} \delta_v \cdot \vartheta_{D,v}$$

• Résultat : Un diviseur semi-positif est nef si et seulement si sa fonction de toit globale $\vartheta_D$ est non-négative partout sur $\Delta_D$.
• Cela généralise le critère connu pour les variétés projectives lisses au cas singulier et quasi-projectif.

C. Formule Intégrale pour les Nombres d'Intersection (Théorème 3)

C'est le résultat central de l'article. Pour un diviseur semi-positif torique adélique $D$ dont la fonction de toit globale n'est pas identiquement $-\infty$, le nombre d'intersection arithmétique auto-intersection est donné par :
$$\widehat{\text{deg}}(D^{d+1}) = (d+1)! \int_{\Delta_D} \vartheta_D \, d\text{Vol}_M = (d+1)! \sum_{v \in M(\mathbb{Q})} \delta_v \int_{\Delta_D} \vartheta_{D,v} \, d\text{Vol}_M$$

• Ce nombre est fini si et seulement si $\vartheta_D \in L^1(\Delta_D)$.
• Cette formule permet de calculer les hauteurs de variétés toriques arithmétiques équipées de métriques singulières.

D. Généralisation et Exemples

L'auteur montre que sa théorie englobe et dépasse les travaux précédents :

• Compatibilité : Les nombres d'intersection coïncident avec ceux de Yuan-Zhang (cas nef) et de Burgos-Kramer (cas avec énergie relative).
• Nouveauté : La théorie permet de traiter des cas où les fonctions de toit $v$-adiques sont non bornées (singulières fortes) sur un ensemble infini de places, ce que les théories précédentes ne pouvaient pas gérer directement.
• Exemples constructifs :
  • Construction de diviseurs nef non-modèles (la fonction de toit globale est la somme d'une série infinie de termes non nuls).
  • Construction de diviseurs semi-positifs non-nefs, non-intégrables, mais ayant un nombre d'intersection fini (via des singularités contrôlées).
  • Exemple où l'inégalité de hauteur n'est pas une égalité pour la somme de diviseurs, illustrant la subtilité de la théorie.

4. Signification et Impact

• Unification : L'article unifie la géométrie d'Arakelov torique (Burgos-Philippon-Sombra) avec la théorie adélique générale (Yuan-Zhang) et les extensions récentes pour les métriques singulières (Burgos-Kramer).
• Calculabilité : En réduisant les problèmes géométriques complexes sur des variétés quasi-projectives à des problèmes d'analyse convexe sur des polyèdres (ou ensembles convexes), l'article fournit des outils puissants pour le calcul explicite de hauteurs et d'intersections.
• Applications Potentielles : Ces résultats sont cruciaux pour l'étude de conjectures arithmétiques (comme la conjecture de Bogomolov ou Mordell-Lang uniforme) où des exemples explicites de variétés quasi-projectives avec des métriques singulières sont nécessaires. La capacité à traiter des métriques "très singulières" (au-delà du logarithmique) ouvre la porte à de nouveaux exemples en géométrie diophantienne.
• Fondation pour la suite : Ce travail constitue la théorie globale, complétant l'article précédent de l'auteur qui traitait des cas locaux et géométriques.

En résumé, cet article établit un pont solide entre la géométrie torique, l'analyse convexe et la théorie adélique, permettant de quantifier précisément la complexité arithmétique de variétés toriques avec des métriques singulières, là où les méthodes classiques échouaient.