[论文解读] Stabilisation de la formule des traces tordue II: intégrales orbitales et endoscopie sur un corps local non-archimédien; définitions et énoncés des résultats

Jean-Loup Waldspurger|arXiv (Cornell University)|Jan 28, 2014

Advanced Algebra and Geometry被引用 6

一句话总结

本文在非阿基米德局部域背景下，为扭端李群和加权轨道积分建立了基础定义与关键结果，聚焦于稳定化扭迹公式。通过以对称方式处理根系，重新定义了在非正则半单元素（如单位元）处的加权轨道积分，确保其与归纳和内播传递兼容，并提出了核心稳定化猜想，为未来通过全局方法与亚瑟理论证明奠定基础。

ABSTRACT

It is the second article of a series whose final goal is the stabilization of the twisted trace formula. Over a non archimedean field, we define (after Arthur) wheighted orbital integrals and their stable and endoscopic versions. We state the main theorems that will be proved in the following articles. We begin to study the local properties of our integrals, for instance expansion in Shalika germs.

研究动机与目标

• 在非阿基米德局部域上，定义扭迹公式的几何侧的加权轨道积分及其端李群传递。
• 通过在多个根之间分配系数（例如 $ \beta $ 和 $ 2\beta $）而非偏爱不可约根，解决亚瑟定义在非等秩元素（如单位元）处的歧义。
• 在无证明的前提下提出主要稳定化猜想（特别是定理 1.10 和 1.16），为未来全局论证铺平道路。
• 通过根系的对称处理，确保定义与归纳和端李群传递兼容。
• 通过定义必要的局部对象及其不变性性质，为扭迹公式的完整稳定化奠定基础。

提出的方法

• 通过将系数 $ k_M^G $ 分配到多个根（如 $ \beta $ 和 $ 2\beta $）而非仅依赖不可约根，重新诠释亚瑟的加权轨道积分。
• 引入根系上的函数族 $ B $，以定义 $ J_M^G(1,B,f) $，推广定义并包含根长归一化。
• 通过极限 $ \lim_{x \to 0} \left[ J_M^G(\exp(H(x)),f) + (k_M^G - k_M^{G_{2\beta}})l_\beta(x) + k_M^{G_{2\beta}}l_{2\beta}(x) \right] I^G(\exp(H(x)),f) $ 定义 $ J_M^G(1,f) $，其中包含涉及 $ \log|2|_F $ 的校正项。
• 将此框架应用于内播传递，通过定义 $ r_{\tilde{M}}^{\tilde{G},{\cal E}} $ 并利用 $ \xi $-映射在环面之间建立分布传递的关系。
• 建立 $ A_{\tilde{M}}(F) $ 上函数的芽与 $ U_{\tilde{M}}^{\tilde{G}} $ 中元素之间的等价性，确保与内播传递的兼容性。
• 利用项在 $ \xi $-映射下的不变性以及 $ \tilde{G}^\prime $-内播数据的结构，证明在常数项层面上，传递与稳定化过程可交换。

实验结果

研究问题

• RQ1 在扭端李群背景下，如何在非正则半单元素（如单位元）处一致地定义加权轨道积分？
• RQ2 如何在多个根之间分配系数 $ k_M^G $，以保持与归纳和内播传递的兼容性？
• RQ3 根长归一化（通过函数 $ B $）如何影响 $ J_M^G(1,B,f) $ 的定义？其在稳定化中的作用是什么？
• RQ4 在常数项层面上，何种条件可确保分布传递与稳定化过程可交换？
• RQ5 如何将 $ A_{\tilde{M}}(F) $ 上函数的芽与 $ U_{\tilde{M}}^{\tilde{G}} $ 中的元素关联起来？这对内播传递意味着什么？

主要发现

• 通过同时包含 $ l_\beta(x) $ 和 $ l_{2\beta}(x) $ 的对称极限重新定义 $ J_M^G(1,f) $，通过引入 $ \log|2|_F $ 校正项，修正了亚瑟原始方法。
• 对任意有理数 $ b>0 $，引入新定义 $ J_M^G(1,B,f) $，使用 $ l_\beta(bx) $ 和 $ l_{2\beta}(bx) $，在极限中增加 $ k_M^G \log|b|_F $ 校正项。
• 当 $ B $ 与根长的平方成比例时，定义新群 $ G_{2\beta,B} $（不一定是子群），并构造新的极限定义 $ J_M^G(1,B,f) $，其校正项涉及 $ k_M^{G_{2\beta,B}} $。
• 函数 $ a \mapsto \prod_{i=1}^n \log|\alpha_i(a) - \alpha_i(a)^{-1}|_F $ 属于 $ U_{\tilde{M}}^{\tilde{G}} $，证明了传递的芽是良好定义的。
• 在 $ \xi $-映射下，$ \delta' $ 的传递的常数项与稳定化迹公式的预期一致，证明了 $ r_{\tilde{M}}^{\tilde{G},{\cal E}}({\bf M}^\prime, \delta', \tilde{K}) = r_{\tilde{M}}^{\tilde{G}}(\text{transf}^*\delta', \tilde{K}) $。
• 稳定化猜想（定理 1.10 和 1.16）被表述为需通过全局方法证明的断言：定理 1.10 可由亚瑟结果推导，而定理 1.16 需要全局论证。