Einige Fragen zu Darstellungen von p-adischen Gruppen

Grundinformationen

• Paper-ID: 2511.06438
• Titel: Some questions about representations of p-adic groups
• Autor: Dipendra Prasad (Indian Institute of Technology Bombay)
• Klassifikation: math.RT (Darstellungstheorie)
• Veröffentlichungsdatum: 11. November 2025
• Paper-Link: https://arxiv.org/abs/2511.06438
• Paper-Typ: Problemsammlung und Forschungsrichtungsübersicht

Zusammenfassung

Dieses Paper diskutiert mehrere ungelöste Probleme in der Darstellungstheorie von p-adischen Gruppen. Diese Probleme stammen aus einem Darstellungstheorie-Workshop im Juli 2025 an der IISER Bhopal. Der Autor hat auf Anfrage der Teilnehmer eine Reihe von zugänglichen Problemen zusammengestellt, die zwar nicht viel Hintergrundwissen erfordern, aber großen Forschungswert haben.

Forschungshintergrund und Motivation

Problemquellen

1. Akademischer Austausch: Auf dem Darstellungstheorie-Workshop an der IISER Bhopal wünschten sich mehrere Teilnehmer ungelöste Probleme, die sowohl Forschungswert haben als auch relativ zugänglich sind
2. Aktueller Stand des Feldes: Die Darstellungstheorie von p-adischen Gruppen ist ein zentrales Werkzeug in der Zahlentheorie und Theorie automorpher Formen, viele grundlegende Fragen bleiben jedoch noch nicht vollständig verstanden
3. Theoretische Lücken: Trotz großer theoretischer Rahmenwerke wie des Langlands-Programms fehlen klare Antworten auf viele konkrete technische Fragen

Forschungsbedeutung

1. Grundlegende theoretische Bedeutung: Die Darstellungstheorie von p-adischen Gruppen bildet die Grundlage der lokalen Langlands-Korrespondenz und ist entscheidend für das Verständnis von Symmetrien in der Zahlentheorie
2. Technische Herausforderungen: Der Übergang von Gruppen über endlichen Körpern zu p-adischen Gruppen beinhaltet einen wesentlichen Sprung vom Diskreten zum Kontinuierlichen
3. Anwendungswert: Die Lösung dieser Probleme wird zum Verständnis automorpher Formen, L-Funktionen und anderer zentraler zahlentheoretischer Objekte beitragen

Positionierung des Papers

Dieses Paper ist kein traditionelles Forschungspapier, sondern eine Problemsammlung, die darauf abzielt:

• Präzise, angreifbare Forschungsfragen zu formulieren
• Für jedes Problem notwendiges Hintergrundwissen bereitzustellen
• Verbindungen zwischen Problemen und erwartete Antworten zu erläutern
• Junge Forscher in das Feld einzuführen

Kernbeiträge

Die Hauptbeiträge dieses Papers bestehen in der systematischen Formulierung von 8 konkreten Forschungsfragen, die folgende Themen abdecken:

1. Klassifikation von p-adischen Gruppendarstellungen, die Darstellungen endlicher Körpergruppen enthalten (Fragen 1-2)
2. Degenerierte Whittaker-Modelle auf GLn(D) (Fragen 3-4)
3. Verdrehte Jacquet-Module von GL2n(Fq) (Fragen 5-6)
4. Superkuspidiale Darstellungen von Überlagerungsgruppen (Frage 7)
5. Fourier-Transformation auf Mn(Fq) (Frage 8)

Methodische Details

Teil 1: p-adische Gruppendarstellungen, die Darstellungen endlicher Körpergruppen enthalten

Hintergrundaufbau

Sei F ein lokales Feld, OF sein Ganzzahlring und Fq sein Residuenkörper. Für eine gespaltene oder unverzweigte Gruppe G:

• G(OF) ist die maximale kompakte Untergruppe von G(F)
• Es existiert eine Surjektion G(OF) → G(Fq)
• Darstellungen von G(Fq) können durch Aufblasen als Darstellungen von G(OF) betrachtet werden

Frage 1: Anheben der Steinberg-Darstellung

Problemstellung: Klassifizieren Sie alle irreduziblen Darstellungen von G(F), die die Steinberg-Darstellung von G(Fq) als G(OF)-Unterdarstellung enthalten.

Erwartete Antwort:

