Kurokawa-Mizumoto congruence and differential operators on automorphic forms

Technische Samenvatting van "Kurokawa-Mizumoto Congruence and Differential Operators on Automorphic Forms" door Nobuki Takeda

Probleemstelling
Het artikel behandelt het probleem van het vaststellen van voldoende voorwaarden voor het bestaan van vectorwaardige Kurokawa-Mizumoto-congruenties. Specifiek onderzoekt het de congruentierelaties tussen een Klingen-Eisenstein-lift van een graad 1 Hecke-eigenform en een graad 2 Siegel-cuspform (of modulaire vorm).

Laat $k, \nu$ even gehele getallen zijn en $f$ een genormaliseerde Hecke-eigenform van gewicht $k+\nu$ op $\Gamma_1$. De Klingen-Eisenstein-lift $[f]^{(k+\nu, k)}$ is een graad 2 Siegel modulaire vorm van gewicht $\det^k \otimes \text{Sym}^\nu$. De centrale conjectuur stelt dat als een voldoende grote priemideaal $\mathfrak{p}$ de speciale waarde van de standaard $L$-functie $L(k-1, f, \text{St})$ deelt, er een Hecke-eigenform $G$ bestaat (die geen scalair veelvoud is van de lift) zodanig dat:
$$[f]^{(k+\nu, k)} \equiv_{\text{ev}} G \pmod{\mathfrak{p}}$$
waarbij $\equiv_{\text{ev}}$ staat voor Hecke-congruentie. Hoewel dit eerder is vastgesteld voor scalaire gewichten ($\nu=0$) en specifieke gevallen ($\nu=2$), beoogt dit artikel voldoende voorwaarden te bieden voor het algemene vectorwaardige geval ($\nu > 0$). Het hoofdbestanddeel stelt dat Conjectuur 10.6 van Begström, Faber en van der Geer standhoudt onder de specifieke voldoende voorwaarden afgeleid in Theorem 5.9.

Methodologie
De bewijsstrategie combineert de methoden van Atobe-Chida-Ibukiyama-Katsurada-Yamauchi met een representatietheoretische herinterpretatie van differentiële operatoren.

1. Differentiële Operatoren en Representatietheorie:
   De auteur herinterpreteert differentiële operatoren die automorfische eigenschappen behouden (specifiek die bestudeerd door Ibukiyama) met behulp van Howe-dualiteit. Door de werking van de symplectische groep en zijn metaplectische dekking op ruimtes van polynomen (Weil-representaties) te analyseren, construeert het artikel differentiële operatoren $\Phi_h(\partial_Z)$ die automorfische vormen van een bepaald gewicht mappen naar vormen op een product van lagere graad Siegel upper half-spaces. Dit maakt de decompositie van Siegel-Eisenstein-series mogelijk in componenten die Klingen-Eisenstein-series omvatten.

2. Pullback-formule:
   Een cruciaal instrument is de pullback-formule (Theorem 4.16), die een Siegel-Eisenstein-serie van graad $n_1+n_2$ relateert aan een som van producten van Klingen-Eisenstein-series van lagere graden. De auteur gebruikt deze om een functie $G(Z)$ te construeren uit de Siegel-Eisenstein-serie $E_{n,k}(Z,s)$ die voldoet aan de voorwaarden vereist door de congruentie-lemma.

3. Congruentie-lemma (Lemma 3.5):
   De kern van het argument steunt op een lemma dat stelt dat als een lineaire combinatie van Hecke-eigenforms een Fourier-coëfficiënt heeft met een negatieve $\mathfrak{p}$-adische valentie, ten minste één andere eigenform in de combinatie congruent moet zijn aan de eerste modulo $\mathfrak{p}$. De auteur construeert een specifieke lineaire combinatie met betrekking tot de Klingen-Eisenstein-lift en andere vormen, waarbij wordt aangetoond dat onder specifieke rekenkundige voorwaarden de coëfficiënt van de lift een negatieve valentie heeft, wat een congruentie met een andere vorm afdwingt.

