A Ruelle-McMullen formula for the volume dimension of skew products in $\mathbb C^2$

Cet article établit une formule explicite de développement du second ordre pour la dimension de volume de l'ensemble de Julia de certains produits croisés holomorphes dans $\mathbb{C}^2$, généralisant ainsi les résultats classiques de Ruelle et McMullen sur les familles quadratiques et polynomiales.

L'essentiel

🌌 Le Titre : Comment mesurer la "taille" d'un chaos qui bouge ?

Imaginez que vous avez un objet mathématique très bizarre, un peu comme un flocon de neige fractal ou une tache d'encre qui s'étale de manière infiniment complexe. En mathématiques, on appelle cela un ensemble de Julia. C'est le résultat d'une formule répétée encore et encore.

Dans les années 80, un mathématicien nommé Ruelle a découvert quelque chose de fascinant : si vous changez très légèrement la formule de base (comme ajouter un tout petit peu de sucre dans une recette), la "taille" de ce flocon de neige change aussi. Il a même pu prédire exactement comment cette taille changeait pour les formules simples à une seule variable (comme sur une ligne droite).

Plus tard, McMullen a étendu cette idée à des formules un peu plus compliquées.

Mais ici, les auteurs (Bianchi et He) font un saut dans la quatrième dimension.
Ils ne travaillent plus sur une ligne (1D) ou un plan (2D), mais dans un espace à deux dimensions complexes (ce qui équivaut à 4 dimensions réelles !). C'est comme passer d'un dessin sur une feuille de papier à une sculpture en 3D qui bouge.

🧩 Le Problème : La règle ne fonctionne plus

Dans le monde simple (1D), on utilise une règle appelée dimension de Hausdorff pour mesurer la "taille" de ces objets fractals. C'est un peu comme demander : "Est-ce que c'est une ligne fine, une surface plate, ou un volume plein ?"

Mais dans le monde complexe (2D et plus), les objets ne sont pas "conformes" (ils ne gardent pas les angles, ils se déforment bizarrement). La vieille règle de Hausdorff devient inutilisable, un peu comme essayer de mesurer la circonférence d'un ballon avec une règle en bois rigide. Elle ne donne pas de sens.

La solution des auteurs : Ils utilisent une nouvelle règle qu'ils ont inventée dans un travail précédent, appelée la dimension de volume.

• L'analogie : Imaginez que vous essayez de mesurer la "quantité de matière" dans un nuage de fumée. La dimension de volume ne regarde pas juste la surface, elle tient compte de la façon dont la fumée s'étire et se comprime dans toutes les directions. C'est une mesure plus intelligente pour ces objets déformés.

🎢 L'Expérience : Le Skew Product (Le Tapis Roulant)

Les auteurs étudient une famille de formules spéciales appelées produits décalés (skew products).
Imaginez un tapis roulant (la première partie de la formule) qui fait tourner un objet, et sur ce tapis, il y a une machine (la deuxième partie) qui lance des balles.

• La première partie tourne simplement : $z \to z^d$.
• La deuxième partie lance des balles : $w \to w^d + \text{quelque chose}$.

Ils prennent cette machine et ils ajoutent un tout petit peu de "perturbation" (un petit $t$), comme si on changeait légèrement la vitesse du tapis ou la force du lanceur. Ils se demandent : "Si je change un tout petit peu la machine, comment la 'dimension de volume' de l'ensemble chaotique change-t-elle ?"

🔍 La Découverte : La Formule Magique

Le résultat principal de l'article est une formule précise. Ils montrent que si vous changez la machine de très peu (quand $t$ est proche de 0), la dimension de volume change de manière très prévisible :

1. Au début, rien ne bouge : La dimension ne change pas du tout pour un changement infinitésimal (c'est un minimum local). C'est comme pousser une balle au fond d'un bol : au tout début, elle ne monte pas.
2. Ensuite, ça monte en carré : La variation dépend du carré de la petite perturbation ($t^2$).
3. Le secret : La quantité exacte de cette variation dépend des coefficients de votre formule (les $c_k$). Plus vos coefficients sont "bruyants" ou complexes, plus la dimension de volume augmente vite.

L'analogie culinaire :
Imaginez que vous faites un gâteau (l'ensemble de Julia).

• La recette de base est parfaite et symétrique ($z^d, w^d$).
• Vous ajoutez une pincée de sel ($t$).
• Les auteurs vous disent : "Si vous ajoutez une pincée de sel, la texture du gâteau (sa dimension) ne change pas immédiatement. Mais si vous doublez la pincée, la texture change quatre fois plus vite, et cela dépend exactement de la qualité de votre sel (vos coefficients)."

🛠️ Comment ont-ils trouvé ça ? (La Méthode)

Pour résoudre ce casse-tête, ils ont utilisé une approche en trois étapes, un peu comme un détective :

1. La Pression (Le Thermomètre) : Ils utilisent un concept de physique mathématique appelé "pression topologique". C'est comme un thermomètre qui indique quand l'objet est "équilibré". La dimension de volume est le moment où ce thermomètre marque zéro.
2. La Déformation (Le Miroir) : Ils regardent comment l'objet se déforme quand on change la formule. Ils découvrent que cette déformation a une structure cachée très spéciale (ce qu'ils appellent un "coboundary virtuel"). C'est comme si le changement de forme était prévisible et pouvait être calculé en regardant ce qui se passe loin, dans les zones où l'objet s'échappe à l'infini.
3. Le Calcul Final : En regardant comment cette déformation s'accumule au fil du temps (comme des vagues qui s'ajoutent), ils arrivent à calculer exactement la variation de la dimension.

