2025-11-29T02:34:19.569501

Relating elliptic curve point-counting and solutions of quadratic forms with congruence conditions

Mondal
In this paper, we analyze the theta series associated to the quadratic form $Q(\mathbf{x}) := x_1^2 + x_2^2 + x_3^2 + x_4^2$ with congruence conditions on $x_i$ modulo $2, 3, 4$, and $6$. By employing special operators on modular, non-holomorphic Eisenstein series of weight $2$, we construct a basis for the Eisenstein space for levels $2^k$ (with $k \le 7$), $3^{\ell}$ (with $\ell \le 3$), and $p$, where $p>3$ is an odd prime. Using the relation between the trace of Frobenius on an elliptic curve and the Fourier coefficients of the cusp-form part of the theta series corresponding to $Q$, we establish a relation between the number of integer solutions to the equation $Q(\mathbf{x}) = p$ and the number of $\mathbb{F}_p$-rational points on the associated elliptic curve under certain congruence conditions on $p$.
academic

Relation entre le comptage de points sur les courbes elliptiques et les solutions de formes quadratiques avec conditions de congruence

Informations de base

  • ID de l'article : 2503.17944
  • Titre : Relating elliptic curve point-counting and solutions of quadratic forms with congruence conditions
  • Auteur : Koustav Mondal (Louisiana State University)
  • Classification : math.NT (Théorie des nombres)
  • Date de publication : Mars 2025 (arXiv v3 : 27 octobre 2025)
  • Lien de l'article : https://arxiv.org/abs/2503.17944

Résumé

Cet article analyse les séries thêta associées à la forme quadratique Q(x):=x12+x22+x32+x42Q(\mathbf{x}) := x_1^2 + x_2^2 + x_3^2 + x_4^2, où les xix_i satisfont des conditions de congruence modulo 2, 3, 4, 6. En appliquant des opérateurs spécialisés aux séries d'Eisenstein non-holomorphes de poids 2, l'auteur construit des bases pour les espaces d'Eisenstein de niveau 2k2^k (k ≤ 7), 3ℓ3^{\ell} (ℓ ≤ 3) et nombre premier impair p. En utilisant la relation entre la trace de Frobenius sur les courbes elliptiques et les coefficients de Fourier de la partie cuspidale des séries thêta, l'article établit une relation entre le nombre de solutions entières de l'équation Q(x)=pQ(\mathbf{x}) = p et le nombre de points Fp\mathbb{F}_p-rationnels sur les courbes elliptiques associées.

Contexte et motivation de la recherche

Problème de recherche

Cet article étudie le problème classique de la théorie des formes quadratiques : étant donnée la forme quadratique Q(x)=x12+x22+x32+x42Q(\mathbf{x}) = x_1^2 + x_2^2 + x_3^2 + x_4^2, de combien de façons peut-on représenter un entier naturel donné n lorsque les variables satisfont les conditions de congruence xi≡s(modM)x_i \equiv s \pmod{M} ?

Importance

  1. Signification historique : Le problème de représentation par les formes quadratiques a une longue histoire ; Lagrange a prouvé le théorème des quatre carrés en 1770, et Ramanujan a donné la liste complète de toutes les formes quadratiques universelles
  2. Valeur théorique : Relie plusieurs domaines fondamentaux de la théorie des nombres : théorie des formes modulaires, arithmétique des courbes elliptiques, théorie des formes quadratiques
  3. Applications computationnelles : Le comptage de points sur les courbes elliptiques a des applications importantes en cryptographie ; les relations établies dans cet article offrent une nouvelle perspective computationnelle

Limitations des méthodes existantes

  1. Les méthodes classiques de séries thêta traitent principalement les cas sans conditions de congruence
  2. Les séries thêta avec conditions de congruence (congruent theta series) ont été peu étudiées
  3. Manque de méthode systématique pour construire les bases des séries d'Eisenstein de niveaux spécifiques
  4. Les relations explicites entre les nombres de représentation par les formes quadratiques et le comptage de points sur les courbes elliptiques n'ont pas été suffisamment explorées

Motivation de la recherche

La motivation centrale de l'auteur est d'établir un lien profond entre les objets combinatoires (solutions entières des formes quadratiques) et les objets géométriques (points sur les courbes elliptiques), en utilisant la théorie des formes modulaires comme pont.

