Harder's conjecture and Hermitian automorphic forms

Technische Samenvatting: Harder's Conjectuur en Hermitische Automorfe Vormen

Probleemstelling
Dit artikel behandelt de conjectuur van Harder, die congruenties voorspelt tussen elliptische modulaire vormen en Siegel-modulaire vormen van graad twee. Laat $k \ge 4$ en $j \ge 2$ gehele getallen zijn met $j$ even, en laat $f$ een primitieve elliptische cuspaalvorm van gewicht $2k + j - 2$ voor $SL_2(\mathbb{Z})$ zijn. De conjectuur stelt de existentie voor van een Siegel-cuspaal eigenvorm $F \in S_{\det^k \Sym^j}(Sp_2)$ zodanig dat, voor een priemideaal $\mathfrak{p}$ dat de algebraïsche kritische waarde $L^{\text{alg}}(k+j, f)$ deelt, de spinor $L$-polynoom van $F$ een specifieke congruentie modulo een priemideaal $\mathfrak{P}$ boven $\mathfrak{p}$ bevredigt:
$$L_\ell(X, F, \text{Spin}) \equiv L_\ell(X, f)(1 - \ell^{k-2}X)(1 - \ell^{k+j-1}X) \pmod{\mathfrak{P}}$$
voor elke rationale priem $\ell$. Terwijl eerdere werken bepaalde gevallen van deze conjectuur hebben vastgesteld (bijv. via Shimura-type correspondenties, even unimodulaire roosters, of Miyawaki-lifts), beoogt dit artikel de conjectuur conditioneel af te leiden uit congruenties betreffende Hermitische automorfe vormen op de quasi-gesplitste unitaire groep $U_{2,2}$.

Methodologie
De auteurs hanteren een tweeledige strategie die de automorfe representatietheorie combineert met de Galois-representatietheorie:

1. Automorfe Zijde (Constructie van Lifts):

   • De auteurs maken gebruik van de endoscopische classificatie van Mok voor quasi-gesplitste unitaire groepen om "Hermitische spin-lifts" te construeren. Voor een Siegel-cuspaal eigenvorm $F$ construeren zij een Hermitische cuspaal eigenvorm $\text{Lift}_E(F)$ op $U_{2,2}$ (waarbij $E$ een hulpstuk is, een imaginaire kwadratische veld).
   • Zij stellen vast dat de standaard $L$-polynoom van deze lift factoriseert in het product van de spinor $L$-polynoom van $F$ en de $\chi_E$-twist daarvan.
   • Door deze factorisatie te vergelijken met de expliciete standaard $L$-polynoom van een Hermitische Klingen–Eisenstein lift geassocieerd met $f$, bewijzen zij dat een congruentie tussen de Hermitische cuspaal vorm $G$ en de Klingen–Eisenstein lift de gewenste spinor $L$-polynoom congruentie impliceert, mits $G$ inderdaad de lift is van een $F$.

2. Galois-zijde (Descent en Irreducibiliteit):

   • De kern van de moeilijkheid ligt in het bewijzen dat de Hermitische cuspaal vorm $G$ verkregen uit de Klingen–Eisenstein congruentie daadwerkelijk een spin-lift is.
   • De auteurs gebruiken Galois-representaties gekoppeld aan unitaire groepen (volgens Skinner) om de residuele extensieklassen te analyseren die voortvloeien uit de congruentie $G \equiv [f]_{j+4}^2 \pmod{\mathfrak{P}}$.
   • Zij maken gebruik van Selmer-groep verdwijningsargumenten om "ongewenste" residuele extensieklassen uit te sluiten. Specifiek bewijzen zij dat, onder expliciete arithmetische hypothesen, de geassocieerde Galois-representatie $R^\natural_G$ absoluut irreducibel en conjugaat-invariant is.
   • Conjugaat-invariantie maakt het mogelijk dat de globale Arthur-parameter van $G$ afdaalt (descent) van $GL_4(\mathbb{A}_E)$ naar $GL_4(\mathbb{A}_{\mathbb{Q}})$. Deze descent identificeert $G$ als de transfer van een Siegel-cuspaal eigenvorm, waarmee zij vaststellen dat $G = \text{Lift}_E(F)$.

Belangrijkste Bijdragen en Resultaten

• Hoofdtheorema (Theorema 5.8): Het artikel bewijst een conditionele versie van de conjectuur van Harder. Het stelt vast dat indien specifieke arithmetische condities worden vervuld met betrekking tot de priem $\mathfrak{p}$, het imaginaire kwadratische veld $E$, en de niet-congruentie van $f$, dan de spinor $L$-polynoom congruentie standhoudt.
• Technische Hypothesen: Het theorema vereist tien expliciete condities, waaronder:
  • $p > 2k + j - 2$ en $p$ ongeramd in $E$.
  • De klassengetal van $E$ is één, met een unieke geramde priem $q \neq p$.
  • Niet-deelbaarheid van specifieke $L$-waarden (bijv. $L(0, \tilde{\omega}^{j+1})$, $L^{\text{alg}}(k+j, f \otimes \chi_E)$) door $\mathfrak{P}$.
  • Een "Tame" conditie op de geramde priem $q$ ($q^{j+2} \not\equiv 1 \pmod p$).
  • De afbeelding van de Galois-representatie gekoppeld aan $f$ bevat $SL_2(\mathcal{O}_P)$.
• Numerieke Verificatie: De auteurs bieden een tabel met numerieke voorbeelden (Tabel 1) waar deze hypothesen worden geverifieerd. Dit omvat het herstellen van bekende gevallen (bijv. $(k,j,p) = (10,4,41)$) en het vaststellen van nieuwe gevallen voor zowel even als oneven $k$ (bijv. $(7, 12, 73)$, $(5, 20, 193)$).

Betekenis
Het artikel claimt betekenis door een verenigd kader te bieden voor Harder-type congruenties dat zowel even als oneven $k$ uniform behandelt (voor $k \ge 4$). Door het probleem te verschuiven naar de setting van Hermitische automorfe vormen en gebruik te maken van de endoscopische classificatie van Mok naast Galois-theoretische descent, bieden de auteurs een conditioneel bewijs dat de beperkingen van eerdere methoden (zoals de pariteit-restricties op $k$ in eerdere werken) omzeilt. Het werk demonstreert dat de existentie van de Siegel-vorm $F$ kan worden afgeleid uit de existentie van een Hermitische congruentie, mits de relevante Selmer-groepen verdwijnen en de Galois-representaties voldoen aan specifieke irreducibiliteits- en invariantie-eigenschappen. Het artikel merkt expliciet op dat de casus $k=3$ een aparte discussie vereist vanwege grensproblemen in de classificatie van Mok, maar suggereert dat dit toegankelijk is via kleine modificaties.