Domaines fondamentaux pour les groupes S-arithmétiques quaternioniques sur les corps totalement réels

Informations fondamentales

• ID de l'article: 2510.09356
• Titre: Fundamental domains for quaternionic S-arithmetic groups over totally real fields
• Auteurs: Marc Masdeu, Eloi Torrents
• Classification: math.NT (Théorie des nombres)
• Date de publication: 13 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.09356

Résumé

Soit $B$ une algèbre de quaternions totalement définie positive sur un corps totalement réel $F$, $\mathfrak{p}$ un idéal premier de $F$, et $\Gamma$ le groupe des éléments de norme réduite 1 d'un ordre d'Eichler $\mathcal{O}_F[1/\mathfrak{p}]$-ordre $R$ dans $B$. Cet article fournit un algorithme pour calculer le domaine fondamental de l'action de $\Gamma$ sur l'arbre de Bruhat-Tits de $\operatorname{GL}_2(F_\mathfrak{p})$. En utilisant cet algorithme, les auteurs ont tabulé toutes les courbes de Shimura de genre au plus 3 sur les corps totalement réels qui peuvent être davantage uniformisées par un certain nombre premier $\mathfrak{p}$.

Contexte et motivation de la recherche

1. Problème central: Cet article résout le problème central du calcul des domaines fondamentaux de l'action des groupes S-arithmétiques quaternioniques sur l'arbre de Bruhat-Tits. Il s'agit d'un problème de calcul important en théorie algébrique des nombres et en théorie des formes automorphes.
2. Importance:
   • Pour les courbes de Shimura à mauvaise réduction, la structure de la fibre spéciale mauvaise est encodée par ces domaines fondamentaux
   • Le calcul des domaines fondamentaux est crucial pour comprendre l'uniformisation p-adique des courbes de Shimura
   • Ces résultats de calcul peuvent être utilisés pour déterminer toutes les courbes de Shimura dans une plage de genre spécifique
3. Limitations des méthodes existantes:
   • Les algorithmes antérieurs se concentraient principalement sur le cas du corps des rationnels $\mathbb{Q}$
   • Il manquait des méthodes de calcul efficaces pour le cas général des corps totalement réels
   • Les méthodes existantes manquaient d'efficacité dans le traitement des cas de genre élevé
4. Motivation de la recherche:
   • Généraliser l'algorithme de Franc-Masdeu au cas des corps totalement réels
   • Fournir une méthode systématique pour calculer et classifier les courbes de Shimura de bas genre
   • Fournir des outils de calcul pour la théorie p-adique des courbes de Shimura

Contributions principales

1. Innovation algorithmique: Généralisation de l'algorithme de Franc-Masdeu au cas des algèbres de quaternions sur les corps totalement réels, fournissant un algorithme complet pour le calcul des domaines fondamentaux
2. Développement théorique:
   • Fournit une méthode efficace pour déterminer si deux sommets ou arêtes de l'arbre de Bruhat-Tits sont équivalents sous l'action du groupe
   • Fournit une méthode normalisée pour représenter les sommets et les arêtes de l'arbre de Bruhat-Tits à l'aide de matrices
3. Résultats de calcul: Calcul systématique et tabulation de toutes les courbes de Shimura uniformisables par p-adique de genre au plus 3 sur les corps totalement réels de degré 2-7
4. Implémentation logicielle: Fournit une implémentation SageMath, permettant à d'autres chercheurs d'utiliser et de vérifier l'algorithme

Explication détaillée de la méthode

Définition de la tâche

Étant donné une algèbre de quaternions totalement définie positive $B$ sur un corps totalement réel $F$, un idéal premier $\mathfrak{p}$, et un ordre d'Eichler $R$, calculer le domaine fondamental de l'action du groupe $\Gamma = \iota(R[1/\mathfrak{p}]^{\times 1}) \subseteq \text{SL}_2(F_\mathfrak{p})$ sur l'arbre de Bruhat-Tits $T_\mathfrak{p}$.

Architecture de l'algorithme principal

1. Représentation de l'arbre de Bruhat-Tits

• Représentation des sommets: Classes d'homotopie $[Λ]$, où $Λ \subseteq F_\mathfrak{p}^2$ est un réseau
• Représentation normalisée: Utilisation de matrices $2 \times 2$ dans $\mathcal{O}_F$ pour représenter les sommets et les arêtes

