Technische Zusammenfassung: Trialität und Adjungierte Hebung für GL3

Problemstellung

Diese Arbeit behandelt die Existenz und strukturellen Eigenschaften der adjungierten Hebung für cuspidale automorphe Darstellungen von $GL_3$ nach $GL_8$. Insbesondere wird angestrebt, die funktorielle Hebung zu etablieren, die der adjungierten Darstellung $\text{Ad}: GL_3(\mathbb{C}) \to GL_8(\mathbb{C})$ entspricht. Während die Hebung für $GL_2$ (Gelbart-Jacquet) klassisch ist, stellt der Fall $GL_3$ aufgrund der Komplexität der Zielgruppe und des Fehlens einer direkten Anwendung der Spurformel für die spezifische Abbildung erhebliche Herausforderungen dar.

Die Arbeit untersucht zudem die isobarische Zerlegung der resultierenden gehobenen Darstellung $\text{Ad}(\pi)$. Ziel ist es, die möglichen Formen dieser Zerlegung zu klassifizieren (z. B. ob sie cuspidal bleibt oder in kleinere cuspidale Komponenten aufspaltet) und die Bedingungen zu bestimmen, unter denen $\pi$ eine automorphe Induktion oder eine Twist einer selbst-dualen Darstellung ist.

Methodik

Die Kernmethodik stützt sich auf das Prinzip der Trialität, angewendet auf die Gruppe $PGSO_8$, sowie die stabile verzerrte Spurformel.

1. Triale Automorphismus: Die Autoren nutzen den äußeren Automorphismus $\theta$ der Ordnung 3 der gespaltenen Gruppe $PGSO_8$ (und ihrer einfach zusammenhängenden Überlagerung $Spin_8$). Dieser Automorphismus permutiert die drei 8-dimensionalen Darstellungen von $Spin_8$.
2. Verzerrte Endoskopie: Die Arbeit identifiziert die verzerrten endoskopischen Gruppen, die dem Paar $(PGSO_8, \theta)$ zugeordnet sind. Durch Lie-Algebra-Berechnungen, die die Fixpunkte von $s \cdot \theta^\vee$ in der dualen Lie-Algebra $\mathfrak{spin}_8$ betreffen, bestimmen die Autoren, dass die elliptischen verzerrten endoskopischen Gruppen sind:
   • Die exzeptionelle Gruppe $G_2$
   • $SL_3$
   • $SO_4$
3. Funktorielle Komposition: Die adjungierte Hebung wird durch Komposition bekannter funktorieller Hebungen mit dem trialen Automorphismus konstruiert. Die Abbildung $\tilde{\text{Ad}}: PGL_3(\mathbb{C}) \to Spin_8(\mathbb{C})$ wird als die eindeutige Hebung der adjungierten Darstellung identifiziert. Die Strategie umfasst:
   • Die Etablierung einer verzerrten endoskopischen Hebung von $SL_3$ nach $PGSO_8$.
   • Die Kombination dieser mit dem Pullback von $GL_3$ nach $SL_3$ und der Standardhebung von $PGSO_8$ nach $SO_8$ (und anschließend nach $GL_8$).
4. Stabile verzerrte Spurformel: Die Existenz der Hebung wird unter Verwendung der stabilen verzerrten Spurformel für $(PGSO_8, \theta)$ bewiesen, wie sie von Moeglin und Waldspurger entwickelt wurde. Die Autoren isolieren spezifische Hecke-Satake-Familien, um zu zeigen, dass die spektrale Seite der Formel die gewünschte Hebung erfasst.
5. Kriterien für Cuspidalität: Um die Zerlegung von $\text{Ad}(\pi)$ zu analysieren, verwendet die Arbeit Identitäten für L-Funktionen (insbesondere solche, die $\wedge^3$- und $\text{Sym}^2$-L-Funktionen betreffen) sowie bekannte Cuspidalitätskriterien für Rankin-Selberg- und äußere Quadrat-Hebungen (z. B. Ergebnisse von Kim, Shahidi, Ramakrishnan, Wang, Asgari und Raghuram).

Hauptbeiträge und Ergebnisse

1. Existenz der adjungierten Hebung

Satz 1.2: Die Arbeit beweist die Existenz der schwachen adjungierten Hebung $\text{Ad}(\pi)$ für eine cuspidale Darstellung $\pi$ von $GL_3$ über einem Zahlkörper, vorausgesetzt, $\pi$ besitzt eine diskrete Serien-Lokalkomponente an einer endlichen Stelle $v_0$.

• Hinweis: Die Autoren weisen darauf hin, dass die lokale Bedingung wahrscheinlich durch eine umfassendere Analyse der Spurformel unter Einbeziehung aller verzerrten endoskopischen Gruppen entfernt werden kann, eine Aufgabe, die zukünftigen gemeinsamen Arbeiten vorbehalten bleibt.

2. Klassifizierung der isobarischen Zerlegungen

Die Arbeit liefert ein umfassendes „Cuspidalitätskriterium" für $\text{Ad}(\pi)$ und kategorisiert die Zerlegung basierend auf dem Ursprung von $\pi$:

