Sur les valeurs $v$-adiques des fonctions G II

Informations fondamentales

• ID de l'article : 2510.11814
• Titre : On the $v$-adic values of G-functions II: Towards Effective Brauer-Siegel
• Auteur : Georgios Papas
• Classification : math.NT (Théorie des nombres)
• Date de publication : 15 octobre 2025 (prépublication arXiv)
• Lien de l'article : https://arxiv.org/abs/2510.11814

Résumé

Cet article est le deuxième d'une série de travaux de l'auteur sur les fonctions G, se concentrant sur l'étude des valeurs des fonctions G associées à une famille de variétés abéliennes à un paramètre $f: X \to S$, ainsi que des points de fibre lisse $s_0 \in S(K)$ sur un corps de nombres $K$. L'article étudie particulièrement le cas où $f: X \to S$ est une famille de courbes elliptiques, établissant des relations entre les valeurs des fonctions G aux points où la fibre est une courbe elliptique à multiplication complexe (CM). Par la méthode des fonctions G d'André, ces relations conduisent à des bornes de hauteur pour de tels points. L'article discute également de l'importance de ces bornes de hauteur pour trouver une version effective de la borne inférieure du nombre de classes de Siegel pour les corps quadratiques imaginaires.

Contexte et motivation de la recherche

Problèmes fondamentaux

Cet article vise à résoudre les problèmes clés suivants :

1. Problème d'effectivité du théorème de Siegel : Le résultat classique de Siegel donne une borne inférieure du nombre de classes des corps quadratiques imaginaires $h(D) \geq c(\epsilon)|D|^{1/2-\epsilon}$, mais la constante $c(\epsilon)$ est non-effective
2. Application de la méthode des fonctions G aux familles de courbes elliptiques : Étude des relations entre les valeurs des fonctions G aux points CM sur les familles de courbes elliptiques à un paramètre

Importance du problème

1. Problème fondamental de la théorie des nombres : L'estimation effective des bornes inférieures du nombre de classes est l'un des problèmes centraux de la théorie algébrique des nombres
2. Signification théorique : Connecte la théorie de la multiplication complexe, la théorie des fonctions G et la géométrie diophantienne
3. Innovation méthodologique : Étend la méthode des fonctions G d'André à de nouveaux cadres géométriques

Limitations des méthodes existantes

1. Résultat original de Siegel : Constante non-effective, inapplicable en pratique
2. Résultat de Tatuzawa : Bien que la constante soit effective, il existe un problème de domaines exceptionnels
3. Restrictions de la méthode d'André : Difficile à appliquer dans les familles de courbes elliptiques en cas de dégénérescence

Contributions principales

1. Construction de nouvelles relations $v$-adiques : Établit de nouvelles relations entre les valeurs des fonctions G aux points de fibre de courbes elliptiques CM, particulièrement aux places de ramification $v|3$
2. Traitement unifié de différents types de réduction : Fournit un traitement complet pour les cas de réduction ordinaire et supersingulière
3. Bornes de hauteur effectives : Établit des bornes de hauteur effectivement calculables de la forme $h(s) \leq c_0(\epsilon) \cdot ((|\Sigma_{Q(s_0),ssing}(s,0)| + \text{disc}(\text{End}(X_s))^\epsilon) \cdot [K(s):Q])^{c_1}$
4. Progrès vers Brauer-Siegel effectif : Réduit le problème à une estimation de borne supérieure de la cardinalité d'un ensemble de nombres premiers

Détails de la méthode

Définition de la tâche

Étude d'une famille de courbes elliptiques à un paramètre $f: E \to S$, où $S$ est une courbe lisse irréductible sur un corps de nombres $K$, et $s_0 \in S(K)$ tel que la fibre $E_{s_0}$ soit une courbe elliptique CM. L'objectif est d'établir des relations entre les valeurs des fonctions G aux autres points de fibre CM $s \in S(\overline{\mathbb{Q}})$.

Architecture de la méthode principale

1. Théorie des matrices de périodes

Pour une courbe elliptique CM $E$, à chaque place $v \in \Sigma_K$, il existe une matrice de périodes :