1. Charakterverdrehungen der Steinberg-Darstellung von G(F)
2. Allgemeine, unverzweigte Darstellungen von G(F) (d.h. irreduzible sphärische Hauptseriendarstellungen)

Theoretische Grundlage:

• Diese Darstellungen haben minimale Verzweigung, insbesondere haben sie Iwahori-invariante Vektoren
• Nach dem Satz von Borel erscheinen sie als Subquotienten unverzweigter Hauptserien

Frage 2: Anheben allgemeiner Darstellungen πλ

Sei πλ die irreduzible Darstellung von G(Fq), die mit einer irreduziblen Darstellung λ der Weyl-Gruppe verbunden ist und in $\text{Ind}_{B(\mathbb{F}_q)}^{G(\mathbb{F}_q)}(\mathbb{C})$ auftritt.

Problem: Charakterisieren Sie die Darstellungen von G(F), die πλ enthalten, mittels erweiterter Langlands-Parameter oder Zelevinsky-Klassifikation.

Spezialfall: Für eine Standard-parabolische Untergruppe P existiert eine irreduzible Darstellung ΠP. Das Problem reduziert sich auf: Für welche (P,λ) gilt $\text{Hom}_{GL_n(\mathcal{O}_F)}(\Pi_P, \pi_\lambda) \neq 0?$

Teil 2: Degenerierte Whittaker-Modelle von GLn(D)

Definitionen und Hintergrund

Sei D eine Divisionsalgebra und ϕ: D → ℂ× ein nicht-trivialer additiver Charakter.

Degeneriertes Whittaker-Modell: Eine Darstellung Π hat ein nicht-verschwindendes verdrehtes Jacquet-Modul ΠN,ψ, wobei $\psi\begin{pmatrix} 1 & X_1 & * & \cdots & * \\ 0 & 1 & X_2 & \ddots & * \\ \vdots & & \ddots & \ddots & \vdots \\ 0 & 0 & \cdots & 1 & X_{n-1} \\ 0 & 0 & \cdots & 0 & 1 \end{pmatrix} = \varphi(\text{tr}(X_1 + X_2 + \cdots + X_{n-1}))$

Bekannte Ergebnisse:

• Moeglin-Waldspurger bewiesen, dass dim ΠN,ψ < ∞
• Für GLn(F) (D=F) ist dies das gewöhnliche Whittaker-Modell
• Superkuspidiale Darstellungen haben immer nicht-verschwindende degenerierte Whittaker-Modelle
• Alle temperierten Darstellungen haben degenerierte Whittaker-Modelle

Frage 3: Existenzklassifikation

Problem: Klassifizieren Sie irreduzible Darstellungen von GLn(D) mit nicht-verschwindendem degeneriertem Whittaker-Modul mittels Jacquet-Langlands-Korrespondenz oder Langlands-Parametern.

Unterfragen:

• Existiert ein Analogon der "Standard-Modul-Vermutung"?
• Kann man die Dimension des degenerierten Whittaker-Modul-Raums mittels zugehöriger γ-Funktionen bestimmen (ähnlich der Hiraga-Ichino-Ikeda-Vermutung)?

Frage 4: Eindeutigkeit

Problem: Klassifizieren Sie irreduzible Darstellungen von GLn(D) mit eindeutigem degeneriertem Whittaker-Modul, insbesondere welche superkuspidale Darstellungen haben diese Eigenschaft?

Vermutung: Möglicherweise haben nur Tiefe-Null-superkuspidiale Darstellungen einen eindimensionalen degenerierten Whittaker-Modul-Raum (basierend auf der Eindeutigkeit des Whittaker-Modells über endlichen Körpern).

Teil 3: Verdrehte Jacquet-Module von GL2n(Fq)

Theoretischer Rahmen

Für eine superkuspidiale Darstellung π von GL2n(Fq) hat die Hauptserie π × π eine exakte Sequenz: $0 \to \text{St}_2(\pi) \to \pi \times \pi \to \text{Sp}_2(\pi) \to 0$

wobei:

• St2(π): verallgemeinerte Steinberg-Darstellung (generische Komponente)
• Sp2(π): verallgemeinerte triviale Darstellung
• dim St2(π) = qⁿ dim Sp2(π)

Berechnung verdrehter Jacquet-Module

Sei ψ: N = M(n,Fq) → ℂ× der Charakter x ↦ ϕ(tr(X)).

