[論文レビュー] Une variante d'un résultat de Aizenbud, Gourevitch, Rallis et Schiffmann

Jean-Loup Waldspurger|ArXiv.org|Nov 9, 2009

Agriculture and Rural Development Research被引用数 14

ひとこと要約

本稿は、特殊直交群 $G^0$ の既約適切表現の、直交群 $M^0$ からの制限表現の空間における $G^0$-不変なホモーモーフィズムの空間の次元が1以下であることを示す多重性1定理を確立する。証明は、Aizenbud, Gourevitch, Rallis, Schiffmann の手法を応用し、不変分布、フーリエ変換、極小軌道およびラグランジュ的分解に関する表現論的降下を用いて、特定の $\bar{G}$-不変分布が消えることを示し、それによって多重性1性が導かれる。

ABSTRACT

Aizenbud, Gourevitch, Rallis and Schiffmann proves results of multicity one in different cases, in particular for orthogonal groups. Using the same method, we prove the same result for special orthogonal groups.

研究の動機と目的

• 特殊直交群 $G^0$ の既約適切表現の、直交群 $M^0$ からの制限表現に対して多重性1定理を確立すること。
• Aizenbud, Gourevitch, Rallis, Schiffmann の結果を直交群から特殊直交群へ拡張すること。
• $\dim_{\mathbb{C}}(\operatorname{Hom}_{G^0}(\pi|_{G^0}, \rho)) \leq 1$ を示すこと。ここで $\pi$ は $M^0$ の既約適切表現、$\rho$ は $G^0$ の既約適切表現であり、これは局所グロス＝プラサド予想の重要なステップである。
• $\bar{G}$-不変分布で、特性 $\chi$ に対して変換する $M^0$ 上の空間が自明である、すなわち ${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$ であることを示すこと。これにより主定理が導かれる。

提案手法

• 群 $\tilde{G} = G \times \{\pm 1\}$ 及びその部分群 $\bar{G} = \{ (g,\epsilon) \in \tilde{G} \mid \det(g) = \epsilon^{e(V)} \}$ を用いて、$G^0$, $\mathfrak{g}$, $V$ 上にねじれ作用を定義する。ここで $e(V) = \lfloor (\dim V + 1)/2 \rfloor$ である。
• 主定理を、$\bar{G}$-不変分布で特性 $\chi$ に対して変換する $M^0$ 上の空間が自明であることを示すことに帰着させる：${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$。
• フロベニウスによる降下を用いて、問題を ${\cal S}'(M^0 \times W)^{\bar{M},\chi} = \{0\}$ の証明に還元し、安定化子解析により $M^0$ 上での消滅を示す。
• $\dim V = d$ についての帰納法を用い、$d = 1, 2$ の基本ケースを検証し、$d \geq 3$ に対して極小軌道およびラグランジュ的分解の構造を分析する。特に、不変分布の台に注目する。
• $V$ 上のフーリエ変換を用いて $T$ と $\hat{T}$ を関係づけ、両者が同じ $Q(X)$ 上に台を持つならば $T = 0$ であることを示す。これは $\underline{G}_X$-作用の不変性を利用している。
• 一般の場合を、2つの標準的な極小軌道タイプに還元する：奇数次元で中心ベクトルを持つもの、および $d \equiv 0 \mod 4$ でラグランジュ的分解を持つもの。$g \mapsto -a$ 及び $g \mapsto -g$ に対する等変性を用いて、$T$ の自明性を強制する。

実験結果

リサーチクエスチョン

• RQ1 特殊直交群 $M^0$ の既約適切表現を $G^0$ に制限したとき、$G^0$-不変な汎関数が高々1つであるか。
• RQ2 $M^0$ と $G^0$ が全直交群ではなく特殊直交群である場合に、$M^0$-表現の $G^0$ への制限における多重性1性が成立するか。
• RQ3 $M^0$ 上の $\bar{G}$-不変分布で、特性 $\chi$ に対して変換する空間が自明であるか、すなわち ${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$ か。
• RQ4 ${\cal S}'(M^0 \times W)^{\bar{M},\chi}$ の消滅が、群論的降下および安定化子解析を用いて ${\cal S}'(M^0)^{\bar{G},\chi}$ の消滅を示すか。
• RQ5 現在の証明が特徴0を仮定しているが、正の特徴 $\neq 2$ に拡張可能か。

主な発見

• ${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$ である。これは主な多重性1結果を示唆する。
• $d = \dim V = 1$ または $2$ の場合、$\bar{G}$-作用における軌道を分析し、$G^0$-作用に対して不変でないため、任意の不変分布は消える。
• $d \geq 3$ の場合、$G^0 \times V$ や $\mathfrak{g} \times V$ 上の任意の $\bar{G}$-不変分布 $T$ の台は、それぞれ $Z{\cal U} \times V$ や ${\cal N} \times V$ に含まれる。ここで $Z$ は $G^0$ の中心、${\cal U}$ は単型集合、${\cal N}$ は極小錐である。
• $d$ が奇数または $d \equiv 2 \mod 4$ の場合、中心元 $-1$ の作用がウェイル表現に非自明に作用するため、不変量は0である。
• $d \equiv 0 \mod 4$ の場合、2つの標準的極小軌道タイプに還元される：中心ベクトルを持つもの、およびラグランジュ的分解を持つもの。両方のケースで、$g \mapsto -a$ や $g \mapsto -g$ に対する不変性から $T = 0$ が導かれる。
• 結果は特徴0で成り立ち、著者は最近のHenniartの研究に基づき、正の特徴 $\neq 2$ へも拡張可能であると予想している。