[论文解读] The Weyl Integration Model for KAK decomposition of Reductive Lie Group

Zhiguang Hu, Kuihua Yan|ArXiv.org|Apr 11, 2005

Advanced Algebra and Geometry参考文献 2被引用 4

一句话总结

本文为半单李群的KAK分解构建了一个Weyl积分模型，使得全群G上的积分可被简化为在对称空间 (K×K)/M 和阿贝尔子群A上的迭代积分。关键结果是雅可比因子的显式公式 $ J(a) = C \prod_{\lambda \in \Sigma^+} |\sinh(\lambda(H))|^{\beta_\lambda} $，其中 $ a = \exp(H) $，该公式将经典Weyl积分公式推广至非紧致情形。

ABSTRACT

The Weyl integration model presented by An and Wang can be effectively used to reduce the integration over $G$-space. In this paper, we construct an especial Weyl integration model for KAK decomposition of Reductive Lie Group and obtain an integration formula which implies that the integration of $L^1$-integrable function over reductive Lie group $G$ can be carried out by first integrating over each conjugacy class and then integrating over the set of conjugacy classes.

研究动机与目标

• 将经典Weyl积分公式推广至非紧致设定下的半单李群。
• 利用 $ K \times K $ 在 $ A $ 上的作用，建立KAK分解的Weyl积分模型。
• 在积分约化过程中推导出雅可比因子 $ J(a) $ 的具体公式。
• 为将 $ G $ 上的 $ L^1 $-积分系统性地约化为在 $ (K \times K)/M $ 和 $ A $ 上的积分提供框架。

提出的方法

• 构建一个Weyl积分模型 $ (K \times K, \sigma, (G, dg), (A, da), ((K \times K)/M, d\mu)) $，其中 $ G $-作用为 $ \sigma((k_1,k_2), a) = k_1 a k_2^{-1} $。
• 识别稳定子子群 $ M = \{ (k_1,k_2) \in K \times K \mid k_1 a k_2^{-1} = a \; \forall a \in A \} $，从而得到商空间 $ (K \times K)/M $。
• 利用在 $ G $、$ A $ 和 $ (K \times K)/M $ 上的哈尔测度 $ dg $、$ da $ 和 $ d\mu $ 的不变性。
• 应用一般Weyl积分公式，将 $ \int_G f(g) \, dg $ 约化为 $ \frac{1}{d} \int_A \left( \int_{(K \times K)/M} f(k_1 a k_2^{-1}) \, d\mu([g]) \right) J(a) \, da $。
• 通过群作用的微分计算雅可比 $ J(a) $，利用在单位陪集处的切空间上的诱导映射 $ \Psi_a $。
• 推导出 $ J(a) = C \prod_{\lambda \in \Sigma^+} |\sinh(\lambda(H))|^{\beta_\lambda} $，其中 $ H \in \mathfrak{a} $，$ a = \exp(H) $，且 $ \beta_\lambda $ 为限制根空间 $ \mathfrak{g}_\lambda $ 的维数。

实验结果

研究问题

• RQ1 如何通过KAK分解将Weyl积分公式从紧致情形推广至半单李群？
• RQ2 在半单李群背景下，$ K \times K $-作用于 $ A $ 的Weyl积分模型具有何种结构？
• RQ3 在 $ G $-不变积分的积分约化公式中，雅可比因子 $ J(a) $ 的显式形式为何？
• RQ4 限制根系 $ \Sigma^+ $ 和维数 $ \beta_\lambda $ 如何影响 $ G $ 上的积分测度？
• RQ5 Weyl积分模型能否用于将 $ G $ 上的 $ L^1 $-积分约化为在 $ (K \times K)/M $ 和 $ A $ 上的迭代积分？

主要发现

• KAK分解的Weyl积分模型被严格构建为 $ (K \times K, \sigma, (G, dg), (A, da), ((K \times K)/M, d\mu)) $，满足所有所需的不变性与测度条件。
• 对 $ G $ 的积分被约化为先在 $ G $ 中由 $ (K \times K)/M $ 参数化的轨道 $ \{ k_1 a k_2^{-1} \} $ 上积分，再在 $ A $ 上积分。
• 雅可比因子被显式计算为 $ J(a) = C \prod_{\lambda \in \Sigma^+} |\sinh(\lambda(H))|^{\beta_\lambda} $，其中 $ a = \exp(H) $，$ H \in \mathfrak{a} $，且 $ \beta_\lambda = \dim \mathfrak{g}_\lambda $。
• 该 $ J(a) $ 的公式在形式上类似于Cartan分解积分公式，但已适配于半单李群的KAK分解。
• 推导依赖于群作用 $ \sigma $ 的微分，以及切空间分解 $ T_a G = T_a A \oplus T_a O_a $，其中 $ O_a $ 为 $ a \in A $ 的轨道。
• 公式中常数 $ C $ 由不变测度的归一化及限制根系的结构决定。