Lemme 2.2: Les sommets peuvent être représentés par des matrices de la forme $\begin{pmatrix} \pi^m & 0 \\ r & \pi^n \end{pmatrix}$ ou $\begin{pmatrix} 0 & \pi^m \\ \pi^n & r \end{pmatrix}$, où $r \in S_n$.

2. Algorithme de jugement d'équivalence

Le problème central est de déterminer si deux sommets/arêtes $u, v$ sont $Γ$-équivalents, c'est-à-dire s'il existe $γ \in Γ$ tel que $\iota(γ)u = v$.

Lemme 3.2: Soit $2m = a + b$, où $a = \text{val}_\pi(\det u)$, $b = \text{val}_\pi(\det v)$, alors $\text{Hom}_Γ(u,v) = Γ \cap π^{-m}v^*Λ_0u$

Étapes principales de l'algorithme:

1. Construire le réseau $Λ_{u,v} = \iota^{-1}(π^h v^* Λ_0 u) \cap R + \mathfrak{p}^{d⌈m/d⌉+1}R$
2. Chercher des éléments de norme réduite $δ^{2⌈m/d⌉}$
3. Utiliser l'algorithme LLL pour résoudre le problème du vecteur le plus court

3. Algorithme de calcul du domaine fondamental

Flux principal de l'algorithme 2:

1. Commencer à partir d'un sommet de base $v_0$
2. Pour chaque sommet à traiter, vérifier toutes ses arêtes sortantes
3. Utiliser le jugement d'équivalence pour déterminer si une nouvelle arête/un nouveau sommet est déjà dans le domaine fondamental
4. Enregistrer les relations de frontière, calculer le genre
5. Répéter jusqu'à ce que tous les sommets soient traités

Points d'innovation technique

1. Normalisation de la représentation matricielle: Par le lemme 2.2, la transformation du calcul matriciel p-adique en calcul sur l'anneau des entiers simplifie considérablement la complexité de mise en œuvre
2. Application de la méthode des réseaux: Transformation du problème de jugement d'équivalence en problème de recherche d'éléments de norme spécifique dans un réseau particulier, résolu efficacement par l'algorithme LLL
3. Précalcul des données de frontière: Par le précalcul des informations de réduction de la couche de frontière, la complexité de réduction de tout sommet est réduite à $O(\text{dist}(v))$
4. Contrôle du genre: L'algorithme peut définir une limite de genre maximal, évitant le calcul de cas trop complexes

Configuration expérimentale

Plage de données

• Degré du corps numérique: Corps totalement réels de degré 2-7
• Plage de genre: 0-3
• Condition sur les nombres premiers: Nombres premiers non ramifiés avec degré d'inertie 1

Environnement de calcul

• Matériel: Processeur Apple M4, 16 Go de RAM
• Logiciel: Implémentation SageMath
• Optimisation algorithmique: Utilisation de l'algorithme LLL et des techniques de réduction de réseau

Indicateurs d'évaluation

1. Efficacité de calcul: Temps d'exécution de l'algorithme 1 sur les sommets à différentes distances
2. Complétude de couverture: Assurance de la complétude de la classification par la borne de Selberg-Zograf
3. Vérification des résultats: Vérification de l'exactitude des résultats de calcul par plusieurs méthodes

Résultats expérimentaux

Principaux résultats de calcul

Tableau 1: Statistiques du nombre de courbes de Shimura découvertes

Analyse des performances

• Efficacité algorithmique: Le temps d'exécution de l'algorithme 1 augmente lentement avec la distance du sommet, indiquant une bonne scalabilité de l'algorithme
• Calcul à grande échelle: Calcul réussi du domaine fondamental de genre 65 (16 sommets, 80 arêtes), prenant environ 30 secondes

Exemples concrets

1. Corps quadratique $\mathbb{Q}(\sqrt{97})$:
   • Nombre premier $\mathfrak{p} = (10-\sqrt{97})$
   • Structure du domaine fondamental relativement simple
2. Corps quadratique $\mathbb{Q}(\sqrt{5})$:
   • Nombre premier $\mathfrak{p} = (\frac{3\sqrt{5}-1}{2})$
   • Discriminant de l'algèbre de quaternions $N^- = (21)$
   • Obtention d'une courbe de Shimura de genre 65

