[論文レビュー] An archimedean analog of Jacquet - Rallis theorem

Avraham Aizenbud, Dmitry Gourevitch|ArXiv.org|Mar 24, 2008

Advanced Algebra and Geometry参考文献 7被引用数 7

ひとこと要約

本稿では、特性が0の任意の局所体 $F$ に対して、対称ペア $(GL_{n+k}(F), GL_n(F) \times GL_k(F))$ がGelfandペアであることを確立している。非アーチメデス的状況での結果を、不変分布の技法を用いてアーチメデス的状況へ拡張したものである。主な結果は、$GL_n(F) \times GL_k(F)$-不変な $GL_{n+k}(F)$ 上のすべての分布が、反対合 $g \mapsto g^{-1}$ に関して不変であるということであり、これは、不可約適切表現上の $GL_n(F) \times GL_k(F)$-不変線形関数の唯一性を示す。

ABSTRACT

In this paper we prove that the symmetric pair $(GL_{n+k}(F),GL_n(F) imes GL_k(F))$ is a Gelfand pair for any local field F of characteristic 0. For non-archimedean F it has been proven in [JR]. We use techniques developed in [AG2] to generalize their proof to general local fields.

研究の動機と目的

• $(GL_{n+k}, GL_n \times GL_k)$ の非アーチメデス的Gelfandペア結果をアーチメデス的状況へ拡張すること。
• 対称ペア $(GL_{n+k}(F), GL_n(F) \times GL_k(F))$ がGelfand性質（GP1）を満たすことを確立すること、すなわち、$GL_n(F) \times GL_k(F)$-不変線形関数の重複度1であること。
• 従来の研究の技法をアーチメデス的状況へ一般化し、精密な不変分布の解析によって技術的計算を回避すること。
• すべての $GL_n(F) \times GL_k(F)$-双不変分布が反対合 $g \mapsto g^{-1}$ に関して不変であることを証明すること。これはGelfand-Kazhdan理論によりGP1を示す。

提案手法

• Gelfand-Kazhdanの基準を用いる：$H = GL_n(F) \times GL_k(F)$ に対して、すべての $H$-双不変分布が反対合 $g \mapsto g^{-1}$ に関して不変ならば、GP1が成り立つ。
• 問題を、$GL_{n+k}(F)$ 上の任意の $H$-双不変分布が $g \mapsto g^{-1}$ に関して不変であることを示すことに還元する。これは定理II’と同値である。
• $sl_2$-三重対の可換表現理論を用い、$\sigma(g) = \theta(g^{-1})$ による対合に関して、Lie代数 $gl_{2n}(F)$ を順次的不変な既約表現に分解する。
• $x \in gl_{2n}^\sigma(F)$ が冪零であるとき、固定点空間 $(gl_n(F) \times gl_n(F))_x$ 上での $d = d(x)$ の随伴作用のトレース $\operatorname{Tr}(ad(d)|_{(gl_n \times gl_n)_x})$ を、その次数構造を用いて計算する。
• 鍵となる補題を用いて、$x$ が冪零のとき $\operatorname{Tr}(ad(d)|_{(gl_n \times gl_n)_x}) < 2n^2$ であることを示し、これにより所望の分布の不変性が得られる。
• 非ゼロの等変シュワーツ分布が存在しないことから、非ゼロの等変分布も存在しないことが従い、これによりアーチメデス的状況でもシュワーツ分布論を用いることができる。

実験結果

リサーチクエスチョン

• RQ1 特性が0の局所体 $F$ に対して、対称ペア $(GL_{n+k}(F), GL_n(F) \times GL_k(F))$ はGelfandペアか？
• RQ2 Jacquet-Rallisの定理の非アーチメデス的証明をアーチメデス的状況へ拡張できるか？
• RQ3 すべての $GL_n(F) \times GL_k(F)$-双不変分布が反対合 $g \mapsto g^{-1}$ に関して不変か？
• RQ4 冪零 $x$ に対して、対称空間内での固定点空間 $(gl_n(F) \times gl_n(F))_x$ 上での $d(x)$ の随伴作用のトレースは何か？
• RQ5 $sl_2$-三重対の順次的表現は、対称空間上の不変分布の構造を解析するのにどのように役立つか？

主な発見

• 任意の特性0の局所体 $F$ に対して、対称ペア $(GL_{n+k}(F), GL_n(F) \times GL_k(F))$ はGelfandペアである。これは、$GL_{n+k}(F)$ の任意の不可約適切表現 $(\pi, E)$ に対して $\dim \operatorname{Hom}_{GL_n(F) \times GL_k(F)}(E, \mathbb{C}) \leq 1$ が成り立つことを意味する。
• 主な技術的結果として、任意の冪零 $x \in gl_{2n}^\sigma(F)$ に対して、トレース $\operatorname{Tr}(ad(d)|_{(gl_n(F) \times gl_n(F))_x}) < 2n^2$ が成り立つ。これは、双不変分布が $g \mapsto g^{-1}$ に関して不変であることを示唆する。
• 証明は、$sl_2$-三重対に関するLie代数の順次的不変既約表現への分解と、最高重量ベクトルの偶奇性を用いた随伴作用のトレース計算に依拠している。
• すべての既約成分の次元が奇数であるとき、$\sum_{i,j} m_{ij} < 0$ が成り立つ。これによりトレース条件が $2n^2$ より厳密に小さいことが保証される。
• 非ゼロの等変シュワーツ分布が存在しないことは、非ゼロの等変分布も存在しないことを意味し、これによりアーチメデス的状況でもシュワーツ理論を適用できる。
• 結果は非アーチメデス的状況への一般化であり、順次的表現技法の導入により技術的計算を排除することで証明を短縮している。