Spanning trees, cycle-rooted spanning forests on discretizations of flat surfaces and analytic torsion

Cet article établit un lien entre l'expansion asymptotique du nombre d'arbres couvrants et de forêts couvrantes enracinées par cycles sur des discrétisations de surfaces plates, et les déterminants régularisés analytiquement, permettant ainsi de déduire des formules explicites pour les probabilités limites de laminations induites par ces structures et pour certaines observables topologiques associées.

L'essentiel

Imaginez que vous êtes un architecte ou un urbaniste qui doit étudier la structure d'une ville complexe, mais vous ne pouvez pas la voir d'un seul coup d'œil. Vous devez la modéliser en utilisant de petits blocs de construction, comme des Lego.

C'est exactement ce que fait Siarhei Finski dans ce papier, mais au lieu d'une ville, il étudie des surfaces géométriques (comme des tores, des cylindres ou des formes plus étranges avec des angles pointus) et des arbres qui les traversent.

Voici une explication simple de son travail, en utilisant des métaphores du quotidien :

1. Le problème : La ville infinie vs. la maquette en Lego

L'auteur s'intéresse à des surfaces mathématiques lisses et continues (comme une nappe étalée sur une table). Pour les étudier, il les "pixelise". Il les recouvre d'une grille de petits carrés (comme une image numérique qui grossit).

• La surface continue = La vraie ville, lisse et infinie.
• La grille (le "maillage") = La maquette en Lego. Plus les Lego sont petits (plus le nombre $n$ est grand), plus la maquette ressemble à la vraie ville.

Sur cette grille, il cherche à compter deux choses :

1. Les arbres couvrants (Spanning Trees) : Imaginez un réseau de routes qui relie tous les carrefours de la ville sans former de boucle (pas de rond-point). C'est le chemin le plus efficace pour relier tout le monde sans gaspiller de route.
2. Les forêts de cycles enracinés (CRSF) : C'est une version un peu plus "désordonnée" où l'on accepte qu'il y ait quelques boucles (ronds-points), mais chaque composante doit avoir exactement une boucle.

2. La magie des nombres : Du Lego à la réalité

Le défi principal est le suivant : Quand on a une grille très fine (des millions de petits carrés), le nombre de façons de construire ces "arbres" ou "forêts" devient astronomique. Comment relier ce nombre gigantesque à la forme réelle de la surface ?

Finski a découvert une formule de traduction. Il montre que si l'on prend le logarithme de ce nombre énorme (pour le rendre gérable) et qu'on retire les "bruits" liés à la taille des Lego (les termes qui explosent quand la grille devient fine), il reste un message caché.

Ce message caché est une propriété mathématique très profonde de la surface continue appelée l'analytic torsion (ou déterminant zêta-régularisé).

• L'analogie : C'est comme si vous pesiez une montagne de sable (la grille). Le poids total dépend de la taille des grains. Mais si vous soustrayez le poids du sable lui-même, il vous reste le poids de la forme de la montagne elle-même. Finski a trouvé comment soustraire le "poids du sable" pour révéler la "forme de la montagne".

3. Les angles et les cicatrices

La surface n'est pas toujours parfaite. Elle peut avoir des coins pointus (comme un triangle) ou des bords irréguliers.

• L'auteur montre que chaque fois qu'il y a un coin bizarre (un angle qui n'est pas droit), cela laisse une "cicatrice" mathématique dans le résultat final.
• Il a calculé exactement combien chaque type de coin (angle de 90°, 270°, etc.) contribue au résultat final. C'est comme si chaque type de brique Lego avait une petite taxe différente à payer pour s'assembler.

4. Les applications : Pourquoi est-ce utile ?

Ce travail n'est pas juste de la théorie pure. Il a des conséquences concrètes :

• La probabilité des boucles : Si vous prenez une forêt de cycles au hasard sur votre grille, quelle est la probabilité qu'elle forme une boucle qui fait le tour de la surface (comme une ceinture autour d'un cylindre) ? Finski donne une formule précise pour cette probabilité quand la grille devient infiniment fine.
• L'invariance conforme : C'est un concept un peu abstrait, mais imaginez que vous étirez votre surface comme un élastique (sans la déchirer). Finski montre que certaines propriétés de ces arbres et forêts restent inchangées, peu importe comment vous étirez la surface. C'est une forme de "super-pouvoir" mathématique qui lie la géométrie à la physique.

