[论文解读] The product on smooth and generalized valuations

Semyon Alesker, Andreas Bernig|arXiv (Cornell University)|Apr 8, 2009

Geometric Analysis and Curvature Flows参考文献 17被引用 5

一句话总结

本文提出了一种新的、坐标无关的光滑与广义解析集在流形上的乘积构造方法，利用微分形式、Gelfand 变换和爆破空间。该乘积在几何上对应于横截相交，并据此在紧致的秩一对称空间上证明了一般的运动公式。

ABSTRACT

The product of smooth valuations on manifolds is described in terms of differential forms, Gelfand transforms and blow-up spaces. It is shown that the product extends partially to generalized valuations and corresponds geometrically to transversal intersections. This result is used to prove a general kinematic formula on compact rank one symmetric spaces.

研究动机与目标

• 为流形上光滑解析集的乘积提供一种新的、内在的构造方法，避免依赖坐标图。
• 将乘积扩展到广义解析集，并阐明其在横截相交意义上的几何解释。
• 将新的乘积结构应用于推导紧致的秩一对称空间上的一般运动公式。
• 通过泛函分析和 Gelfand 变换，建立解析集代数乘积与积分几何之间的联系。
• 通过几何测度论和爆破技术解决早期构造中存在的分析困难。

提出的方法

• 通过在余球丛纤维积上的双重纤维化构造光滑解析集上的外积，经沿纤维积分得到 Gelfand 变换。
• 将光滑解析集表示为余球丛 $\mathbb{P}_X$ 上的一对微分形式 \/(\omega, \phi)\)，其中 $\omega$ 的次数为 $n-1$，$\phi$ 的次数为 $n$，$n = \dim X$。
• 在 $\mathbb{P}_X \times_X \mathbb{P}_X$ 上的爆破空间 $\bar{\mathbb{P}}$ 上通过 Gelfand 变换 $\operatorname{GT} = \bar{p}_* \bar{\Phi}^*$ 定义乘积，确保在开嵌入下不变。
• 利用 Rumin 算子 $D$ 刻画代表平凡解析集的微分形式等价类，确保乘积的良定义性。
• 证明乘积在 $X \times X$ 的对角线上限制时，恢复单个流形上解析集的乘积。
• 通过延拓对偶性和泛函分析，将乘积应用于广义解析集，尤其在紧致李群作用于对称空间的背景下。

实验结果

研究问题

• RQ1 如何在不依赖坐标图的情况下构造流形上光滑解析集的乘积？
• RQ2 解析集乘积在子流形（带角）横截相交意义上的几何意义是什么？
• RQ3 乘积如何扩展到广义解析集？其代数与几何结构如何？
• RQ4 该乘积结构能否用于推导紧致的秩一对称空间上的一般运动公式？
• RQ5 Gelfand 变换在爆破空间上的作用在通过沿纤维积分实现乘积的过程中起什么作用？

主要发现

• 光滑解析集上的乘积通过双重纤维化和爆破空间上的 Gelfand 变换实现内在构造，消除了对坐标图的依赖。
• 该乘积在几何上对应于带角子流形的横截相交，如 $X \times Y$ 中横截子集的概念所形式化。
• 乘积部分扩展到广义解析集，其扩展通过不变解析集空间上的对偶性和泛函分析刻画。
• 利用乘积结构和 $G$-不变解析集，在紧致的秩一对称空间上证明了一般的运动公式。
• 在 $X \times X$ 的对角线上限制外积，可恢复 $X$ 上两个解析集的乘积，与早期构造一致。
• 在 $\mathcal{V}^\infty(X)^G$ 上的乘积结构决定了群 $G$ 的运动公式，反之亦然，建立了代数结构与积分几何时空之间的对偶性。