[論文レビュー] On Unitary Representations of GL2n Distinguished by the Symplectic Group

Omer Offen, Eitan Sayag|ArXiv.org|Jun 25, 2008

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

ひとこと要約

本稿は、自動形式とTadićの分類を用いて、p進体F上のGL_{2n}(F)の特定の無限小的、ユニタリ表現族が、対称群H = Sp_{2n}(F)によって区別されることを確立する。主な結果は、これらの表現が非自明なH不変線形関数を有することを確認し、以降の研究と併せることで、この族がGL_{2n}(F)のすべてのユニタリでH-区別可能な表現を尽くしていることを示している。

ABSTRACT

We provide a family of representations of GL(2n) over a p-adic field that admit a non-vanishing linear functional invariant under the symplectic group (i.e. representations that are Sp(2n)- distinguished). While our result generalizes a result of M. Heumos and S. Rallis our methods, unlike their purely local technique, re- lies on the theory of automorphic forms. The results of this paper together with later works by the authors imply that the family of representations studied in this paper contains all irreducible, unitary representations of the general linear group that are distin- guished by the symplectic group.

研究の動機と目的

• GL_{2n}(F)の既約でユニタリな表現のうち、対称群H = Sp_{2n}(F)に対して不変となるものを見つけること、およびその特徴づけを行うこと。
• HeumosとRallisのp進H-区別表現に関する研究を、純粋な局所的手法ではなく、グローバルな自動形式的手法を用いて拡張すること。
• 本稿で取り上げた表現族が、GL_{2n}(F)のすべての既約でユニタリなH-区別可能な表現を尽くしていることを確立し、Klyachkoモデルに関する予想を完成させること。
• GL_q(F)のすべての既約ユニタリ表現が一意のKlyachkoモデルを有することを示す基盤を提供すること。特に、対称群H-区別に対応するモデルが、H-区別性の特徴づけに役立つこと。

提案手法

• TadićによるGL_{2n}(F)のユニタリ双対の分類を用い、表現をU(\delta, 2m)および|\alpha| < 1/2を満たす\pi(U(\delta, 2m), \alpha)の積として表現する。
• 正規化された放物型誘導と誘導表現の構造を用いて、H不変関数の存在を分析する。
• Klyachkoモデルの理論、特に対称モデル\mathcal{M}_{2n,n}を用い、H-区別性を、このモデルへの非自明なGL_{2n}(F)交換写像の存在として再定式化する。
• ユニタリ表現の行列係数を分析し、その有界性を用いてWhittakerモデルおよびEisenstein級数の技法から生じる積分の収束を制御する。
• 補間作用素を含む重要な積分表現を適用し、小行列式のノルムとモジュラス特性\delta_Q^sの境界を用いて、\text{Re}(s)が十分に大きい場合の絶対収束を証明する。
• 補助的命題に依存する：(1) \|\epsilon_{R_{i,j}} \text{diag}(k_1,\dots,k_t)\sigma_k(X)\| は \prod \lambda(X_i) のべきで下限および上限に有界であり、(2) \delta_Q^s(p(\sigma_k(X))) \leq \left(\prod \lambda(X_i)\right)^{-s} である。これらにより、積分の収束を制御する。

実験結果

リサーチクエスチョン

• RQ1 GL_{2n}(F)の既約でユニタリな表現のうち、非自明なH = Sp_{2n}(F)不変線形関数を有するものはどれか？
• RQ2 U(\delta, 2m)および|\alpha| < 1/2を満たす\pi(U(\delta, 2m), \alpha)を用いて構成された表現族が、すべてのこのようなH-区別可能なユニタリ表現を尽くしているか？
• RQ3 ユニタリ表現のH-区別性は、Klyachkoモデル、特に対称モデル\mathcal{M}_{2n,n}を用いて特徴づけられるか？
• RQ4 グローバルな自動形式理論は、特に純粋な局所的手法と比較して、局所的H-区別性を確立するためにどのように寄与するか？

主な発見

• 本稿は、H-区別可能なGL_{2n}(F)のすべての既約でユニタリな表現が、U(\delta, 2m)および|\alpha| < 1/2を満たす\pi(U(\delta, 2m), \alpha)を用いて構成された族に属することを証明し、このような表現の分類を完成させた。
• 非自明なH不変線形関数の存在は、行列係数とモジュラス特性\delta_Q^sを含む重要な積分の収束によって確立され、\text{Re}(s)が十分に大きい場合に有効である。
• 収束は2つの主要な境界に依存する：ノルム\|\epsilon_{R_{i,j}} \text{diag}(k_1,\dots,k_t)\sigma_k(X)\| は \prod \lambda(X_i) のべきで有界であり、\delta_Q^s(p(\sigma_k(X))) は \left(\prod \lambda(X_i)\right)^{-s} のように減衰する。
• ユニタリ表現 \otimes_{j=1}^t \delta_j^{\otimes m_j} の行列係数は有界であるため、主要な積分における被積分関数が一様に有界であることが保証される。
• 補間作用素の積分表現は、\text{Re}(s)が十分に大きい場合に絶対収束する。これは、H不変関数の存在を示唆する。
• 著者らの後続研究と併せることで、本結果は、本稿で取り上げた表現族がGL_{2n}(F)のすべての既約でユニタリなH-区別可能な表現を尽くしていることを確認し、Klyachko予想の局所的版を解決した。