Mathématiques · socle, chantiers, statuts

Les mathématiques du programme

Couret–Unification part d’un terrain volontairement fini : les classes de résidus modulo 30. Ce terrain n’est pas nouveau. Il sert de laboratoire exact pour distinguer ce qui est démontré, mesuré, ouvert, conditionnel ou réfuté.

Avertissement Le modulo 30, les huit classes inversibles, la roue, les caractères, les graphes de Cayley et plusieurs cribles locaux appartiennent à des mathématiques connues. Leur intérêt ici n’est pas de fonder une nouveauté brute, mais d’offrir un espace clos où calcul, preuve, formalisation et falsification peuvent être mis sous statut.

Une structure locale modulo 30 ne constitue jamais, par elle-même, une preuve globale sur les nombres premiers.

Carte synthétique

Socle fini

U₃₀, G₃₀, espace centré H₃₀, caractères, opérateurs finis, spectres d’instances.

[D] local · P0/P2 documentaire

Admissibilités

Canaux jumeaux, Sophie Germain, caractérisation actuelle de T_C par neutralité + double admissibilité affine.

[D] finite · portée modeste

Reliefs et mesures

Distributions centrées, matrices de transition, modèles nuls, biais de résidus, protocoles reproductibles.

[M] mesuré · à benchmarker

P8 criblé

Sous-espace Báez–Duarte restreint aux indices premiers à 30, correcteur eulérien, Gram auditable.

[O] densité · [C] si densité alors RH

Transports

Réductions, sections, rétractions, fuite transverse, retour, compatibilité ; courbure seulement après tests.

[H/O] chantier

Ponts analytiques

ζ, Weil, Hilbert–Pólya, K# fermé, K^p ouvert ; aucune preuve RH revendiquée.

[F]/[O]/[C] selon les voies

1. Le socle fini modulo 30

L’ensemble des classes inversibles modulo 30 est :

U₃₀ = {1, 7, 11, 13, 17, 19, 23, 29}.

Il s’agit du groupe des unités de ℤ/30ℤ :

G₃₀ = (ℤ/30ℤ)× ≅ C₂ × C₄.

Le programme utilise aussi l’espace centré des distributions sur U₃₀ :

H₃₀ = {x ∈ ℝ^U₃₀ : Σₐ xₐ = 0}, dim(H₃₀)=7.

La constante λ = 1/√7 est donc à lire comme un invariant interne de normalisation dans cette chambre finie, non comme une constante universelle des nombres premiers.

2. Reliefs arithmétiques

Un relief arithmétique est une distribution centrée autour de l’uniforme :

r_X(q) = μ_X − u_q ∈ H_q.

Cette opération de centrage est standard. Ce qui peut devenir intéressant est l’organisation systématique des reliefs, leur comparaison entre modules, les modèles nuls utilisés et les transports entre niveaux.

RègleUne mesure de relief ne devient pas une structure nouvelle avant d’avoir survécu à des modèles nuls qui conservent les contraintes déjà connues.

3. Canaux jumeaux, Sophie Germain et T_C

Les classes admissibles pour le membre inférieur d’une paire jumelle modulo 30 sont :

J = {a ∈ U₃₀ : a+2 ∈ U₃₀} = {11, 17, 29}.

Les classes admissibles pour Sophie Germain modulo 30 sont :

S = {a ∈ U₃₀ : 2a+1 ∈ U₃₀} = {11, 23, 29}.

Leur intersection est :

J ∩ S = {11, 29}.

La caractérisation actuelle du triplet est donc :

T_C = {1} ∪ (J ∩ S) = {1, 11, 29}.

La formulation correcte est : neutralité + double admissibilité affine. Le neutre 1 est conservé par normalisation multiplicative, même s’il échoue aux deux cribles. Parmi les éléments non neutres de la 2-torsion, 19 est l’unique classe qui échoue aux deux cribles et n’est pas réadjoint.

Correction F-08L’ancienne justification selon laquelle T_C serait distingué ou canonique par son spectre doit rester fermée. Un spectre exact d’instance peut être démontré ; il ne donne pas automatiquement une canonicité du sous-ensemble.

4. C-031 et la fermeture de la voie K#

Pour qₙ primoriel, la voie K# demandait de faire coïncider un alphabet diagonal primoriel avec l’alphabet eulérien de ζ. Le théorème de fermeture dit, pour n ≥ 2 :