Für Deligne-Lusztig-Darstellungen R(T,θ) (T = 𝔽×q2n) gilt: $R(T,\theta) = \text{St}_2(\pi) - \text{Sp}_2(\pi)$

Ergebnisse aus Pr geben: $\text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} \theta^2 = \text{St}_2(\pi)_{N,\psi} - \text{Sp}_2(\pi)_{N,\psi}$

Kombiniert mit $(\pi \times \pi)_{N,\psi} = \text{St}_2(\pi)_{N,\psi} + \text{Sp}_2(\pi)_{N,\psi}$ erhalten wir: $\text{Sp}_2(\pi)_{N,\psi} = \frac{1}{2}\left((\pi \times \pi)_{N,\psi} - \text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} \theta^2\right)$

Frage 5: Explizite Berechnung

Problem: Berechnen Sie für eine superkuspidiale Darstellung π von GLn(Fq):

1. Das verdrehte Jacquet-Modul der Hauptserie (π × π)N,ψ
2. Das verdrehte Jacquet-Modul der "verallgemeinerten trivialen" Darstellung Sp2(π)N,ψ

Bekannte Spezialfälle: Für n=2 ist Sp2(π)N,ψ eine eindimensionale Darstellung ωπ von GL2(Fq).

Frage 6: p-adisches Analogon

Für eine superkuspidiale Darstellung π = R(T,θ) von GL2n(Fq) gilt: $\pi_{N,\psi} = \text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} (\theta|_{F^*_{q^n}}) \quad (1)$

Problem: Was ist das Analogon von Gleichung (1) für GL2n(F) über einem p-adischen Körper F?

Herausforderungen:

• Der Beweis im endlichen Körperfall beruht auf Charaktertheorie
• Die Anzahl irreduzibler Komponenten in πN,ψ ist ein Polynom in q (Grad > 0), kann daher nicht mit Charaktertheorie für den p-adischen Fall bewiesen werden
• Ein "geometrischer" Beweis statt eines charaktertheoretischen Beweises ist erforderlich

Mögliche Formulierung: Beide Seiten haben endliche Filtrierungen, deren aufeinanderfolgende Quotienten gleich oder verwandt sind.

Teil 4: Überlagerungsgruppen

Aufbau

Sei G̃ → G eine endliche Überlagerung einer p-adischen Gruppe, eine zentrale Erweiterung mit zyklischem Kern Z und ϵ: Z → ℂ× ein fixierter treuer Charakter. Sei K eine modulo Zentrum kompakte Untergruppe, auf der die Überlagerung zerfällt.

Frage 7: Anheben superkuspidalerDarstellungen

Sei Π = IndᴳK(ρ) eine irreduzible superkuspidiale Darstellung von G, ρ eine irreduzible Darstellung von K. Definieren Sie:

• ρ̃ als Darstellung von K̃ = Z·s(K): auf s(K) gleich ρ, auf Z gleich ϵ
• Π̃ = IndG̃K̃(ρ̃)

Zu beweisen:

1. Π̃ ist eine irreduzible superkuspidiale Darstellung
2. Falls die Überlagerung auf allen modulo Zentrum maximalen kompakten Untergruppen zerfällt, dann haben alle superkuspidalenDarstellungen von G̃ mit zentralem Charakter ϵ diese Form
3. Π̃ ist generisch genau dann, wenn Π generisch ist
4. dim HomN(Π̃,ψ) = dim HomN(Π,ψ), insbesondere erfüllen diese Überlagerungsgruppendarstellungen die Eindeutigkeitseigenschaft des Whittaker-Modells

Bedeutung: Bildet einen Kontrast zu hohen Multiplizitäten bei Hauptseriendarstellungen GGK.

Teil 5: Fourier-Transformation auf Mn(Fq)

Hintergrund

Es gibt eine reichhaltige Fourier-Transformationstheorie auf Mn(F), die eine grundlegende Rolle in der Darstellungstheorie von GLn(F) spielt (Howes bahnbrechendes Werk). Der endliche Körperfall scheint jedoch ähnliche Forschungen zu vermissen.

Frage 8: Konkrete Berechnungen

Gegeben eine Funktion f auf Mn(Fq), ist ihre Fourier-Transformierte f̂ auch eine Funktion auf Mn(Fq).

Zu berechnen:

