2025-11-23T22:28:17.352398

On the $v$-adic values of G-functions I

Papas
This is the first in a series of papers aimed at studying families of G-functions associated to $1$-parameter families of abelian schemes. In particular, the construction of relations, in both the archimedean and non-archimedean settings, at values of specific interest to problems of unlikely intersections. In this first text in this series, we record what we expect to be the theoretical foundations of this series in a uniform way. After this, we study values corresponding to ``splittings'' in $\mathcal{A}_2$ pertinent to the Zilber-Pink conjecture.
academic

Sur les valeurs vv-adiques des G-fonctions I

Informations fondamentales

  • ID de l'article: 2510.11806
  • Titre: On the vv-adic values of G-functions I: Splittings in A2\mathcal{A}_2
  • Auteur: Georgios Papas
  • Classification: math.NT (Théorie des nombres), math.AG (Géométrie algébrique)
  • Date de publication: 15 octobre 2025
  • Lien de l'article: https://arxiv.org/abs/2510.11806

Résumé

Cet article est le premier d'une série d'études portant sur les familles de G-fonctions associées aux familles de schémas abéliens à un paramètre. En particulier, l'auteur construit des relations entre les valeurs ayant une signification particulière dans les problèmes d'intersections improbables, dans les cadres archimédien et non-archimédien. Dans ce premier article de la série, l'auteur établit les fondations théoriques de la série de manière unifiée, puis étudie les valeurs correspondant aux « scindements » dans A2\mathcal{A}_2 liés à la conjecture de Zilber-Pink.

Contexte et motivation de la recherche

Contexte du problème

  1. Théorie des G-fonctions: Les G-fonctions ont été initialement introduites par C.L. Siegel à la fin des années 1920. Par la suite, grâce aux travaux fondateurs d'E. Bombieri et Y. André dans les années 1980, la théorie des G-fonctions a établi des connexions plus claires avec la géométrie arithmétique en étudiant leurs valeurs aux « points d'intérêt particulier ».
  2. Problèmes d'intersections improbables: Récemment, ce domaine de recherche s'est réactivé en raison de ses connexions avec les problèmes dits « d'intersections improbables ». Cette connexion a été initialement découverte par C. Daw et M. Orr, qui ont utilisé les G-fonctions et les propriétés de leurs valeurs aux points liés à la conjecture de Zilber-Pink pour obtenir les premiers résultats inconditionnels de cette conjecture dans certains cas de A2\mathcal{A}_2.
  3. Paradigme de recherche: La recherche traditionnelle s'est concentrée sur le paradigme 1.1 (impliquant des familles dégénérées de valeurs singulières), tandis que cet article se tourne vers le paradigme 1.2 (étudiant les variétés abéliennes honnêtes plutôt que les familles dégénérées).

Motivation de la recherche

  1. Perfectionnement théorique: Établir les fondations théoriques de la méthode des G-fonctions dans le nouveau paradigme
  2. Conjecture de Zilber-Pink: Fournir de nouveaux outils et résultats pour la conjecture de Zilber-Pink dans A2\mathcal{A}_2
  3. Bornes de hauteur: Établir des bornes de hauteur via les relations entre les valeurs des G-fonctions, conduisant à des résultats de finitude

Contributions principales

  1. Cadre théorique: Établissement des fondations théoriques unifiées de la théorie des G-fonctions sous le paradigme 1.2
  2. Construction de relations: Construction de relations polynomiales entre les valeurs des G-fonctions dans les cadres archimédien et non-archimédien
  3. Théorème de borne de hauteur: Preuve de bornes de hauteur effectives pour les points scindés dans A2\mathcal{A}_2 (Théorème 1.5)
  4. Application de Zilber-Pink: Obtention de nouveaux résultats pour la conjecture de Zilber-Pink dans des cas spécifiques (Corollaire 1.6)
  5. Innovation technique: Utilisation des informations fondamentales de la structure ϕ\phi-modulaire en théorie de Hodge pp-adique pour minimiser la dépendance des relations aux places finies vv

Explication détaillée des méthodes

Définition de la tâche

Étude des familles de surfaces abéliennes à un paramètre f:XSf: X \to S, où SS est une courbe lisse irréductible, définie sur un corps de nombres KK. L'objectif est d'établir des relations entre les valeurs des G-fonctions pour les points sS(Q)s \in S(\overline{\mathbb{Q}}) où la fibre se « scinde » (c'est-à-dire XsEs×EsX_s \sim E_s \times E'_s).

Cadre technique principal

1. Construction des G-fonctions

