🔢 mathematics

Parity of the partition function in quadratic progressions

Cet article démontre une conjecture de 2010 concernant la parité de la fonction de partition dans les progressions quadratiques en employant une nouvelle approche géométrique impliquant des produits de Borcherds tordus, des points CM et des représentations de Galois pour démontrer que les valeurs contiennent une infinité de termes pairs et impairs.

Auteurs originaux : Ken Ono, Ashvin Swaminathan

Publié 2026-08-13

📖 4 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Ken Ono, Ashvin Swaminathan

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez une vaste bibliothèque infinie où chaque livre est un nombre, et à l'intérieur de chaque livre, il existe d'innombrables façons de réorganiser ses pages. Dans le monde des mathématiques, c'est le domaine des « partitions ». Une partition est simplement une façon de décomposer un nombre entier en une somme de nombres entiers positifs plus petits. Par exemple, le nombre 4 peut être décomposé de cinq manières différentes : 4, 3+1, 2+2, 2+1+1, et 1+1+1+1. Les mathématiciens appellent le compte total de ces manières la « fonction de partition », souvent notée $p(n)$ .

Pendant plus d'un siècle, les mathématiciens ont été fascinés par les rythmes cachés de ces nombres. Ils ont découvert que si l'on observe certains motifs, les réponses suivent souvent des règles strictes, comme se terminer toujours par zéro lorsqu'elles sont divisées par 5 ou 7. Mais il existe un mystère de chaos obstiné qui a résisté à toutes les tentatives de domestication : la « parité » de ces nombres. La parité signifie simplement si un nombre est pair ou impair. La séquence des nombres de partition change-t-elle de manière aléatoire entre pair et impair, ou reste-t-elle bloquée dans un motif ? Pendant longtemps, personne n'a pu prouver si les nombres étaient véritablement aléatoires ou s'ils favorisaient secrètement un côté. Ce document plonge dans ce chaos, en examinant spécifiquement les nombres formés par une formule quadratique spéciale, pour voir si les valeurs paires et impaires dansent ensemble ou si l'un des partenaires mène toute la danse.

Les auteurs de cet article, Ken Ono et Ashvin Swaminathan, ont enfin résolu une conjecture spécifique et de longue date sur cette danse. Ils ont prouvé que pour une certaine famille de nombres générés par la formule $Dm^2 + 1$ (où $D$ est un type de nombre spécifique et $m$ est un entier), les valeurs de partition ne sont pas bloquées pour être toutes paires ou toutes impaires. Au lieu de cela, ils ont prouvé que les valeurs paires et impaires apparaissent toutes deux une infinité de fois.

Pour casser ce code, les auteurs ne se sont pas contentés de calculer des nombres ; ils ont construit un pont entre deux mondes très différents des mathématiques : l'arithmétique du comptage (les partitions) et la géométrie des formes (les courbes elliptiques). Ils ont traité les nombres de partition comme s'ils étaient les coordonnées d'une carte. En utilisant un outil mathématique ingénieux appelé « fonction theta modulaire » (un type de motif numérique découvert par le légendaire Srinivasa Ramanujan), ils ont traduit le problème du comptage des partitions en un problème sur la forme d'une courbe.

L'idée clé était géométrique. Ils ont imaginé les nombres comme des points sur une carte spéciale appelée « courbe modulaire ». Ils ont découvert que la « parité » des nombres de partition était encodée dans le comportement de points spécifiques sur cette carte, connus sous le nom de « points CM ». Les auteurs ont montré que si l'on regarde ces points à travers une lentille spéciale (la réduction modulo 2, ce qui revient à vérifier si un nombre est pair ou impair), les points restent distincts et ne s'effondrent pas les uns sur les autres. Cette distinction est cruciale. Si les points restaient distincts, cela signifiait que les nombres de partition ne pouvaient pas tous avoir la même parité ; ils devaient varier.