r log(qₙ) ≠ m log(p) pour r ≥ 2, m ≥ 1, p premier.

La preuve est élémentaire : si r log(qₙ)=m log(p), alors qₙʳ=pᵐ. Pour n≥2, qₙ possède au moins deux facteurs premiers distincts, alors que pᵐ n’en possède qu’un. L’unicité de la factorisation donne la contradiction.

Statut : [D/F] pour cette stratégie précise. Ce résultat ferme une voie, pas le programme.

5. Carrés, caractères quadratiques et coefficients de régression

BC-QCHAR-001 · [D-fini] + [C-analytique externe] + [O-Bernard]

Les huit séries de Bernard peuvent être relues comme un espace fini où le découpage carré / non-carré n’est pas seulement une observation numérique. Il est reconstruit exactement par les caractères quadratiques naturels modulo 3 et modulo 5.

Structure finie démontrée

U30 = {1,7,11,13,17,19,23,29} U30² = {1,19} ker(a ↦ a²) = {1,11,19,29}

Les huit classes se décomposent donc en quatre secteurs modulo les carrés :

{1,19}, {7,13}, {11,29}, {17,23} U30 / U30² ≃ C2 × C2

Trois caractères reconstruisent le partage 2 + 6

Avec χ3(a)=(a/3), χ5(a)=(a/5) et χ15=χ3χ5, on obtient :

Secteur	χ3	χ5	χ15
{1,19}	+1	+1	+1
{7,13}	+1	−1	−1
{11,29}	−1	+1	−1
{17,23}	−1	−1	+1

χ3(a)+χ5(a)+χ15(a) = 3 si a ∈ {1,19} χ3(a)+χ5(a)+χ15(a) = −1 si a ∈ {7,11,13,17,23,29}

Cela donne une traduction exacte du contraste entre les deux séries carrées et les six autres séries.

Objet de comptage associé

Si R(x)=π(x;30,1)+π(x;30,19) et N(x)=Σ π(x;30,a) sur les six autres classes, la comparaison équilibrée est :

D30(x) = N(x) − 3R(x)

Équivalemment, hors petits premiers 2, 3 et 5 :

3R(x) − N(x) = Σ_{p≤x} (χ3(p)+χ5(p)+χ15(p))

La lecture moderne passe donc des huit séries aux caractères, puis aux fonctions L de Dirichlet associées. Les interprétations fines en termes de biais de Chebyshev, de zéros de fonctions L ou de distributions limites relèvent du cadre analytique externe, généralement conditionnel.

Point ouvert Bernard

Les manuscrits mentionnent huit « coefficients de régression », un par série, mais leur définition complète n’est pas encore disponible dans les pièces examinées. Ils ne doivent pas être identifiés prématurément aux constantes de Mertens, aux biais de Chebyshev ou aux reliefs modernes.

Protocole recommandé. Si les valeurs ou formules manuscrites sont retrouvées, les comparer aux constantes de Mertens C(30,a), aux modes caractères de π(x;30,a), aux facteurs locaux de crible et aux effets connus des résidus quadratiques. Si un résidu structuré demeure après soustraction des effets connus, il pourra devenir un claim [O] proprement formulé.

Non-claims

Ne pas écrire que Bernard avait formulé les caractères de Dirichlet ou les fonctions L.
Ne pas écrire que les coefficients de régression sont les constantes de Mertens.
Ne pas transformer un biais secondaire en théorème global sur les nombres premiers.
Ne pas confondre reconstruction moderne et assertion manuscrite.

Phrase stable : Bernard n’a pas nécessairement formulé les caractères ni les fonctions L. Mais son système de huit séries, ses carrés et ses coefficients de régression ouvrent une reconstruction contrôlée vers les caractères quadratiques, les biais de Chebyshev, les constantes de Mertens et les facteurs locaux de crible.

6. P8 : sous-espace Báez–Duarte criblé

La zone mathématique la plus prometteuse identifiée par l’audit est P8 : le sous-espace Báez–Duarte/Nyman–Beurling restreint aux indices premiers à 30.

V_N^(30) = span{ ρ_(1/n) : 1 ≤ n ≤ N, gcd(n,30)=1 }. V_N^(30) ⊂ V_N^(classic).

Le correcteur eulérien associé aux facteurs 2,3,5 est :

E₃₀(s) = (1−2^(−s))(1−3^(−s))(1−5^(−s)).

