Auto-intersection du faisceau de dualisation relatif sur les courbes modulaires $X_1(N)$

Informations fondamentales

• ID de l'article: 1212.1294
• Titre: Self-intersection of the relative dualizing sheaf on modular curves $X_1(N)$
• Auteur: Hartwig Mayer
• Classification: math.NT (Théorie des nombres)
• Date de soumission: 6 décembre 2012 sur arXiv, mise à jour le 22 octobre 2018
• Lien de l'article: https://arxiv.org/abs/1212.1294

Résumé

Cet article étudie l'auto-intersection arithmétique stable du faisceau de dualisation relatif sur les courbes modulaires $X_1(N)/\mathbb{Q}$. Soit $N$ un entier positif impair et sans facteurs carrés, divisible par au moins deux entiers premiers entre eux et supérieurs ou égaux à 4. L'auteur démontre une formule asymptotique pour l'auto-intersection arithmétique stable du faisceau de dualisation, exprimée entièrement en termes de $N$. Sur la base du théorème principal, l'auteur obtient également une formule asymptotique pour la hauteur de Faltings stable de la Jacobienne $J_1(N)/\mathbb{Q}$, ainsi qu'une version effective de la conjecture de Bogomolov sur $X_1(N)/\mathbb{Q}$ pour $N$ suffisamment grand.

Contexte et motivation de la recherche

1. Problème central: Calculer l'auto-intersection arithmétique stable $\omega_N^2$ du faisceau de dualisation relatif $\omega_{X_1(N)/\mathbb{Z}[\zeta_N]}$ sur la courbe modulaire $X_1(N)$.
2. Importance:
   • La positivité stricte de l'auto-intersection arithmétique stable est équivalente à la conjecture de Bogomolov, qui affirme que pour les courbes de genre supérieur à 1, les points algébriques plongés dans la Jacobienne sont distribués discrètement dans la « topologie de Néron-Tate »
   • Applications importantes dans le calcul des coefficients de Fourier des formes modulaires
   • Étroitement liée à la théorie de la hauteur de Faltings
3. Limitations des recherches existantes:
   • Les auto-intersections arithmétiques stables actuellement connues se limitent aux courbes de genre 1, aux courbes de genre 2, et à certaines courbes modulaires $X_0(N)$ spécifiques (où $N$ est sans facteurs carrés et $2,3 \nmid N$)
   • Absence de formules asymptotiques précises pour les courbes modulaires de type $X_1(N)$
4. Motivation de la recherche: Combler le vide dans la théorie de l'auto-intersection arithmétique pour les courbes modulaires $X_1(N)$, en fournissant des outils pour les problèmes connexes en théorie des nombres et géométrie algébrique.

Contributions principales

1. Théorème principal: Démonstration de la formule asymptotique pour $N$ satisfaisant les conditions $\omega_N^2 = 3g_N \log(N) + o(g_N \log(N))$ où $g_N$ est le genre de $X_1(N)$.
2. Formule de hauteur de Faltings: Obtention de la formule asymptotique pour la hauteur de Faltings stable de la Jacobienne $J_1(N)/\mathbb{Q}$$h_{\text{Fal}}(J_1(N)) = \frac{g_N}{4}\log(N) + o(g_N \log(N))$
3. Version effective de la conjecture de Bogomolov: Démonstration d'une borne effective de Bogomolov pour $N$ suffisamment grand.
4. Innovation technique: Développement de méthodes de théorie spectrale applicables aux sous-groupes de congruence $\Gamma_1(N)$, extension des techniques d'Abbes-Ullmo et Jorgenson-Kramer.

Explication détaillée de la méthode

Définition de la tâche

Calculer l'auto-intersection arithmétique stable $\omega_N^2 = \frac{1}{[\mathbb{Q}(\zeta_N):\mathbb{Q}]} \omega_{X_1(N)/\mathbb{Z}[\zeta_N]}^2$, où $\omega_{X_1(N)/\mathbb{Z}[\zeta_N]}$ est le faisceau de dualisation relatif.

Formule de décomposition centrale

L'auteur établit la formule de décomposition clé (Proposition 7.6): $\omega_N^2 = 4g_N(g_N-1)g_{\text{can}}(0,\infty) + \frac{1}{\phi(N)}\frac{g_N+1}{g_N-1}(V_0,V_\infty)_{\text{fin}}$

où:

• $g_{\text{can}}(0,\infty)$ est la fonction de Green standard entre les pointes 0 et ∞
• $(V_0,V_\infty)_{\text{fin}}$ est le nombre d'intersection fini des diviseurs verticaux
• $\phi(N)$ est la fonction d'Euler