🎓 En Résumé

Cet article est une avancée majeure car il réussit à faire ce que personne n'avait fait avant : mesurer avec précision comment la "taille" d'un chaos complexe change quand on modifie légèrement les règles du jeu.

• Pourquoi c'est important ? Cela aide les mathématiciens à comprendre la stabilité des systèmes complexes (comme la météo ou les mouvements planétaires) dans des espaces multidimensionnels.
• Le message clé : Même dans le chaos le plus complexe, il y a une régularité cachée. Si vous changez les règles très légèrement, le chaos réagit de manière prévisible et mesurable, grâce à cette nouvelle "règle" (la dimension de volume) que les auteurs ont appliquée avec succès.

C'est comme si, après des années à essayer de mesurer un nuage avec une règle cassée, ils avaient enfin inventé un scanner 3D capable de dire exactement comment le nuage grossit quand on souffle dessus.

Résumé technique

Voici un résumé technique détaillé de l'article « A Ruelle-McMullen Formula for the Volume Dimension of Skew Products in C² » de Fabrizio Bianchi et Yan Mary He, rédigé en français.

1. Contexte et Problématique

Contexte historique :
Dans les années 1980, David Ruelle a étudié la variation de la dimension de Hausdorff des ensembles de Julia pour les familles holomorphes, établissant une expansion du second ordre pour la famille quadratique $f_c(z) = z^2 + c$ au voisinage de $c=0$. Plus tard, Curtis McMullen a généralisé ce résultat aux perturbations polynomiales de $z^d$ pour tout degré $d \ge 2$, obtenant une formule explicite pour la dérivée seconde de la dimension de Hausdorff.

Problème dans les dimensions supérieures :
Cet article s'intéresse à l'analogue de ce problème pour les produits décalés holomorphes (skew products) dans $\mathbb{C}^2$. Cependant, une difficulté majeure surgit : en dimension complexe supérieure à 1, les applications holomorphes ne sont pas conformes. Par conséquent, la dimension de Hausdorff classique n'est pas bien adaptée à la dynamique (elle ne capture pas la géométrie non conforme et son comportement dans l'espace des paramètres est mal compris).

Objectif :
Les auteurs étudient la variation de la dimension de volume (notée $VD$), une notion dynamique introduite dans leur travail antérieur [BH24]. Cette dimension est définie comme le zéro d'une fonction de pression naturelle et satisfait une formule de type Mañé-Manning reliant la dimension, l'entropie et les exposants de Lyapunov. Pour les applications hyperboliques, elle coïncide (à un facteur 2 près) avec la dimension de Hausdorff en dimension 1, mais intègre la géométrie non conforme en dimension supérieure.

Le but est de fournir une expansion explicite du second ordre de la dimension de volume de l'ensemble de Julia $J(f_t)$ pour une famille de produits décalés $f_t$ lorsque le paramètre de perturbation $t \to 0$.

2. Cadre Mathématique et Définitions

Famille d'applications :
Les auteurs considèrent une famille de produits décalés holomorphes de la forme :
$$f_t(z, w) = \left(z^d, w^d + t \sum_{k=1}^d c_k(z) w^{d-k}\right)$$
où $d \ge 2$ et les coefficients $c_k(z)$ sont des fonctions holomorphes définies au voisinage du disque unité fermé.

Hypothèses :

