Résumé Technique : Ensembles Exceptionnels pour Certaines Fonctions Hypergéométriques 2F1

1. Énoncé du Problème

Le document traite de la détermination des ensembles exceptionnels pour les fonctions hypergéométriques de Gauss ${}_2F_1(a, b, c; z)$ avec des paramètres rationnels $a, b, c \in \mathbb{Q}$. L'ensemble exceptionnel est défini par :
$$E(a, b, c) := \{z \in \mathbb{Q} \mid {}_2F_1(a, b, c; z) \in \mathbb{Q}\}.$$

Bien que la finitude du groupe de monodromie implique que la fonction hypergéométrique est algébrique (un résultat de Beukers et Heckman), le cas général concerne des fonctions non algébriques. Wolfart a conjecturé que l'ensemble exceptionnel est infini si et seulement si le groupe de monodromie est arithmétique. Ce document se concentre sur la détermination explicite de ces ensembles pour les données $(a, b, c)$ où le groupe de monodromie associé est un groupe de triangles arithmétiques appartenant à la Classe I de Takeuchi. Plus précisément, il cible les neuf groupes de triangles arithmétiques non compacts commensurables avec $\text{PSL}_2(\mathbb{Z})$.

2. Méthodologie

L'auteur emploie une double approche combinant la théorie de la transcendance et des identités explicites de formes modulaires :

A. Cadre Géométrique et de Transcendance

1. Variétés Abéliennes : En utilisant la représentation intégrale d'Euler de la fonction hypergéométrique, le document construit des courbes algébriques associées $C(N, z)$ et leurs desingularisations $X(N, z)$. Les périodes de ces courbes sont liées aux valeurs de la fonction hypergéométrique.
2. Variétés Jacobiennes : L'auteur considère la variété jacobienne $\text{Jac}(X(N, z))$ et sa partie nouvelle $\text{Jac}^{\text{new}}(X(N, z))$, qui est de dimension $\phi(N)$.
3. Résultats de Transcendance : Le document applique des résultats profonds de la théorie de la transcendance de Wüstholz et Wolfart. Ces résultats fournissent des conditions nécessaires pour l'algébricité des périodes de variétés abéliennes possédant une multiplication complexe (CM). Plus précisément, ils lient la rationalité de la valeur hypergéométrique à la nature CM du réseau de périodes sous-jacent.

B. Identités Hypergéométriques-Modulaires

1. Groupes de Triangles de Schwarz : L'équation différentielle hypergéométrique est analysée via la carte de Schwarz, qui uniformise le demi-plan supérieur $\mathbb{H}$ sur un triangle hyperbolique. L'inverse de cette carte est un Hauptmodul (un générateur du corps de fonctions) pour le groupe de triangles $\Gamma$ correspondant.
2. Identités Explicites : Le document dérive des identités exprimant ${}_2F_1(a, b, c; t(\tau))$ en termes de formes modulaires (spécifiquement des produits de fonctions $\eta$ de Dedekind). Le Théorème 2 établit que pour un Hauptmodul $t$ et une branche spécifique, la fonction hypergéométrique est proportionnelle à une combinaison linéaire de $\tau$ et d'une racine carrée d'un facteur Wronskien $W(\tau)$.
3. Points CM : En évaluant ces identités modulaires aux points CM (points $\tau \in \mathbb{H} \cap \mathbb{Q}(\sqrt{-d})$), le document identifie des valeurs algébriques spécifiques du Hauptmodul $t(\tau)$ qui produisent des valeurs hypergéométriques rationnelles.

3. Contributions Clés et Résultats

Théorème Principal (Théorème 1)

Pour les données $(a, b, c)$ où le groupe de monodromie est un groupe de triangles arithmétiques dans la Classe I de Takeuchi (avec $0 < a, b, c < 1$), l'ensemble exceptionnel est caractérisé par :
$$E(a, b, c) = \{ z \in \mathbb{Q} \mid \exists \tau_d \in \mathbb{Q}(\sqrt{-d}) \cap \mathbb{H} \text{ tel que } z = t(\tau_d) \},$$
où :

• $t$ est un Hauptmodul spécifique choisi pour le groupe de triangles.
• $d \in \{1, 2, 3\}$ est un entier positif déterminé par le groupe spécifique.
• Si $c \ge 1$, l'ensemble exceptionnel est trivial : $E(a, b, c) = \{0\}$.

Détermination Explicite

Le document calcule explicitement les ensembles exceptionnels pour tous les cas de la Classe I de Takeuchi.

• Le Tableau 1 liste les groupes de triangles, leurs Hauptmoduln correspondants (par exemple, $S_2, S_3, J_3, R_3$) et leurs relations avec les fonctions modulaires standards.
• Le Tableau 2 fournit les identités hypergéométriques-modulaires explicites, incluant la constante $\alpha$ (une racine de l'unité) et le facteur Wronskien $W(\tau)^{1/2}$ pour chaque cas.
• Le Tableau 4 résume les entiers $d$ et les fonctions modulaires $t$ spécifiques pour chaque donnée.
• Le Tableau 5 liste des exemples explicites de valeurs algébriques. Par exemple, pour la donnée $(1/4, 1/4, 1/2)$ correspondant au groupe $(2, \infty, \infty)$ (identifié à $\Gamma_0(2)$), l'ensemble exceptionnel est généré par $S_2(\tau)$ où $\tau \in \mathbb{Q}(i) \cap \mathbb{H}$. Une évaluation spécifique donne $S_2(i) = 9$, conduisant à :
  $${}_2F_1\left(\frac{1}{4}, \frac{1}{4}, \frac{1}{2}; 9\right) = 2 - \frac{i}{2\sqrt{2}}.$$

4. Signification et Revendications

Le document prétend fournir une description complète et explicite des ensembles exceptionnels pour la classe spécifique de fonctions hypergéométriques associées aux groupes de triangles arithmétiques de la Classe I de Takeuchi.

• Synthèse de Méthodes : Le travail démontre comment la combinaison de la théorie de la transcendance (Wolfart/Wüstholz) avec des identités explicites de formes modulaires permet l'identification précise des points rationnels dans l'ensemble exceptionnel, plutôt que de simplement prouver leur existence ou leur densité.
• Connexion avec les Valeurs L : L'auteur note que les évaluations explicites des points CM des Hauptmoduln obtenues dans ce travail (spécifiquement dans le Tableau 5) peuvent servir d'entrées algébriques pour le calcul des valeurs L spéciales de formes propres de Hecke à multiplication complexe (CM), faisant référence aux travaux antérieurs d'Edixhoven, Yafaev et d'autres qui utilisent de telles valeurs.
• Vérification de Conjectures : Les résultats confirment la conjecture de Wolfart dans ce contexte spécifique en montrant que les ensembles exceptionnels sont effectivement infinis et zariski-denses dans $\mathbb{C}$, générés par les images des points CM sous les fonctions modulaires pertinentes.

Le document ne propose pas de nouvelles méthodes expérimentales ou d'applications futures au-delà du contexte immédiat de la détermination de ces ensembles et de leur utilité dans les calculs de valeurs L, comme cela a été établi précédemment dans la littérature.