Architecture technique

1. Calcul de la partie analytique

Calcul de $4g_N(g_N-1)g_{\text{can}}(0,\infty)$ par la théorie du développement spectral:

Développement spectral: Utilisation du développement spectral du noyau automorphe $K_k(z,w) = \sum_{j=0}^{\infty} h(r_j)u_j(z)u_j(w) + \text{termes du spectre continu}$

Formule fondamentale: Établissement de la fonction $F(z) := \frac{1}{g_N}\sum_{j=1}^{g_N} y^2|f_j(z)|^2$ où $\{f_j\}$ est une base orthonormée de formes paraboliques de poids 2.

Transformation de Rankin-Selberg: Par $R_F(s) = \int_{\Gamma_1(N)\backslash \mathbb{H}} F(z)E_{\infty,0}(z,s)\mu_{\text{hyp}}(z)$ le développement de Laurent en $s=1$ permet de calculer la fonction de Green.

2. Calcul de la partie algébrique

Calcul du nombre d'intersection géométrique $(V_0,V_\infty)_{\text{fin}}$, où $V_0, V_\infty$ sont des diviseurs verticaux construits via la structure fibrée du modèle régulier minimal.

3. Analyse asymptotique

Contribution hyperbolique: Par la dérivée logarithmique de la fonction zêta de Selberg $R_H(t,1) = -\frac{1}{2v_N}\int_0^t \Theta_{\Gamma_1(N)}(\xi)d\xi$

Contributions paraboliques et spectrales: Utilisation de la théorie de la matrice de diffusion des séries d'Eisenstein.

Points d'innovation technique

1. Formule de trace de Selberg étendue: Généralisation de la méthode du cas $X_0(N)$ au cas $X_1(N)$, nécessitant le traitement de structures de sous-groupes de congruence plus complexes.
2. Estimations améliorées de la fonction de Green: Combinaison des travaux d'Abbes-Ullmo et Jorgenson-Kramer, fournissant des asymptotiques précises pour la fonction de Green entre pointes.
3. Calcul explicite des nombres d'intersection géométriques: Via la théorie de Katz-Mazur pour le calcul de la structure fibrée du modèle régulier minimal.

Configuration expérimentale

Méthodes de vérification théorique

Cet article est une recherche mathématique théorique pure, vérifiée principalement par:

1. Vérifications de cohérence: Vérification de la cohérence du comportement asymptotique de chaque contribution
2. Comparaison avec cas connus: Comparaison analogique avec les résultats connus du cas $X_0(N)$
3. Estimations numériques: Utilisation des bornes de la fonction zêta de Selberg pour vérifier la raisonnabilité des termes d'erreur

Conditions techniques

