Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin's theorem

Résumé Technique : Formules de Dimension pour les Espaces de Formes Modulaires de Poids Rationnels, la Classification des Caractères d'Eta-Quotients, et une Extension du Théorème de Martin

Énoncé du Problème
L'article traite du manque d'attention systématique et d'outils de calcul explicites pour les formes modulaires de poids rationnels, particulièrement celles dont les systèmes de multiplicateurs sont induits par des quotients d'eta à exposants fractionnaires. Bien que des formules de dimension existent pour les poids entiers et demi-entiers (reposant souvent sur des caractères de Dirichlet ou des multiplicateurs de séries thêta), les formules explicites pour les poids rationnels généraux $k \in \mathbb{Q}$ avec des multiplicateurs de type quotient d'eta ont été rares ou incomplètes. De plus, la classification des caractères induits par les quotients d'eta sur le revêtement double de $\Gamma_0(N)$ et l'extension des propriétés multiplicatives (comportement de forme propre de Hecke) à ces contextes de poids rationnels demeurent des défis ouverts.

Méthodologie
L'auteur emploie une approche de la théorie des diviseurs basée sur le théorème de Riemann-Roch classique et la formule de Riemann-Hurwitz, suivant la méthode établie par Petersson [Pet38]. Le cadre technique central implique :

1. Formalisme du D-Revêtement : L'article utilise le $D$-revêtement de $GL_2^+(\mathbb{R})$ pour gérer la nature multivaluée des puissances fractionnaires dans le facteur automorphe $(c\tau+d)^k$. Cela permet de traiter les systèmes de multiplicateurs comme des caractères de groupe sur le revêtement.
2. Construction de Diviseurs : Un diviseur à valeurs dans $\mathbb{Q}$ est associé aux formes modulaires méromorphes de poids rationnel sur la courbe modulaire compacte $X_{\Gamma_0(N)}$. La formule de valence est établie pour les poids rationnels, reliant le degré du diviseur au poids $k$ et à l'indice du groupe.
3. Évaluation Explicite : La principale réussite technique est l'évaluation explicite de la formule de dimension théorique pour les systèmes de multiplicateurs de quotients d'eta. Cela implique le calcul des ordres des quotients d'eta aux cusps en utilisant les sommes de Dedekind et les formules de transformation.
4. Algèbre Linéaire et Inversion : Pour relier les exposants des quotients d'eta à leurs ordres aux cusps, l'article utilise une transformation matricielle inversible (basée sur les travaux de Bhattacharya) pour résoudre les exposants donnés les ordres, et vice versa.
5. Extension des Opérateurs de Hecke : Pour l'application concernant la multiplicativité, l'article étend la théorie de Wohlfahrt des opérateurs de double coset aux poids rationnels et aux quotients d'eta avec des systèmes de multiplicateurs arbitraires, en dérivant des formules explicites pour l'action de ces opérateurs sur les coefficients de Fourier.

Contributions Clés et Résultats

1. Formules de Dimension Explicites (Théorème Principal) :
   L'article fournit une formule explicite pour $\dim_{\mathbb{C}} M_k(\Gamma_0(N), \chi)$ où $k \in \mathbb{Q}$ et $\chi$ est le système de multiplicateur induit par un quotient d'eta $f = \prod_{n|N} \eta(n\tau)^{r_n}$ avec des exposants fractionnaires $r_n \in \mathbb{Q}$.

• La formule est valide sous des conditions spécifiques sur le poids $k$ par rapport au niveau $N$ et aux ordres aux cusps (spécifiquement quand $k > 2 - \dots$ ou quand la dimension est suffisamment grande).
• La formule généralise les résultats précédents d'Ibukiyama et d'autres, couvrant les cas où le système de multiplicateur n'est pas induit par un caractère de Dirichlet ou par la série thêta.
• Des listes complètes de dimensions pour les poids $1/2, 1, 3/2$ et de petits niveaux sont générées et présentées dans des tableaux.

2. Classification des Caractères d'Eta-Quotients :
   L'article classifie complètement les caractères linéaires induits par les quotients d'eta d'exposants entiers sur le revêtement double de $\Gamma_0(N)$.

• Il établit une bijection entre ces caractères et des vecteurs spécifiques d'exposants modulo un sous-groupe $Z(N)$.
• Des décomptes concrets sont fournis pour divers niveaux ; par exemple, il existe exactement 384 tels caractères sur le revêtement double de $\Gamma_0(4)$ pour tout poids $k \in \frac{1}{2}\mathbb{Z}$ fixé.

3. Extension du Théorème de Martin :
   L'article étend la classification de 1996 d'Yves Martin sur les quotients d'eta holomorphes multiplicatifs (poids entiers, multiplicateurs de caractères de Dirichlet) à un cadre plus large.

• Multiplicativité Généralisée : La définition de la multiplicativité est étendue aux quotients d'eta avec des systèmes de multiplicateurs arbitraires.
• Eta-Quotients Admissibles : L'auteur identifie les quotients d'eta "admissibles" (ceux appartenant à des espaces unidimensionnels ou satisfaisant des conditions spécifiques de formes de cusp) et prouve qu'ils sont des formes propres pour un ensemble généralisé d'opérateurs de Hecke (l'extension de Wohlfahrt).
• Tableau de Résultats : Un tableau contenant 2 277 tels quotients d'eta admissibles (Type I) est présenté pour les niveaux $N \in \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 19, 21, 27\}$.
• Identités : L'article dérive de nouvelles identités impliquant les coefficients de Fourier de ces quotients d'eta, montrant que $c_f(n_1)c_f(n_2) = c_f(n_1 n_2)$ pour $n_1, n_2$ premiers entre eux sous des conditions spécifiques.

4. Application aux Produits Infinis :
   Comme application directe des formules de dimension, l'article dérive des expressions en série pour les coefficients de Fourier de la racine $n$-ième de certains produits $q$-infinis. En identifiant des espaces unidimensionnels où un quotient d'eta est proportionnel à une série d'Eisenstein, des formules explicites pour les coefficients sont obtenues.

Signification et Revendications
L'article affirme combler une lacune dans la théorie des formes modulaires en fournissant les premières formules de dimension pleinement explicites pour les espaces de formes modulaires de poids rationnel avec des multiplicateurs de quotients d'eta. Il affirme que ces formules ne sont pas seulement théoriques mais calculablement efficaces, comme le démontre la génération de tableaux étendus et de programmes SageMath.

Concernant l'extension du théorème de Martin, l'article prétend élargir considérablement le champ des quotients d'eta multiplicatifs connus. En assouplissant l'exigence des multiplicateurs de caractères de Dirichlet et en incorporant les poids rationnels (via le $D$-revêtement), l'auteur identifie plus de 2 000 nouveaux exemples de formes propres de Hecke. L'article souligne que ces résultats reposent sur l'identification d'espaces unidimensionnels, une technique qui permet de dériver des relations non triviales entre les coefficients de Fourier sans nécess avoir besoin d'une théorie de Hecke complète pour les poids rationnels généraux, dont l'auteur note qu'elle n'est pas encore pleinement développée.

Ce travail est présenté comme une étape fondamentale, fournissant les outils nécessaires (formules de dimension, classification de caractères, et actions d'opérateurs) pour explorer davantage les formes modulaires de non-congruence et les propriétés arithmétiques des quotients d'eta à exposants fractionnaires.