En résumé

Siarhei Finski a réussi à créer un dictionnaire entre deux mondes :

1. Le monde discret (les Lego, les grilles, les graphes, les nombres entiers).
2. Le monde continu (les surfaces lisses, la physique, les équations différentielles).

Il nous dit : "Si vous comptez toutes les façons de relier des points sur une grille très fine, et que vous faites le bon calcul de nettoyage, vous obtiendrez automatiquement une propriété fondamentale de la forme géométrique sous-jacente."

C'est comme si, en comptant les routes dans une maquette de Lego, on pouvait prédire la météo réelle de la ville qu'elle représente !

Résumé technique

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la probabilité géométrique et de la théorie spectrale des opérateurs. Le problème central est l'étude du comportement asymptotique du nombre d'arbres couvrants (spanning trees) et de la somme pondérée des forêts couvrantes à racines de cycles (Cycle-Rooted Spanning Forests - CRSF) sur des graphes discrets qui approximent une surface continue, lorsque le pas de discrétisation tend vers zéro.

Plus précisément, l'auteur considère :

• Une surface de demi-translation $(\Psi, g_{T\Psi})$ (surface plate avec des singularités coniques et des bords géodésiques par morceaux).
• Un fibré vectoriel unitaire plat $(F, h_F, \nabla_F)$ sur cette surface.
• Une famille de graphes $\Psi_n$ obtenus par discrétisation de $\Psi$ via un pavage par des carrés euclidiens (modèle de "pillowcase covers").
• Les déterminants régularisés par la fonction zêta (torsion analytique) associés aux laplaciens discrets $\Delta_{\Psi_n}^{F_n}$ et continus $\Delta_{\Psi}^F$.

L'objectif est de relier l'expansion asymptotique de $\log(\det' \Delta_{\Psi_n}^{F_n})$ à la torsion analytique continue $\log(\det' \Delta_{\Psi}^F)$, en identifiant les termes universels dépendant de la géométrie locale (angles coniques, coins du bord).

2. Méthodologie

La preuve repose sur une combinaison de techniques d'analyse spectrale, de théorie des graphes et d'analyse de Fourier.

A. Approximation et Discrétisation

L'auteur construit une famille de graphes $\Psi_n$ en divisant les tuiles du pavage de la surface en $n^2$ sous-carrés. Les fibrés vectoriels et les connexions sont transportés sur ces graphes via le transport parallèle le long des arêtes. Le laplacien discret $\Delta_{\Psi_n}^{F_n}$ est défini de manière à être auto-adjoint et positif.

B. Stratégie de Preuve : Décomposition Locale

La méthode principale consiste à comparer le déterminant global sur $\Psi_n$ à une somme de déterminants locaux sur des "modèles" élémentaires.

1. Recouvrement par des surfaces modèles : La surface $\Psi$ est recouverte par des ouverts $U_\alpha$ isomorphes à des modèles géométriques simples (carrés, angles $A_{k\pi/2}$, cônes $C_{k\pi}$).
2. Partition de l'unité : Une partition de l'unité subordonnée $\phi_\alpha$ est utilisée pour décomposer le laplacien global.
3. Formule de renormalisation : L'auteur introduit une fonction zêta régularisée $\zeta_{\Psi_n, ren}(s)$ qui soustrait les contributions locales. Il montre que cette fonction converge vers la fonction zêta continue $\zeta_\Psi(s)$ sur tout le plan complexe.

C. Outils Techniques Clés

• Loi de Weyl uniforme (Théorème 2.15) : L'auteur établit une borne inférieure linéaire uniforme sur les valeurs propres du laplacien discret, essentielle pour contrôler la convergence des séries de Dirichlet.
• Analyse de Fourier sur le réseau (Section 4) : Pour traiter les termes locaux (carrés), l'auteur utilise une analyse de Fourier discrète sur un réseau carré. Cela permet de calculer explicitement les termes dominants de l'expansion asymptotique du logarithme du déterminant, en faisant intervenir la constante de Catalan $G$.
• Extension de Friedrichs : Pour le cas continu, le laplacien sur une surface avec singularités coniques n'est pas essentiellement auto-adjoint. L'auteur choisit l'extension de Friedrichs, justifiée par le fait que les valeurs propres des laplaciens discrets convergent vers celles de cette extension spécifique.

