[论文解读] Stabilisation de la formule des traces tordue V: intégrales orbitales et endoscopie sur le corps réel

Jean-Loup Waldspurger|arXiv (Cornell University)|Apr 9, 2014

Spectral Theory in Mathematical Physics被引用 4

一句话总结

本文通过引入一个新的分布空间 $ D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $，建立了实数上扭trace公式的稳定性框架，该空间将加权轨道积分扩展至超越轨道分布的几何分布。通过递归稳定化与极限过程定义积分，解决了在 $ \mathbb{R} $ 上轨道分布空间与几何分布空间不重合的问题，证明了在强正则元素下稳定与不稳定加权轨道积分一致这一核心假设下，所有trace公式的关键成分均定义良好。

ABSTRACT

It is one of a series of articles whose goal is to stabilize the twisted trace formula. In two previous papers, we have considered the stabilization of weighted orbital integrals over a non-archimedean local field. Here we consider the similar question over the real field. The principal result is the same: all expected properties are deduced from the stabilization of weighted orbital integrals relative to strongly regular elements.

研究动机与目标

• 为解决在实数情形下 $ D_{\text{orb}}(\tilde{G}(\mathbb{R}), \omega) = D_{\text{geom}}(\tilde{G}(\mathbb{R}), \omega) $ 不成立的问题，而该问题在非阿基米德局部域中并不出现。
• 将加权轨道积分 $ I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ 的定义从轨道分布扩展至几何分布 $ \boldsymbol{\gamma} \in D_{\text{geom}}(\tilde{M}(\mathbb{R}), \omega) $，特别是针对 $ \tilde{G} $-等轨元素。
• 构造一个稳定且递归定义的分布空间 $ D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $，在所有内播数据下对端李代数转移封闭，确保与稳定化程序的兼容性。
• 在核心假设 $ I_{\tilde{M}}^{\tilde{G},{\cal E}}(\boldsymbol{\gamma}, f) = I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ 成立于强正则 $ \boldsymbol{\gamma} $ 的前提下，证明所有trace公式成分均定义良好。
• 在拟分裂、内扭及平凡参数情形（$ {\bf a} = 1 $）下建立非平凡结果，此时主要假设可由Arthur的结果推出。

提出的方法

• 将 $ D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $ 定义为包含 $ D_{\text{orb}}(\tilde{M}(\mathbb{R}), \omega) $ 且对所有内播数据 $ {\bf M}' $ 的端李代数转移封闭的最小空间。
• 通过类比Arthur对奇点支撑的方法，采用极限过程定义 $ \boldsymbol{\gamma} \in D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $ 时的 $ I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $。
• 利用 $ a \mapsto I_{\tilde{M}}^{\tilde{G}}(a\boldsymbol{\gamma}, f) $ 在 $ a = 1 $ 处的胚展开，控制分布的行为并确保稳定性。
• 对Levi子群与内播数据递归应用该方法，依赖于所有诱导对象（Levi、交换子、内播数据）在 $ \mathbb{C} $ 上保持定义，从而维持归纳结构。
• 将关键恒等式 $ I_{\tilde{M}}^{\tilde{G},{\cal E}}(\boldsymbol{\gamma}, f) = I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ 对强正则 $ \boldsymbol{\gamma} $ 的成立作为核心假设，使所有定义与证明成为可能。
• 通过证明 $ D_{\text{tr-orb}}^{\text{st}}(\tilde{G}(\mathbb{R}), \omega) $ 中的稳定分布均源自稳定几何分布，验证所有项均处于良好控制的空间中，确保一致性。

实验结果

研究问题

• RQ1 为何在实数情形下轨道与几何 $ \omega $-等变分布空间不重合，而这一现象在非阿基米德情形中不发生？
• RQ2 在实数情形下，如何有意义地将加权轨道积分从轨道分布扩展至几何分布？
• RQ3 何种递归结构可确保端李代数转移在实数设定下保持稳定与可积性？
• RQ4 在何种条件下，可假设或证明关键恒等式 $ I_{\tilde{M}}^{\tilde{G},{\cal E}}(\boldsymbol{\gamma}, f) = I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ 对强正则 $ \boldsymbol{\gamma} $ 成立？
• RQ5 在拟分裂、内扭及平凡参数情形（$ {\bf a} = 1 $）下，能否获得非平凡结果，此时主要假设已知成立？

主要发现

• 空间 $ D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $ 被构造为包含 $ D_{\text{orb}}(\tilde{M}(\mathbb{R}), \omega) $ 且对端李代数转移封闭的最小空间，确保了转移映射下的稳定性。
• 加权轨道积分 $ I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ 通过类比Arthur对奇点支撑的方法的极限过程，被扩展至 $ \boldsymbol{\gamma} \in D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $。
• 核心假设——即对强正则 $ \tilde{G} $-正则元素，稳定与不稳定加权轨道积分相等——是整个框架定义良好的必要且充分条件。
• 在拟分裂、内扭及平凡参数情形（$ {\bf a} = 1 $）下，核心假设可由Arthur的结果推出，从而得到非平凡且无需额外假设的结果。
• $ a \mapsto I_{\tilde{M}}^{\tilde{G}}(a\boldsymbol{\gamma}, f) $ 在 $ a = 1 $ 处的胚位于受控空间中，支持递归构造并确保一致性。
• $ D_{\text{tr-orb}}^{\text{st}}(\tilde{G}(\mathbb{R}), \omega) $ 中的稳定分布均源自稳定几何分布，证实了该构造与稳定化程序的兼容性。