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

Technische Samenvatting: Köhlers Vermoeden over Hecke-theta-reeksen van Gewicht Eén

Probleemstelling
Het artikel behandelt een fundamentele vraag over de uniciteit van het kwadratische veld dat geassocieerd wordt met een Hecke-theta-reeks van gewicht één. Per definitie wordt een dergelijke reeks geconstrueerd vanuit een Hecke-karakter van een specifiek kwadratisch veld $K$. Het centrale probleem is om te bepalen onder welke voorwaarden het kwadratische veld $K$ uniek bepaald wordt door de theta-reeks zelf. Deze vraagstelling wordt gevormd door een vermoeden van Günter Köhler ([Köh11, Conjecture 5.5], [Köh18]), dat specifieke voorwaarden stelt waaronder een theta-reeks equivalent gerepresenteerd kan worden door karakters van verschillende kwadratische velden.

Methodologie
De auteurs, Mahima Kumar en Gabor Wiese, hanteren een representatietheoretische benadering om Köhlers vermoeden op te lossen. Hun methodologie verloopt in drie afzonderlijke stadia:

1. Groepstheoretische Reductie: De auteurs abstraheren het probleem eerst naar het niveau van 2-dimensionale Galois-representaties. Ze analyseren representaties $\rho$ die geïnduceerd zijn van een karakter $\chi$ van een index-2 ondergroep $H$ van een eindige groep $G$. Specifiek onderzoeken zij de voorwaarden waaronder een dergelijke representatie ook geïnduceerd kan worden van een andere index-2 ondergroep $H' \subset G$.
2. Expliciete Matrixrealisatie: In tegenstelling tot eerdere behandelingen die vertrouwen op abstracte existentiebewijzen, bieden de auteurs expliciete matrixrealisaties van deze geïnduceerde representaties. Ze classificeren de mogelijke afbeeldingen van deze representaties en identificeren deze als specifieke 2-groepen (inclusief diadale groepen $D_4$, quaternion-groepen $Q_8$ en modulaire maximaal-cyclische groepen). Dit maakt een concrete bepaling mogelijk van wanneer een representatie meerdere inducerende ondergroepen toelaat.
3. Vertaling naar Getaltheorie: Met behulp van de Artin-recipositeitswet en de theorie van theta-reeksen vertalen de auteurs de groepstheoretische resultaten terug naar de taal van Dirichlet-karakters en Hecke-theta-reeksen. Ze stellen een correspondentie vast tussen de ambiguïteit van de inducerende ondergroep in de Galois-representatie en de ambiguïteit van het onderliggende kwadratische veld in de definitie van de theta-reeks.

Belangrijkste Bijdragen en Resultaten

• Bewijs van een Gemodificeerd Vermoeden: Het artikel bewijst een licht gemodificeerde versie van Köhlers vermoeden (Theorem 4.1). Het hoofdbestanddeel stelt de equivalentie vast van de volgende beweringen voor een Hecke-theta-reeks $\Theta_1(K, \xi, z)$:

  • (A) Er bestaat een tweede kwadratisch veld $K' \neq K$ en een karakter $\xi'$ zodanig dat $\Theta_1(K, \xi, z) = \Theta_1(K', \xi', z)$.
  • (B) Het karakter $\xi$ voldoet aan specifieke algebraïsche voorwaarden: het is niet geïnduceerd van een karakter van $\mathbb{Q}$ via de norm, en voor elke priemideaal $\mathfrak{p}$ die coprim met het modulus is, geldt $\xi(\mathfrak{p}) = \pm \xi(\sigma(\mathfrak{p}))$, waarbij $\sigma$ de niet-triviale automorfisme van $K$ is.
  • (C) Er bestaan twee verschillende kwadratische velden $K', K''$ (verschillend van $K$) die dezelfde theta-reeks opleveren.

• Karakterisering van Ambiguïteit: De auteurs demonstreren dat als een theta-reeks voortkomt uit een primitief karakter dat aan voorwaarde (B) voldoet, deze geassocieerd is met exact drie verschillende kwadratische velden. Dit komt overeen met de groepstheoretische bevinding dat de afbeelding van de geassocieerde Galois-representatie een groep is met drie verschillende index-2 ondergroepen (bijv. $D_4$, $Q_8$, of specifieke modulaire groepen).

• Verfijning van de Classificatie van Rohrlich: In Proposition 2.2 bieden de auteurs een expliciete classificatie van de afbeeldingen van 2-dimensionale representaties die geïnduceerd zijn door karakters van twee verschillende index-2 ondergroepen. Ze verfijnen de lijst van "bijna abeliaanse 2-groepen" gevonden in [Roh19a], door concrete matrixgeneratoren en presentaties te bieden voor de betrokken groepen (waarbij onderscheid wordt gemaakt op basis van de orde van generatoren en de structuur van de kern).

• Tegenvoorbeelden voor Niet-Primitive Karakters: Het artikel verduidelijkt dat de equivalentie van de stellingen van het vermoeden strikt geldt voor primitive karakters. De auteurs construeren expliciete tegenvoorbeelden waaruit blijkt dat voor niet-primitive karakters de implicatie van de algebraïsche voorwaarden (B) naar de existentie van alternatieve velden (A) kan falen. Dit is te wijten aan het gedrag van de Fourier-coëfficiënten bij priemgetallen die de modulus delen maar niet de conductor.

Betekenis en Claims
De auteurs stellen dat hun werk een volledig bewijs levert van Köhlers vermoeden (in de gemodificeerde vorm) door het af te leiden van een bekend maar voorheen onverwend groepstheoretisch feit betreffende drievoudig imprimitieve representaties.

• Onafhankelijkheid en Expliciteit: Het artikel benadrukt dat de presentatie onafhankelijk is van eerdere werken over "drievoudig monomiale" representaties (bijv. [Roh19a], [ST18]) en zich onderscheidt door het gebruik van expliciete matrixrealisaties. Deze concreetheid maakt een directe verificatie mogelijk van de voorwaarden waaronder het kwadratische veld ambigu is.
• Verheldering van Voorwaarden: Het werk verheldert de noodzaak van de "primitive" aanname in de oorspronkelijke formulering van Köhler. Door een item uit het oorspronkelijke vermoeden te verwijderen dat de auteurs laten zien niet altijd stand te houden (met betrekking tot de orde van karakters), bieden zij een nauwkechtigere en robuustere stelling van het ambiguïteitsfenomeen.
• Verbinding met Modulaire Formen: De resultaten bevestigen dat de ambiguïteit van het kwadratische veld intrinsiek verbonden is met de structuur van de geassocieerde Galois-representatie. Specifiek faalt de theta-reeks in het uniek bepalen van het veld indien en slechts indien de geassocieerde Galois-representatie geïnduceerd is van karakters van drie verschillende kwadratische velden, een conditie die gekenmerkt wordt door de specifieke groepstheoretische eigenschappen van de afbeelding van de representatie.

Het artikel concludeert dat de ambiguïteit van het kwadratische veld in de definitie van Hecke-theta-reeksen een direct gevolg is van de representatietheoretische eigenschap waarbij een 2-dimensionale irreducibele representatie geïnduceerd kan worden van meerdere index-2 ondergroepen.