Critère du premier actif
Un premier $p$ est actif si et seulement si $\gamma_p > s = 1/2$ — l’ensemble actif est exactement $\{3,5,7\}$.
Énoncé
À l’attracteur réduit , un premier est dit actif si et seulement si sa dimension anormale satisfait
L’ensemble des premiers actifs est exactement . La formule rationnelle exacte est
ThéorèmePourquoi ça compte
Le critère est le filtre qui sélectionne les trois premiers physiquement pertinents pour le Modèle Standard. Il livre simultanément :
- le nombre de couleurs (théorème , ch. 8),
- le nombre de générations (via Fisher–Koide),
- le point fixe (T5),
- la forme produit du couplage (BA5).
Sans le critère du premier actif, il n’y aurait pas de discrimination canonique entre les premiers — et donc pas de raison pour que les observables physiques s’organisent autour de trois canaux exactement.
Démonstration — schéma
(i) Calcul rationnel exact (fractions.Fraction) à :
Les trois premières valeurs sont strictement , les deux dernières strictement . La frontière tombe entre et .
(ii) Argument analytique de monotonie pour : on écrit où est exponentielle décroissante (facteur ) dominant la croissance polynomiale de . Donc pour tout .
(iii) Robustesse : tout seuil donne le même ensemble actif. La physique est structurellement stable à ±17 % de variation du seuil.
Détails complets : monographie §6.6, fichier
PT.Holonomy.ActivePrimeAnalyticMonotonicity.
Voir aussi
- T6 — Holonomie — formule
- T5 — Attracteur —
- — la couleur depuis le crible
- BA5 — Produit de Pontryagin — produit sur les actifs
- Tous les théorèmes