Regularity of the volume function

Cet article démontre la régularité optimale $C^{1,1}$ de la fonction volume sur le cône big d'une variété projective et étudie son comportement régulier le long de segments se déplaçant dans des directions amples.

L'essentiel

📦 Le Volume des Formes Géométriques : Une Histoire de Lissage et de Limites

Imaginez que vous êtes un architecte travaillant dans un monde où les bâtiments ne sont pas faits de briques, mais de "poussière d'étoiles" mathématique. Votre travail consiste à mesurer le volume de ces formes invisibles.

Dans ce papier, les auteurs étudient une fonction très spéciale appelée fonction de volume. Cette fonction vous dit "combien il y a de matière" dans une forme géométrique complexe (appelée diviseur ou classe) sur une variété projective (une sorte de terrain de jeu géométrique très sophistiqué).

Leur question principale est simple : Cette fonction de volume est-elle "lisse" ?

Pour comprendre ce que signifie "lisse", imaginez que vous tracez le graphique de cette fonction sur un papier :

• Est-ce une ligne droite parfaite ?
• Est-ce une courbe douce comme une colline ?
• Ou est-ce une montagne avec des pics, des creux et des angles vifs ?

Les mathématiciens utilisent des termes techniques pour décrire cette douceur :

• C1 : La courbe est continue et sans coins (on peut tracer la tangente partout).
• C1,1 : La courbe est lisse, et sa pente change de manière contrôlée (pas de changements brusques de direction, même si la courbure peut sauter).
• C2 : La courbe est si lisse que sa courbure elle-même est continue.

---

🏔️ Les Découvertes Principales

1. La Révélation : C'est "Presque Parfait" (Théorème 1.1)

