Vue d'ensemble
La forme de Dirichlet admissible sur le graphe de Heisenberg est pondérée : chaque arête porte un poids $a_q(s)$ encodant l'intensité locale d'admissibilité à la couche BFS $s$ pour le premier $q$. L'hypothèse [H-w] affirme que ces poids convergent vers une limite positive : $a_q(s) \to A > 0$ quand $q \to \infty$.
W1 démontre [H-w] en traçant son origine jusqu'à l'invariance de fibre des observables admissibles. Les observables $O = \mathrm{Im}\,\Pi$ sont invariantes sous la fibre de projection par définition. Cette invariance, combinée au taux d'universalité quantitatif de U1, force la stabilisation des poids.
Avant W1, le cadre Q5a comportait plusieurs hypothèses ouvertes. Après la démonstration de [H-w] par W1, les hypothèses restantes se réduisent à trois : [H1], [H-E1] et [C]. Les deux dernières sont ensuite traitées par Q5a-O2 et H2.
Contributions principales
- Démonstration de [H-w] : l'hypothèse sur les poids d'admissibilité est établie rigoureusement à partir des propriétés structurelles de la projection $\Pi$ et du théorème d'universalité U1.
- L'invariance de fibre comme source structurelle : l'observation clé est que les observables admissibles $O = \mathrm{Im}\,\Pi$ sont par construction invariantes sous la fibre. Cette invariance se propage aux poids de la forme de Dirichlet, empêchant leur effondrement vers zéro ou leur divergence.
- Borne quantitative depuis U1 : le taux explicite $\varepsilon(q) = O(q^{-1/2})$ de U1 transforme l'argument qualitatif d'invariance de fibre en un énoncé de convergence quantitatif avec contrôle explicite des erreurs.
- Réduction des hypothèses ouvertes : après W1, la liste des hypothèses de Q5a est réduite de quatre à trois éléments ouverts : [H1], [H-E1] et [C]. Cela représente un progrès mesurable dans la fermeture du cadre d'admissibilité.
La forme de Dirichlet admissible
La forme de Dirichlet encode la structure de diffusion sur le graphe de Heisenberg compatible avec l'admissibilité spectrale. Sa fonction de poids $a_q(s)$ mesure l'intensité de couplage effective à la distance BFS $s$ pour le premier $q$.
Si les poids ne se stabilisaient pas, deux pathologies surgiraient :
- Effondrement ($a_q(s) \to 0$) : la forme de Dirichlet dégénèrerait, perdant ses propriétés de diffusion et brisant le lien entre le graphe de Heisenberg discret et la géométrie continue de Carnot–Carathéodory.
- Divergence ($a_q(s) \to \infty$) : la forme ne définirait plus un opérateur normalisé, empêchant le passage à une limite spectrale bien définie.
[H-w] exclut les deux pathologies, garantissant que la forme de Dirichlet reste non dégénérée et bornée quand $q \to \infty$.
Position dans le programme
W1, avec U1, forme l'ossature analytique du cluster d'émergence métrique. Tandis que U1 contrôle la convergence des énergies d'empreinte, W1 contrôle la convergence des poids de la forme de Dirichlet. Ensemble, ils garantissent que les données spectrales discrètes sur les graphes de Heisenberg définissent une limite continue bien comportée.
Les hypothèses ouvertes restantes [H1], [H-E1] et [C] concernent différents aspects du cadre d'admissibilité : ellipticité, non-dégénérescence énergétique et compatibilité. Leur résolution (Q5a-O2, H2) complète le fondement rigoureux du cadre Q5a.
Référence
Jérôme Beau. Weight Stabilisation of the Admissible Dirichlet Form: Proof of Hypothesis [H-w] from Spectral Universality, 2026. doi:10.5281/zenodo.19886319