Vous êtes ici : Domaine IV · Verrous et passages ouverts · Verrou F
[O] non franchi
Ce que vous allez lire

Le maillon le plus profond du passage local → global : le recollement global adélique (maillon C5), découpé en six conditions F1–F6.

Pourquoi ça compte

C’est là que « local → global » devient un travail plutôt qu’un slogan : une checklist opposable et datable. F2 (cohérence CRT) y est posée explicitement comme non-RH.

Ce que ça ne dit pas

Le recollement n’est pas acquis : F1, F4, F6 restent ouverts. Det2IdentityClaimed = false, HilbertPolyaClaimed = false. Aucune case ne coche RH.

À lire à côté

H3 (le mur dont F6 est le résidu) et det₂ ↔ ξ (la cible, qui reste [O]).

Verrou F — le maillon le plus profond : c’est là que se concentre toute la difficulté du passage local → global. Le recollement global adélique (maillon C5) doit réunir trois mondes — Γ archimédien ⊕ ∏ eulérien ⊕ ζ spectral — en un seul objet cohérent. L’objet global, la formule de trace et le résidu critique restent ouverts.

Statut épistémique — composite (C · F · O)

Ccertains points sont sous condition (F2 cohérence CRT, F5 normalisation det₂)
Fun fait fini garde la porte : No-Go 3 (le conducteur χ6 → 15) interdit toute usurpation par une matrice trop petite
Ol’objet global (F1), la trace (F4) et le résidu critique (F6) restent ouverts
Ce que cela montre

la décomposition exacte du passage local → global en six conditions, chacune datable et falsifiable. Le mur n’est plus un bloc opaque : c’est une checklist opposable.

Ce que cela ne prouve pas

le recollement lui-même. Trois des six conditions — F1, F4, F6 — sont ouvertes. Décomposer un passage n’est pas le franchir.

Risque de mauvaise lecture — croire le recollement acquis parce qu’il est proprement décomposé ; ou croire qu’une matrice finie suffit à le réaliser. No-Go 3 interdit précisément la seconde erreur : le conducteur minimal doit être respecté.
Régime · conditionnel et ouvert (aucun bloc démonstratif global)
[C] · [O] Les six conditions

Le recollement, découpé en six maillons

Le corpus tient le Verrou F comme une checklist de six points. Deux d’entre eux sont nommés tels quels sur la fiche publique — F2 (cohérence CRT) et F4 (formule de trace) — les autres sont la substance du recollement portée par le corpus :

F1 Objet global adélique bien défini ……………………… [O] F2 Cohérence CRT / primorielle — EXPLICITEMENT non-RH ……… [C] F3 Produit d’Euler complet (non tronqué) ………………… [C] [O] F4 Formule de trace globale renormalisée ………………… [O] F5 Normalisation det₂ (Carleman, ordre 2) ………………. [C] F6 Résidu global nul sur la ligne critique (Lemme 7) …….. [C] [F] [O]

Deux précisions importent. D’abord, F2 — la cohérence par restes chinois / structure primorielle — n’est pas une revendication de RH : c’est une condition de cohérence interne, et la fiche le dit explicitement. Ensuite, F5 exige le déterminant régularisé de Carleman (det₂, ordre 2) parce que l’opérateur S est de Hilbert-Schmidt sans être à trace (S ∈ S₂ ∖ S₁) : le déterminant de Fredholm ordinaire ne converge pas. F6 est le résidu critique — le point de convergence de tout le programme, l’unique sorry analytique (voir Lemme 7).

Feuille de route H3 / Verrou F · maillon C5 · fiches attestées 29 mai – 4 juin 2026. F1, F4, F6 : ouverts.
Ce que ce bloc montre
  • six conditions nommées et statuées
  • F2 posée comme cohérence, non comme RH
  • la raison structurelle de det₂ (S ∈ S₂ ∖ S₁)
Ce que ce bloc ne prouve pas
  • ni F1, ni F4, ni F6 (le cœur ouvert)
  • aucune identité det₂/ξ (interdite ici)
  • aucun recollement effectif
[F] Le fait fini qui garde la porte

No-Go 3 — pourquoi le global ne se laisse pas usurper

Un fait minuscule, vérifiable, et de grande portée. Le caractère clé χ6 apparaît sur la scène modulo 30, mais son conducteur véritable est f(χ6) = 15. Forcé de « chanter » au niveau 30, sa somme de Gauss quitte le cercle unité :

| τ₃₀(χ6) / √30 | = 1/√2 ≠ 1

La leçon : le local ne suffit pas ; le conducteur minimal doit être respecté ; le global ne se laisse pas usurper par une matrice trop petite. C’est le garde fini du recollement — la raison pour laquelle on ne peut pas « refermer » F1–F6 en trichant sur le niveau.

Ce que ce bloc montre
  • une obstruction finie, exacte et vérifiable
  • l’exigence du conducteur minimal
Ce que ce bloc ne prouve pas
  • il ne ferme pas le Verrou F (il le garde)
  • aucune conclusion positive sur ζ
Aucune case cochée n’autorise RHClaimed.
F1, F4, F6 restent ouverts. Det2IdentityClaimed = false.
HilbertPolyaClaimed = false. Le statut garde la vérité.
Pourquoi cette fiche compte. Le Verrou F est l’endroit exact où « local → global » cesse d’être un slogan pour devenir un travail. En le découpant en six conditions datables — dont on dit lesquelles sont ouvertes — le programme construit la douane sans laquelle tout passage serait une contrebande. C’est le contraire d’un surclaim : c’est la carte du maillon le plus dur, tenue ouverte.
Item : Verrou F — recollement global adélique (id : verrou-f)
Statut global : composite (C · F · O) — six conditions, dont F1/F4/F6 ouvertes
Méthode : checklist adélique (maillon C5) + garde fini No-Go 3 (conducteur χ6 → 15)
Domaine : Verrous et passages ouverts · Recherches
Référence : Feuille de route H3 / Verrou F · fiches attestées 29 mai – 4 juin 2026
Dernière mise à jour du statut : 2026-07-01
Citation BibTeX : @misc{couret2026verrouf, author={Couret, A.}, title={Verrou F : recollement global adelique (six conditions, maillon C5)}, year={2026}, url={https://www.couretunification.fr/publications/verrou-f/}}

Commentaires
Cet espace accueille questions, remarques, intuitions et critiques.
Un commentaire n’engage pas le statut scientifique du projet.
Toute proposition mathématique doit pouvoir être formulée, testée et classée.