Les auteurs prouvent que, dans la zone où le volume est positif (ce qu'ils appellent le "cône des gros volumes"), la fonction de volume est C1,1.

L'analogie :
Imaginez que vous marchez sur une colline de neige.

• Avant cette découverte, on savait que la pente de la colline ne changeait pas de façon chaotique (c'était "Lipschitz").
• On savait aussi qu'elle n'était pas parfaitement lisse partout (pas de C2).
• Ce que Cao et Tosatti ont prouvé : La colline est comme une surface de glace parfaitement polie, sauf que si vous regardez très près, vous pouvez voir de minuscules micro-fissures dans la glace. La pente est continue, mais la façon dont la pente change (la courbure) peut avoir des sauts soudains, mais ces sauts sont limités et ne deviennent jamais infinis. C'est le meilleur niveau de douceur possible pour ce type de fonction.

Ils ont utilisé deux méthodes pour le prouver :

1. La méthode de la concavité : Ils ont montré que si vous prenez la racine n-ième du volume, cela ressemble à une cuvette de bol inversé (concave). Les mathématiciens savent que ces formes ont des propriétés de lissage très fortes.
2. La méthode élémentaire : Ils ont utilisé une astuce logique simple : si une fonction grandit toujours quand on avance dans une direction et qu'elle est "homogène" (elle grossit de façon prévisible), alors elle ne peut pas faire de sauts brusques.

2. La Frontière : Le Bord du Monde (Théorème 1.2)

Que se passe-t-il quand on arrive au bord de cette zone "grosse" ? Quand le volume devient zéro ?

L'analogie :
Imaginez que vous marchez vers le bord d'un plateau. Une fois que vous sortez du plateau, vous tombez dans le vide (le volume devient 0).
Les auteurs montrent que même au bord, la fonction reste "lisse" dans le sens où elle ne fait pas de sauts brusques (elle est continue et Lipschitz). Mais attention : elle n'est pas lisse comme une colline. Au bord, elle peut former un angle vif, comme le coin d'un cube. Vous ne pouvez pas tracer une tangente unique à ce point précis.

3. Le Cas Spécial : Les Chemins Droits (Théorème 1.4)

Les auteurs se sont demandé : "Et si on marchait tout droit dans une direction précise ?"

Ils ont découvert quelque chose de fascinant :

• Si vous marchez vers une direction où le volume augmente (en ajoutant de la matière), la fonction devient plus lisse (C1,1). C'est comme si la colline s'aplanissait sous vos pieds.
• Mais, si vous marchez vers une direction où le volume diminue (en enlevant de la matière), la fonction peut devenir très rugueuse.

L'analogie du "Chemin de la Mort" :
Imaginez que vous glissez sur une planche de surf.

• Si vous glissez vers le haut de la vague (ajouter de la matière), la surface est lisse et prévisible.
• Si vous glissez vers le bas, vers le point où la vague s'arrête (le volume devient nul), la surface peut devenir une cascade de rochers. La fonction n'est plus lisse, elle peut avoir des pointes infiniment fines.

C'est ici que les auteurs construisent un exemple concret (un "monstre" mathématique) où, si vous essayez de calculer la courbure de cette fonction en enlevant de la matière, vous obtenez un résultat qui ne cesse pas de changer de façon erratique.

---

💡 Pourquoi est-ce important ?

En termes simples, les mathématiciens aiment savoir à quel point leurs formules sont "prévisibles".

• Si une fonction est C2, on peut utiliser toutes les puissantes machines de calcul (comme les dérivées secondes) pour prédire son comportement.
• Si elle n'est que C1,1, on doit faire plus attention : on sait qu'elle ne va pas exploser, mais on ne peut pas toujours utiliser les outils les plus fins.

Cao et Tosatti nous disent : "Ne vous inquiétez pas, la fonction de volume est aussi lisse qu'on puisse l'espérer dans la plupart des cas. Elle a des limites, mais ces limites sont connues et contrôlées."

Cela aide les géomètres à mieux comprendre la structure de l'espace, un peu comme un cartographe qui sait exactement où se trouvent les falaises et où le terrain est plat, ce qui est crucial pour naviguer dans le monde complexe de la géométrie algébrique.

En résumé

Cet article est une carte de précision qui nous dit :

1. À l'intérieur de la zone de volume positif, la fonction est lisse mais avec des micro-sauts de courbure (C1,1).
2. Au bord, elle est continue mais peut avoir des coins.
3. Si on enlève de la matière, la fonction peut devenir très rugueuse, mais si on en ajoute, elle reste lisse.

C'est une victoire pour la compréhension de la "texture" de l'espace mathématique.

Résumé technique

Voici un résumé technique détaillé de l'article « REGULARITY OF THE VOLUME FUNCTION » (Régularité de la fonction volume) par Junyu Cao et Valentino Tosatti.

1. Problématique et Contexte

L'article s'intéresse à la régularité de la fonction volume, notée $\text{Vol}$, définie sur le cône des classes big (ou « gros ») d'une variété projective ou kählérienne compacte $X$.

• Définition : Pour un diviseur cartier $D$, le volume est défini par la limite supérieure :
  $$\text{Vol}(D) := \limsup_{m\to+\infty} \frac{n! \cdot h^0(X, mD)}{m^n}$$
  Cette fonction s'étend naturellement aux classes de cohomologie réelles $H^{1,1}(X, \mathbb{R})$.
• État de l'art :
  • Il est établi que $\text{Vol}$ est localement lipschitzienne sur tout l'espace $N^1(X, \mathbb{R})$.
  • Sur l'intérieur du cône big ($B_X$), la fonction $\text{Vol}^{1/n}$ est concave, ce qui implique que $\text{Vol}$ est localement lipschitzienne.
  • Des travaux antérieurs (Boucksom, Favre, Jonsson, Lazarsfeld, Mustaţă, Witt Nyström) ont prouvé que $\text{Vol}$ est de classe $C^1$ à l'intérieur du cône big (sous certaines conjectures comme celle de BDPP pour le cas kählérien général).
  • La régularité supérieure ($C^2$) échoue en général : un exemple classique (éclatement de $\mathbb{P}^2$ en un point) montre que le volume peut être de classe $C^{1,1}$ mais pas $C^2$ (le Hessien est borné mais discontinu).
• Question centrale : Quelle est la régularité optimale de la fonction volume à l'intérieur du cône big ? Est-elle globalement de classe $C^{1,1}$ ? Que se passe-t-il sur les segments de la forme $\alpha + t\omega$ (où $\omega$ est une classe de Kähler) ?

2. Méthodologie

Les auteurs utilisent une combinaison d'outils d'analyse géométrique, de théorie des intersections positives et d'approximation de Fujita.

• Formule du gradient : Ils s'appuient crucialement sur la formule connue pour la dérivée du volume (valable sous la conjecture BDPP) :
  $$\frac{d}{dt}\bigg|_{t=0} \text{Vol}(\alpha + t\beta) = n \beta \cdot \langle \alpha^{n-1} \rangle$$
  où $\langle \cdot \rangle$ désigne le produit d'intersection positif.
• Concavité et Approximation : Pour la première preuve de leur résultat principal, ils utilisent la concavité de la fonction $\alpha \mapsto (\omega \cdot \langle \alpha^{n-1} \rangle)^{1/(n-1)}$ (démontrée via l'approximation de Fujita et les inégalités de Khovanskii-Teissier).
• Lemme de régularité abstraite : Pour la seconde preuve, ils établissent un lemme général sur les fonctions définies sur un cône convexe, homogènes et croissantes, montrant que ces propriétés impliquent la régularité lipschitzienne locale.
• Construction de contre-exemples : Pour étudier la régularité le long des segments, ils utilisent une construction de fibré projectif sur une hypersurface de $(\mathbb{P}^1)^4$, en s'inspirant d'exemples précédents (Filip, Lesieutre, Tosatti) où la régularité échoue au bord du cône big.

3. Résultats Principaux

A. Régularité $C^{1,1}$ optimale à l'intérieur du cône big

Théorème 1.1 : Soit $X$ une variété projective (ou kählérienne satisfaisant la conjecture BDPP). Alors la fonction volume $\text{Vol}$ est de classe $C^{1,1}_{\text{loc}}$ à l'intérieur du cône big $B_X$.

• Signification : Cela signifie que le gradient de $\text{Vol}$ est localement lipschitzien. C'est la régularité optimale possible, car des exemples montrent que $\text{Vol}$ n'est pas nécessairement $C^2$.
• Conséquence supplémentaire (Remarque 2.2) : Grâce au théorème d'Alexandrov sur les fonctions concaves, les auteurs déduisent que $\text{Vol}$ est trois fois différentiable presque partout (au sens de Lebesgue) sur $B_X$.

B. Régularité Lipschitzienne sur tout l'espace

Théorème 1.2 : Sous les mêmes hypothèses, $\text{Vol}$ est localement lipschitzienne sur tout l'espace $H^{1,1}(X, \mathbb{R})$.

• Difficulté : Ce résultat n'est pas trivial aux points de la frontière $\partial B_X$, car la concavité de $\text{Vol}^{1/n}$ ne s'étend pas à tout l'espace (elle n'est définie que sur $B_X$). La preuve utilise la continuité de $\text{Vol}$ et la borne uniforme du gradient à l'intérieur du cône pour contrôler la croissance vers la frontière.

C. Régularité le long des segments

Théorème 1.4 : Soit $\alpha \in B_X$ et $\omega$ une classe de Kähler. La fonction $t \mapsto \text{Vol}(\alpha + t\omega)$ est de classe $C^{1,1}$ sur $[0, 1]$.

• Optimalité : Il existe des exemples où cette fonction n'est pas de classe $C^{2,\gamma}$ pour aucun $\gamma > 0$.
• Contraste avec le mouvement vers l'intérieur : La remarque 1.5 et la remarque 3.2 soulignent une différence fondamentale. Si l'on considère $t \mapsto \text{Vol}(\alpha - t\omega)$ (mouvement vers l'intérieur du cône), la fonction semble être beaucoup plus régulière (potentiellement $C^\infty$ ou analytique réelle), ce qui contraste avec le comportement moins régulier lors du mouvement vers le bord ($\alpha + t\omega$).

4. Contributions Clés

1. Résolution d'une question ouverte : La réponse affirmative à la question de la régularité optimale ($C^{1,1}$) posée dans la littérature récente (notamment [12]).
2. Deux preuves distinctes :
   • Une preuve géométrique basée sur la concavité et les inégalités de Khovanskii-Teissier.
   • Une preuve analytique plus élémentaire basée sur les propriétés d'homogénéité et de monotonie, applicable à des fonctions abstraites sur des cônes convexes.
3. Extension aux variétés kählériennes : Les résultats sont formulés pour les variétés kählériennes sous réserve de la conjecture BDPP, généralisant ainsi les résultats antérieurs limités aux variétés projectives.
4. Analyse fine des segments : La distinction précise entre la régularité le long des rayons entrants et sortants, confirmant que la perte de régularité ($C^{1,1}$ vs $C^2$) se produit spécifiquement lorsque l'on s'approche du bord du cône big.

5. Importance et Perspectives

Ce travail consolide la compréhension de la géométrie du cône big et des invariants asymptotiques des fibrés en droites.

• Impact sur la géométrie birationnelle : La régularité $C^{1,1}$ est cruciale pour l'analyse variationnelle des problèmes liés au volume, notamment dans l'étude des modèles minimaux et des applications pluricanoniques.
• Limites et conjectures : Les auteurs soulignent que la régularité $C^\infty$ ou analytique par morceaux (décomposition en chambres) reste une conjecture forte (Conjecture 2.18 de [9]), bien que leur preuve établisse une différentiabilité infinie presque partout.
• Généralisation : Le lemme abstrait (Proposition 2.3) pourrait avoir des applications au-delà de la géométrie algébrique, pour toute fonction définie sur un cône convexe possédant des propriétés d'homogénéité et de croissance.

En résumé, Cao et Tosatti établissent que la fonction volume est aussi régulière que possible compte tenu des contre-exemples connus, confirmant qu'elle est de classe $C^{1,1}$ à l'intérieur du cône big et localement lipschitzienne partout, tout en caractérisant précisément les limites de cette régularité le long de certaines trajectoires.