Étant donnée une famille f:XSf: X \to S et un point central s0S(K)s_0 \in S(K), les G-fonctions sont construites par les étapes suivantes:

  • Choix d'une base de Hodge ΓdR(X)={ωi,ηj}\Gamma_{dR}(X) = \{\omega_i, \eta_j\}
  • Obtention du système différentiel via la connexion de Gauss-Manin: ddxY=AY\frac{d}{dx}Y = A \cdot Y
  • Construction d'une solution normalisée YGM2g(Q[[x]])Y_G \in M_{2g}(\overline{\mathbb{Q}}[[x]]) dont les entrées sont des G-fonctions

2. Isomorphismes de comparaison

Utilisation des isomorphismes de comparaison de de Rham-Betti et de de Rham-cristallin: Pv(s)=ιv(YG(x(s)))Πv(X0)P_v(s) = \iota_v(Y_G(x(s))) \cdot \Pi_v(X_0)

Πv(X0)\Pi_v(X_0) est la matrice des vv-périodes de X0X_0.

3. Relations dans le cas scindé

Pour un scindement XsEs×EsX_s \sim E_s \times E'_s, en utilisant l'isomorphisme θs:XsEs×Es\theta_s: X_s \to E_s \times E'_s, on obtient la relation clé: ιv(J2,3[θs]dRYG(x(s))[θ0]dRJ2,3)=(Πv(Es)00Πv(Es))Θ(Πv(E0)100Πv(E0)1)\iota_v(J_{2,3} \cdot [\theta_s]_{dR} \cdot Y_G(x(s)) \cdot [\theta_0^{\vee}]_{dR} \cdot J_{2,3}) = \begin{pmatrix} \Pi_v(E_s) & 0 \\ 0 & \Pi_v(E'_s) \end{pmatrix} \cdot \Theta \cdot \begin{pmatrix} \Pi_v(E_0)^{-1} & 0 \\ 0 & \Pi_v(E'_0)^{-1} \end{pmatrix}

Points d'innovation technique

1. Traitement unifié des réductions non-supersingulières

Pour les places finies avec réductions non-supersingulières, l'utilisation de la structure ϕ\phi-modulaire rend la relation Rs,vR_{s,v} presque indépendante de la place vv, ce qui constitue une amélioration importante par rapport aux travaux de Beukers et al.

2. Stratégie de traitement par classification

  • Réductions ordinaires: Utilisation de la diagonalisation de l'action de Frobenius
  • Réductions supersingulières: Construction de relations dépendant de la place
  • Places archimédiennes: Utilisation de la relation de Legendre

3. Cadre conjectural pour les mauvaises réductions

Proposition des conjectures 6.1 et 6.2, utilisant la cohomologie de Hyodo-Kato pour traiter les cas de mauvaises réductions.

Configuration expérimentale

Vérification théorique

Cet article est principalement un travail théorique, dont la construction est vérifiée via du code Mathematica pour la non-trivialité des relations polynomiales construites:

  1. Calcul polynomial: Calcul des relations polynomiales dans divers cas
  2. Réduction par base de Gröbner: Vérification que les polynômes ne sont pas dans l'idéal I(SP4)I(SP_4)
  3. Analyse des coefficients: Analyse de la structure des coefficients par factorisation

Cas spécifiques

  • Points E×CME \times CM: Cas où une courbe elliptique est une courbe CM
  • Points E2E^2: Cas où les deux courbes elliptiques sont isomorphes
  • Différents types de réductions: Ordinaires, supersingulières, mauvaises réductions

Résultats principaux

Théorème 1.3 (Résultat technique principal)

Soit f:XSf: X \to S la famille décrite ci-dessus, et s0,sS(Q)s_0, s \in S(\overline{\mathbb{Q}}) des points E2E^2 ou E×CME \times CM. Pour vΣQ(S,s0,s)v \in \Sigma_{\mathbb{Q}(S,s_0,s)} tel que ss et s0s_0 soient « vv-adiquement proches », il existe un polynôme Rs,vQ[Z1,,Zn]R_{s,v} \in \overline{\mathbb{Q}}[Z_1,\ldots,Z_n] satisfaisant:

  1. ιv(Rs,v(Y(s)))=0\iota_v(R_{s,v}(Y(s))) = 0
  2. Rs,v(Y)0R_{s,v}(Y) \neq 0 au niveau fonctionnel
  3. Rs,vR_{s,v} ne dépend pas de vv (sauf si vv est une place archimédienne ou une place de mauvaise réduction supersingulière de Xs0X_{s_0})

Théorème 1.5 (Borne de hauteur)

Sous les hypothèses appropriées, il existe des constantes c1,c2>0c_1, c_2 > 0 telles que pour tous les points scindés ss: h(s)c1(ΣQ(s0),ssing(s,0)[K(s):Q])c2h(s) \leq c_1 \cdot (|\Sigma_{\mathbb{Q}(s_0),ssing}(s,0)| \cdot [K(s) : \mathbb{Q}])^{c_2}

Corollaire 1.6 (Application de Zilber-Pink)

Soit ZA2Z \subset \mathcal{A}_2 une courbe lisse irréductible non contenue dans une sous-variété spéciale propre. Alors pour tout NNN \in \mathbb{N}, l'ensemble XZPsplit,N(Z):={sZ(C):s est un point E×CM ou E2 et ΣQ(s0),ssing(s,0)N}X_{ZP-split,N}(Z) := \{s \in Z(\mathbb{C}) : s \text{ est un point } E \times CM \text{ ou } E^2 \text{ et } |\Sigma_{\mathbb{Q}(s_0),ssing}(s,0)| \leq N\} est fini.

Travaux connexes

Développement historique

  1. Siegel (1929): Introduction du concept de G-fonction
  2. Bombieri (1981), André (1989): Établissement des connexions entre les G-fonctions et la géométrie arithmétique
  3. Daw-Orr (2021-): Application des G-fonctions aux problèmes d'intersections improbables

Contributions de cet article

Par rapport aux travaux existants, cet article:

  • Étend au paradigme 1.2 (cas non-dégénérés)
  • Traite les cas de scindement des surfaces abéliennes
  • Fournit un cadre théorique plus général
  • Améliore le contrôle de la dépendance aux places finies

Conclusion et discussion

Conclusions principales

  1. Établissement réussi des fondations théoriques de la théorie des G-fonctions sous le paradigme 1.2
  2. Construction de relations effectives pour les cas de scindement dans A2\mathcal{A}_2
  3. Obtention de nouveaux résultats de finitude de type Zilber-Pink

Limitations

  1. Hypothèse de bonne réduction potentielle partout: Les résultats actuels nécessitent que la fibre centrale Xs0X_{s_0} ait une bonne réduction potentielle partout
  2. Dépendance aux places supersingulières: Aux places de réduction supersingulière, les relations dépendent encore de la place
  3. Complexité computationnelle: La vérification de la non-trivialité des relations nécessite des calculs complexes

Directions futures

  1. Généralisation à dimension supérieure: Extension aux scindements dans Ag\mathcal{A}_g (g3g \geq 3)
  2. Traitement des mauvaises réductions: Vérification des conjectures 6.1 et 6.2 pour éliminer l'hypothèse de bonne réduction
  3. Conjecture de proximité supersingulière: Étude de la conjecture 5.3 pour résoudre complètement le problème de Zilber-Pink

Évaluation approfondie

Points forts

  1. Profondeur théorique: Fournit une extension importante et un cadre unifié de la théorie des G-fonctions
  2. Innovation technique: Utilisation astucieuse de la théorie de Hodge pp-adique pour simplifier la dépendance aux places
  3. Valeur applicative: Fournit de nouveaux outils efficaces pour la conjecture de Zilber-Pink
  4. Rigueur: Construction théorique rigoureuse et preuves détaillées

Insuffisances

  1. Restrictions des hypothèses: L'hypothèse de bonne réduction potentielle partout est relativement forte
  2. Dépendance computationnelle: La vérification clé de la non-trivialité dépend de l'assistance informatique
  3. Complétude: Certains cas nécessitent encore le soutien de conjectures

Impact

  1. Contribution académique: Fournit des outils importants pour la théorie des intersections improbables
  2. Méthodologie: Démontre la puissance de la méthode des G-fonctions en géométrie arithmétique moderne
  3. Recherche ultérieure: Pose les fondations pour les travaux ultérieurs de la série

Domaines d'application

Cette méthode est particulièrement adaptée à:

  • Les problèmes d'intersections improbables dans les variétés de Shimura
  • Le comptage des points spéciaux dans les espaces de modules des variétés abéliennes
  • Les problèmes diophantiens nécessitant des bornes de hauteur effectives

Références bibliographiques

L'article cite 75 références pertinentes, incluant principalement:

  • Les théories fondamentales des G-fonctions d'André, Bombieri et al.
  • Les travaux sur les intersections improbables de Daw-Orr
  • La théorie de la cohomologie cristalline de Berthelot-Ogus
  • La théorie de Hodge pp-adique de Hyodo-Kato

Cet article représente une avancée importante dans l'application de la théorie des G-fonctions à la géométrie arithmétique moderne, fournissant de nouveaux outils efficaces pour résoudre la conjecture de Zilber-Pink, avec une valeur théorique importante et des perspectives d'application prometteuses.