Ils ont utilisé un « argument géométrique » pour exclure la possibilité que tous les nombres soient pairs (ce qui rendrait la carte vide) et la possibilité qu'ils soient tous impairs (ce qui ferait de la carte une ligne lisse et ininterrompue). Comme la carte possédait des « pôles » (des pointes acérées) qui survivaient à la réduction, les nombres devaient être un mélange. Une fois qu'ils ont prouvé qu'au moins un nombre pair et un nombre impair existaient dans la séquence, ils ont utilisé une règle arithmétique distincte pour montrer que cette occurrence unique force le motif à se répéter éternellement.

Le résultat est une preuve définitive : pour ces progressions quadratiques spécifiques, la fonction de partition est un véritable lancer de pièce, basculant entre pair et impair une infinité de fois. L'article fournit également une « limite de vitesse » pour cette découverte, donnant une formule pour calculer le plus petit nombre nécessaire pour trouver le premier nombre pair et le premier nombre impair. Ce travail ne fait pas que résoudre un puzzle ; il introduit une nouvelle boîte à outils géométrique qui peut être utilisée pour résoudre des énigmes similaires sur d'autres séquences numériques, montrant que parfois, pour comprendre le rythme des nombres, il faut regarder la forme de l'espace dans lequel ils vivent.

Résumé Technique : Parité de la fonction de partition dans les progressions quadratiques

Énoncé du Problème
La parité de la fonction de partition $p(n)$ , qui compte le nombre de façons d'écrire un entier positif $n$ comme une somme d'entiers positifs, demeure un problème obstinément ouvert en théorie des partitions. Bien que les congruences de Ramanujan aient établi des régularités modulo 5, 7 et 11, la distribution de $p(n)$ modulo 2 est mal comprise. La conjecture de Parkin–Shanks postule que $p(n)$ est pair et impair avec une densité naturelle de $1/2$ , mais les bornes inconditionnelles restent faibles.

Un cas spécifique de cette difficulté concerne la restriction de l'argument de $p(n)$ à des progressions quadratiques. En 2010, le premier auteur a conjecturé que pour tout entier sans facteur carré $D > 1$ avec $D \equiv 23 \pmod{24}$ , la séquence
$p\left(\frac{Dm^2 + 1}{24}\right)$
contient une infinité de termes pairs et une infinité de termes impairs lorsque $m$ parcourt les entiers positifs premiers avec 6. Avant ce travail, pratiquement rien n'était connu pour les polynômes de degré $\ge 2$ .

Méthodologie et Idées Clés
Les auteurs résolvent cette conjecture en introduisant un cadre géométrique qui connecte l'arithmétique de la fonction de partition à la géométrie des courbes modulaires et des points CM. La méthodologie progresse à travers trois étapes principales :

