Integrality of $\mathrm{GL}_2\times\mathrm{GL}_2$ Rankin-Selberg integrals for ramified representations

Technische Samenvatting: Integraliteit van GL2 × GL2 Rankin-Selberg Integralen voor Geramificeerde Representaties

Probleemstelling
Het artikel behandelt de vraag naar integraliteit voor lokale Rankin-Selberg zeta-integralen geassocieerd met paren van irreducibele, admisibele, generieke, getemperde representaties $\pi_1, \pi_2$ van $GL_2(F)$, waarbij $F$ een eindige uitbreiding is van $\mathbb{Q}_p$ ($p$ oneven). Hoewel bekend is dat de lokale Rankin-Selberg-integraal $Z(\phi, g_1 W^{\text{new}}_{\pi_1}, g_2 W^{\text{new}}_{\pi_2}; s)$ factoriseert als $L(\pi_1 \times \pi_2, s) \cdot \Phi(\dots; q^s)$, waarbij $\Phi$ een rationele functie is, blijft de arithmetische aard van de coëfficiënten van $\Phi$ subtiel.

Specifiek merkt de auteur op dat de "naïeve" notie van integraliteit faalt: zelfs als de invoergegevens (Schwartz-functie $\phi$ en groepselementen $g_1, g_2$) over $\mathbb{Z}$ gedefinieerd zijn, heeft het resulterende polynoom $\Phi$ niet noodzakelijkerwijs coëfficiënten in de ring van gehele getallen van een getallenlichaam (mogelijk gelokaliseerd bij $p$). Het centrale probleem is het identificeren van een verfijnde notie van "integrale data" zodat de resulterende zeta-integraal, wanneer gedeeld door de lokale $L$-factor, een polynoom oplevert met coëfficiënten in een specifieke arithmetische ring $A$. Dit wordt gemotiveerd door de noodzaak om integraliteits-eigenschappen vast te stellen die compatibel zijn met Fourier-coëfficiënten van newforms en om de theorie van Rankin-Selberg Euler-systemen te ondersteunen.

Methodologie
De aanpak berust op een technische herinterpretatie van de Rankin-Selberg-integraal en een reductie tot het bestuderen van specifieke Whittaker-new-vectoren.

1. Herinterpretatie van de Integraal: De auteur construeert een commutatief diagram dat de standaard Rankin-Selberg zeta-integraal $Z_\Pi$ relateert aan een lineaire afbeelding $\Lambda_\Pi$ die werkt op een ruimte van compact geïnduceerde functies. Dit omvat:

   • Het definiëren van een afbeelding $\Xi_c$ die het tensorproduct van Schwartz-functies en karakteristieke functies transformeert naar een ruimte van functies op $P(F) \backslash G(F) / K_\Pi$.
   • Het benutten van het "ontvouwen" van de integraal om $Z_\Pi$ te relateren aan een integraal die een "nieuwe" Whittaker-functie $I^{\text{new}}_\Pi$ bevat.
   • Het vaststellen dat de integraliteit van de oorspronkelijke zeta-integraal reduceert tot de integraliteit van de term $I^{\text{new}}_\Pi(\gamma; s)$, geëvalueerd op specifieke cosetvertegenwoordigers $\gamma$, geschaald met het inverse volume van de stabilisatorsubgroep.

2. Case-by-Case Analyse: De kern van het bewijs omvat een gedetailleerde, exhaustieve case-by-case analyse van het gedrag van Whittaker-new-vectoren $W^{\text{new}}_\pi$ voor alle klassen van irreducibele, admisibele, generieke representaties van $GL_2(F)$. De auteur maakt gebruik van expliciete formules voor deze vectoren zoals gevonden in het werk van Assing [Ass19b, Ass19a] en Saha [Sah16]. De behandelde gevallen omvatten:

   • Ongeramificeerde en geramificeerde hoofdserie-representaties (half-geramificeerd, volledig-geramificeerd).
   • Steinberg-representaties (ongeramificeerde en geramificeerde twisten).
   • Supercuspidale representaties (geassocieerd met kwadratische uitbreidingen).
   • Alle mogelijke tensorproducten $\pi_1 \times \pi_2$ van deze typen.

