[论文解读] Paires symétriques orthogonales et Isomorphisme de Rouvière

Charles Torossian|arXiv (Cornell University)|Sep 12, 2003

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

一句话总结

本文证明了在具有反不变双线性形式的正交对称对上，Rouvière同构成立，其关键在于证明此类对满足P-σ条件——从而确保在 $\mathfrak{p}^*$ 中一般元素存在 $\sigma$-不变极化。通过先前工作中提出的广义Harish-Chandra同态技术，作者表明Rouvière公式在 $\mathfrak{k}$-不变部分的Weyl代数商与对称代数 $S[\mathfrak{p}]^\mathfrak{k}$ 之间诱导出一个代数同构，从而将该同构的适用范围扩展至此前未知的情形。

ABSTRACT

We recover a recent result of A. Alekseev et E. Meinrenken (arXiv: math. RT/0308135) by using our theory of generalized Harish-Chandra homomorphism for symmetric pair.

研究动机与目标

• 将Rouvière同构的有效性扩展至配备有反不变非退化双线性形式的正交对称对。
• 证明此类对满足P-σ条件，从而确保在 $\mathfrak{p}^*$ 中一般元素存在 $\sigma$-稳定极化。
• 证明广义Harish-Chandra同态（先前在 [18, 19, 21] 中定义）在此扩展情形下实现Rouvière同构。
• 在正交对称空间的背景下，调和Rouvière公式与广义同态的关系。
• 为理解Duflo型同构向非半单对称空间的推广，提供一个概念性框架。

提出的方法

• 使用先前工作 [18, 19, 21] 中定义的广义Harish-Chandra同态，将 $ (U(\mathfrak{g})/U(\mathfrak{g})\cdot\mathfrak{k}^{-\delta})^{\mathfrak{k}} $ 与 $ S[\mathfrak{p}]^{\mathfrak{k}} $ 联系起来。
• 利用双线性形式 $B$ 的反不变性，为一般 $f \in \overline{\mathfrak{p}}^*$ 构造 $\sigma$-稳定极化。
• 证明 $B$ 的反不变性意味着 $\mathfrak{k}$ 和 $\mathfrak{p}$ 是迷向的且互为对偶，因此作为 $\mathfrak{k}$-模有 $\mathfrak{p}^* \cong \mathfrak{k}$。
• 通过存在满足Pukanszky条件的 $\sigma$-稳定极化，验证P-σ条件对一般 $f \in \mathfrak{p}^*$ 成立。
• 应用Rouvière公式 $ R(P) = \beta(\partial_{J^{1/2}} P) $，其中 $ J(X) = \det_{\mathfrak{p}}\left(\frac{\sinh \mathrm{ad} X}{\mathrm{ad} X}\right) $，以定义同构。
• 使用对称化映射 $\beta$ 将 $S[\mathfrak{p}]^\mathfrak{k}$ 中的元素上拉至商代数 $U(\mathfrak{g})/U(\mathfrak{g})\cdot\mathfrak{k}^{-\delta}$。

实验结果

研究问题

• RQ1 Rouvière同构是否可推广至配备有反不变非退化双线性形式的正交对称对？
• RQ2 此类对是否满足P-σ条件，从而确保在一般 $f \in \mathfrak{p}^*$ 中存在 $\sigma$-稳定极化？
• RQ3 能否证明在此设定下，广义Harish-Chandra同态与Rouvière公式一致？
• RQ4 在形式反不变性条件下，$S[\mathfrak{p}]^{\mathfrak{k}}$ 与 $ (U(\mathfrak{g})/U(\mathfrak{g})\cdot\mathfrak{k}^{-\delta})^{\mathfrak{k}} $ 之间的代数同构是否仍然成立？
• RQ5 在该推广背景下，$J^{1/2}$-扭曲微分算子在实现同构中起什么作用？

主要发现

• 本文证明，对于配备有反不变非退化双线性形式的正交对称对，每个一般 $f \in \overline{\mathfrak{p}}^*$ 均存在满足Pukanszky条件的 $\sigma$-稳定极化。
• 此类对称空间类中满足P-σ条件，这是Rouvière公式定义代数同构的充分条件。
• 先前在 [18, 19, 21] 中定义的广义Harish-Chandra同态在此设定下与Rouvière同构一致。
• Rouvière同构 $ R(P) = \beta(\partial_{J^{1/2}} P) $ 被证明是从 $ S[\mathfrak{p}]^{\mathfrak{k}} $ 到 $ (U(\mathfrak{g})/U(\mathfrak{g})\cdot\mathfrak{k}^{-\delta})^{\mathfrak{k}} $ 的代数同构。
• 结果确认，双线性形式的反不变性确保了同构成立所必需的几何与代数结构。
• 本工作为非半单对称空间中Duflo同构与Rouvière同构之间的联系提供了概念性桥梁，支持了关于不变分布与Campbell-Hausdorff公式的更广泛猜想。