[論文レビュー] On interactions between harmonic analysis and the theory of automorphic forms

Marko Tadić|arXiv (Cornell University)|Dec 21, 2012

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

ひとこと要約

この論文は、局所体上の古典的群における調和解析と自動形式の間の深い関係を調査し、特にユニタリ双対、温度双対、自動形式双対、非分岐双対における孤立ユニタリ表現——特に$L^2$表現および尖型表現——に焦点を当てる。孤立表現が温度双対に属する場合、それはちょうど$L^2$表現に一致することを確立し、パラボリック誘導によるこのような表現の構成に関する重要な補題を証明し、ジャンツェン–ムーリン–タディッチ対応と整合することを示す。

ABSTRACT

In this paper we review some connections between harmonic analysis and the modern theory of automorphic forms. We indicate in some examples how the study of problems of harmonic analysis brings us to the important objects of the theory of automorphic forms, and conversely. We consider classical groups and their unitary, tempered, automorphic and unramified duals. The most important representations in our paper are the isolated points in these duals.

研究の動機と目的

• 再帰的群の局所体上でのユニタリ双対における孤立ユニタリ表現の役割を明確にすること、特に調和解析との中での関係を。
• ユニタリ表現の台——特に$L^2(G)$——が温度双対および自動形式双対とどのように関係するかを調査すること。
• 古典的群の自動形式双対および非分岐双対の構造を理解すること、特にラマヌジャン予想との中での関係を。
• $L^2$表現と温度双対における孤立点との間の正確な対応関係を確立すること。
• ラングランズ–シェルスタッドパケージ内の表現の構成に関する技術的補題を提供し、既知の分類結果と整合することを保証すること。

提案手法

• コンパクト集合上での行列係数の近似によって定義されるユニタリ双対$\hat{G}$の位相を用い、孤立表現を同定する。
• ハリシュ＝チャンドラの温度表現理論と$L^2(G)$の分解を適用し、温度双対$\hat{G}_{\text{temp}}$を定義する。
• 正則表現の台として$ L^2(G(k)\backslash G(\mathbb{A}_k)) $上に定義される自動形式双対を定義し、数論的問題と関連付ける。
• 正規表現の分類に用いるためのジョルダンブロック$\text{Jord}(\pi)$とエプシロン不変量$\epsilon_\pi$を用いる。
• Tadić (1995以降) および Mœglin–Tadić (2002) の構造定理を用い、$|\det|_F^{1/2} \rho$によるねじれを伴うパラボリック誘導により、$\pi'$から$\pi$を構成する。
• フロベニウスの随伴性とヤコブモジュール解析を用い、誘導表現が唯一の既約部分表現を持つことを示し、ヤコブモジュールの構造とケース解析を通じて$\epsilon_{\pi'}$が$\epsilon_\pi$と整合することを証明する。

実験結果

リサーチクエスチョン

• RQ1 局所体上の古典的群のユニタリ双対において、どの既約ユニタリ表現が孤立しているか？
• RQ2 温度双対における孤立表現は、$L^2$表現とどのように関係しているか？
• RQ3 グローバル体上の古典的群の自動形式双対の構造は何か？ また、ラマヌジャン予想とどのように関係しているか？
• RQ4 どのようにして$|\det|_F^{1/2}\rho$によるパラボリック誘導を用いて、より小さい表現$\pi'$から$L^2$表現$\pi$を構成できるか？ そして、そのような構成を保証する条件は何か？
• RQ5 このような構成において、エプシロン不変量$\epsilon_\pi$はどのように保存または制限されるか？

主な発見

• $\pi \in \hat{G}_{\text{temp}}$が温度双対で孤立していることと、$\pi$が$L^2$表現であることとは同値である。
• 正規表現$\pi$に対して、$\delta(\rho,2) \in \text{Jord}(\pi)$かつ$\epsilon_\pi(\delta(\rho,2)) = 1$ならば、$\pi \hookrightarrow \text{Ind}(|\det|_F^{1/2}\rho \otimes \pi')$を満たす$L^2$表現$\pi'$が存在する。
• 誘導表現$\text{Ind}(|\det|_F^{1/2}\rho \otimes \pi')$は唯一の既約部分表現を持ち、それは$\pi$に同型である。
• 表現$\pi'$は$\text{Jord}(\pi') = \text{Jord}(\pi) \setminus \{\delta(\rho,2)\}$を満たし、ジョルダンブロックの直接的な削除を示している。
• エプシロン不変量$\epsilon_{\pi'}$は、ジョルダンブロックパラメータのケース解析とヤコブモジュールの構造を用いて、$\epsilon_\pi$の制限として得られることが確認された。
• この構成は、Mœglin–Tadić (2002) の結果およびラングランズ–シェルスタッドパケージの理論と整合しており、ヤコブモジュールの解析とフロベニウスの随伴性の適用によって確認された。