• Automorphe Induktion aus kubischen Erweiterungen:
  • Galois-Fall: Wenn $\pi$ aus einer zyklischen kubischen Erweiterung induziert wird, enthält $\text{Ad}(\pi)$ $GL_1$-Summanden (insbesondere die kubischen Charaktere, die mit der Erweiterung assoziiert sind). Die Zerlegung ist vom Typ $1+1+3+3$ oder $1+8$ (Summe von 8 kubischen Charakteren).
  • Nicht-Galois-Fall: Wenn $\pi$ aus einer nicht-zyklischen kubischen Erweiterung induziert wird, enthält $\text{Ad}(\pi)$ einen cuspidalen $GL_2$-Summanden. Die Zerlegung ist vom Typ $2+6$, $2+3+3$ oder $2+4$.
• Twist selbst-dualer Darstellungen:
  • Wenn $\pi$ eine Twist einer selbst-dualen cuspidalen Darstellung ist (was der Gelbart-Jacquet-Hebung einer $GL_2$-Form entspricht), enthält $\text{Ad}(\pi)$ einen cuspidalen $GL_3$-Summanden. Die Zerlegung ist vom Typ $3+5$.
• Allgemeiner Fall (keine Induktion, nicht selbst-dual):
  • Wenn $\pi$ keine automorphe Induktion aus einer kubischen Erweiterung ist und keine Twist einer selbst-dualen Darstellung, ist $\text{Ad}(\pi)$ entweder:
    • Cuspidal: Tritt auf, wenn die Basiswechsel von $\pi$ zu jeder quadratischen Erweiterung keine automorphe Induktion ist.
    • Summe zweier $GL_4$s: Tritt auf, wenn der Basiswechsel zu einer quadratischen Erweiterung $K$ eine automorphe Induktion aus vier verschiedenen nicht-zyklischen kubischen Erweiterungen von $K$ ist. In diesem Fall ist $\text{Ad}(\pi)$ die Summe zweier selbst-dualer cuspidaler $GL_4$-Darstellungen mit nicht-trivialen Zentralcharakteren.

3. Eigenschaften von L-Funktionen

Die Arbeit stellt fest, dass für den allgemeinen Fall (wo $\text{Ad}(\pi)$ ein diskreter orthogonaler L-Parameter ist) die Ordnung des Pols bei $s=1$ der äußeren Kubik-L-Funktion $L_S(s, \text{Ad}(\pi), \wedge^3)$ gleich der Anzahl der Summanden in der isobarischen Zerlegung von $\text{Ad}(\pi)$ ist.

4. Anwendungen

• Starke Artinsche Vermutung: Die Existenz der Hebung impliziert die starke Artinsche Vermutung für 3-dimensionale „tetraedrische" Galois-Darstellungen (Satz 1.4). Dies sind Darstellungen, die den tetraedrischen 2-dimensionalen Darstellungen analog sind, die von Langlands bewiesen wurden.
• Ramanujan-Petersson-Schranke: Die Arbeit leitet eine neue Schranke für die Hecke-Eigenwerte von $GL_3$-cuspidalen Darstellungen ab.
  Satz 1.5: Für eine cuspidale Darstellung $\pi$ von $GL_3$ mit unitärem Zentralcharakter und einer diskreten Serien-Lokalkomponente, wenn $|\lambda| = q_v^a$ ein Eigenwert des Satake-Parameters ist, dann gilt:
  $$|a| \leq \frac{1}{4} - \frac{1}{130}$$
  Dies verbessert frühere Schranken (z. B. Blomer-Brumleys $5/14$) durch die Nutzung der Eigenschaften der adjungierten Hebung nach $GL_8$ und die Anwendung der Luo-Rudnick-Sarnak-Schranken auf die gehobene Darstellung.

Bedeutung und Behauptungen

Die Arbeit beansprucht, die erste zu sein, die die adjungierte Hebung für $GL_3$ unter Verwendung des Prinzips der Trialität und der stabilen verzerrten Spurformel explizit konstruiert. Sie hebt hervor, dass der triale Automorphismus von $PGSO_8$ einen leistungsstarken Mechanismus bietet, um $GL_3$ über die exzeptionelle Gruppe $G_2$ und $SL_3$ mit $GL_8$ zu verknüpfen.

Die Autoren betonen, dass die Ergebnisse eine vollständige Beschreibung der Fasern und des Bildes der adjungierten Hebung in Bezug auf automorphe Induktion und Selbst-Dualität liefern. Dies trägt zum Verständnis der Multiplizität und Starrheit cuspidaler L-Pakete für $SL_3$ bei, einem Thema, bei dem Multiplizität-eins-Eigenschaften für $n \geq 3$ versagen.

Die Arbeit erkennt bescheiden an, dass die Entfernung der „diskreten Serien"-lokalen Bedingung im Existenzsatz auf weiterer technischer Arbeit bezüglich der Auslöschung von Termen in der Spurformel beruht, was Gegenstand laufender Zusammenarbeit ist. Die strukturelle Analyse der Hebung (Satz 1.3) wird jedoch als vollständige Klassifizierung präsentiert, unter der Annahme, dass die Hebung existiert.