The unramified computation of a Shimura integral for $\mathrm{SL}(2)\times \mathrm{GL}(2)$

Technische Zusammenfassung: Die unramifizierte Berechnung eines Shimura-Integrals für $SL(2) \times GL(2)$

Problemstellung
Diese Arbeit befasst sich mit der lokalen unramifizierten Berechnung eines spezifischen Rankin-Selberg-Integrals vom Shimura-Typ, das ursprünglich von Ginzburg, Rallis und Soudry [4] konstruiert wurde. Das Integral repräsentiert die partielle Tensorprodukt-$L$-Funktion für ein Paar irreduzibler automorpher cuspidaler generischer Darstellungen: eine von $SL_2$ und die andere von $GL_2$. Konkret konzentrieren sich die Autoren auf den Fall niedriger Rangzahlen, bei dem der symplektische Rang $n=1$ und der allgemein lineare Rang $k=2$ ist. Das globale Integral reduziert sich nach dem Entfalten (Unfolding) auf ein lokales Integral, das eine Whittaker-Funktion für $SL_2$, eine Theta-Reihe assoziiert mit der Weil-Darstellung und eine Siegel-Eisenstein-Reihe auf der metaplektischen Doppeldeckung von $Sp_4$ umfasst. Das Ziel ist es zu beweisen, dass dieses lokale Integral dem Verhältnis der $L$-Funktionen entspricht:
$$\frac{L(\pi_\nu \times \tau_\nu, s + 1/2)}{L(\tau_\nu, \text{Sym}^2, 2s + 1)}$$
wobei $\pi_\nu$ eine unramifizierte Darstellung von $SL_2(F)$ und $\tau_\nu$ eine unramifizierte Darstellung von $GL_2(F)$ ist.

Methodik
Die Arbeit liefert einen direkten und „intrinsischen“ Beweis der unramifizierten Berechnung, der sich von dem Ansatz in der ursprünglichen Arbeit [4] unterscheidet.

• Vermeidung von Funktionalgleichungen: Im Gegensatz zum Beweis in [4], der sich auf die lokale Funktionalgleichung für $GL_n \times GL_k$ (entwickelt in [9]) stützt, vermeidet diese Arbeit diese Maschinerie vollständig.
• Verwendung von Casselman-Shalika-Formeln: Der Kern der Methode nutzt die Casselman-Shalika-Formeln für unramifizierte Whittaker-Funktionen sowohl für $SL_2$ als auch für $GL_2$ (Lemma 3.2).
• Explizite Entfaltung und Integration: Die Autoren führen eine explizite Berechnung des lokalen Integrals durch, indem sie:
  1. Die Iwasawa-Zerlegung für $SL_2(F)$ nutzen.
  2. Die Weil-Darstellung $\omega_\psi$ des semidirekten Produkts $\widetilde{SL_2} \ltimes H$ (wobei $H$ die Heisenberg-Gruppe ist) auf die Schwartz-Funktion anwenden.
  3. Den Integrationsbereich über die Heisenberg-Gruppen-Variablen in unramifizierte ($OF$) und ramifizierte ($F \setminus OF$) Teile zerlegen.
  4. Die resultierenden Integrale unter Verwendung der Eigenschaften des Weil-Faktors $\gamma_\psi$ und von Charakter-Summen auswerten, wobei insbesondere bewiesen wird, dass bestimmte Terme höherer Ordnung verschwinden (Lemma 3.5).
• Summation von Reihen: Das Endergebnis wird durch die Summation der resultierenden geometrischen Reihen erzielt, welche als Erzeugende Funktionen vollständiger homogener symmetrischer Polynome identifiziert werden, wodurch die explizite Form der $L$-Funktionen wiederhergestellt wird.

Zentrale Beiträge und Ergebnisse

• Theorem 3.1: Die Arbeit stellt fest, dass für unramifizierte Daten und $\text{Re}(s) \gg 0$ das lokale Integral $I(W^0_\pi, \Phi^0, \tilde{f}^0_{W(\tau, \psi_2), s})$ absolut konvergiert und gleich dem Verhältnis $\frac{L(\pi \times \tau, s + 1/2)}{L(\tau, \text{Sym}^2, 2s + 1)}$ ist.
• Korrektur des Isomorphismus: Die Autoren stellen eine Differenz im Isomorphismus zwischen der unipotenten Gruppe $N_Q$ und der Heisenberg-Gruppe $H$ im Vergleich zu [4] fest. Dieser Unterschied führt zum Erscheinen des Abschnitts $\tilde{f}_{W(\tau, \psi_2), s}$ (unter Verwendung des Charakters $\psi_2(x) = \psi(2x)$) anstelle von $\tilde{f}_{W(\tau, \psi), s}$ im entfalteten Integral.
• Direkte Berechnung: Der Beweis zeigt, dass für den Fall $n = k-1$ (hier $1 = 2-1$) die unipotente Integration, die die allgemeine $n < k$ Falllage typischerweise verkompliziert, abwesend ist. Dies ermöglicht eine direkte Berechnung, die Techniken für Fälle geraden Rangs spiegelt, ohne die schwere Maschinerie der Funktionalgleichungen für allgemein lineare Gruppen zu benötigen.

Bedeutung und Ansprüche
Die Arbeit beansprucht, einen „anderen und intrinsiveren“ Beweis der unramifizierten Berechnung für dieses spezifische Shimura-Integral zu liefern. Durch das Umgehen der lokalen Funktionalgleichung für allgemein lineare Gruppen zielen die Autoren darauf ab, eine Berechnung anzubieten, die ausschließlich auf den darstellungstheoretischen Eigenschaften der beteiligten Gruppen (speziell den Casselman-Shalika-Formeln) beruht.

Die Autoren geben bescheiden an, dass sie zwar nur den Fall niedriger Rangzahlen $n=1, k=2$ behandeln, hoffen aber, dass diese Berechnung „Licht auf die Techniken für die direkte unramifizierte Berechnung“ in allgemeineren Kontexten werfen wird. Sie räumen ein, dass ähnliche direkte Berechnungen für orthogonale Gruppen durch Kaplan [10, 11] erreicht wurden, betonen jedoch, dass ihre Arbeit die in der ursprünglichen $SL_2 \times GL_2$ Beweisführung von Ginzburg, Rallis und Soudry verwendeten Funktionalgleichungen vermeidet. Die Arbeit schlägt keine neuen Anwendungen oder zukünftigen Erweiterungen über den Umfang dieses spezifischen komputationalen Beweises hinaus vor.