p-進群の表現に関するいくつかの問題

基本情報

• 論文ID: 2511.06438
• タイトル: Some questions about representations of p-adic groups
• 著者: Dipendra Prasad (インド工科大学ボンベイ校)
• 分類: math.RT (表現論)
• 発表日時: 2025年11月11日
• 論文リンク: https://arxiv.org/abs/2511.06438
• 論文性質: 問題集および研究方向の総括

要約

本論文は、p-進群の表現論に関する未解決問題について論じている。これらの問題は2025年7月にIISER Bhopalで開催された表現論ワークショップに由来し、著者は参加者の要請に応じて、多くの背景知識を必要としないが研究価値のある、アクセス可能な問題を提示した。

研究背景と動機

問題の出所

1. 学術交流の必要性：IISER Bhopalの表現論ワークショップで、複数の参加者が研究価値があり、かつ比較的アクセス可能な未解決問題の提示を希望した
2. 分野の現状：p-進群の表現論は数論と自動形式理論の中心的ツールであり、多くの基本的問題がまだ完全には理解されていない
3. 理論的ギャップ：Langlands綱領などの壮大な理論的枠組みが存在するにもかかわらず、多くの具体的な技術的問題に対して明確な答えが欠けている

研究の重要性

1. 基礎理論的意義：p-進群の表現論は局所Langlands対応の基礎であり、数論における対称性の理解に不可欠である
2. 技術的課題：有限体上の群からp-進群への移行は、離散から連続への本質的な飛躍を伴う
3. 応用価値：これらの問題の解決は、自動形式やL-関数などの中心的な数論的対象の理解を促進するであろう

論文の位置付け

本論文は従来の意味での研究論文ではなく、問題集であり、以下を目的としている：

• 明確で、攻略可能な研究問題を提示する
• 各問題に必要な背景知識を提供する
• 問題間の関連性と予想される答えを説明する
• 若い研究者をこの分野へ導く

核心的貢献

本論文の主な貢献は、以下のテーマをカバーする8つの具体的な研究問題を体系的に提示することである：

1. 有限体群の表現を含むp-進群の表現の分類（問題1-2）
2. GLn(D)上の退化Whittaker模型（問題3-4）
3. GL2n(Fq)の捻じれJacquet模（問題5-6）
4. 被覆群の超尖点表現（問題7）
5. Mn(Fq)上のFourier変換（問題8）

方法の詳細

第一部：有限体群の表現を含むp-進群の表現

背景設定

Fを局所体、OFをその整数環、Fqを剰余体とする。分裂または不分岐群Gに対して：

• G(OF)はG(F)の極大コンパクト部分群である
• 全射 G(OF) → G(Fq) が存在する
• G(Fq)の表現をG(OF)の表現として膨張により見ることができる

問題1：Steinberg表現の持ち上げ

問題の陳述：G(Fq)のSteinberg表現をG(OF)-部分表現として含むG(F)の既約表現をすべて分類せよ。

予想される答え：

1. G(F)のSteinberg表現の指標捻じれ
2. 一般的で不分岐なG(F)表現（すなわち、既約球面主系列表現）

理論的根拠：

• これらの表現は最小分岐を持ち、特にIwahori部分群の不動ベクトルを有する
• Borelの定理によれば、それらは不分岐主系列の部分商として現れる

問題2：一般表現πλの持ち上げ

πλをWeyl群の既約表現λに関連するG(Fq)の既約表現とし、 $\text{Ind}_{B(\mathbb{F}_q)}^{G(\mathbb{F}_q)}(\mathbb{C})$ に現れるものとする。

問題：拡張Langlands参数またはZelevinsky分類を用いてπλを含むG(F)表現を特徴付けよ。

特殊な場合：標準放物部分群Pに対して、既約表現ΠPが存在する。問題は以下に簡約される：どの(P,λ)に対して $\text{Hom}_{GL_n(\mathcal{O}_F)}(\Pi_P, \pi_\lambda) \neq 0?$

第二部：GLn(D)の退化Whittaker模型

定義と背景

Dを除法代数、ϕ: D → ℂ×を非自明な加法指標とする。

退化Whittaker模型：表現Πが非零の捻じれJacquet模ΠN,ψを持つ、ここで $\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}))$

既知の結果：

• Moeglin-Waldspurgerは dim ΠN,ψ < ∞ を証明した
• GLn(F)（D=F）に対して、これは通常のWhittaker模型である
• 超尖点表現は常に非零の退化Whittaker模型を持つ
• すべての調和表現は退化Whittaker模型を持つ

問題3：存在性の分類

問題：Jacquet-Langlands対応またはLanglands参数を通じて、非零の退化Whittaker模型を持つGLn(D)の既約表現を分類せよ。

部分問題：

• 「標準模型予想」の類似物が存在するか？
• 伴随γ-関数を用いて退化Whittaker模型空間の次元を決定できるか（Hiraga-Ichino-Ikeda予想の類似）？

問題4：一意性

問題：一意的な退化Whittaker模型を持つGLn(D)の既約表現を分類し、特にどの尖点表現がこの性質を持つかを明らかにせよ。

