[论文解读] The multiplicative structure on polynomial continuous valuations

Semyon Alesker|arXiv (Cornell University)|Jan 14, 2003

Advanced Algebra and Geometry参考文献 15被引用 23

一句话总结

本文在有限维实向量空间上的多项式光滑赋值空间上建立了具有单位元的典范交换、结合、过滤代数结构。它引入了一种与乘法相容的唯一过滤，证明了平移不变的光滑赋值子代数构成一个弗罗贝尼乌斯代数，并在积分几何与表示论中具有应用。

ABSTRACT

We introduce a canonical structure of a commutative associative filtered algebra with the unit on polynomial smooth valuations, and study its properties. The induced structure on the subalgebra of translation invariant smooth valuations has especially nice properties (it is the structure of the Frobenius algebra). We also present some applications.

研究动机与目标

• 在多项式光滑赋值空间上定义一个典范的交换、结合、过滤代数结构（含单位元）。
• 刻画与乘法结构相容的多项式光滑赋值上唯一过滤的性质。
• 证明平移不变光滑赋值的子代数在该乘积下继承弗罗贝尼乌斯代数结构。
• 为积分几何与表示论中的应用建立基础结果。
• 通过中等增长表示验证所构造的代数结构满足卡斯曼-沃尔赫 theorem 的假设条件。

提出的方法

• 通过乘积测度与闵可夫斯基和，为赋值 $\phi \in \mathcal{G}'(V)$, $\psi \in \mathcal{G}'(W)$ 定义外积 $\phi \boxtimes \psi \in \mathcal{G}'(V \times W)$。
• 通过对角限制构造乘积 $\phi \cdot \psi := \Delta^*(\phi \boxtimes \psi)$，并证明其结合性、交换性及单位元性质（欧拉示性数）。
• 利用 $\mathcal{G}'(V) \cap PVal^{sm}(V)$ 的稠密性，将乘积连续延拓至 $GL(V)$-光滑多项式赋值空间 $PVal^{sm}(V)$。
• 定义 $PVal^{sm}(V)$ 上的典范过滤 $W_i$，满足 $W_i \cdot W_j \subset W_{i+j}$, $\gamma_{i+1} \subset W_i \subset \gamma_i$，且 $W_0 = \gamma_0$, $W_1 = \gamma_1$，其中每个 $W_i$ 闭且关于 $Aff(V)$ 不变。
• 使用表示论工具，包括光滑表示的中等增长性，验证卡斯曼-沃尔赫定理的条件。
• 证明光滑赋值空间及其在旗流形上光滑截面张量积空间的模结构具有中等增长性，作为 $GL(V)$-模。

实验结果

研究问题

• RQ1 能否在多项式光滑赋值空间上定义一个典范的交换、结合、过滤代数结构（含单位元）？
• RQ2 是否存在唯一一个与乘法结构相容且尊重维数过滤的多项式光滑赋值上的过滤？
• RQ3 在该乘积下，平移不变光滑赋值的子代数是否继承弗罗贝尼乌斯代数结构？
• RQ4 多项式光滑赋值上的代数结构如何与积分几何及表示论相关联？
• RQ5 光滑赋值空间及其相关函数空间是否满足卡斯曼-沃尔赫定理所要求的中等增长条件？

主要发现

• 在多项式光滑赋值空间上定义了典范的交换、结合、过滤代数结构（单位元为欧拉示性数）。
• 在平移不变光滑赋值子代数上诱导的乘积使其成为弗罗贝尼乌斯代数。
• 在 $PVal^{sm}(V)$ 上存在唯一过滤 $W_i$，满足 $W_i \cdot W_j \subset W_{i+j}$, $\gamma_{i+1} \subset W_i \subset \gamma_i$, $W_0 = \gamma_0$, $W_1 = \gamma_1$，且每个 $W_i$ 闭且关于 $Aff(V)$ 不变。
• $PVal_{d}^{sm}(V)$ 是一个巴拿赫空间，且该乘积可连续延拓至该空间。
• 所有相关表示空间，包括 $\Omega_{d}^{n} \otimes C^\infty((\mathbb{P}_+(V^*))^k, L^{\boxtimes k})$，作为 $GL(V)$-模均具有中等增长性。
• 卡斯曼-沃尔赫定理适用于光滑赋值空间及相关函数空间，确保其与表示论框架相容。