Vue d’ensemble
Le papier Foundation établit que la fibre admissible \(F_n\) porte la représentation de Weil \(V_\rho\) du groupe de Heisenberg fini \(\mathrm{Heis}_3(\mathbb{Z}/q\mathbb{Z})\). Q5a aborde la question suivante : comment cette structure discrète converge vers une théorie continue lorsque \(q\to\infty\).
Le papier évite toute identification directe \(\mathbb{Z}/q\mathbb{Z}\to\mathbb{R}\). La limite est formulée dans \(\mathrm{Hilb}\) et les \(C^*\)-algèbres, via des plongements, des formes et des opérateurs.
Le résultat central est une convergence de Mosco conditionnelle des formes \(\mathcal{E}_q\) vers un opérateur limite \(L_\Pi=-A\partial_x^2\).
Q5a montre également que l’hypothèse \([H1]\) n’est pas nécessaire en général : dans le régime admissible, les profils sont confinés aux basses fréquences, où le plongement sinc est canonique.
Résultats principaux
- Limite Hilbert : \(C_q \to L^2(\mathbb{R})\)
- Convergence des générateurs : Weil → métaplectique
- Convergence de Mosco : \(\mathcal{E}_q \to \mathcal{E}\)
- Opérateur limite : \(L_\Pi=-A\partial_x^2\)
Statut des hypothèses
| Hypothèse | Statut |
|---|---|
| H1 | Résolue (basses fréquences) |
| H2 | Ouverte |
| H-E1 | Ouverte |
| C | Ouverte (cœur du problème) |
Interprétation
La limite continue n’est pas une densification de points, mais une convergence fonctionnelle des formes d’admissibilité.
Le continuum émerge de propriétés de coercivité et de compacité, non d’une structure géométrique préalable.
Position dans le programme
- Foundation : axiomes
- O-series : structure spectrale
- Q5a : convergence opératorielle
- Q5b : géométrie émergente
Problème ouvert
La preuve de la compacité spectrale (tightness) reste le verrou analytique final.
Reference
Jérôme Beau. Large-q Limit of the Admissible Fibre: Representational and Operator Convergence. Q5a of the Cosmochrony Spectral Geometry Programme, 2026.