[论文解读] Stabilisation de la formule des traces tordue IV: transfert spectral archimédien

Jean-Loup Waldspurger|arXiv (Cornell University)|Mar 6, 2014

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

一句话总结

本文建立了实数域上扭曲端李群的谱转移定理，证明了在扭曲群上，椭圆特征分布的稳定组合恰好是来自内播数据的转移。本文将帕利-维纳理论推广至扭曲情形，并建立了 $K$-有限谱转移的存在性，其依赖于雷纳德的帕利-维纳定理、谢尔施塔特的转移结果以及莫吉林对扭曲情形下超温和表示的刻画。

ABSTRACT

It is one of a series of papers whose goal is to stabilize the twisted trace formula. We consider here a "twisted space" over the real field. We prove in this twisted situation the results obtained by Arthur in his Selecta's paper. That is the existence of transfer of tempered representations. We use the Paley-Wiener's theorems of Renard and Delorme-Mezo, the work of Shelstad about transfer of functions and a recent result of Moeglin about super-tempered representations. As corollaries, we obtain a stable version of the Paley-Wiener theorem and the fact that transfer of functions preserves K-finitude.

研究动机与目标

• 在 $\mathbb{R}$ 上扭曲端李群的背景下，建立经典调和分析向扭曲群推广的稳定版帕利-维纳定理。
• 证明在扭曲群 $\tilde{G}(\mathbb{R})$ 上，椭圆特征分布的稳定组合恰好是来自内播数据的稳定组合的转移。
• 证明 $K$-有限谱转移的存在性，确保 $\tilde{G}(\mathbb{R})$ 上的 $K$-有限函数可向内播群实现 $K'$-有限转移。
• 基于阿瑟与莫吉林的前期工作，为 $\mathbb{R}$ 上扭曲迹公式的稳定化提供基础框架。
• 将哈里什-钱德拉的超温和性判别准则推广至扭曲情形，证明：有限个温和特征分布的线性组合为超温和当且仅当所有表示均为椭圆表示。

提出的方法

• 将雷纳德的 $C^\infty$-帕利-维纳定理适配至扭曲情形，以椭圆表示的形式重新表述。
• 应用谢尔施塔特关于扭曲群之间 $C^\infty$-转移存在的结果，建立谱对应关系。
• 利用莫吉林对扭曲情形下超温和表示的刻画，将谱稳定性与椭圆性联系起来。
• 通过将 $\tilde{G}(\mathbb{R})$ 上的稳定分布与内播数据 $\mathbf{G}'$ 的转移相联系，构造谱转移。
• 应用 $K$-型与 $K$-有限函数的理论，借助勒维子群与紧致子群的结构，证明 $K$-有限转移的存在性。
• 通过限制标量，将复数情形约化为实数情形，表明复数情形的结果可由实数情形通过基变换推出。

实验结果

研究问题

• RQ1 在何种条件下，$\tilde{G}(\mathbb{R})$ 上的稳定分布是来自内播群的稳定分布的转移？
• RQ2 如何将帕利-维纳定理推广至 $\mathbb{R}$ 上扭曲端李群的情形？
• RQ3 在扭曲端李群的背景下，$K$-有限函数的谱转移由什么特征刻画？
• RQ4 在 $\tilde{G}(\mathbb{R})$ 上，有限个温和特征分布的线性组合何时为超温和？这与椭圆性有何关联？
• RQ5 伽罗瓦作用在共特征群上的结构如何影响扭曲情形下的谱转移？

主要发现

• 在 $G$ 为拟单连通、$\tilde{G}$ 为内播扭曲、且 $\mathbf{a} = 1$ 的假设下，$\tilde{G}(\mathbb{R})$ 上有限个椭圆特征分布的线性组合，若在正则椭圆元素上稳定，则在整个群上稳定。
• 若内播群 $\tilde{G}'(\mathbb{R})$ 上的分布 $\Sigma$ 稳定，且其在正则椭圆元素上的限制与 $\Pi$ 从 $\tilde{G}(\mathbb{R})$ 的转移的限制一致，则 $\Pi$ 是 $\Sigma$ 的谱转移。
• 从 $I(\tilde{G}(\mathbb{R}), \omega)$ 到 $\oplus_{\mathbf{G}' \in \mathcal{E}(\tilde{G}, \mathbf{a})} SI(\mathbf{G}')$ 的谱转移映射是良定义且满射的，且转移保持稳定性。
• 对任意 $\tilde{G}(\mathbb{R})$ 上的 $K$-有限函数 $f$，存在内播群 $\tilde{G}'(\mathbb{R})$ 上的 $K'$-有限函数 $f'$，使得 $f'$ 是 $f$ 的谱转移，如引理 3.4 所述。
• $K$-有限谱转移的存在性通过有限个 $K$-型与 $K'$-型之间的对应关系建立，确保转移下的相容性。
• 复数情形的结果通过限制标量从实数情形推出，谱转移与稳定性性质得以保持。