• $N$ impair et sans facteurs carrés
• $N = N'qr$, où $q,r \geq 4$ et premiers entre eux
• $g_N \geq 1$ (c'est-à-dire $N = 11$ ou $N \geq 13$)

Résultats expérimentaux

Résultats principaux

Théorème 7.7 (Théorème principal): $\omega_N^2 = 3g_N \log(N) + o(g_N \log(N))$

Théorème 8.2 (Hauteur de Faltings): $h_{\text{Fal}}(J_1(N)) = \frac{g_N}{4}\log(N) + o(g_N \log(N))$

Résultats de l'analyse asymptotique

1. Partie analytique: $4g_N(g_N-1)g_{\text{can}}(0,\infty) = 2g_N \log(N) + o(g_N \log(N))$
2. Partie algébrique: $(V_0,V_\infty)_{\text{fin}} = -\phi(N)\frac{24(g_N-1)^2}{\prod_{p|N}(p^2-1)}\sum_{p|N}\frac{p+1}{p-1}\log(p)$
3. Résultat combiné: Les deux contributions valent respectivement $2g_N \log(N)$ et $g_N \log(N)$, pour un total de $3g_N \log(N)$.

Version effective de la conjecture de Bogomolov

Théorème 8.7: Pour $N$ suffisamment grand et tout $\varepsilon > 0$, l'ensemble de points algébriques $\{x \in X_1(N)(\mathbb{Q}) | h_{NT}(\phi_D(x)) < (\frac{3}{4} - \varepsilon)\log(N)\}$ est fini.

Travaux connexes

Recherches principales connexes

1. Fondements de la théorie d'Arakelov: Arakelov (1974), Faltings (1984) établissent la théorie de l'intersection sur les surfaces arithmétiques
2. Cas de la courbe modulaire $X_0(N)$: Travaux pionniers d'Abbes-Ullmo (1997), Müller-Ullmo (1998)
3. Méthodes de théorie spectrale: Théorie spectrale des formes automorphes par Iwaniec (2002), Roelcke (1966-1967)
4. Théorie de la fonction de Green: Améliorations des bornes de la fonction de Green par la série de travaux de Jorgenson-Kramer

Avantages de cet article par rapport aux travaux connexes

1. Premier traitement de $X_1(N)$: Comparé aux résultats connus de $X_0(N)$, la structure du sous-groupe de congruence de $X_1(N)$ est plus complexe
2. Formule asymptotique complète: Fournit les coefficients exacts du terme principal, plutôt que simplement des bornes supérieures
3. Approche unifiée: Combine organiquement les méthodes analytiques et géométriques algébriques

Conclusions et discussion

Conclusions principales

1. Établissement d'une théorie asymptotique complète pour l'auto-intersection du faisceau de dualisation relatif sur les courbes modulaires $X_1(N)$
2. Fourniture de versions effectives de la hauteur de Faltings et de la conjecture de Bogomolov
3. Développement de méthodes techniques applicables aux sous-groupes de congruence généraux

Limitations

1. Restrictions sur les conditions: Exigence que $N$ soit de forme spécifique (impair, sans facteurs carrés, factorisation spécifique)
2. Nature asymptotique: Fournit uniquement le terme principal; la forme exacte des termes d'ordre inférieur reste peu claire
3. Complexité computationnelle: La méthode implique des techniques profondes de théorie analytique des nombres, rendant le calcul pratique difficile

Directions futures

1. Généralisation à $N$ arbitraire: Traitement des cas avec facteurs carrés ou nombres pairs
2. Analyse des termes d'ordre supérieur: Détermination de la forme exacte du terme $o(g_N \log N)$
3. Autres courbes modulaires: Généralisation de la méthode à d'autres courbes modulaires comme $X(N), X_0^+(N)$

Évaluation approfondie

Points forts

1. Profondeur technique: Combinaison ingénieuse de techniques profondes provenant de la géométrie d'Arakelov, de la théorie spectrale, de la géométrie algébrique et d'autres domaines
2. Complétude des résultats: Non seulement le théorème principal est fourni, mais aussi des applications arithmétiques importantes
3. Innovation méthodologique: Généralisation réussie des techniques du cas $X_0(N)$ au cas plus difficile $X_1(N)$
4. Signification théorique: Contribution importante à la théorie de la géométrie arithmétique des courbes modulaires

Insuffisances

1. Lisibilité: Le contenu technique est extrêmement profond, nécessitant une formation professionnelle dans plusieurs domaines
2. Étendue d'application: Les restrictions sur $N$ sont assez fortes, limitant la portée des applications pratiques
3. Utilité computationnelle: Bien que des formules théoriques soient fournies, le calcul numérique réel reste difficile

Impact

1. Contribution théorique: Comble un vide important dans la théorie arithmétique des courbes modulaires $X_1(N)$
2. Valeur méthodologique: Les techniques développées peuvent s'appliquer à d'autres problèmes de géométrie arithmétique
3. Recherche ultérieure: Fournit des outils et des perspectives importants pour la recherche ultérieure dans les domaines connexes

Domaines d'application

1. Recherche théorique: Recherche théorique en formes modulaires, géométrie arithmétique, géométrie arithmétique des nombres
2. Théorie de la hauteur: Étude de la hauteur de Faltings et des invariants arithmétiques connexes
3. Géométrie diophantienne: Problèmes de conjectures de type Bogomolov et distribution des points rationnels

Références bibliographiques

L'article cite 46 références importantes, incluant principalement:

1. Arakelov, S.J. (1974) - Travail fondateur de la théorie d'Arakelov
2. Abbes, A. & Ullmo, E. (1997) - Recherche pionnière pour le cas $X_0(N)$
3. Faltings, G. (1984) - Fondements de la théorie des surfaces arithmétiques
4. Iwaniec, H. (2002) - Manuel standard des méthodes spectrales des formes automorphes
5. Série de travaux de Jorgenson, J. & Kramer, J. - Développement moderne de la théorie de la fonction de Green

Cet article représente une recherche de haut niveau dans le domaine de la géométrie arithmétique, résolvant un problème théorique important par des innovations techniques profondes et apportant une contribution significative au développement des domaines connexes.