Vue d'ensemble
Q5b demande quelles conclusions géométriques découlent de la structure en couches du parcours en largeur (BFS) d'un groupe de Heisenberg fini fourni, et lesquelles exigent des hypothèses supplémentaires. Son résultat structurel tient seul : les couches BFS convergent vers une géométrie de Carnot de dimension homogène quatre. Ses résultats métriques sont conditionnels.
Q5a ne dérive pas d'opérateur limite spatial : les formes d'admissibilité publiées convergent vers la forme nulle sur la filtration canonique. L'entrée spatiale de Q5b est donc l'hypothèse explicite et non établie [H-L]. L'identification de cet opérateur à un multiple du secteur cinétique de l'opérateur positif $-\Delta_H$ est l'hypothèse de relèvement [H-lift], qui reste ouverte.
Contributions principales
- Convergence de Carnot (structurelle) : sur les boules de rayon $n \ll \sqrt q$, où elles coïncident avec celles du groupe de Heisenberg entier, les couches BFS de $\mathrm{Heis}_3(\mathbb{Z}/q\mathbb{Z})$ convergent au sens de Gromov–Hausdorff vers le feuilletage par sphères d'une métrique de Carnot–Carathéodory sous-finslérienne sur $\mathrm{Heis}_3(\mathbb{R})$ (Pansu, Bass–Guivarc'h). La dimension homogène quatre donne à la limite la croissance de volume et la décroissance du noyau de la chaleur d'un espace de dimension quatre.
- Extraction de la métrique (conditionnelle à [H-L] et [H-lift]) : l'opérateur effectif $-A_\tau\partial_\tau^2 + A_H\Delta_H$ sur $\mathbb{R}_\tau \times \mathrm{Heis}_3(\mathbb{R})$ a la co-métrique $\mathrm{diag}(-A_\tau, A_H, A_H, 0)$ dans le repère invariant à gauche. Son rang est trois.
- Signature (conditionnelle aussi à [H-hyp]) : l'hypothèse d'hyperbolicité, appliquée au secteur indépendant de la variable centrale, donne la signature $(-,+,+)$ sur le bloc non dégénéré avec $\tau$ de genre temps ; une extension $\mathrm{diag}(-A_\tau, A_H, A_H, A_z)$ avec $A_z > 0$ serait lorentzienne.
- Conventions cohérentes : la loi de groupe, les champs invariants à gauche $\tilde X = \partial_x + \tfrac{y}{2}\partial_z$, $\tilde Y = \partial_y - \tfrac{x}{2}\partial_z$, le commutateur $[\tilde X, \tilde Y] = -\tilde Z$, la représentation de Schrödinger et la convention de symbole sont énoncés de façon à s'accorder entre eux.
Stratification BFS et espace-temps
L'espace émergent est de dimension quatre en deux sens distincts que Q5b tient séparés : comme variété $\mathbb{R}_\tau \times \mathrm{Heis}_3(\mathbb{R})$, où $\tau$ est l'indice d'ordre projectif, et par la dimension homogène de son facteur spatial, qui vient des poids de la stratification de Carnot.
Ce qui n'est pas encore émergent, c'est la métrique dans la direction centrale $\tilde Z$. Le sous-laplacien n'a pas de partie d'ordre un et son symbole principal est de rang deux ; aucune correction d'ordre inférieur ne remplit donc la case centrale (Q8). Une extension de rang plein exige un nouvel opérateur comportant un terme $\tilde Z^2$ de degré homogène quatre, qui porte une échelle de longueur.
Position dans le programme
- Q9 : donne des conditions suffisantes [K] et [R] pour une limite de Mosco cinétique ; il ne décharge pas [H-lift].
- Q7 : énonce les exigences qu'un pont équivariant vers une cible positive de rang trois fournie devrait remplir ; le symbole de rang deux de Q5b ne peut pas être cette cible.
- Q8 : le commutateur ne fournit aucun coefficient central ; l'isotropie entre directions horizontales et centrale sélectionne une échelle de longueur ; l'invariance laisse libre la valeur commune.
- Q10 : borne le rapport $A_H/A_Z$ sous des entrées nommées et ne dérive aucune valeur.
- Q11 : montre que l'invariance $\mathrm{SU}(2)$ spatiale laisse $A_\tau$ indépendant des coefficients spatiaux ; aucune valeur de $A_\tau$ n'est établie.
- Q12 : son théorème de Yang–Mills à base fixée ne dépend pas de Q5b ; seule son interprétation sur la base émergente utilise la géométrie de Q5b sous [H-L], [H-lift] et une extension de rang quatre fournie.
Perspectives ouvertes
- Q5b-O1 : dériver [H-lift], par exemple par la décomposition de Plancherel.
- Q5b-O2 : construire une extension de rang plein, qui exige un nouvel opérateur et une échelle de longueur.
- Q5b-O3 : identifier $A_\tau$ et $A_H$ à partir des données d'admissibilité ; aucune valeur n'est établie.
- Q5 : établir [H-L], ou la remplacer.
Référence
Jérôme Beau. Toward Four-Dimensional Lorentzian Geometry from BFS Shell Stratification, 2026. doi:10.5281/zenodo.19686700