[论文解读] On Multiplicity Formula for Spherical Varieties

Chen Wan|arXiv (Cornell University)|May 16, 2019

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

一句话总结

本文为局部域上的球对称空间提出了一个统一的猜想性重数公式，通过哈里什-钱德拉特征标和共轭类定义几何重数。该公式在已知情形（Whittaker、Gan-Gross-Prasad、Ginzburg-Rallis、Galois 和 Shalika 模型）中得到验证，并在两个新情形中得以证明，为相对迹公式提供了一个统一的框架。

ABSTRACT

In this paper, we propose a conjectural multiplicity formula for general spherical varieties. For all the cases where a multiplicity formula has been proved, including Whittaker model, Gan-Gross-Prasad model, Ginzburg-Rallis model, Galois model and Shalika model, we show that the multiplicity formula in our conjecture matches the multiplicity formula that has been proved. We also give a proof of this multiplicity formula in two new cases.

研究动机与目标

• 为局部域上的球对称空间定义统一的几何重数 $ m_{\text{geom}}(\pi, \chi) $。
• 将此定义与所有先前已证明的重数公式（如 Whittaker、Gan-Gross-Prasad 和 Shalika 模型）相协调。
• 在两个新情形中证明重数公式：实数域上的 Galois 模型和酉 Ginzburg-Rallis 模型。
• 为球对称空间的一般局部迹公式和重数公式奠定基础。

提出的方法

• 将几何重数 $ m_{\text{geom}}(\pi, \chi) $ 定义为 $ H(F) $ 的半单共轭类上的积分，以哈里什-钱德拉特征标 $ \theta_\pi $ 加权，并通过 Weyl 群和分布密度归一化。
• 采用迹公式方法：令几何侧与谱侧相等 $ I_{\text{geom}}(f) = I_{\text{spec}}(f) $，其中 $ I(f) $ 通过 $ \theta_\pi $ 和 $ \chi $ 定义。
• 应用胚展开与正则性理论，处理 $ H(F) $ 中非正则半单元素，将特征标理论扩展至非正则半单元素。
• 使用抛物诱导与对 Levi 子群的约化，借助 Iwasawa 分解与互反律，将 $ \mathrm{Hom}_{H(\mathbb{R})}(\pi, \omega) $ 与 $ \mathrm{Hom}_{H_M(\mathbb{R})}(\tau, \omega|_{H_M}) $ 关联。
• 通过 Weyl 积分与分布恒等式建立几何侧与谱侧的匹配，特别使用 $ D^H(t) $ 与 $ D^G(t)^{1/2} $ 表示实李群的情形。
• 在两个新情形中验证公式：当 $ H(\mathbb{R}) $ 紧致时的 Galois 模型，以及酉 Ginzburg-Rallis 模型，通过特征标恒等式与 Weyl 群归一化实现。

实验结果

研究问题

• RQ1 能否为所有局部域上的球对称空间定义统一的几何重数公式？
• RQ2 该公式是否能重现 Whittaker、Gan-Gross-Prasad 和 Shalika 模型等情形下的所有已知重数公式？
• RQ3 能否在已知情形之外的新情形中严格证明重数公式？
• RQ4 分布密度与 Weyl 群归一化如何统一不同球对称对的迹公式几何侧？
• RQ5 幂零轨道与共轭类在重数公式的几何结构中起什么作用？

主要发现

• 所提出的几何重数公式与 Whittaker、Gan-Gross-Prasad、Ginzburg-Rallis、Galois 和 Shalika 模型中所有先前已证明的重数公式一致。
• 当 $ H(\mathbb{R}) $ 紧致且 $ G = \mathrm{Res}_{\mathbb{C}/\mathbb{R}} H $ 时，Galois 模型的公式已得证明，确立了 $ m(\pi, \omega) = m_{\text{geom}}(\pi, \omega) $。
• 通过特征标恒等式与 Weyl 群归一化，该公式在酉 Ginzburg-Rallis 模型中亦得证明。
• 几何重数通过 $ T(\mathbb{R}) $ 上的积分定义，包含 $ D^H(t) \theta_\pi(t) $ 与 $ \theta_{\omega^\vee}(t) $，并由 $ |W(G)|^{-1} $ 归一化。
• 对于诱导表示 $ \pi = I_P^G(\tau) $，几何重数满足 $ \int D^H(t) \theta_\pi(t) \theta_{\omega^\vee}(t) dt = \frac{|W(G)|}{|W(M)|} \int D^{H_M}(t) \theta_\tau(t) \theta_{\omega^\vee}(t) dt $，确认了其一致性。
• 本文建立了一个框架，使得 $ m_{\text{geom}}(\pi, \chi) $ 得到统一定义，其中 $ D^H(t) $ 捕获了来自共轭类与幂零轨道的几何贡献。