Vérification de la complétude

Utilisation de la borne de Selberg-Zograf: $A < \frac{64}{3}(g+1)$ où la formule d'aire est: $A = \frac{4}{(2π)^{2n}} d_F^{3/2} ζ_F(2) Φ(\mathfrak{p}N^-) Ψ(N^+)$

Cette borne assure la complétude de la classification.

Travaux connexes

Principales directions de recherche

1. Théorie de l'arbre de Bruhat-Tits: La théorie fondamentale de Serre fournit le cadre mathématique pour cet article
2. Uniformisation p-adique des courbes de Shimura: Le théorème de Čerednik-Drinfel'd fournit la base théorique
3. Géométrie algébrique computationnelle: L'algorithme original de Franc-Masdeu est le point de départ de cet article

Relation avec les travaux connexes

• Généralisation: Cet article généralise l'algorithme de FM14 du corps des rationnels aux corps totalement réels généraux
• Systématicité: Par rapport aux travaux de classification de Voight, cet article fournit une méthode de calcul plus systématique
• Praticité: Fournit une implémentation logicielle utilisable, facilitant l'utilisation par d'autres chercheurs

Conclusion et discussion

Conclusions principales

1. Généralisation réussie de l'algorithme de calcul du domaine fondamental de l'arbre de Bruhat-Tits au cas des corps totalement réels
2. Classification systématique et complète des courbes de Shimura de bas genre
3. Vérification de l'efficacité et de la scalabilité de l'algorithme

Limitations

1. Complexité de calcul: Pour les cas de genre élevé, la complexité de calcul reste relativement élevée
2. Restriction sur les nombres premiers: L'algorithme exige que les nombres premiers soient non ramifiés avec degré d'inertie 1
3. Besoins en mémoire: Les calculs à grande échelle nécessitent un support mémoire important

Directions futures

1. Généralisation au cas des nombres premiers généraux
2. Optimisation de l'algorithme pour traiter les cas de genre plus élevé
3. Application au calcul explicite des équations des courbes de Shimura

Évaluation approfondie

Avantages

1. Contribution théorique: Résolution réussie du problème important du calcul des domaines fondamentaux des groupes S-arithmétiques quaternioniques sur les corps totalement réels
2. Innovation algorithmique: Transformation astucieuse du calcul p-adique en calcul sur l'anneau des entiers, simplifiant considérablement la mise en œuvre
3. Systématicité: Fournit des résultats de classification complets, ayant une valeur de référence importante
4. Praticité: L'implémentation open-source permet la vérification et l'utilisation ultérieure des résultats

Insuffisances

1. Restriction sur les nombres premiers: Les conditions de restriction sur les nombres premiers sont relativement fortes, limitant l'universalité de la méthode
2. Analyse de complexité: Manque d'analyse théorique détaillée de la complexité
3. Limitation pour le genre élevé: L'efficacité du traitement des cas de genre élevé doit être améliorée

Impact

1. Valeur académique: Fournit des outils de calcul importants pour la théorie des courbes de Shimura
2. Perspectives d'application: Peut être appliqué à la cryptographie, la théorie du codage et d'autres domaines connexes
3. Reproductibilité: Fournit une implémentation open-source complète, facilitant la vérification et l'extension

Scénarios d'application

1. Calcul et classification explicites des courbes de Shimura
2. Recherche computationnelle sur les algèbres de quaternions
3. Calcul numérique des formes automorphes p-adiques
4. Problèmes de calcul concrets en théorie algébrique des nombres

Références

Cet article référence principalement les travaux importants suivants:

• FM14 Travail original de Franc-Masdeu sur le calcul des domaines fondamentaux de $\text{GL}_2(\mathbb{Q}_p)$
• Ser03 Théorie classique des arbres de Serre
• Voi09 Travail de classification de Voight sur les courbes de Shimura de bas genre
• Mil15 Théorie de l'uniformisation p-adique des courbes de Shimura de Milione

Évaluation générale: Cet article est un travail de haute qualité en théorie computationnelle des nombres, résolvant avec succès un problème théorique de calcul important et fournissant des résultats de classification systématiques. La conception algorithmique est ingénieuse, la mise en œuvre est complète, et elle apporte des contributions importantes aux domaines connexes.