Contributions principales

  1. Construction de bases de séries d'Eisenstein : Construction systématique des bases de l'espace d'Eisenstein E2(Γ0(2k))E_2(\Gamma_0(2^k)) (k ≤ 7), E2(Γ0(3ℓ))E_2(\Gamma_0(3^{\ell})) (ℓ ≤ 3) et E2(Γ0(p))E_2(\Gamma_0(p)) (nombre premier impair p) de poids 2 en utilisant les opérateurs de Sieving (S) et V (Théorème 1.4)
  2. Décomposition des séries thêta : Décomposition complète en séries d'Eisenstein et formes cuspidales de toutes les séries thêta congruentes θk,M\theta_{k,M} modulo 2, 3, 4, 6
  3. Théorème principal : Établissement d'une relation précise entre le comptage de points sur la courbe elliptique E:y2=x3+1E: y^2 = x^3 + 1 et les nombres de représentation par les formes quadratiques (Théorème 1.7) :
    • Pour nombre premier p≡1(mod6)p \equiv 1 \pmod{6} : r1,3(p)=13Np(1)r_{1,3}(p) = \frac{1}{3}N_p(1)
    • Relation de récurrence générale à trois termes : 3r1,3(pk)=Np(k)+3p⋅r1,3(pk−2)3r_{1,3}(p^k) = N_p(k) + 3p \cdot r_{1,3}(p^{k-2})
  4. Formules généralisées : Formules complètes de représentation pour les cas de nombres composés (Théorème 1.9), impliquant les coefficients de Fourier et les produits de fonctions de diviseurs
  5. Résultats analogues : Les Tableaux 1 et 2 présentent des relations analogues entre d'autres formes quadratiques et courbes elliptiques

Détail des méthodes

Définition de la tâche

Entrée :

  • Forme quadratique Q(x)=x12+x22+x32+x42Q(\mathbf{x}) = x_1^2 + x_2^2 + x_3^2 + x_4^2
  • Conditions de congruence : xi≡s(modM)x_i \equiv s \pmod{M}, où M∈{2,3,4,6}M \in \{2, 3, 4, 6\}
  • Entier naturel n

Sortie :

  • Nombre de représentations rs,M(n)r_{s,M}(n) : nombre de vecteurs entiers x∈Z4\mathbf{x} \in \mathbb{Z}^4 satisfaisant Q(x)=nQ(\mathbf{x}) = n et xi≡s(modM)x_i \equiv s \pmod{M}

Contraintes clés : Utilisation des propriétés de modularité des formes modulaires et de la théorie des courbes elliptiques

Architecture de la méthode principale

1. Séries thêta congruentes

Définition des séries thêta congruentes : θs,M(τ)=∑x∈Z4xi≡s(modM)qx12+x22+x32+x42=∑n=1∞rs,M(n)qn\theta_{s,M}(\tau) = \sum_{\substack{\mathbf{x} \in \mathbb{Z}^4 \\ x_i \equiv s \pmod{M}}} q^{x_1^2 + x_2^2 + x_3^2 + x_4^2} = \sum_{n=1}^{\infty} r_{s,M}(n)q^n

où q=e2πiτq = e^{2\pi i \tau}, τ∈H\tau \in \mathbb{H} (demi-plan supérieur).

2. Opérateurs S et V

Opérateur de Sieving (Définition 1.3) : Pour M∈NM \in \mathbb{N}, m∈Zm \in \mathbb{Z}f∣SM,m(τ):=∑n≥0n≡m(modM)cf(n)qnf|_{S_{M,m}}(\tau) := \sum_{\substack{n \geq 0 \\ n \equiv m \pmod{M}}} c_f(n)q^n

Opérateur V : Pour d∈Qd \in \mathbb{Q}f∣Vd(τ):=f(dτ)=∑n≥0cf(n)qdnf|_{V_d}(\tau) := f(d\tau) = \sum_{n \geq 0} c_f(n)q^{dn}

Propriétés clés (Proposition 2.6) : Formule de somme finie f∣SM,m(τ)=1M∑j=0M−1f(τ+jM)ζM−jmf|_{S_{M,m}}(\tau) = \frac{1}{M} \sum_{j=0}^{M-1} f\left(\frac{\tau + j}{M}\right) \zeta_M^{-jm}

où ζM=e2πi/M\zeta_M = e^{2\pi i/M}.

3. Séries d'Eisenstein non-holomorphes

Utilisation des séries d'Eisenstein non-holomorphes de poids 2 : E^2(τ):=1−3πIm(τ)−24∑n≥1σ1(n)qn\hat{E}_2(\tau) := 1 - \frac{3}{\pi \text{Im}(\tau)} - 24\sum_{n \geq 1} \sigma_1(n)q^n

où σ1(n)=∑d∣nd\sigma_1(n) = \sum_{d|n} d est la fonction somme des diviseurs.

Résultat clé (Lemme 2.9) :

  • E^2∣SM,m(τ)∈M2(Γ1(M2))\hat{E}_2|_{S_{M,m}}(\tau) \in M_2(\Gamma_1(M^2)) pour m>0m > 0
  • E^2∣(dVd−Sd,0)(τ)∈M2(Γ0(lcm(4,d))∩Γ1(d2))\hat{E}_2|(dV_d - S_{d,0})(\tau) \in M_2(\Gamma_0(\text{lcm}(4,d)) \cap \Gamma_1(d^2))

Points d'innovation technique

1. Construction systématique de bases d'Eisenstein

Stratégie de preuve du Théorème 1.4 :

  • Cas k impair : Utilisation de {f∣Vp:f∈base de E2(Γ0(pk−1))}\{f|_{V_p} : f \in \text{base de } E_2(\Gamma_0(p^{k-1}))\} pour la construction récursive
  • Cas p=2, k≤3 : Utilisation de {E^2∣S2k,m:m∈(Z/2kZ)×}∪{f∣V2}\{\hat{E}_2|_{S_{2^k,m}} : m \in (\mathbb{Z}/2^k\mathbb{Z})^{\times}\} \cup \{f|_{V_2}\}
  • Cas p=3 : Construction spéciale E^2∣S3,1,E^2∣S3,2,E^2∣(3V3−S3,0)\hat{E}_2|_{S_{3,1}}, \hat{E}_2|_{S_{3,2}}, \hat{E}_2|(3V_3 - S_{3,0})

