[论文解读] Conservation relations for local theta correspondence

Binyong Sun, Chen-Bo Zhu|arXiv (Cornell University)|Apr 13, 2012

Advanced Algebra and Geometry参考文献 42被引用 6

一句话总结

本文证明了在特征为零的局部域上，所有类型 I 的不可约对偶对的局部 theta 对应中的 Kudla-Rallis 猜想，即守恒关系。通过使用典型群的 metaplectic 覆盖群的表示理论与 Heisenberg 群上的调和分析，作者建立了一个守恒律，该守恒律涉及对偶对的维数与不变量，控制了 theta 对应中表示的首次出现，从而在局部域的阿基米德与非阿基米德情形下解决了长期悬而未决的猜想。

ABSTRACT

We prove Kudla-Rallis conjecture on first occurrences of local theta correspondence, for all type I irreducible dual pairs and all local fields of characteristic zero.

研究动机与目标

• 解决在特征为零的局部域上，所有不可约类型 I 对偶对的局部 theta 对应中 Kudla-Rallis 猜想的守恒关系问题。
• 建立一个统一的守恒律，用于控制所有特征为零的局部域上的经典群中表示在 theta 对应中的首次出现。
• 将此前在非阿基米德与阿基米德情形下的结果扩展至完整分类，包括四元数群与酉群。
• 通过振子表示、退化标准系列以及修正 Jacobi 群的结构，提供一个表示论证明。

提出的方法

• 通过经典群的 metaplectic 覆盖群构造修正 Jacobi 群 $\bar{J}(U,V) = (\bar{G}(U) \times \bar{G}(V)) \ltimes \mathrm{H}(U \otimes_D V)$。
• 利用 Stone-von Neumann 定理，识别 Heisenberg 群 $\mathrm{H}(W)$ 上具有中心特征 $\psi$ 的唯一光滑不可约表示，即振子表示。
• 在 Grothendieck 群 $\mathcal{K}_U$ 中，利用退化标准系列与诱导表示，定义与标准模 $\sigma$ 相关的表示空间 $\mathcal{R}_\sigma$。
• 应用标准模理论与通过 $\mathcal{W}_U$ 对不可约表示进行分类的方法，分析 $\pi$ 在 theta 对应中的首次出现。
• 利用配对 $\mathrm{n}_\mathbf{t}(\pi)$ 衡量首次出现的最低次数，并通过归纳法与对偶性推导不等式。
• 建立守恒律 $\sum_{\mathbf{t} \in \mathcal{T}} \mathrm{n}_\mathbf{t}(\pi) = 2\dim U + d_{D,\epsilon} - 2$，适用于辛空间与酉空间，并通过奇偶性分析将其推广至四元数斜酉空间。

实验结果

研究问题

• RQ1 在特征为零的局部域上，所有不可约类型 I 对偶对的局部 theta 对应中，表示首次出现的精确守恒律是什么？
• RQ2 表示的维数与不变量 $d_{D,\epsilon}$ 如何约束 theta 对应中的首次出现？
• RQ3 当 MVW 对合不存在时，守恒关系是否可扩展至非阿基米德情形下的四元数酉空间与斜酉空间？
• RQ4 结果在多大程度上依赖于修正 Jacobi 群 $\bar{J}(U,V)$ 与振子表示的结构？
• RQ5 守恒律是否在对偶性下保持稳定，并与离散系列与诱导表示的已知结果相容？

主要发现

• 守恒关系 $\sum_{\mathbf{t} \in \mathcal{T}} \mathrm{n}_\mathbf{t}(\pi) = 2\dim U + d_{D,\epsilon} - 2$ 对所有特征为零的局部域上的不可约类型 I 对偶对成立。
• 在实辛空间或复酉空间的情形下，所有标准模上的首次出现指标之和等于 $2\dim U + d_{D,\epsilon} - 2$，从而证实了该猜想。
• 在实四元数斜酉空间的情形下，通过基于奇偶性的最小值 $\mathrm{n}_0(\pi)$ 与 $\mathrm{n}_1(\pi)$ 证明了守恒律，当 $d_{D,\epsilon} = 1$ 时满足 $\mathrm{n}_0(\pi) + \mathrm{n}_1(\pi) \leq 2\dim U + 1$，且在一般情形下取等。
• 证明表明存在某个 $\mathbf{t} \in \mathcal{T}$，使得 $\mathrm{n}_\mathbf{t}(\pi) \leq m$，其中 $m$ 由维数与不变量 $d_{D,\epsilon}$ 有界，从而保证了首次出现的存在性。
• 即使在 MVW 对合不存在的情形（如非阿基米德四元数酉或斜酉情形）下，该结果依然成立，如 (12) 中的直接计算所示。
• 守恒律与已知结果相容：它恢复了 Adams-Barbasch 对复对称空间的早期定理，以及 Paul 对阿基米德酉-酉对的结果。