Fonctions Mock Theta et Produits de Borcherds :
Les auteurs utilisent le fait que la fonction mock theta de troisième ordre de Ramanujan $f(q)$ encode $p(n)$ modulo 4. Plus précisément, la fonction génératrice $P(q) = \sum p(n)q^n$ satisfait $P(q) \equiv f(q) \pmod 4$ . Ils construisent une forme modulaire méromorphe de poids 0, $\Psi_D$ , pour $\Gamma_0(6)$ , en utilisant le lift de Borcherds tordu de Bruinier et du premier auteur. Le diviseur de $\Psi_D$ se compose de deux paquets de points CM sur $X_0(6)$ de discriminant $-D$ . La dérivée logarithmique de ce produit, notée $\omega_D = \frac{1}{\sqrt{-D}} d \log \Psi_D$ , est une différentielle méromorphe de poids 2.
Analyse Géométrique en Caractéristique 2 :
L'innovation centrale est l'analyse de $\omega_D$ en caractéristique 2. Les auteurs établissent que :
- Les deux paquets de points CM dans le diviseur de $\Psi_D$ partagent une « 2-orientation » commune (spécifiquement, leurs sous-groupes de niveau d'ordre 2 correspondent au même nombre premier $\mathfrak{p}_2$ au-dessus de 2 dans le corps CM $K = \mathbb{Q}(\sqrt{-D})$ ).
- En raison de la rigidité des relèvements canoniques (théorie de Serre–Tate), des points CM distincts possédant cette orientation commune restent distincts après réduction modulo 2.
- Les résidus de $\omega_D$ en ces points CM sont des unités 2-adiques. Par conséquent, les pôles simples de $\omega_D$ survivent à la réduction modulo 2 sur la composante ordinaire $C_\infty$ de la fibre spéciale de $X_0(6)$ .
Comparaison avec les Séries de Eisenstein :
L'expansion de Fourier de $\omega_D$ à le cusp $\infty$ est une série de Lambert encodant les parités des valeurs de partition en question. Les auteurs comparent cette expansion à une série d'Eisenstein holomorphe de poids 2, $E_D$ , construite pour correspondre au scénario « tout impair ».
- Si toutes les valeurs de partition étaient paires, la réduction de $\omega_D$ s'annulerait identiquement, contredisant la survie des pôles CM.
- Si toutes les valeurs de partition étaient impaires, la réduction de $\omega_D$ serait congruente à la réduction de $E_D$ . Cependant, $E_D$ est holomorphe (régulière) aux points CM, alors que la réduction de $\omega_D$ conserve des pôles simples en ces points. Cette contradiction exclut une parité constante impaire.

Résultats Clés
Le papier prouve ce qui suit :

Théorème 1 : Pour tout entier sans facteur carré $D > 1$ $D > 1$ avec $D \equiv 23 \pmod{24}$ $D \equiv 23 (mod 24)$ , les valeurs $p\left(\frac{Dm^2 + 1}{24}\right)$ $p (\frac{D m ^{2} + 1}{24})$ pour $(m, 6)=1$ $(m, 6) = 1$ incluent une infinité de termes pairs et une infinité de termes impairs.
- De plus, le papier fournit des bornes effectives pour la première occurrence de chaque parité en termes du nombre de classes $h(-D)$ :
  $m_{\text{impair}} \le 12h(-D) + 2$
  $m_{\text{pair}} \le (12h(-D) + 2) \prod_{\ell|D} (\ell + 1)$
Théorème 2 : Un critère de non-constance généralisé est établi pour les séquences issues de produits de Borcherds tordus généralisés. Ce théorème isole les entrées géométriques nécessaires (intégralité de la différentielle, existence de pôles CM simples à résidus unités, et existence d'une forme modulaire holomorphe correspondante) requises pour prouver qu'une séquence n'est pas constante modulo 2.

Signification et Revendications
Le papier affirme résoudre une conjecture spécifique et de longue date concernant la parité de la fonction de partition dans les progressions quadratiques, un cas pour lequel les méthodes précédentes n'avaient produit aucun résultat. La signification réside dans la nature « géométrique » de la preuve :

Elle recadre un problème combinatoire sur les coefficients de partition en un problème sur le comportement des pôles de différentielles modulaires en caractéristique 2.
Elle démonte que la « survie » des pôles CM sous la réduction modulo 2, combinée à l'unicité des relèvements canoniques, fournit un mécanisme robuste pour exclure les modèles de parité constante.
Les auteurs notent que si l'argument géométrique (Théorème 2) établit la non-constance (c'est-à-dire exclut « tout pair » ou « tout impair »), l'étape passant de « une occurrence » à « une infinité » repose sur des résultats de propagation arithmétique distincts impliquant les algèbres de Hecke et les représentations de Galois (spécifiquement, la nilpotence locale de certains opérateurs de Hecke). Ainsi, le papier ne prétend pas que la méthode géométrique seule produit l'infinitude pour des données de Borcherds générales, mais plutôt qu'elle fournit l'étape cruciale de non-constance qui, combinée à des théorèmes de propagation arithmétique connus, permet d'obtenir le résultat complet.

Les identités algébriques sous-tendant la preuve ont été formalisées et vérifiées dans Lean par AxiomProver, garantissant la correction des calculs complexes de formes modulaires et combinatoires.

Articles similaires