1. Fourier-Transformierte von charakteristischen Funktionen nilpotenter Orbits
2. Fourier-Transformierte von charakteristischen Funktionen halbeinfacher Orbits
3. Fourier-Transformierte der charakteristischen Funktion des nilpotenten Kegels
4. Verbindung der obigen Ergebnisse mit der Charaktertheorie von GLn(Fq)
5. Dasselbe für allgemeinere halbeinfache Lie-Algebren g (definiert über Fq)

Technische Innovationspunkte

Charakteristiken des Problemdesigns

1. Zugänglichkeit: Probleme sind präzise und konkret, erfordern nicht viel Hintergrundwissen
2. Kohärenz: Probleme haben innere Verbindungen, die die Einheit der Darstellungstheorie widerspiegeln
3. Hierarchie: Von endlichen Körpern zu p-adischen Körpern, von Spezialfällen zu allgemeinen Fällen

Theoretische Einsichten

1. Endlich-Unendlich-Korrespondenz: Mehrere Probleme untersuchen die Korrespondenz zwischen endlichen Körpern und p-adischen Körpern
2. Geometrisierungsidee: Betont die Notwendigkeit "geometrischer" Beweise statt charaktertheoretischer Beweise
3. Einheitlicher Rahmen: Vereinigt verschiedene Probleme durch das Langlands-Programm

Verwandte Arbeiten

Zitierte Schlüsselliteratur

1. Bo Borel (1976): Darstellungstheorie zulässiger Darstellungen mit Iwahori-invarianten Vektoren
2. Li Jian-Shu Li (1992): Ergebnisse zu unverzweigten Hauptserien
3. MW Moeglin-Waldspurger (1987): Endlichdimensionalität degenerierter Whittaker-Modelle
4. HII Hiraga-Ichino-Ikeda (2008): Formale Grade und zugehörige γ-Faktoren
5. Ho Howe (1974): Fourier-Transformation und Charakterkeime
6. Pr Prasad (2000): Degenerierte Whittaker-Modul-Räume allgemeiner linearer Gruppen über endlichen Körpern
7. NS Nadimpalli-Sheth (2025): Verdrehte Jacquet-Module
8. GGK Gao-Gurevich-Karasiewicz (2024): Gelfand-Graev-Darstellungen von Überlagerungsgruppen

Forschungsverlauf

• Langlands-Programm: Bietet den globalen theoretischen Rahmen
• Deligne-Lusztig-Theorie: Geometrische Konstruktion von Darstellungen endlicher Gruppen
• Jacquet-Langlands-Korrespondenz: Korrespondenz zwischen GLn(D) und GLmn(F)
• Bernstein-Zelevinsky-Theorie: Ableitungstheorie und Klassifikation

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Klare Forschungsrichtungen: 8 konkrete erforschbare Probleme werden formuliert
2. Große theoretische Bedeutung: Diese Probleme berühren Kerntechniken der Darstellungstheorie
3. Methodologische Einsichten: Betont den Forschungsweg vom Endlichen zum Unendlichen, vom Speziellen zum Allgemeinen

Wert offener Probleme

1. Forschungsleitung: Bietet jungen Forschern konkrete Forschungsthemen
2. Förderung des Austauschs: Präzise Formulierung fördert akademische Diskussionen
3. Förderung des Fortschritts: Selbst teilweise Lösungen haben wichtigen Wert

Zukünftige Richtungen

1. Endliche-Körper-Theorie: Vervollständigung der Grundlagentheorie über endlichen Körpern (wie Frage 8)
2. p-adische Verallgemeinerung: Verallgemeinerung von Ergebnissen über endlichen Körpern auf p-adische Fälle
3. Geometrisierung: Suche nach geometrischen Interpretationen für mehr Probleme
4. Einheitliche Theorie: Vereinigung verschiedener Phänomene durch Langlands-Korrespondenz

Tiefenanalyse

Stärken

1. Hohe Problemqualität
   • Jedes Problem hat eine präzise mathematische Formulierung
   • Probleme haben Forschungswert und sind relativ zugänglich
   • Erwartete Antworten und Forschungsansätze werden bereitgestellt
2. Ausreichendes Hintergrundmaterial
   • Für jedes Problem werden notwendige Definitionen und bekannte Ergebnisse bereitgestellt
   • Literaturzitate sind angemessen
   • Verbindungen zwischen Problemen werden erläutert
