[论文解读] The Plancherel Formula for Minimal Parabolic Subgroups

Joseph A. Wolf|arXiv (Cornell University)|Jun 27, 2013

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

一句话总结

本文将幂零群的Plancherel公式推广至极小抛物子群 $P=MAN$，利用Pfaffian多项式解决非单模性问题，并推导出完全显式的Plancherel公式。关键结果是：对 $AN$-不变函数，以温和分布形式展开特征，Plancherel密度为 $|\mathrm{Pf}(\lambda)|$，将早期关于逐层平方可积幂零群的结果推广至抛物子群。

ABSTRACT

In a recent paper we found conditions for a nilpotent Lie group to be foliated into subgroups that have square integrable unitary representations that fit together to form a filtration by normal subgroups. That resulted in explicit character formulae, Plancherel formulae and multiplicity formulae. We also showed that nilradicals $N$ of minimal parabolic subgroups $P = MAN$ enjoy that "stepwise square integrable" property. Here we extend those results from $N$ to $P$. The Pfaffian polynomials, which give orthogonality relations and Plancherel density for $N$, also give a semiinvariant differential operator that compensates lack of unimodularity for $P$. The result is a completely explicit Plancherel formula for $P$.

研究动机与目标

• 将极小抛物子群的幂零根 $N$ 的Plancherel公式扩展至完整的抛物子群 $P=MAN$。
• 通过由Pfaffian多项式导出的半不变微分算子，解决 $P$ 中的非单模性问题。
• 将逐层平方可积幂零群的理论推广至极小抛物子群的设定。
• 基于限制根系与强正交根的结构，为 $AN$ 提供完整且显式的Plancherel分解。

提出的方法

• 利用幂零根 $N$ 的逐层平方可积结构，通过正规子群 $N_r=L_1\dots L_r$ 构造 $P=MAN$ 的滤子。
• 将Pfaffian多项式 $\mathrm{Pf}(\lambda)$ 定义为各层 $\mathfrak{l}_r/\mathfrak{z}_r$ 上Pfaffians的乘积，编码Plancherel密度。
• 在 $AN$ 上引入一个半不变微分算子 $D$，以补偿 $P$ 中缺乏单模性的问题，该算子源自Pfaffian结构。
• 通过 $A$-作用的平均化，构造不可约表示 $\pi_{\lambda,\phi}$ 的温和分布特征 $\Theta_{\pi_{\lambda,\phi}}$。
• 通过在 $\lambda \in \mathfrak{t}^*$ 和 $\phi \in \mathfrak{a}^*_{\diamondsuit}$ 上积分，并赋予权重 $|\mathrm{Pf}(\lambda)|$，应用Plancherel公式，以恢复 $f \in \mathcal{C}(AN)$ 的 $f(1)$。
• 利用强正交限制根的级联 $\beta_1, \dots, \beta_m$ 分析Weyl群作用，并验证最高权的对偶性。

实验结果

研究问题

• RQ1 如何将幂零根的Plancherel公式扩展至完整的极小抛物子群 $P=MAN$？
• RQ2 Pfaffian多项式 $\mathrm{Pf}(\lambda)$ 在修正 $P$ 中的非单模性问题中起什么作用？
• RQ3 在Plancherel测度下，$AN$ 的表示 $\pi_{\lambda,\phi}$ 如何分解，其特征结构为何？
• RQ4 能否通过限制根系将逐层平方可积幂零群的理论推广至抛物子群？
• RQ5 以 $\lambda$ 和 $\phi$ 表示的 $AN$ 的Plancherel分解的确切形式为何，其如何恢复函数在单位元处的值？

主要发现

• 对 $AN$ 的Plancherel公式显式给出为 $f(x) = c \sum_{i=1}^{v} \int_{\lambda \in S_i} \int_{\mathfrak{a}^*_{\diamondsuit}} \mathrm{trace}\, \pi_{\lambda,\phi}(D(r(x)f)) |\mathrm{Pf}(\lambda)| \, d\lambda \, d\phi$，其中 $c = 2^{d_1+\cdots+d_m} d_1! \cdots d_m!$。
• 单位酉对偶 $\widehat{AN}$ 的Plancherel密度为 $|\mathrm{Pf}(\lambda)|$，其中 $\mathrm{Pf}(\lambda)$ 是逐层平方可积结构各层上Pfaffians的乘积。
• 分布特征 $\Theta_{\pi_{\lambda,\phi}}$ 是温和的，确保公式在Schwartz空间 $\mathcal{C}(AN)$ 上定义良好。
• 复合 $s_{\beta_1} \cdots s_{\beta_m}$ 作为限制Weyl群的最长元素，将 $\Delta^+$ 映射为 $-\Delta^+$，这构成了表示理论中对偶性的基础。
• 对偶表示的最高权 $\nu^*$ 满足 $\nu + \nu^* = \sum \frac{2\langle\nu,\beta_i\rangle}{\langle\beta_i,\beta_i\rangle} \beta_i$，即强正交限制根的线性组合。
• 该公式恢复了 $f(1) = h(1_{AN})$，其中 $h = r(x)f$，确认Plancherel分解是一致且完整的。