Innovations :

  • Identification explicite des limitations de la méthode des opérateurs (k>3 pour p=2, k>1 pour p=3, k>1 pour autres nombres premiers impairs)
  • Fourniture d'une liste complète des éléments de base (Appendices A et B)
  • Formules explicites de calcul des valeurs aux pointes (Proposition 2.7)

2. Technique de décomposition des séries thêta

Pour chaque θk,M\theta_{k,M}, décomposition par les étapes suivantes :

Étape 1 : Détermination des propriétés de modularité Par le Théorème 2.4, θk,M∈M2(Γ0(4M2)∩Γ1(M))\theta_{k,M} \in M_2(\Gamma_0(4M^2) \cap \Gamma_1(M))

Étape 2 : Calcul des valeurs aux pointes Utilisation de la Proposition 2.7 pour calculer les valeurs de θk,M\theta_{k,M} à toutes les pointes non-équivalentes

Étape 3 : Appariement par combinaison linéaire Soit θk,M=∑iℓiBi+fk,M\theta_{k,M} = \sum_i \ell_i B_i + f_{k,M}, où BiB_i sont les éléments de base d'Eisenstein et fk,Mf_{k,M} est la forme cuspidale. Résolution des coefficients ℓi\ell_i par appariement des valeurs aux pointes.

Étape 4 : Extraction de la forme cuspidale fk,M=θk,M−∑iℓiBif_{k,M} = \theta_{k,M} - \sum_i \ell_i B_i

Cas clé (Proposition 6.3) : Pour θ1,3\theta_{1,3} : θ1,3(τ)=−124(13E^2∣S6,1−2E^2∣S3,1∣V4+E^2∣S3,2∣V2)−13η(6τ)4\theta_{1,3}(\tau) = -\frac{1}{24}\left(\frac{1}{3}\hat{E}_2|_{S_{6,1}} - 2\hat{E}_2|_{S_{3,1}|V_4} + \hat{E}_2|_{S_{3,2}|V_2}\right) - \frac{1}{3}\eta(6\tau)^4

où η(τ)\eta(\tau) est la fonction eta de Dedekind.

3. Connexion aux courbes elliptiques

Courbes elliptiques à multiplication complexe : E:y2=x3+1E: y^2 = x^3 + 1 possède une multiplication complexe (MC) par Q(−3)\mathbb{Q}(\sqrt{-3})

Relation des fonctions L (Proposition 8.1) : L(E,s)=L(η(6τ)4,s)L(E, s) = L(\eta(6\tau)^4, s)

Application du théorème de Weil (Théorème 8.2) : Soit apa_p le p-ième coefficient de la fonction L, et α,β\alpha, \beta les racines de x2−apx+p=0x^2 - a_p x + p = 0, alors Np(k)=pk+1−αk−βkN_p(k) = p^k + 1 - \alpha^k - \beta^k

Lemme clé 8.4 : apk=∑i=0kαiβk−ia_{p^k} = \sum_{i=0}^k \alpha^i \beta^{k-i}

Preuve par induction, utilisant la relation de récurrence à trois termes (Théorème 8.3) : apk=apapk−1−p⋅apk−2a_{p^k} = a_p a_{p^{k-1}} - p \cdot a_{p^{k-2}}

Configuration expérimentale

Vérification numérique

Cet article est une recherche en théorie des nombres purement théorique, sans "expériences" au sens traditionnel, mais contenant de nombreuses vérifications numériques :

Exemple 8.7 : Pour p=103p = 103

  • r1,3(103)=28r_{1,3}(103) = 28
  • Coefficient de Fourier a103=20a_{103} = 20
  • Vérification : 3r1,3(103)=103+1−20=84=3×283r_{1,3}(103) = 103 + 1 - 20 = 84 = 3 \times 28 ✓

Outils computationnels

  • Utilisation de Maple pour les calculs d'expansion de Fourier (référence 18)
  • Base de données LMFDB pour les requêtes de données sur les courbes elliptiques (référence 19)

Couverture des cas

L'article analyse systématiquement tous les cas suivants :

  1. θk,2\theta_{k,2} : k = 0, 1 (Section 4)
  2. θk,4\theta_{k,4} : k = 0, 1, 2, 3 (Section 5)
  3. θk,3\theta_{k,3} : k = 0, 1 (Section 6)
  4. θk,6\theta_{k,6} : k = 0, 1, 2, 3 (Section 7)

Résultats expérimentaux

Résultats principaux

Théorème 1.7 (Résultat central)

Pour nombre premier p≡1(mod6)p \equiv 1 \pmod{6} : r1,3(p)=13Np(1)r_{1,3}(p) = \frac{1}{3}N_p(1)

Relation générale à trois termes :

undefined