[论文解读] 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

一句话总结

本文探討了局部域上經典群的調和分析與自守形式之間的深刻聯繫，專注於單位酉表示中的孤立表示——特別是平方可積與尖點表示——在單位酉、溫和、自守與未分支對偶中的角色。本文證明，溫和對偶中的孤立表示恰好對應於平方可積表示，並提出一個關鍵引理，說明如何透過旗子誘導構造此類表示，且與 Jantzen–Mœglin–Tadić 對應關係相容。

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) $——與溫和對偶及自守對偶的關係。
• 理解經典群的自守對偶與未分支對偶的結構，特別是與 Ramanujan 猜想的關聯。
• 建立平方可積表示與溫和對偶中孤立點之間的精確對應關係。
• 提供一個技術性引理，說明如何透過旗子誘導構造 Langlands–Shelstad 包中的表示，並確保與已知分類結果相容。

提出的方法

• 使用單位酉對偶 $ \hat{G} $ 上的拓撲結構，透過緊緻集上矩陣係數的逼近來識別孤立表示。
• 應用 Harish-Chandra 的溫和表示理論與 $ L^2(G) $ 的分解，定義溫和對偶 $ \hat{G}_{\text{temp}} $。
• 將自守對偶定義為 $ L^2(G(k)\backslash G(\mathbb{A}_k)) $ 上正則表示的支集，並與數論問題連結。
• 運用 Jordan 條塊理論 $ \text{Jord}(\pi) $ 與 $ \epsilon_\pi $ 不變量，對平方可積表示進行分類。
• 應用旗子誘導並以 $ |\det|_F^{1/2} \rho $ 作為扭變，從 $ \pi' $ 構造表示 $ \pi $，並運用 Tadić (1995+) 與 Mœglin–Tadić (2002) 的結構定理。
• 利用 Frobenius 還原與 Jacquet 模組分析，證明誘導表示具有唯一的不可約子表示，並透過對 Jordan 條塊參數的分情況分析，證明 $ \epsilon_{\pi'} $ 與 $ \epsilon_\pi $ 的相容性。

实验结果

研究问题

• RQ1 哪些不可約單位酉表示在局部域上經典群的單位酉對偶中是孤立的？
• RQ2 溫和對偶中的孤立表示與平方可積表示之間有何關係？
• RQ3 全球域上經典群的自守對偶結構為何？其與 Ramanujan 猜想有何關聯？
• RQ4 如何透過旗子誘導並以 $ |\det|_F^{1/2} \rho $ 為扭變，從較小的表示 $ \pi' $ 構造平方可積表示 $ \pi $？此過程需滿足何種條件？
• RQ5 在此類構造下，$ \epsilon_\pi $ 不變量如何被保留或限制？

主要发现

• 一個表示 $ \pi \in \hat{G}_{\text{temp}} $ 在溫和對偶中孤立，當且僅當其為平方可積表示。
• 對於平方可積表示 $ \pi $，若 $ \delta(\rho,2) \in \text{Jord}(\pi) $ 且 $ \epsilon_\pi(\delta(\rho,2)) = 1 $，則存在一個平方可積表示 $ \pi' $，使得 $ \pi \hookrightarrow \text{Ind}(|\det|_F^{1/2}\rho \otimes \pi') $。
• 表示 $ \pi' $ 滿足 $ \text{Jord}(\pi') = \text{Jord}(\pi) \setminus \{\delta(\rho,2)\} $，顯示出對 Jordan 條塊的直接刪除。
• 誘導表示 $ \text{Ind}(|\det|_F^{1/2}\rho \otimes \pi') $ 具有唯一的不可約子表示，且與 $ \pi $ 同構。
• $ \epsilon_{\pi'} $ 透過限制 $ \epsilon_\pi $ 獲得，此結果經由對 Jordan 條塊參數與 Jacquet 模組結構的分情況分析驗證。
• 此構造與 Mœglin–Tadić (2002) 的結果及 Langlands–Shelstad 包理論相容，經由分析 Jacquet 模組並應用 Frobenius 還原得以確認。