En orientation formelle, les coefficients μ(n) sur (n,30)=1 donnent :

( Σ_(gcd(n,30)=1) μ(n)n^(−s) ) · E₃₀(s) = 1/ζ(s).

Le problème publiable n’est pas “mod30 prouve RH”. Le problème défendable est :

Que devient la densité de la famille Báez–Duarte lorsqu’on impose gcd(n,30)=1 ?

[D] identités finies/eulériennes[M] Gram/distances/conditionnement[O] densité du sous-espace[C] si densité, alors RH via critère parent

7. Transports de reliefs

Lorsque q divise Q, la réduction des unités de Q vers q fournit une descente naturelle. Le chantier actuel demande ce qui survit aux changements de niveau et de représentation.

A_(Q→q): H_Q → H_q, B_(q→Q): H_q → H_Q, A_(Q→q) B_(q→Q) = I_(H_q).

Alors H_q apparaît comme un rétract de H_Q, et :

P = B_(q→Q) A_(Q→q), P²=P, H_Q = Im(B) ⊕ Ker(A).

La question propre ne porte pas sur l’existence abstraite de A, B ou P, qui est standard, mais sur l’action d’opérateurs arithmétiques U_Q sur la partie reconstructible et la partie oubliée :

fuite transverse : (I−P) U_Q P influence inverse : P U_Q (I−P).

Garde-foudéfaut de retour ≠ non-réciprocité ≠ non-commutation ≠ courbure. Avant la courbure, tester le retour.

8. Goldbach local et biais mesurés

La symétrie locale :

G_a(N) = G_(N−a)(N)

est une involution élémentaire des décompositions. Elle peut être [D] sans être nouvelle. Les biais secondaires et matrices de transitions appartiennent au registre [M]/[O] tant qu’ils n’ont pas été comparés à des modèles nuls et à la littérature Hardy–Littlewood pertinente.

9. Ponts vers ζ, Weil et Hilbert–Pólya

Le site doit conserver explicitement :

RHClaimed=falseHilbertPolyaClaimed=falseK# ferméK^p ouvert

La règle anti-circularité est absolue : une positivité équivalente à RH ne peut pas être “expliquée” par l’opérateur spectral que l’on cherche précisément à construire.

reformulation exacte ≠ preuve du critère requis positivité locale ≠ preuve globale spectre candidat ≠ Hilbert–Pólya mesure numérique ≠ théorème

10. Table des claims mathématiques

ID	Claim / objet	Statut	Priorité documentaire	Formulation autorisée
F01	U₃₀ = {1,7,11,13,17,19,23,29}	[D]	P0	Roue modulo 30 classique ; utilisée comme socle.
F02	G₃₀ ≅ C₂ × C₄	[D]	P0	Structure standard du groupe des unités.
F03	H₃₀ de dimension 7	[D]	P0/P2	Espace centré utilisé comme chambre de calcul.
F04	λ = 1/√7	[D local]	P0/P2	Invariant interne, pas constante universelle.
F05	Canaux jumeaux J	[D]	P1	Admissibilité locale connue ; citer les antériorités.
F06	Canaux Sophie Germain S	[D]	P1	Restriction élémentaire ; portée locale.
F07	J ∩ S = {11,29}	[D]	P2	Intersection immédiate de deux restrictions.
F08	T_C = {1} ∪ (J∩S)	[D construction]	P2	Neutralité + double admissibilité affine ; portée finie.
F09	Spectre exact d’un opérateur construit sur T_C	[D]	P2	Instance finie ; pas sélectivité spectrale.
F10	T_C distingué/canonique par son spectre	[F]	Fermé	Ancienne justification abandonnée.
P8-02	Sous-espace restreint aux n avec (n,30)=1	[O]	P2/P3	Question de densité propre et falsifiable.
T03	Hiérarchie retour/réciprocité/commutation/fuite/géométrisation	[H/O]	P3 candidat	À formaliser avant toute revendication de théorie.

Formulation de positionnement mathématique.

Couret–Unification utilise un socle modulaire fini pour étudier des restrictions analytiques, des transports d’information arithmétique et la gouvernance explicite du statut des claims dans une recherche assistée par machines.

Un résultat fini propre, une impossibilité démontrée, une dépromotion correctement documentée ou un théorème de reconstruction peuvent constituer des progrès autonomes.