Vue d’ensemble
Cet article poursuit le programme d’admissibilité spectrale après O16. Alors que O16 identifiait l’observable correcte dans le régime exact de Weil comme une observable par paire au niveau des fibres, une question structurelle restait ouverte : pourquoi les paires conjuguées définissent-elles la bonne classe d’observables ?
O17 répond à cette question en montrant que les blocs de Weil conjugués $(c,q-c)$ portent la même information dynamique. Au niveau de la redondance brute de Gram–Schmidt, les deux blocs sont exactement identiques lorsque les supports initiaux coïncident, et structurellement équivalents dans le cas général.
La conséquence centrale est que la seule quantité structurellement robuste est l’égalité des exposants : \[ \delta_{q-c} = \delta_c. \] L’observable au niveau des fibres introduite dans O16 n’est donc pas seulement numériquement efficace, mais structurellement justifiée.
O17 montre aussi que le facteur \[ r(c,q)=\frac{\sigma_{q-c}(n)}{\sigma_c(n)} \] n’est pas un invariant intrinsèque de la représentation. Il provient de la normalisation interne du pipeline et n’a aucun effet sur les exposants asymptotiques.
Contributions centrales
- Identité de la dynamique conjuguée : les blocs de Weil conjugués portent une dynamique brute de redondance Gram–Schmidt identique sous condition d’égalité des supports, et structurellement équivalente en général.
- Égalité des exposants : $\rho_{q-c}=\overline{\rho_c}$ implique la relation structurelle exacte $\delta_{q-c}=\delta_c$.
- Normalisation clarifiée : le facteur $r(c,q)$ dépend des paramètres de bloc et de la normalisation du pipeline, non d’un invariant arithmétique intrinsèque.
- Statut quasi-jauge de $r$ : $r(c,q)$ varie avec la convention de mesure mais laisse inchangés les exposants asymptotiques.
- Observable au niveau des fibres justifiée : l’admissibilité se définit sur les fibres de Π, non sur les blocs individuels, de sorte que les paires conjuguées constituent la bonne classe d’observables.
- Requalification de O14–O15 : les articles précédents restent corrects au niveau bloc, mais les observables au niveau bloc ne capturent qu’une demi-fibre d’information.
Interprétation
O17 n’introduit pas une nouvelle loi de croissance. Il clarifie au contraire pourquoi l’observable introduite dans O16 est la bonne.
- O15 : les observables au niveau bloc ne peuvent pas retrouver l’exposant cible
- O16 : l’observable correcte est l’observable par paire conjuguée
- O17 : cette observable est imposée structurellement par Π et la dynamique conjuguée
Le déficit en $\delta$ observé auparavant se réinterprète donc comme une mesure d’une demi-fibre. Le problème n’était pas une défaillance de la dynamique, mais une mauvaise identification de la classe d’observables.
Lien avec le programme Cosmochrony
O17 achève la transition ouverte par O16, passant d’une observable par paire numériquement efficace à une observable structurellement dérivée. Il stabilise ainsi la hiérarchie des observables du programme d’admissibilité spectrale.
Le programme se lit désormais ainsi : O12–O13 (extraction exacte des blocs), O14 (mismatch d’observable), O15 (échec de dérivation au niveau bloc), O16 (observable par paire identifiée), O17 (observable par paire dérivée structurellement).
O17 ferme ainsi la lacune logique laissée par O16 : l’observable n’est plus seulement efficace, elle est désormais justifiée par la structure de la représentation et de la projection.
Résultat actuel et problème ouvert
O17 établit que l’exposant physiquement pertinent se définit au niveau des fibres, et que le seul invariant robuste pour les blocs conjugués est \[ \delta_{q-c}=\delta_c. \]
Une question principale reste toutefois ouverte : pourquoi la fibre minimale de Π est-elle réalisée précisément par la conjugaison \[ c \mapsto q-c ? \]
O17 montre que cette identification est structurellement cohérente et fortement étayée, mais une dérivation à partir des premiers principes de Π reste à établir.
Une direction secondaire consiste à construire une normalisation canonique de $\sigma$, éliminant la dépendance résiduelle aux paramètres de bloc $(b_1,b_2)$.
Références
Jérôme Beau. Fibre-Level Admissibility from Conjugate Weil Blocks: Structural Derivation of the Pair Observable.