• Cas archimédien : Via l'isomorphisme de comparaison de de Rham-Betti
• Cas non-archimédien : Via l'isomorphisme de comparaison de de Rham-cristallin

Lemme clé 2.6 : Il existe une base de Hodge $\Gamma_{dR}(E)$ telle que la matrice de périodes ait la forme diagonale $\begin{pmatrix} \varpi_v & 0 \\ 0 & \varpi_v^{-1} \end{pmatrix}$

2. Construction de la famille de fonctions G

Étant donnée une famille de courbes elliptiques et un point central $s_0$, on construit une matrice de fonctions G $Y_G(x) \in SL_2(\overline{\mathbb{Q}}[[x]])$, où $x = j - j_0$ est un paramètre local.

3. Traitement par classification de la construction de relations

Cas de réduction ordinaire (Proposition 4.1) : Pour $v$ une place de réduction ordinaire de $E_0$, et $s$ tel que $\text{End}^0_{\overline{\mathbb{Q}}}(E_s) = \text{End}^0_{\overline{\mathbb{Q}}}(E_0)$, on a : $\iota_v(Y_{1,2}(x(s))) = 0$

Cas de réduction supersingulière (Proposition 4.3, résultat d'André) : Il existe un polynôme $R_{s,ssing,unr} \in \overline{\mathbb{Q}}[X_{i,j}]$ tel que pour tous les $v$ pertinents, $\iota_v(R_{s,ssing,unr}(Y_G(x(s)))) = 0$

Cas des places de ramification (Proposition 5.6) : Pour les places de ramification $v|3$, on construit un nouveau polynôme de relation $R_{s,Ram}$

Points d'innovation technique

1. Traitement des places de ramification : Premier traitement des places de ramification dans les corps CM, comblant une lacune dans les travaux de Beukers et André
2. Indépendance des relations par rapport aux places : Dans le cas de réduction ordinaire, les relations ne dépendent pas de la place spécifique $v$
3. Vérification assistée par ordinateur : Utilisation de code Mathematica pour vérifier la non-trivialité des relations

Configuration expérimentale

Configuration concrète

• Famille de courbes elliptiques : Famille $j$ $f: E \to S$, où $S = \mathbb{A}^1 \setminus \{0, 1728\}$
• Point central : $j_0 = s_0 \in S(K)$ tel que $E_{s_0}$ possède un corps CM $\mathbb{Q}(\sqrt{-3})$
• Paramètre local : $x = j - j_0$

Outils de calcul

Utilisation de Wolfram Mathematica pour :

1. Le calcul des polynômes de relation
2. La réduction par base de Gröbner
3. La vérification de non-trivialité

Résultats expérimentaux

Résultats principaux

Théorème 1.5 : Dans le cadre où $g=1$ et la fibre de $s_0$ possède une multiplication complexe $\mathbb{Q}(\sqrt{-3})$, pour les points $s$ $v$-adiquement proches de $s_0$, il existe un polynôme $R_{s,v} \in \overline{\mathbb{Q}}[X]$ tel que $\iota_v(R_{s,v}(Y_G(s))) = 0$ et au niveau fonctionnel $R_{s,v}(Y_G(x)) \neq 0$.

Théorème 1.6 (Borne de hauteur) : Pour tout $\epsilon > 0$, il existe des constantes effectivement calculables $c_0(\epsilon), c_1 > 0$ telles que : $h(s) \leq c_0(\epsilon) \cdot ((|\Sigma_{Q(s_0),ssing}(s,0)| + \text{disc}(\text{End}(X_s))^\epsilon) \cdot [K(s):Q])^{c_1}$

Résultats pour cas particuliers

Proposition 5.5 : Pour l'ensemble des points CM $A(j_0) = \{j : \text{End}^0_{\overline{\mathbb{Q}}}(E_j) = \text{End}^0_{\overline{\mathbb{Q}}}(E_0)\}$ possédant le même corps CM, on a une borne plus forte : $h(j) \leq C_1 + C_2 \log([Q(j):Q])$

Vérification par calcul

La vérification par code Mathematica confirme que tous les polynômes de relation construits ne se trouvent pas dans l'idéal $\langle X_{11}X_{22} - X_{12}X_{21} - 1 \rangle$, garantissant la non-trivialité des relations.

Travaux connexes

Développement historique

1. Travaux fondateurs de Bombieri-André : Établissement de la méthode des fonctions G
2. Beukers (1993) : Première étude des relations entre valeurs de fonctions G dans les familles de courbes elliptiques
3. André (1995) : Étude du même problème avec des outils différents

Avantages relatifs de cet article

1. Complétude : Traite tous les types de places, y compris les places de ramification
2. Effectivité : Toutes les constantes sont effectivement calculables
3. Unité : Fournit un cadre théorique unifié

Conclusions et discussion

Conclusions principales

1. Construction réussie d'une théorie complète des relations entre valeurs de fonctions G aux points CM dans les familles de courbes elliptiques
2. Établissement de bornes de hauteur effectives, constituant un pas important vers l'effectivité du théorème de Siegel
3. Réduction du problème à l'estimation d'une borne supérieure de la cardinalité de l'ensemble de nombres premiers $P(j)$

Limitations

1. Dépendance de conjecture : Le résultat final d'effectivité de Brauer-Siegel dépend de la Conjecture 5.8
2. Restriction aux corps CM spéciaux : Les résultats principaux concernent $\mathbb{Q}(\sqrt{-3})$
3. Complexité technique : Le traitement des places de ramification nécessite de nombreux détails techniques

Directions futures

1. Preuve de la Conjecture 5.8 : Nécessite une borne supérieure plus précise pour l'ensemble de nombres premiers $P(j)$
2. Généralisation à d'autres corps CM : Extension à des corps CM plus généraux
3. Cas de dimension supérieure : Généralisation aux variétés abéliennes

Évaluation approfondie

Points forts

1. Profondeur théorique : Combine profondément la théorie de la multiplication complexe, la théorie des fonctions G et la géométrie diophantienne
2. Innovation technique : Premier traitement des places de ramification, comblant une lacune théorique importante
3. Valeur pratique : Toutes les constantes sont effectivement calculables, avec potentiel d'application pratique
4. Complétude : Fournit un cadre théorique complet et une implémentation technique détaillée

Insuffisances

1. Complexité : Les détails techniques sont extrêmement complexes, avec un seuil de compréhension élevé
2. Spécificité : Les résultats principaux sont limités au corps CM spécifique $\mathbb{Q}(\sqrt{-3})$
3. Dépendance de conjecture : La réalisation de l'objectif final dépend d'une conjecture non prouvée

Impact

1. Contribution théorique : Fournit une théorie complète pour l'application de la méthode des fonctions G aux familles de courbes elliptiques
2. Innovation méthodologique : Application réussie de la preuve assistée par ordinateur en mathématiques pures
3. Développement futur : Ouvre de nouvelles voies de recherche pour le problème de Brauer-Siegel effectif

Scénarios d'application

1. Recherche théorique : Étude des problèmes de nombre de classes en théorie algébrique des nombres
2. Application computationnelle : Estimation effective de la hauteur pour des courbes elliptiques CM concrètes
3. Généralisation de méthode : Application de la méthode des fonctions G à d'autres objets géométriques

Références bibliographiques

L'article cite 36 références importantes, notamment :

• Travaux fondamentaux d'André sur la théorie des fonctions G And89, And95, And03
• Recherche de Beukers sur les familles de courbes elliptiques Beu93
• Théorie des modules singuliers de Gross-Zagier GZ85
• Travaux de généralisation de Lauter-Viray LV15
• Estimations d'homomorphismes de Masser-Wüstholz MW94

Évaluation générale : Cet article est un travail de haute qualité ayant une valeur théorique importante dans le domaine de la théorie algébrique des nombres. Par un traitement technique ingénieux, il résout les difficultés techniques clés dans l'application de la méthode des fonctions G, offrant une nouvelle voie de recherche pour le problème classique d'effectivité de la borne inférieure du nombre de classes de Siegel. Bien que la complexité technique soit très élevée et que le résultat dépende d'une conjecture non prouvée, ses contributions théoriques et innovations méthodologiques en font un progrès important dans ce domaine.