3. Gauss-sommen en Volumefactoren: In elk geval evalueert de auteur de relevante integralen, die vaak reduceren tot partiële Gauss-sommen of gegeneraliseerde Kloosterman-sommen. Een kritieke technische stap is het aantonen dat de potentiële noemers (specifiek factoren van $q-1$ die voortvloeien uit Gauss-sommen) altijd worden geannuleerd door de volumefactoren van de stabilisatorsubgroepen $P(F) \cap \gamma K_\Pi \gamma^{-1}$.

Belangrijkste Bijdragen en Resultaten

• Definitie van Integrale Data: Het artikel introduceert een natuurlijke notie van $(\pi_1 \times \pi_2)$-integrale data. Een datum $(\phi, g_1, g_2)$ wordt gedefinieerd als integraal als de Schwartz-functie $\phi$ waarden aanneemt in een specifiek hoofdideaal bepaald door het volume van de stabilisator van $\phi$ gesneden met de geconjugeerde conductor-subgroep $K_\Pi$.
• Stelling A (Lokale Integraliteit): Voor elk paar irreducibele, admisibele, generieke, getemperde representaties, en voor elke $\Pi$-integrale datum, ligt het polynoom $\Phi$ dat voorkomt in de factorisatie van de zeta-integraal in $A[X, X^{-1}]$, waarbij $A$ een $\mathbb{Z}[q^{-1}, \mu_{\nu}q^\tau]$-algebra is die de sferische Hecke-eigenwaarden en specifieke ongeramificeerde unitaire karakters bevat die door de representaties worden bepaald. Hier is $\tau = \max(c(\pi_1), c(\pi_2))$ en hangt $\nu$ af van of de representaties ongeramificeerd zijn.
  • Dit resultaat geldt voor $p=2$ onder de aanvullende aanname dat supercuspidale representaties dihedraal zijn.
• Stelling B (Globale Toepassing): Het lokale resultaat wordt toegepast op globale automorfe vormen. Voor genormaliseerde cuspidale new-eigenvormen $f_1, f_2$ van even gewichten, wordt de globale Rankin-Selberg-integraal $I(\phi_A, g_1 \phi_{f_1}, g_2 \phi_{f_2}; s)$ getoond gelijk te zijn aan $L(\pi_{f_1} \times \pi_{f_2}, s)$ vermenigvuldigd met een polynoom $\Phi$ met coëfficiënten in de ring van gehele getallen van een specifiek getallenlichaam $E_{f_1, f_2}$ (gelokaliseerd bij priemgetallen in een eindige verzameling $S$).
• Trilineaire Vormen: Het artikel vestigt een integraliteitsresultaat voor de unieke (op scalairen na) trilineaire vorm in $\text{Hom}_{GL_2(F)}(\pi_1 \otimes \pi_2 \otimes \pi_3, 1)$, gerealiseerd via de Rankin-Selberg-integraal, en toont aan dat deze waarden aanneemt in de ring $A$ op integrale new-vectoren.

Betekenis en Claims
De auteur claimt dat dit werk een "integrale verfijning" biedt van het resultaat van Jacquet-Langlands met betrekking tot de grootste gemene deler van Rankin-Selberg-integralen. De betekenis is tweeledig:

1. Representatietheoretisch: Het lost de vraag naar integraliteit voor geramificeerde representaties op, een setting waar naïeve integraliteit faalt. Het resultaat wordt beschreven als een "natuurlijk probleem van onafhankelijk belang door de lenzen van integrale structuren in lokale representatietheorie".
2. Arithmetische Meetkunde: De hier geïntroduceerde notie van integrale data heeft een globale algebraïsch-geometrische interpretatie. Het artikel merkt op dat lokaal integrale data precies corresponderen met klassen in het beeld van de integrale étale cohomologie van modulaire krommen onder de Loeffler-Skinner-Zerbes (LSZ)-afbeelding. Bijgevolg wordt Stelling B gepresenteerd als het "analoge integraliteitsresultaat aan de representatietheoretische kant" voor de theorie van Rankin-Selberg Euler-systemen en $p$-adische $L$-functies.

Het artikel blijft bescheiden wat betreft het omgekeerde: het erkent dat hoewel het beeld van de zeta-integraal op integrale data is opgenomen in het door de $L$-factor gegenereerde principale fractionele ideaal, het nog niet bekend is of dit beeld het gehele ideaal is of dat het principaal is. Dit wordt geïdentificeerd als een open probleem met potentiële implicaties voor het optimaliseren van lokale factoren in de theorie van Euler-systemen.