[论文解读] Une variante d'un résultat de Aizenbud, Gourevitch, Rallis et Schiffmann

Jean-Loup Waldspurger|ArXiv.org|Nov 9, 2009

Agriculture and Rural Development Research被引用 14

一句话总结

本文建立了特殊正交群 $G^0$ 的不可约适定表示在从正交群 $M^0$ 限制下的多重性一一定理，证明了此类表示之间 $G^0$-不变同态空间的维数至多为一。证明方法借鉴了 Aizenbud、Gourevitch、Rallis 和 Schiffmann 的技术，利用不变分布、傅里叶变换，以及在幂零轨道和拉格朗日分解上的表示论下降，证明了某些 $\bar{G}$-不变分布消失，从而推出多重性一的性质。

ABSTRACT

Aizenbud, Gourevitch, Rallis and Schiffmann proves results of multicity one in different cases, in particular for orthogonal groups. Using the same method, we prove the same result for special orthogonal groups.

研究动机与目标

• 建立特殊正交群 $G^0$ 的不可约适定表示从正交群 $M^0$ 限制下的多重性一一定理。
• 将 Aizenbud、Gourevitch、Rallis 和 Schiffmann 的结果从正交群推广到特殊正交群。
• 证明对于 $M^0$ 的不可约适定表示 $\pi$ 和 $G^0$ 的不可约表示 $\rho$，有 $\dim_{\mathbb{C}}(\operatorname{Hom}_{G^0}(\pi|_{G^0}, \rho)) \leq 1$，这是局部 Gross-Prasad 猜想中的关键步骤。
• 证明在 $M^0$ 上关于特征 $\chi$ 的 $\bar{G}$-不变分布空间是平凡的，即 ${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$，这蕴含了主定理。

提出的方法

• 使用群 $\tilde{G} = G \times \{\pm 1\}$ 及其子群 $\bar{G} = \{ (g,\epsilon) \in \tilde{G} \mid \det(g) = \epsilon^{e(V)} \}$ 来定义在 $G^0$、$\mathfrak{g}$ 和 $V$ 上的扭曲作用，其中 $e(V) = \lfloor (\dim V + 1)/2 \rfloor$。
• 将主定理约化为证明在 $M^0$ 上关于特征 $\chi$ 的 $\bar{G}$-不变分布空间是平凡的：${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$。
• 通过弗罗贝尼乌斯下降法将问题约化为证明 ${\cal S}'(M^0 \times W)^{\bar{M},\chi} = \{0\}$，进而通过稳定子分析推出在 $M^0$ 上的消失性。
• 对 $\dim V = d$ 进行归纳，验证 $d = 1, 2$ 的基例，并分析 $d \geq 3$ 时幂零轨道和拉格朗日分解的结构，特别关注不变分布的支集。
• 在 $V$ 上使用傅里叶变换关联 $T$ 与 $\hat{T}$，若两者均在相同的 $Q(X)$ 上有支集，则可推出 $T = 0$，利用 $\underline{G}_X$-作用的不变性。
• 将一般情形约化为两种标准幂零轨道类型：具有中心向量的奇维情形，以及 $d \equiv 0 \mod 4$ 且具有拉格朗日分解的情形，通过 $g \mapsto -a$ 和 $g \mapsto -g$ 的等变性迫使 $T = 0$。

实验结果

研究问题

• RQ1 特殊正交群 $M^0$ 的不可约适定表示限制到 $G^0$ 后，是否至多有一个 $G^0$-不变泛函？
• RQ2 当 $M^0$ 和 $G^0$ 均为特殊正交群而非完整正交群时，能否建立 $M^0$-表示限制到 $G^0$ 的多重性一性质？
• RQ3 在 $M^0$ 上关于特征 $\chi$ 的 $\bar{G}$-不变分布空间是否平凡，即 ${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$？
• RQ4 ${\cal S}'(M^0 \times W)^{\bar{M},\chi}$ 的消失性是否可通过群论下降与稳定子分析推出 ${\cal S}'(M^0)^{\bar{G},\chi}$ 的消失性？
• RQ5 若当前证明假设特征为零，该证明能否推广到特征不为 2 的正特征情形？

主要发现

• 在 $M^0$ 上关于特征 $\chi$ 的 $\bar{G}$-不变分布空间是平凡的：${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$，这蕴含了主多重性一结果。
• 当 $d = \dim V = 1$ 或 $2$ 时，通过分析 $\bar{G}$ 作用下的轨道并证明任何不变分布必因 $G^0$-作用的非不变性而消失，建立了 ${\cal S}'(V)^{\bar{G},\chi}$ 的消失性。
• 当 $d \geq 3$ 时，任意 $\bar{G}$-不变分布 $T$ 在 $G^0 \times V$ 或 $\mathfrak{g} \times V$ 上的支集分别包含于 $Z{\cal U} \times V$ 或 ${\cal N} \times V$，其中 $Z$ 是 $G^0$ 的中心，${\cal U}$ 是幂零集，${\cal N}$ 是幂零锥。
• 当 $d$ 为奇数或 $d \equiv 2 \mod 4$ 时，由于中心元素 $-1$ 在韦伊表示上的非平凡作用，迫使不变量为零，故 $T$ 必须消失。
• 当 $d \equiv 0 \mod 4$ 时，证明约化为两种标准幂零轨道类型：一种具有中心向量，另一种具有拉格朗日分解；在两种情形下，$g \mapsto -a$ 或 $g \mapsto -g$ 的不变性均迫使 $T = 0$。
• 结果在特征零下成立，作者基于 Henniart 的近期工作，推测其可推广至特征不为 2 的正特征情形。