Vue d'ensemble
Cet article prolonge le programme d'admissibilité spectrale après O22. Alors que O22 a démontré que la saturation admissible doit se produire sur une coquille BFS, O23 examine le statut de la valeur spécifique 3 du seuil \(\Sigma_c(n_3)\).
Le résultat central de O23 est un théorème conditionnel de dimension adjointe (théorème 3.1) : si le secteur neutre est porté par une représentation unitaire irréductible de dimension deux \(V_\rho \cong \mathbb{C}^2\) — une entrée fournie — alors son secteur de trace nulle est \(\mathfrak{su}(2)\cong \mathrm{Im}\,\mathbb{H}\), de dimension réelle 3.
Le papier prouve aussi un résultat négatif sur la voie de comptage naïve : l'ensemble générateur neutre \(\{\pm i, \pm j\}\) de \(Q_8\) n'engendre que deux axes de \(\mathrm{Im}\,\mathbb{H}\), de sorte que le comptage de générateurs ne peut pas produire la valeur 3.
Deux ingrédients restent ouverts : la sélection du porteur lui-même (pourquoi le secteur neutre devrait être porté par une représentation unitaire irréductible de dimension deux), et l'identification du seuil observable \(\Sigma_c\) avec la dimension du secteur de trace nulle. En conséquence, \(\Sigma_c(n_3)=3\) entre dans la chaîne comme règle de sélection fournie, non comme constante dérivée.
Contributions principales
- Théorème conditionnel de dimension adjointe (théorème 3.1) : si le secteur neutre est porté par une représentation unitaire irréductible de dimension deux \[ V_\rho \cong \mathbb{C}^2, \] alors son secteur de trace nulle est \[ \mathfrak{su}(2)\cong \mathrm{Im}\,\mathbb{H}, \] de dimension réelle 3. Le porteur est une entrée fournie, non dérivée.
- Échec du comptage de générateurs : l'ensemble générateur neutre \(\{\pm i,\pm j\}\) de \(Q_8\) n'engendre que deux axes de \(\mathrm{Im}\,\mathbb{H}\) ; compter les générateurs neutres ne peut pas donner la valeur 3.
- Stabilisateur exact d'un niveau de filtration (théorème 4.2, v2.1) : les vecteurs d'empreinte de la filtration O12 déposée sont des modes de Fourier purs, donc tout niveau propre est un sous-espace de coordonnées dont le support de Weyl est une seule droite \(L\). Son stabilisateur exact dans l'image de Weil de \(\mathrm{SL}(2,\mathbb{Z}/q\mathbb{Z})\) vaut \[ \mathrm{Stab}(W_{<n}) = U \rtimes M_n \subseteq B(L), \qquad M_n=\{s\in\mathbb{F}_q^{\times} : sF_n=F_n\}, \] pour tout premier impair, tout bloc générique et tout niveau propre non nul.
- Groupes binaires polyédraux exceptionnels exclus (corollaire 4.3, v2.1) : \(B(L)\) est métacyclique, donc aucun de \(2T\), \(2O\), \(2I\) n'est sélectionné — y compris aux premiers où ils existent réellement dans le groupe ambiant, comme \(2I\) pour \(q\equiv\pm1\pmod 5\).
- Mais un porteur spinoriel n'est pas exclu (proposition 4.5, v2.1) : les groupes dicycliques sont métacycliques eux aussi. À des niveaux génériques explicites à \(q=53\) et \(q=101\), le stabilisateur est \(\mathrm{Dic}_q\), et le niveau se décompose sans multiplicité en un caractère plus quatre irréductibles bidimensionnelles inéquivalentes, dont exactement deux sont fidèles et à valeurs dans \(\mathrm{SU}(2)\). La filtration fournit donc un contenu spinoriel authentique.
- L'obstruction est la sélection, pas l'existence (v2.1) : le pont du porteur se scinde en deux étapes ouvertes. Sélectionner quel premier, quel bloc et quelle profondeur la projection désigne dans la filtration générique n'est traité par aucun résultat. À l'intérieur d'un niveau déjà connu dicyclique, choisir entre les deux porteurs admissibles dispose d'un candidat structurellement motivé — l'unique membre impair de \(\{c_\Sigma, q-c_\Sigma\}\) — qui réussit sur les 17 instances typées auditées, réparties sur 13 sous-espaces distincts, une étape restant observée et non démontrée.
- Sélection du porteur ouverte : aucun résultat du programme ne dérive actuellement le choix du porteur unitaire irréductible de dimension deux à partir des seules contraintes d'admissibilité.
- Identification ouverte : l'identification du seuil observable \(\Sigma_c\) avec la dimension du secteur de trace nulle du porteur n'est pas prouvée ; c'est un pont ouvert.
- Statut du seuil : \(\Sigma_c(n_3)=3\) est une règle de sélection fournie dans la chaîne d'admissibilité spectrale, cohérente avec — mais non dérivée du — théorème conditionnel de dimension adjointe.
Interprétation
O23 clarifie le statut logique du nombre 3 dans le programme.
- O21 : le seuil \(\Sigma_c(n_3)=3\) est utilisé
- O23 : le seuil \(\Sigma_c(n_3)=3\) reçoit une lecture algébrique conditionnelle
Sous l'hypothèse fournie du porteur spinoriel, le nombre 3 est la dimension du secteur de trace nulle \(\mathfrak{su}(2)\cong\mathrm{Im}\,\mathbb{H}\) du porteur. C'est un véritable théorème — mais il est conditionnel à une entrée que le cadre ne sélectionne pas actuellement, et l'identification du seuil observable avec cette dimension est elle-même un pont ouvert.
Autrement dit, le programme dispose :
- d'un théorème conditionnel prouvé (porteur \(\Rightarrow\) trois directions neutres)
- d'un no-go prouvé (le comptage de générateurs ne peut pas donner 3)
- d'une règle de sélection fournie (\(\Sigma_c(n_3)=3\)) en attente de la sélection du porteur et de l'identification
Relation au programme Cosmochrony
O23 occupe une position clarificatrice dans la série O. Après la construction intrinsèque du rang de saturation dans O21 et la dérivation du verrouillage sur coquille dans O22, O23 délimite exactement ce qui est prouvé et ce qui est fourni au sujet de la tridimensionnalité du secteur stable.
La séquence se lit désormais ainsi : O16 (observable de paire), O17 (dynamique de paire), O18 (structure de fibre), O19 (normalisation canonique), O20 (critère de persistance), O21 (rang intrinsèque de saturation), O22 (projection locking et condition de coquille), O23 (statut conditionnel de la dimension du seuil).
Après O23, le seuil observable est intrinsèque et réalisé sur une coquille, et sa valeur 3 est comprise conditionnellement : elle coïncide avec la dimension adjointe d'un porteur spinoriel fourni, tandis que la sélection du porteur et l'identification de \(\Sigma_c\) avec cette dimension restent ouvertes.
Résultat actuel et directions ouvertes
O23 établit que, sur un porteur unitaire irréductible de dimension deux fourni, le secteur neutre de trace nulle est \[ \mathrm{Im}\,\mathbb{H}, \] de dimension 3. La valeur du seuil \[ \Sigma_c(n_3)=3 \] reste une règle de sélection fournie : le problème du seuil est compris conditionnellement, non structurellement clos.
Les directions restantes incluent :
- Sélection du porteur : dériver des contraintes d'admissibilité la raison pour laquelle le secteur neutre devrait être porté par une représentation unitaire irréductible de dimension deux.
- Identification du seuil : prouver (ou réfuter) l'identification de \(\Sigma_c\) avec la dimension du secteur de trace nulle du porteur.
- Sélection effective de la coquille : déterminer la valeur numérique de \(n_3\), et pas seulement la valeur du seuil.
- Asymptotiques en grand \(q\) : étudier le comportement du mécanisme dans la limite de grands graphes.
- Universalité : tester l'extension au-delà des structures de type SU(2) et des graphes de Heisenberg.
- Clôture du transfert (réglée négativement) : le prolongement \[ \delta_{\mathrm{pair}} \to \beta^* \] n'est pas un livrable ouvert : le no-go de croissance de span prouve qu'il n'a aucun porteur dérivé sur le substrat de mesure de Heisenberg, de sorte que l'accord numérique avec la fenêtre des leptons chargés ne vaut que comme vérification phénoménologique entre substrats.
Référence
Jérôme Beau. Three Neutral Directions from a Spinor Carrier: Conditional Status of the Threefold Admissibility Threshold.