論文「対称多様体の双対群と p-進群の区別された表現」の技術的概要

著者: Shuichiro Takeda
対象: p-進体上の対称多様体 $X = H \backslash G$ と、その上の $G$ の既約許容表現の $H$-区別性（distinguishedness）。

1. 研究の背景と問題設定

背景

$p$-進体 $F$ 上の連結半単純群 $G$ と、その $F$-定義の対合 $\theta$ を考え、$\theta$-固定点部分群を $H$ とする。このとき商 $X = H \backslash G$ は対称多様体（symmetric variety）と呼ばれる。
$G$ の既約許容表現 $\pi$ が$H$-区別された表現（H-distinguished）であるとは、$H$-不変な非零線形汎関数 $\lambda: V_\pi \to \mathbb{C}$ が存在すること（$\text{Hom}_H(\pi, 1) \neq 0$）を意味する。

Sakellaridis と Venkatesh は、より一般的な球多様体（spherical varieties）の文脈において、$X$ の「双対群」$\check{G}_X$ と、その Langlands 双対群 $\check{G}$ への準同型 $\check{\phi}_X: \check{G}_X \times \text{SL}_2(\mathbb{C}) \to \check{G}$ を提案しました。この準同型は、$\pi$ の局所 Langlands パラメータ $\phi_\pi$ が $\check{\phi}_X$ を通じて分解することにより、$\pi$ が $H$-区別されるかどうかを決定すると予想されています。Knop と Schalke はこの準同型の構成を、球多様体の分類に基づいた高度に組合せ的な手法で証明しました。

問題点

Knop-Schalke の構成は正確ですが、球多様体の分類に依存しており、技術的に複雑で、対合 $\theta$ の構造から直接的に理解しにくい側面があります。
本論文の目的は、対称多様体 $X = H \backslash G$ に限定し、対合 $\theta$ と $G$ の根データ（root datum）のみを入力として用いて、より概念的で直接的な方法で $\check{\phi}_X$ を構成すること、およびこの構成を用いて $H$-区別された表現の性質（相対的尖点性、相対的平方可積分性など）に関する予想を提示・検証することです。

2. 手法と構成

著者は、対合 $\theta$ が双対群 $\check{G}$ の根データに誘導する作用を利用して、以下の手順で $\check{\phi}_X$ を構成します。

2.1. 根データの分割と「折りたたみ（Folding）」

対合 $\theta$ は $G$ の根データ $\Phi(G, T)$ に作用します。これにより根は $\theta$-不変な部分と $\theta$-分裂（$\theta(\alpha) = -\alpha$ となるような方向を持つ）部分に分類されます。

1. $\theta$-不変部分 ($G^+$):
   • $\theta$-不変な単純根からなる部分根系を定義し、これに対応する部分群 $\check{G}^+ \subset \check{G}$ を構成します。
   • $\check{G}^+$ の主 $\text{SL}_2$ 準同型 $\check{\phi}^+: \text{SL}_2(\mathbb{C}) \to \check{G}^+$ を定義します。
2. $\theta$-分裂部分 ($G^-$):
   • $\theta$-分裂なトーラス $T^-$ に関連する根データ（$\theta$-split root datum）を定義します。
   • この根データは非簡約（non-reduced）になる場合があるため、短根を除去して簡約化し、対応する部分群 $\check{G}^- \subset \check{G}$ を構成します。
   • 対称多様体の双対群を $\check{G}_X := \check{G}^-$ と定義します。

2.2. 可換性の証明

構成の核心は、$\check{G}^-$ と $\check{\phi}^+(\text{SL}_2(\mathbb{C}))$ が互いに可換であることを示すことです。

• 対合 $\theta$ の Dynkin 図形における単純根の振る舞い（Type 1, 2, 3 に分類）を詳細に分析します。
• 特定の「悪質な」図形（Type 3 の特定のケースなど）を除外する仮定の下で、$\check{G}^-$ を生成する根部分群と、主 $\text{SL}_2$ の像が可換であることを証明します。
• これにより、準同型 $\check{\phi}_X: \check{G}_X \times \text{SL}_2(\mathbb{C}) \to \check{G}$ が定義されます。

2.3. 相対的性質との対応予想

構成された $\check{\phi}_X$ を用いて、以下の予想（Conjecture 1.1）を提案します。