4. Integraliteit en Galois-representaties:
   Het artikel maakt gebruik van integraliteitslemma's met betrekking tot Petersson binnenproducten en Fourier-coëfficiënten om de noemers van de coëfficiënten in de lineaire combinatie te controleren. Verder gebruikt het, met behulp van Galois-representaties verbonden aan de spin-$L$-functies, voorwaarden waaronder de resulterende congruente vorm $G$ een cuspform is in plaats van slechts een modulaire vorm.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Theorem 5.9): Het artikel stelt voldoende voorwaarden vast voor de vectorwaardige Kurokawa-Mizumoto-congruentie. Laat $f$ een genormaliseerde Hecke-eigenform in $S_{k+\nu}(\Gamma_1)$ zijn en $p$ een priemgetal. Als:

  1. $\text{ord}_p(L(k-1, f, \text{St})) = \alpha > 0$,
  2. $\text{ord}_p(C_{4,k}(f)a(A, [f]^{(k+\nu, k)}) = 0$ voor een half-integers positief definiete matrix $A$,
  3. $p \geq 2(k+\nu) - 3$ (of een iets zwakkere grens als $\text{ord}_p(\gamma_1)=0$),
     dan bestaat er een Hecke-eigenform $G \in M_{\rho_2}(\Gamma_2)$ zodanig dat $[f]^{(k+\nu, k)} \equiv_{\text{ev}} G \pmod{\mathfrak{p}}$.
     Indien aanvullende voorwaarden over andere eigenforms en coprimaliteit worden voldaan, kan $G$ worden gekozen als een cuspform in $S_{\rho_2}(\Gamma_2)$, en de congruentie geldt modulo $\mathfrak{p}^\alpha$.

• Representatietheoretische Interpretatie: Het artikel biedt een nieuwe interpretatie van differentiële operatoren op automorfische vormen via Howe-dualiteit (Theorem 4.12), wat eerdere resultaten van Ban en Ibukiyama generaliseert. Dit kader is essentieel voor het afleiden van de pullback-formule die in het hoofd-bewijs wordt gebruikt.

• Expliciete Voorbeelden: Het artikel geeft expliciete numerieke voorbeelden waar deze congruenties gelden:

  • Voor $(k, \nu) = (14, 2)$ wordt een congruentie modulo 373 bewezen tussen $\Delta_{16,14}$ en de lift van $\Delta_{16}$.
  • Voor $(k, \nu) = (8, 8)$ wordt een congruentie modulo $23^2$ bewezen tussen $\Delta_{16,8}$ en de lift van $\Delta_{16}$.

Betekenis en Claims
Het artikel demonstreert dat Conjectuur 10.6 van Begström, Faber en van der Geer betreffende het bestaan van vectorwaardige Kurokawa-Mizumoto-congruenties standhoudt onder de specifieke voldoende voorwaarden die in Theorem 5.9 zijn vastgesteld. Het breidt de bekende resultaten van scalaire gewichten en specifieke vectorgewichten uit naar een algemene setting voor even gewichten $k, \nu$.

De auteur merkt op dat de afgeleide voorwaarden voldoende zijn maar niet noodzakelijkerwijs noodzakelijk. Specifiek merkt het artikel op dat hoewel voorwaarde (2) vereist is voor het bewijs, het een delicate vraag is of het strikt noodzakelijk is voor het bestaan van de congruentie, wat linkt aan de Bloch-Kato conjectuur. Daarnaast, hoewel de stelling congruenties modulo machten van priemmen ($\mathfrak{p}^\alpha$) toestaat, stelt de auteur dat er nog geen numerieke voorbeelden zijn gevonden waarbij de tweede helft van de stelling (die hogere macht-congruenties oplevert) effectief is, hoewel het theoretische kader is gevestigd.

Het werk verheldert ook de relatie tussen de Klingen-Eisenstein-lift en cuspforms via Galois-representaties (Theorem 5.13), waarbij wordt getoond dat onder specifieke niet-congruentievoorwaarden op de basisvormen, de resulterende congruente vorm $G$ gegarandeerd een cuspform is.