[论文解读] An archimedean analog of Jacquet - Rallis theorem

Avraham Aizenbud, Dmitry Gourevitch|ArXiv.org|Mar 24, 2008

Advanced Algebra and Geometry参考文献 7被引用 7

一句话总结

本文证明了对于任意特征为零的局部域 $F$，对称对 $(GL_{n+k}(F), GL_n(F) \times GL_k(F))$ 是一个 Gelfand 对，将非阿基米德情形的结果推广至阿基米德情形，采用不变分布技术。关键结果是：$GL_n(F) \times GL_k(F)$-不变分布在 $GL_{n+k}(F)$ 上均关于反自同构 $g \mapsto g^{-1}$ 不变，这蕴含了在不可约适定表示上 $GL_n(F) \times GL_k(F)$-不变线性泛函的唯一性。

ABSTRACT

In this paper we prove that the symmetric pair $(GL_{n+k}(F),GL_n(F) imes GL_k(F))$ is a Gelfand pair for any local field F of characteristic 0. For non-archimedean F it has been proven in [JR]. We use techniques developed in [AG2] to generalize their proof to general local fields.

研究动机与目标

• 将非阿基米德情形下对 $(GL_{n+k}, GL_n \times GL_k)$ 的 Gelfand 对结果推广至阿基米德情形。
• 证明对称对 $(GL_{n+k}(F), GL_n(F) \times GL_k(F))$ 满足 Gelfand 性质 (GP1)，即 $GL_n(F) \times GL_k(F)$-不变线性泛函的重数为一。
• 将先前工作的技术推广至阿基米德设置，通过精细分析不变分布避免技术性计算。
• 证明 $GL_n(F) \times GL_k(F)$-双不变分布在 $GL_{n+k}(F)$ 上均关于反自同构 $g \mapsto g^{-1}$ 不变，这通过 Gelfand-Kazhdan 理论可推出 GP1。

提出的方法

• 使用 Gelfand-Kazhdan 准则：若所有 $H$-双不变分布关于反自同构 $g \mapsto g^{-1}$ 不变（其中 $H = GL_n(F) \times GL_k(F)$），则 GP1 成立。
• 将问题约化为证明任意 $H$-双不变分布在 $GL_{n+k}(F)$ 上关于 $g \mapsto g^{-1}$ 不变，这等价于定理 II’。
• 采用 $sl_2$-三元组的分次表示理论方法，将李代数 $gl_{2n}(F)$ 关于对合 $\sigma(g) = \theta(g^{-1})$ 分解为分次不可约表示。
• 分析幂零元 $x \in gl_{2n}^\sigma(F)$ 的 $d = d(x)$ 在固定点空间 $(gl_n(F) \times gl_n(F))_x$ 上的伴随作用的迹，利用分次结构计算 $\operatorname{Tr}(ad(d)|_{(gl_n \times gl_n)_x})$。
• 利用关键引理证明：对幂零元 $x$，有 $\operatorname{Tr}(ad(d)|_{(gl_n \times gl_n)_x}) < 2n^2$，这蕴含所求的分布不变性。
• 利用不存在非零等变施瓦茨分布的事实，推出不存在非零等变分布，从而可在阿基米德情形中使用施瓦茨分布理论。

实验结果

研究问题

• RQ1 对特征为零的局部域 $F$，对称对 $(GL_{n+k}(F), GL_n(F) \times GL_k(F))$ 是否为 Gelfand 对？
• RQ2 雅克-拉利斯定理的非阿基米德证明能否推广至阿基米德情形？
• RQ3 所有 $GL_n(F) \times GL_k(F)$-双不变分布是否在 $GL_{n+k}(F)$ 上关于反自同构 $g \mapsto g^{-1}$ 不变？
• RQ4 对称空间中幂零元 $x$，$d(x)$ 在固定点空间 $(gl_n(F) \times gl_n(F))_x$ 上的伴随作用的迹是多少？
• RQ5 如何利用 $sl_2$-三元组的分次表示分析对称空间上不变分布的结构？

主要发现

• 对任意特征为零的局部域 $F$，对称对 $(GL_{n+k}(F), GL_n(F) \times GL_k(F))$ 是一个 Gelfand 对，即对 $GL_{n+k}(F)$ 的任意不可约适定表示 $(\pi, E)$，有 $\dim \operatorname{Hom}_{GL_n(F) \times GL_k(F)}(E, \mathbb{C}) \leq 1$。
• 关键技术结果是：对任意幂零元 $x \in gl_{2n}^\sigma(F)$，有 $\operatorname{Tr}(ad(d)|_{(gl_n(F) \times gl_n(F))_x}) < 2n^2$，这蕴含双不变分布关于 $g \mapsto g^{-1}$ 的不变性。
• 证明依赖于将李代数分解为 $sl_2$-三元组的分次不可约表示，并利用最高权向量的奇偶性计算伴随作用的迹。
• 当所有不可约分量维数为奇数时，有 $\sum_{i,j} m_{ij} < 0$，这确保了迹条件严格小于 $2n^2$。
• 由于不存在非零等变施瓦茨分布，故也不存在非零等变分布，从而可在阿基米德情形中使用施瓦茨理论。
• 该结果推广了非阿基米德情形，并通过使用分次表示技术避免了繁琐计算，从而简化了证明。