• On travaille dans une composante hyperbolique contenant l'application de référence $F_0(z, w) = (z^d, w^d)$.
• Les applications sont supposées verticalement expansives (expansion uniforme dans la direction $w$ près de l'ensemble de Julia).
• Les ensembles de Julia $J(f_t)$ varient continûment et sont topologiquement conjugués via des conjuguaisons respectant la structure de produit décalé.

3. Méthodologie et Preuve

La preuve suit la stratégie générale de McMullen, adaptée au cadre non conforme des produits décalés. Elle se décompose en plusieurs étapes clés :

A. Caractérisation par la Pression Topologique

La dimension de volume $\delta_t$ est caractérisée comme l'unique nombre réel positif tel que la pression topologique s'annule :
$$P(\delta_t \phi_t) = 0$$
où $\phi_t = -\log |\text{Jac } f_t|$ est le potentiel géométrique. L'objectif est de calculer la dérivée seconde $\ddot{\delta}_0$ en $t=0$.

B. Formule de la Dérivée Seconde

En utilisant la régularité de la pression pour les potentiels Hölder et le théorème des fonctions implicites, les auteurs expriment $\ddot{\delta}_0$ en fonction de la variance asymptotique de la déformation infinitésimale du potentiel géométrique $\dot{\phi}_0$ par rapport à la mesure d'entropie maximale $m_0$ :
$$\ddot{\delta}_0 = \frac{\text{Var}(\dot{\phi}_0, m_0)}{2 \log d}$$
(La dérivée première $\dot{\delta}_0$ est nulle, indiquant un minimum local).

C. Structure de Cobord Virtuel (Virtual Coboundary)

Une observation cruciale, inspirée de McMullen, est que la déformation infinitésimale $\dot{\phi}_0$ n'est pas une fonction Hölder arbitraire, mais un cobord virtuel.

• $\dot{\phi}_0$ est la trace sur l'ensemble de Julia d'une fonction définie sur le bassin d'attraction de l'infini.
• Plus précisément, $\dot{\phi}_0 = -g + g \circ F_0$, où $g = \Re(\partial_w v)$ et $v$ est la dérivée par rapport à $t$ de la conjugaison de Böttcher.
• Cette structure permet de relier la variance de $\dot{\phi}_0$ à l'énergie asymptotique de la fonction $g$ près de la frontière du bassin d'attraction.

D. Calcul de l'Énergie Asymptotique

Les auteurs montrent que la variance peut être calculée comme une limite d'intégrales sur des cercles $|w|=r$ lorsque $r \to 1^+$ :
$$\text{Var}(\dot{\phi}_0, m_0) \propto \lim_{r \to 1^+} \frac{1}{|\log(r-1)|} \int_{S^1} \int_{|w|=r} |g(z,w)|^2 \, d\text{Leb}(w) d\text{Leb}(z)$$
En résolvant explicitement l'équation fonctionnelle pour la déformation infinitésimale $v(z,w)$ (via une série de puissances impliquant les coefficients $c_k$), ils calculent cette énergie. Le calcul fait intervenir l'orthogonalité des termes monomiaux et le théorème ergodique de Birkhoff appliqué à la dynamique $z \mapsto z^d$.

4. Résultats Principaux

Le théorème principal (Théorème 1.1) établit l'expansion suivante pour la dimension de volume $VD_{f_t}(J(f_t))$ lorsque $t \to 0$ :

$$VD_{f_t}(J(f_t)) = \frac{1}{2} + \frac{|t|^2}{16 d^2 \log d} \int_{S^1} \sum_{k=1}^d k^2 |c_k(z)|^2 \, d\text{Leb}_1(z) + O(|t|^3)$$

Interprétation des termes :

• Le terme constant $1/2$correspond à la dimension de volume de l'application non perturbée$(z^d, w^d)$.
• Le terme quadratique en $|t|^2$ est strictement positif (sauf si tous les $c_k$ sont nuls), ce qui implique que la fonction de dimension de volume possède un minimum local strict à l'application monomiale.
• Le coefficient dépend de la somme pondérée des carrés des modules des coefficients de perturbation $c_k(z)$, où le poids $k^2$ reflète l'influence de l'ordre du terme de perturbation.

5. Signification et Contributions

1. Extension aux dimensions supérieures : C'est la première formule explicite de type Ruelle-McMullen pour des systèmes holomorphes en dimension supérieure à 1, où la géométrie est non conforme.
2. Validation de la dimension de volume : Ce résultat confirme que la dimension de volume est un invariant dynamique robuste et bien comporté dans les familles de produits décalés, se comportant de manière analogue à la dimension de Hausdorff en dimension 1.
3. Minimisation de la dimension : Comme dans le cas unidimensionnel, l'application monomiale $(z^d, w^d)$ minimise localement la dimension de volume parmi les perturbations de cette forme.
4. Méthodologie : L'article fournit un cadre technique pour relier la déformation infinitésimale des coordonnées de Böttcher à la variation des invariants thermodynamiques (pression, variance) dans un contexte de produits décalés, ouvrant la voie à d'autres études sur la stabilité des dimensions dans les systèmes complexes.

En résumé, cet article réussit à transposer des résultats profonds de la dynamique complexe unidimensionnelle au domaine plus complexe et non conforme de $\mathbb{C}^2$, en introduisant et en exploitant la notion de dimension de volume comme outil central.