予想：おそらく深さ零の尖点表現のみが一次元の退化Whittaker模型空間を持つであろう（有限体上のWhittaker模型の一意性に基づく）。

第三部：GL2n(Fq)の捻じれJacquet模

理論的枠組み

GL2n(Fq)の尖点表現πに対して、主系列π × πは正合列を持つ： $0 \to \text{St}_2(\pi) \to \pi \times \pi \to \text{Sp}_2(\pi) \to 0$

ここで：

• St2(π)：一般化Steinberg表現（一般成分）
• Sp2(π)：一般化自明表現
• dim St2(π) = qⁿ dim Sp2(π)

捻じれJacquet模の計算

ψ: N = M(n,Fq) → ℂ×を特性 x ↦ ϕ(tr(X)) とする。

Deligne-Lusztig表現 R(T,θ)（T = 𝔽×q2n）に対して、以下を得る： $R(T,\theta) = \text{St}_2(\pi) - \text{Sp}_2(\pi)$

文献Prの結果は以下を与える： $\text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} \theta^2 = \text{St}_2(\pi)_{N,\psi} - \text{Sp}_2(\pi)_{N,\psi}$

$(\pi \times \pi)_{N,\psi} = \text{St}_2(\pi)_{N,\psi} + \text{Sp}_2(\pi)_{N,\psi}$ と組み合わせると、以下を得る： $\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)$

問題5：明示的計算

問題：GLn(Fq)の尖点表現πに対して、以下を計算せよ：

1. 主系列(π × π)N,ψの捻じれJacquet模
2. 「一般化自明」表現Sp2(π)N,ψの捻じれJacquet模

既知の特殊例：n=2のとき、Sp2(π)N,ψはGL2(Fq)の一次元表現ωπである。

問題6：p-進類似

GL2n(Fq)の尖点表現π = R(T,θ)に対して、以下を持つ： $\pi_{N,\psi} = \text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} (\theta|_{F^*_{q^n}}) \quad (1)$

問題：p-進体F上のGL2n(F)に対して、等式(1)の類似物は何か？

課題：

• 有限体の場合の証明は指標理論に依存する
• πN,ψ中の既約成分の数はqの多項式（次数>0）であり、指標理論ではp-進の場合を証明できない
• 「幾何学的」証明が必要であり、指標理論による証明ではない

可能な表述：両辺は有限フィルトレーションを持ち、その連続商が同じまたは関連している。

第四部：被覆群

設定

G̃ → Gをp-進群の有限被覆、中心拡張とし、核Zは循環群、ϵ: Z → ℂ×を固定された忠実指標とする。Kを中心を法とするコンパクト部分群とし、被覆がその上で分裂するとする。

問題7：超尖点表現の持ち上げ

Π = IndᴳK(ρ)をGの既約超尖点表現とし、ρをKの既約表現とする。以下を定義する：

• ρ̃をK̃ = Z·s(K)の表現：s(K)上ではρ、Z上ではϵ
• Π̃ = IndG̃K̃(ρ̃)

証明すべきこと：

1. Π̃は既約超尖点表現である
2. 被覆がすべての中心を法とする極大コンパクト部分群上で分裂する場合、G̃の中心指標がϵであるすべての超尖点表現はこの形式を持つ
3. Π̃は一般的当且つつΠが一般的である
4. dim HomN(Π̃,ψ) = dim HomN(Π,ψ)、特にこれらの被覆群表現はWhittaker模型の重複度一性質を満たす

意義：主系列表現の高重複度GGKと対比される。

第五部：Mn(Fq)上のFourier変換

背景

Mn(F)上には豊かなFourier変換理論があり、GLn(F)の表現論で基礎的な役割を果たす（Howeの先駆的業績）。しかし有限体の場合は類似の研究が欠けているようである。

問題8：具体的計算

Mn(Fq)上の関数fが与えられたとき、そのFourier変換f̂もMn(Fq)上の関数である。

計算すべきこと：

1. べき零軌道の特性関数のFourier変換
2. 半単純軌道の特性関数のFourier変換
3. べき零錐の特性関数のFourier変換
4. 上記の結果をGLn(Fq)の指標理論と関連付ける
5. より一般的な半単純Lie代数g（Fq上で定義）に対して同じことを行う

技術的革新点

問題設計の特徴

1. アクセス可能性：問題は明確で具体的であり、過度な背景知識を必要としない
2. 一貫性：問題間に内在的な関連があり、表現論の統一性を体現している
3. 段階性：有限体からp-進域へ、特殊な場合から一般的な場合へ

理論的洞察

1. 有限-無限対応：複数の問題が有限体とp-進域間の対応を探求する
2. 幾何学化の思想：指標理論ではなく「幾何学的」証明の必要性を強調する
3. 統一的枠組み：Langlands綱領を通じて異なる問題を統一する

関連業績

引用された主要文献