• (I) $H$-区別された表現 $\pi$ の Langlands パラメータ $\phi_\pi$ は、$\check{\phi}_X$ を通じて分解する。
• (II) 分解の性質から相対的性質を判定する：
  • (a) 相対的尖点性（relatively cuspidal）: $\text{SL}_2$ 因子が自明で、$\check{G}_X$ への像が真の Levi 部分群に含まれないこと。
  • (b) 相対的平方可積分性：$\check{G}_X$ への像が真の Levi 部分群に含まれないこと。
  • (c) 相対的 tempered: $\check{G}_X$ への像が中心を法として有界であること。

3. 主要な結果

3.1. 主 $\text{SL}_2$ 準同型の分解

定理 8.2: $G$ の自明な表現（trivial representation）の Langlands パラメータ $\phi_1$ は、任意の対称多様体 $X$ に対して、$\check{\phi}_X$ を通じて分解することを証明しました。

• 自明表現のパラメータは、正の余根の和 $2\rho$ に対応します。
• 著者は $2\rho$ を $\theta$-不変部分と $\theta$-分裂部分に分解し、それぞれが $\check{G}^+$ と $\check{G}^-$ の像に含まれることを示しました。これは予想 (I) の重要な検証事例です。

3.2. 既知の事例との整合性

第 9 章では、以下の具体的なケースにおいて、構成された $\check{\phi}_X$ と予想が既知の結果と整合することを示しました。

• 群の場合 (Group Case): $G = H \times H$ の場合。これは Prasad の予想（対合が共役転置に対応する）と等価であり、既知の Langlands 対応の性質と一致します。
• 線形周期 (Linear Period): $GL_{2n}$ 上の $GL_n \times GL_n$-周期。$\check{G}_X = Sp_{2n}(\mathbb{C})$ となり、区別された表現が対称型（symplectic type）のパラメータを持つという既知の結果と一致します。
• $GL_{n-1} \times GL_1$ 周期: 既知の Prasad-Venketasubramanian の結果と整合します。
• 辛周期 (Symplectic Period): $Sp_{2n} \backslash GL_{2n}$ の場合。$\check{G}_X = GL_n(\mathbb{C})$ となり、Kato-Takano や Smith の結果（相対的尖点性・平方可積分性の判定）と完全に一致します。
• 直交周期 (Orthogonal Period): $O_n \backslash GL_n$ の場合。$\check{G}_X = GL_n(\mathbb{C})$ となり、予想 (I) は自明に成立しますが、逆は中心指標の条件により成立しない場合があることを指摘しています。

3.3. 相対的性質の判定基準

Kato-Takano および Lagier の理論（Jacquet 関数の消滅や指数による判定）を再構成し、これらが Langlands パラメータの像の性質（Levi 部分群への包含や有界性）と対応することを示唆しています。

4. 貢献と意義

1. 概念的な構成の提供:
   Knop-Schalke の組合せ論的な構成に代わり、対合 $\theta$ の幾何学的・代数的性質（根データへの作用）のみから $\check{\phi}_X$ を構成する、より直感的で統一的なアプローチを提示しました。これは対称多様体の研究において、双対群の構造をより深く理解するための新しい視点を提供します。

2. 相対的 Langlands 対応の具体化:
   対称多様体における「相対的 Langlands 対応」の具体的な形を、双対群の準同型として明確に定式化しました。特に、自明表現のパラメータが常にこの準同型を通じて分解するという定理は、この枠組みの妥当性を強く支持するものです。

3. 予想の提示と検証:
   区別された表現の性質（尖点性、平方可積分性、temperedness）を、Langlands パラメータの像の構造（Levi 部分群への包含や有界性）と結びつける具体的な予想を提示し、多数の既知の事例で検証しました。これにより、相対的表現論と Langlands 対応の橋渡しをさらに進めました。

4. 限界と今後の課題:
   予想の逆が常に成り立つわけではない（特に L-パケット内の異なる表現の区別や、中心指標の条件など）ことを指摘し、今後の修正の必要性を示唆しています。また、被覆群（covering groups）の理論を統合する必要がある可能性にも言及しています。

結論

本論文は、対称多様体の双対群の構成を対合の根データに基づく直接的な方法で再構築し、それを用いて $H$-区別された表現の Langlands パラメータに関する強力な予想を提示しました。これは、Sakellaridis-Venkatesh の大枠の理論を対称多様体の文脈で具体化・深化させる重要な貢献であり、相対的 Langlands 対応の研究における基礎的なステップとなります。