3. Klare Schreibweise
   • Mathematische Ausdrücke sind präzise
   • Logische Struktur ist klar
   • Bemerkungen (Remarks) bieten zusätzliche Einsichten
4. Akademischer Wert
   • Füllt eine Lücke in Problemsammlungen des Feldes
   • Fördert Querverweis zwischen verschiedenen Forschungsrichtungen
   • Hilft bei der Ausbildung junger Forscher

Schwächen

1. Begrenzte Literaturübersicht
   • Die Übersicht bestehender Arbeiten zu jedem Problem ist relativ kurz
   • Könnte bestehende Teilergebnisse detaillierter erläutern
2. Technische Details
   • Die Schwierigkeiten bestimmter Probleme könnten expliziter gemacht werden
   • Mehr technische Lösungswege könnten bereitgestellt werden
3. Begrenzte Reichweite
   • Der Autor gibt zu, Probleme aus einer "sehr engen Perspektive" auszuwählen
   • Konzentriert sich hauptsächlich auf GLn und verwandte Gruppen
4. Fehlende Beispiele
   • Konkrete Beispiele würden bei abstrakten Problemen helfen
   • Explizite Berechnungen für GL2 oder GL3 wären nützlich

Einfluss

1. Beitrag zum Feld
   • Bietet klare Richtungen für Darstellungstheorie-Forschung
   • Verbindet Theorie über endlichen Körpern und p-adischen Körpern
   • Fördert die Entwicklung der Darstellungstheorie von Überlagerungsgruppen
2. Praktischer Wert
   • Geeignet als Dissertationsthema
   • Kann zur Organisation von Seminaren verwendet werden
   • Fördert internationale Zusammenarbeit
3. Reproduzierbarkeit
   • Probleme sind präzise formuliert und leicht zu verstehen
   • Ausreichende Ausgangsliteratur wird bereitgestellt
   • Einige Probleme können durch computergestützte Forschung angegangen werden

Anwendungsszenarien

1. Forscher
   • Doktoranden, die ein Dissertationsthema suchen
   • Forscher, die in neue Richtungen vorstoßen möchten
   • Lehrer, die Seminare organisieren
2. Forschungsthemen
   • Darstellungstheorie von p-adischen Gruppen
   • Darstellungstheorie endlicher Gruppen
   • Langlands-Programm
   • Theorie automorpher Formen
3. Technischer Hintergrund
   • Grundkenntnisse der Gruppendarstellungstheorie erforderlich
   • Vertrautheit mit Grundeigenschaften p-adischer Körper
   • Kenntnisse induzierter Darstellungen und Jacquet-Module

Referenzen

Die Schlüsselliteratur dieses Papers umfasst:

1. Grundlagentheorie: Borels Arbeiten zu Iwahori-invarianten Vektoren
2. Klassifikationstheorie: Bernstein-Zelevinsky-Klassifikation, Lusztig-Klassifikation endlicher Gruppendarstellungen
3. Funktionalgleichungen: Hiraga-Ichino-Ikeda-Arbeiten zu formalen Graden
4. Fourier-Analyse: Howes klassische Arbeiten zur Fourier-Transformation
5. Neueste Entwicklungen: Nadimpalli-Sheth (2025), Gao-Gurevich-Karasiewicz (2024)

Zusammenfassung

Dies ist ein hochqualitatives Problemsammlungspapier, das 8 präzise formulierte, forschungswerte ungelöste Probleme in der Darstellungstheorie von p-adischen Gruppen bietet. Der Hauptwert des Papers liegt in:

1. Präzision: Jedes Problem hat eine klare mathematische Formulierung und erwartete Antwort
2. Zugänglichkeit: Probleme erfordern nicht viel Hintergrundwissen und sind für junge Forscher geeignet
3. Kohärenz: Probleme haben innere Verbindungen und spiegeln die Einheit der Theorie wider
4. Inspirationskraft: Bietet Forschungsansätze und methodologische Anleitung

Obwohl dies kein traditionelles Forschungspapier ist (keine neuen Theoreme oder Beweise), hat es einen einzigartigen akademischen Wert: Es systematisiert wichtige offene Probleme des Feldes und weist zukünftige Forschung in die richtige Richtung. Für Forscher, die in die Darstellungstheorie von p-adischen Gruppen einsteigen oder Forschungsthemen suchen, ist dies ein äußerst wertvolles Referenzmaterial.