1. Bo Borel (1976)：Iwahori不動ベクトルの容認表現論
2. Li Jian-Shu Li (1992)：不分岐主系列の結果
3. MW Moeglin-Waldspurger (1987)：退化Whittaker模型の有限次元性
4. HII Hiraga-Ichino-Ikeda (2008)：形式次数と伴随γ-因子
5. Ho Howe (1974)：Fourier変換と指標の芽
6. Pr Prasad (2000)：有限体上の一般線形群の退化Whittaker模型空間
7. NS Nadimpalli-Sheth (2025)：捻じれJacquet模
8. GGK Gao-Gurevich-Karasiewicz (2024)：被覆群のGelfand-Graev表現

研究の系統

• Langlands綱領：全体的理論的枠組みを提供する
• Deligne-Lusztig理論：有限群表現の幾何学的構成
• Jacquet-Langlands対応：GLn(D)とGLmn(F)間の対応
• Bernstein-Zelevinsky理論：導出理論と分類

結論と考察

主要な結論

1. 研究方向が明確：8つの具体的で研究可能な問題を提示した
2. 理論的意義が重大：これらの問題は表現論の中心的技術に触れている
3. 方法論的示唆：有限から無限へ、特殊から一般へという研究経路を強調する

開放問題の価値

1. 研究の指導：若い研究者に具体的な研究課題を提供する
2. 交流の促進：明確な表述が学術的議論を促進する
3. 進展の推進：部分的な解決でも重要な価値を持つ

将来の方向

1. 有限体理論：有限体上の基礎理論を完善する（問題8など）
2. p-進推広：有限体の結果をp-進領域に推広する
3. 幾何学化：より多くの問題の幾何学的解釈を探求する
4. 統一理論：Langlands対応を通じて異なる現象を統一する

深い評価

長所

1. 問題の質が高い
   • 各問題は明確な数学的表述を持つ
   • 問題は研究価値があり、かつ比較的アクセス可能である
   • 予想される答えと研究思路を提供している
2. 背景材料が充分
   • 各問題に必要な定義と既知結果を提供する
   • 関連文献の引用が適切である
   • 問題間の関連性を説明している
3. 記述が明確
   • 数学的表述が正確である
   • 論理構造が明確である
   • 注記(Remarks)が追加の洞察を提供する
4. 学術的価値
   • 分野における問題集の空白を埋める
   • 異なる研究方向の交差を促進する
   • 若い研究者の育成に役立つ

不足点

1. 文献総説が限定的
   • 各問題の既存業績の回顧が簡潔である
   • 既に得られた部分的結果をより詳しく説明できる
2. 技術的詳細
   • 某些問題の困難さをより明確に示すことができる
   • 問題を攻略するための技術的経路をより多く提供できる
3. 範囲の限定
   • 著者は「非常に狭い視点」から問題を選択したことを認めている
   • 主にGLnと関連群に集中している
4. 具体例の欠如
   • 某些抽象的問題に対して、具体例があると有益である
   • GL2またはGL3の明示的計算が有用である

影響力

1. 分野への貢献
   • 表現論研究に明確な方向を提供する
   • 有限体とp-進域の理論を結ぶ
   • 被覆群表現論の発展を推進する
2. 実用的価値
   • 博士論文の課題として適切である
   • 研究セミナーの組織に利用できる
   • 国際協力を促進する
3. 再現性
   • 問題表述が明確で理解しやすい
   • 十分な出発点文献を提供している
   • 某些問題は計算機支援研究が可能である

適用場面

1. 研究者
   • 博士論文課題を探す大学院生
   • 新しい方向に進みたい研究者
   • 研究セミナーを組織する教師
2. 研究主題
   • p-進群表現論
   • 有限群表現論
   • Langlands綱領
   • 自動形式理論
3. 技術的背景
   • 群表現論の基本知識が必要
   • p-進体の基本性質の理解
   • 誘導表現とJacquet模の熟知

参考文献

本論文が引用する主要文献は以下を含む：

1. 基礎理論：Iwahori不動ベクトルに関するBorelの業績
2. 分類理論：Bernstein-Zelevinsky分類、Lusztig有限群表現分類
3. 関数方程式：形式次数に関するHiraga-Ichino-Ikeda業績
4. Fourier解析：Fourier変換に関するHoweの古典的論文
5. 最新進展：Nadimpalli-Sheth (2025)、Gao-Gurevich-Karasiewicz (2024)

総括

これは、p-進群表現論に対して8つの明確で研究価値のある未解決問題を提供する、高質量の問題集論文である。論文の主な価値は以下にある：

1. 明確性：各問題は明確な数学的表述と予想される答えを持つ
2. アクセス可能性：問題は過度な背景知識を必要とせず、若い研究者に適している
3. 一貫性：問題間に内在的な関連があり、理論の統一性を体現している
4. 啓発性：研究思路と方法論的指導を提供する

従来の研究論文ではないが（新しい定理や証明がない）、学術界において独特の価値を持つ：分野における重要な開放問題を体系的に整理し、将来の研究に方向を示す。p-進群表現論に進みたい、または研究課題を探している研究者にとって、これは極めて価値のある参考文献である。