[论文解读] Horospherical Cauchy-Radon transform on compact symmetric spaces

Simon Gindikin|ArXiv.org|Jan 2, 2005

Mathematical Analysis and Transform Methods参考文献 2被引用 4

一句话总结

本文在紧对称空间上引入了一种复杂的广义球面柯西-拉东变换，利用平移球形函数的全纯延拓以及定义在复广义球面上的柯西核。该变换提供了一个反演公式，将紧对称空间 $X$ 上的函数与复旗流形中一个区域 $Ω_+$ 上的全纯函数联系起来，通过复几何将积分几何与调和分析推广至紧致情形。

ABSTRACT

Harmonic analysis on noncompact Riemannian symmetric spaces is in a sense equivalent to the theory of the horospherical transform. There are no horospheres on compact symmetric spaces, but we define a complex version of horospherical transform which plays a similar role for the harmonic analysis on them.

研究动机与目标

• 将广义球面变换理论从非紧致情形推广至紧对称空间，借助复几何。
• 通过平移球形函数的全纯延拓，在紧对称空间上定义柯西-拉东变换。
• 建立一个反演公式，将 $X$ 上的函数与复旗流形中区域 $Ω_+$ 上的全纯函数联系起来。
• 利用 $Ä$-上同调与多尔贝阿勒复形，为该变换提供上同调解释。
• 通过复广义球面的使用，将非紧致情形下的积分几何方法推广至紧致对称空间。

提出的方法

• 将复广义球面流形 $Ω = G_{Χ}^0 / M_{Χ}N_{Χ}$ 定义为 $X_{Χ} = G_{Χ}/K_{Χ}$ 中复广义球面的参数空间。
• 构造函数 $h_{\mu}(x,\zeta) = a^{\mu}(xg)$，其中 $x \in X_{\u03a7}$，$\zeta \in \u03a9$，其在右乘 $N_{Χ}$ 与 $M_{Χ}$ 下不变。
• 将区域 $\u03a9_+$ 定义为所有满足 $\Delta(\xi) < 1$ 且 $\Delta(\eta) < 1$ 的 $\zeta = \xi + i\eta$ 的集合，对应于不含实点的复广义球面。
• 利用平移球形函数 $\phi_{\mu}(x;x_0) = \int_K a^{\mu}(xk) \nu(dk)$ 的全纯延拓，在 $X$ 上通过在 $\u03a9_+$ 上积分来定义变换。
• 通过微分算子 $\mathcal{L} = (1 + cD)^{n-1}$ 推导反演公式，其中 $D$ 为 $\u03a9_+$ 中 $A_{\u03a7}$-纤维上的对数微分算子。
• 通过将变换实现为在 $X_{\u03a7} \setminus X$ 中复广义球面上对 $\bar{\partial}$-闭形式的积分，将其解释为一种上同调型彭罗斯变换。

实验结果

研究问题

• RQ1 如何利用复几何将广义球面变换从非紧致情形推广至紧对称空间？
• RQ2 不含实点的复广义球面在定义紧致空间上的柯西-拉东变换中起什么作用？
• RQ3 能否为紧对称空间上的广义球面柯西-拉东变换构造反演公式？
• RQ4 在 $\u03a9_+$ 上的全纯函数与 $X$ 上的不变微分算子的特征函数之间有何关系？
• RQ5 该变换能否通过 $\bar{\partial}$-上同调与多尔贝阿勒复形实现上同调解释？

主要发现

• 复广义球面柯西-拉东变换将紧对称空间 $X$ 上的函数映射至复旗流形 $F = G/MA$ 中区域 $\u03a9_+$ 上的全纯函数。
• 反演公式由微分算子 $\mathcal{L} = (1 + cD)^{n-1}$ 给出，其中 $D$ 为沿 $A_{\u03a7}$-纤维的对数微分算子，推广了非紧致情形。
• 对于球面 $S^n$，区域 $\u03a9_+$ 对应于复球面去掉原点，变换给出一种泊松型积分表示。
• 该变换与 $G$ 在 $X$ 上的作用及 $\u03a9_+$ 上的全纯函数之间保持互换性，为表示的球面级数提供一个模型。
• 旗流形 $F$ 在 $X$ 中扮演‘复边界’的角色，尽管 $\u03a9_+$ 上的全纯函数不具备全纯凸性，但它们在 $\u03a9_+$ 上仍能分离点。
• 通过在 $F$ 上使用斯坦覆盖 $D(u)$，可借助 $\bar{\partial}$-上同调与多尔贝阿勒复形实现上同调解释，从而将逆变换实现为上同调积分。