[论文解读] Conical Distributions on the Space of Flat Horocycles

Fulton B. Gonzalez|ArXiv.org|Apr 9, 2009

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

一句话总结

本文对非紧半单李群的对称空间中平坦广义圆周（flat horocycles）空间上的锥形分布进行了分类。证明了在一阶对称空间中，每个 $G_0$-不变微分算子代数的典型特征空间中，锥形分布空间是一维的，并通过 $K/M$ 上的 $M'$-不变分布显式刻画了所有此类分布。关键结果是在 $\dim\mathfrak{a} = 1$ 时完成了完全分类。

ABSTRACT

Let $G_0=K\ltimes\mathfrak p$ be the Cartan motion group associated with a noncompact semisimple Riemannian symmetric pair $(G, K)$. Let $\frak a$ be a maximal abelian subspace of $\mathfrak p$ and let $\p=\a+\q$ be the corresponding orthogonal decomposition. A flat horocycle in $\p$ is a $G_0$-translate of $\q$. A conical distribution on the space $Ξ_0$ of flat horocycles is an eigendistribution of the algebra $\mathbb D(Ξ_0)$ of $G_0$-invariant differential operators on $Ξ_0$ which is invariant under the left action of the isotropy subgroup of $G_0$ fixing $\q$. We prove that the space of conical distributions belonging to each generic eigenspace of $\mathbb D(Ξ_0)$ is one-dimensional, and we classify the set of all conical distributions on $Ξ_0$ when $G/K$ has rank one.

研究动机与目标

• 对卡坦运动群 $G_0 = K \ltimes \mathfrak{p}$ 中平坦广义圆周空间 $\Xi_0$ 上的锥形分布进行分类。
• 确定 $G_0$-不变微分算子代数 $\mathbb{D}(\Xi_0)$ 的每个典型特征空间中锥形分布空间的结构。
• 在 $G/K$ 为一阶时，对锥形分布提供完全刻画，特别是通过 $K/M$ 上的 $M'$-不变分布。
• 证明每个典型特征空间中锥形分布空间是一维的，从而推广了非平坦情形下的已知结果。

提出的方法

• 本文使用卡坦运动群 $G_0 = K \ltimes \mathfrak{p}$，其中 $G_0$ 通过 $ (k,X) \cdot Y = X + k \cdot Y $ 作用在 $\mathfrak{p}$ 上，并将平坦广义圆周定义为 $\mathfrak{q} = \mathfrak{p} \ominus \mathfrak{a}$ 的 $G_0$-平移。
• 通过微分同胚 $ (kM, H) \mapsto H + k \cdot \mathfrak{q} $，将平坦广义圆周空间 $\Xi_0$ 同胚于 $K/M \times \mathfrak{a}$，并研究 $\Xi_0$ 上的 $G_0$-不变微分算子。
• $G_0$-不变微分算子代数 $\mathbb{D}(\Xi_0)$ 同构于 $S(\mathfrak{a})$，联合特征分布由 $\lambda \in \mathfrak{a}_c^*$ 参数化。
• 锥形分布被定义为 $\mathbb{D}(\Xi_0)$ 的联合特征分布，且在固定 $\mathfrak{q}$ 的子群 $M'$ 下不变，通过在 $K/M$ 上对 $M'$-不变分布进行积分构造而成。
• 证明依赖于分析 $M^*$ 在 $\mathfrak{g}$ 的根空间分解上的作用，特别是利用对径映射和在 $M'$ 上的平均，以证明 $M'$-不变性蕴含 $\mathfrak{q}$-不变性。
• 在一阶情形下，通过证明 $\mathcal{D}'_0(\Xi_0)$ 中任意锥形分布的形式为 $\Phi(\varphi) = \int_{K/M} \int_{-\infty}^\infty \widetilde{\varphi}(kM, tH) \, dt \, dT_0(kM) + \int_{K/M} \int_{-\infty}^\infty \widetilde{\varphi}(kM, tH) \, t \, dt \, dT_1(kM) $，其中 $T_0, T_1$ 为 $K/M$ 上的 $M'$-不变分布，完成分类。

实验结果

研究问题

• RQ1 卡坦运动群 $G_0$ 的 $\mathbb{D}(\Xi_0)$ 的每个典型特征空间中，锥形分布空间的维数是多少？
• RQ2 如何通过 $K/M$ 上的不变分布来刻画平坦广义圆周上的锥形分布？
• RQ3 当 $G/K$ 为一阶时，锥形分布空间的结构是怎样的？
• RQ4 在什么条件下，$K/M$ 上的 $M'$-不变分布足以生成 $\Xi_0$ 上的锥形分布？
• RQ5 为何 $\mathcal{D}'_0(\Xi_0)$ 中分布的 $M'$-不变性蕴含其 $\mathfrak{q}$-不变性？

主要发现

• 每个 $\mathbb{D}(\Xi_0)$ 的典型特征空间中锥形分布空间是一维的，确立了精确的分类结果。
• 在一阶对称空间中，$\mathcal{D}'_0(\Xi_0)$ 中的所有锥形分布均由下式给出： $\Phi(\varphi) = \int_{K/M} \int_{-\infty}^\infty \widetilde{\varphi}(kM, tH) \, dt \, dT_0(kM) + \int_{K/M} \int_{-\infty}^\infty \widetilde{\varphi}(kM, tH) \, t \, dt \, dT_1(kM) $，其中 $T_0$ 和 $T_1$ 是 $K/M$ 上的 $M'$-不变分布。
• $T_0$ 和 $T_1$ 的 $M'$-不变性是使关联分布 $\Phi$ 为锥形的必要且充分条件。
• 证明表明 $M'$-不变性蕴含 $\mathfrak{q}$-不变性，这一非平凡事实与对径对称性及在 $M'$ 上的平均密切相关。
• 当 $\lambda = 0$ 时，锥形分布完全由 $K/M$ 上谱测度 $T_0$ 和 $T_1$ 的 $M'$-不变性刻画，且该结构与 $\mathfrak{a}^+$ 中 $H$ 的选择无关。
• 在一阶情形下，分类是完全且显式的，推广了非平坦情形下锥形分布的已有结果。