3. Résultats Principaux

A. Expansion Asymptotique du Déterminant (Théorème 1.2)

Le résultat central est l'expansion asymptotique du logarithme du déterminant régularisé du laplacien discret. Pour $n \to \infty$, on a :
$$\log_{ren}(\det' \Delta_{\Psi_n}^{F_n}) - rk(F) \cdot C_{A,n} \to \log(\det' \Delta_{\Psi}^F) - \frac{\log(2)}{16} \cdot rk(F) \cdot \#Ang_{=\pi/2}(\Psi)$$
où :

• $\log_{ren}$ est une version renormalisée du logarithme du déterminant, soustrayant les termes divergents en $n^2$ (proportionnels à l'aire), $n$ (proportionnels au périmètre) et $\log(n)$.
• $C_{A,n}$ est une séquence de constantes universelles dépendant uniquement des ensembles d'angles coniques $\angle(Con(\Psi))$ et des angles du bord non droits $\angle(Ang_{\neq \pi/2}(\Psi))$.
• La limite est la torsion analytique continue, à une constante explicite près liée aux coins de $\pi/2$.

Ce résultat généralise les travaux antérieurs de Duplantier-David (pour les rectangles) et de Kenyon (pour les domaines simplement connexes) à des surfaces avec singularités coniques et bords complexes, munies de fibrés vectoriels non triviaux.

B. Applications aux CRSF et Mesures de Boucles

En combinant le théorème principal avec les résultats de Kassel-Kenyon, l'auteur obtient des interprétations probabilistes :

1. Convergence des observables topologiques (Théorème 1.8) : La limite de l'espérance d'une fonctionnelle pondérée par la monodromie sur les CRSF non contractibles converge vers la racine carrée de la torsion analytique divisée par une constante universelle.
2. Probabilité de laminations (Théorème 1.10) : L'article donne une formule explicite pour la limite de la probabilité qu'un CRSF induise une lamination donnée par ses cycles. Cette formule fait intervenir l'intégration sur la variété de représentation des fibrés plats, pondérée par la torsion analytique.

C. Invariance Conformelle et Comparaison

Le Théorème 1.6 établit que le rapport des déterminants régularisés de deux surfaces ayant même aire, même périmètre, mêmes angles et même dimension d'espaces de sections plates, converge vers le rapport de leurs torsions analytiques continues. Cela confirme l'invariance conforme de certaines quantités asymptotiques.

4. Contributions et Signification

• Généralisation Géométrique : L'article étend la théorie des arbres couvrants et des CRSF au-delà des domaines rectangulaires ou toriques lisses, vers des surfaces de demi-translation avec singularités coniques et bords non lisses.
• Lien Probabilité-Analyse : Il fournit un lien rigoureux et explicite entre des objets combinatoires probabilistes (arbres, forêts, mesures de boucles) et des invariants analytiques profonds (torsion analytique, déterminants de Laplaciens).
• Résolution de Problèmes Ouverts : Il répond partiellement et totalement à des questions ouvertes posées par Kenyon ([26], §8) concernant l'asymptotique des domaines multi-connexes et la relation avec la torsion analytique.
• Précision des Termes Universels : L'article identifie précisément comment les singularités géométriques (angles coniques, coins) contribuent aux termes constants de l'expansion asymptotique, via des modèles locaux (cônes, angles).
• Outils pour l'Analyse Spectrale Discrete : La preuve de la loi de Weyl uniforme et les bornes sur les puissances du laplacien discret constituent des résultats techniques importants pour l'étude de la convergence spectrale sur des géométries singulières.

En résumé, cet article établit une correspondance fondamentale entre la limite continue de modèles discrets probabilistes sur des surfaces plates et la géométrie spectrale analytique de ces surfaces, en tenant compte des singularités et des fibrés vectoriels.