Köhler's Conjecture on Hecke Theta Series of Weight One

Résumé technique : La conjecture de Köhler sur les séries thêta de Hecke de poids un

Énoncé du problème
L'article traite d'une question fondamentale concernant l'unicité du corps quadratique associé à une série thêta de Hecke de poids un. Par définition, une telle série est construite à partir d'un caractère de Hecke d'un corps quadratique $K$ spécifique. Le problème central est de déterminer sous quelles conditions le corps quadratique $K$ est déterminé de manière unique par la série thêta elle-même. Cette interrogation s'inscrit dans le cadre d'une conjecture de Günter Köhler ([Köh11, Conjecture 5.5], [Köh18]), qui postule des conditions spécifiques sous lesquelles une série thêta peut être représentée de manière équivalente par les caractères de corps quadratiques distincts.

Méthodologie
Les auteurs, Mahima Kumar et Gabor Wiese, adoptent une approche de la théorie des représentations pour résoudre la conjecture de Köhler. Leur méthodologie procède en trois étapes distinctes :

1. Réduction théorique des groupes : Les auteurs abstraient d'abord le problème au niveau des représentations galoisiennes de dimension 2. Ils analysent les représentations $\rho$ induites d'un caractère $\chi$ d'un sous-groupe d'indice 2 $H$ d'un groupe fini $G$. Plus précisément, ils étudient les conditions dans lesquelles une telle représentation peut également être induite d'un autre sous-groupe d'indice 2 $H' \subset G$.
2. Réalisation matricielle explicite : Contrairement aux traitements précédents qui reposent sur des preuves d'existence abstraites, les auteurs fournissent des réalisations matricielles explicites de ces représentations induites. Ils classent les images possibles de ces représentations, les identifiant comme des 2-groupes spécifiques (incluant les groupes diédraux $D_4$, les groupes quaternioniens $Q_8$ et les groupes modulaires maximaux cycliques). Cela permet une détermination concrète de lorsqu'une représentation admet plusieurs sous-groupes inducteurs.
3. Traduction en théorie des nombres : En utilisant la loi de réciprocité d'Artin et la théorie des séries thêta, les auteurs traduisent les résultats de la théorie des groupes vers le langage des caractères de Dirichlet et des séries thêta de Hecke. Ils établissent une correspondance entre l'ambiguïté du sous-groupe inducteur dans la représentation galoisienne et l'ambiguïté du corps quadratique sous-jacent dans la définition de la série thêta.

Contributions clés et résultats

• Preuve d'une conjecture modifiée : L'article prouve une version légèrement modifiée de la conjecture de Köhler (Théorème 4.1). Le résultat principal établit l'équivalence des énoncés suivants pour une série thêta de Hecke $\Theta_1(K, \xi, z)$ :

  • (A) Il existe un second corps quadratique $K' \neq K$ et un caractère $\xi'$ tels que $\Theta_1(K, \xi, z) = \Theta_1(K', \xi', z)$.
  • (B) Le caractère $\xi$ satisfait des conditions algébriques spécifiques : il n'est pas induit d'un caractère de $\mathbb{Q}$ via la norme, et pour tout idéal premier $\mathfrak{p}$ premier avec le module, $\xi(\mathfrak{p}) = \pm \xi(\sigma(\mathfrak{p}))$, où $\sigma$ est l'automorphisme non trivial de $K$.
  • (C) Il existe deux corps quadratiques distincts $K', K''$ (différents de $K$) produisant la même série thêta.

• Caractérisation de l'ambiguïté : Les auteurs démontrent que si une série thêta provient d'un caractère primitif satisfaisant la condition (B), elle est associée à exactement trois corps quadratiques distincts. Cela correspond à la découverte en théorie des groupes que l'image de la représentation galoisienne associée est un groupe possédant trois sous-groupes d'indice 2 distincts (par exemple, $D_4$, $Q_8$, ou des groupes modulaires spécifiques).

• Raffinement de la classification de Rohrlich : Dans la Proposition 2.2, les auteurs fournissent une classification explicite des images des représentations de dimension 2 induites par les caractères de deux sous-groupes d'indice 2 différents. Ils affinent la liste des « presque-groupes abéliens de type 2 » trouvée dans [Roh19a], en offrant des générateurs matriciels concrets et des présentations pour les groupes impliqués (en distinguant les cas basés sur l'ordre des générateurs et la structure du noyau).

• Contre-exemples pour les caractères non primitifs : L'article précise que l'équivalence des énoncés de la conjecture tient strictement pour les caractères primitifs. Les auteurs construisent des contre-exemples explicites montrant que pour les caractères non primitifs, l'implication des conditions algébriques (B) vers l'existence d'autres corps (A) peut échouer. Cela est dû au comportement des coefficients de Fourier aux nombres premiers divisant le conducteur mais pas le module.

Signification et affirmations
Les auteurs affirment que leur travail fournit une preuve complète de la conjecture de Köhler (sous sa forme modifiée) en la dérivant d'un fait de la théorie des groupes, bien connu mais précédemment non appliqué, concernant les représentations triplement imprimitives.

• Indépendance et explicitation : L'article souligne que sa présentation est indépendante des travaux antérieurs sur les représentations « triplement monomiales » (par exemple, [Roh19a], [ST18]) et se distingue par l'utilisation de réalisations matricielles explicites. Cette concrétude permet une vérification directe des conditions sous lesquelles le corps quadratique est ambigu.
• Clarification des conditions : Le travail clarifie la nécessité de l'hypothèse de « primitivité » dans la formulation originale de Köhler. En supprimant un élément de la conjecture originale que les auteurs montrent ne pas toujours tenir (concernant l'ordre des caractères), ils fournissent un énoncé plus précis et plus robuste du phénomène d'ambiguïté.
• Connexion avec les formes modulaires : Les résultats confirment que l'ambiguïté du corps quadratique est intrinsèquement liée à la structure de la représentation galoisienne associée. Plus précisément, la série thêta ne détermine pas de manière unique le corps si et seulement si la représentation galoisienne associée est induite de caractères de trois corps quadratiques distincts, une condition caractérisée par les propriétés de groupe spécifiques de l'image de la représentation.

L'article conclut que l'ambiguïté du corps quadratique dans la définition des séries thêta de Hecke est une conséquence directe de la propriété de la théorie des représentations selon laquelle une représentation irréductible de dimension 2 peut être induite à partir de plusieurs sous-groupes d'indice 2.