[論文レビュー] 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.

研究の動機と目的

• 多項式滑らかバリエーションの空間に、単位元を備えた標準的な可換・結合的・フィルトレーション付き代数構造を定義すること。
• 乗法構造と整合する多項式滑らかバリエーション上の一意なフィルトレーションを同定すること。
• 平行移動不変な滑らかバリエーションの部分代数が、この積構造によりフォーベニウス代数の構造を誘導することを示すこと。
• 積分幾何学および表現論への応用に向けた基礎的結果を確立すること。
• 中程度成長表現を通じて、Casselman-Wallach定理の仮定が満たされていることを確認すること。

提案手法

• 積測度とミンコフスキー和を用いて、$\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)$ への積の連続的拡張を行う。
• $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$ を満たす $PVal^{sm}(V)$ 上の標準的フィルトレーション $W_i$ を定義し、各 $W_i$ が閉かつ $Aff(V)$-不変であることを示す。
• 中程度成長の滑らかな表現を用いた表現論的道具を用い、Casselman-Wallach定理の条件を満たすことを確認する。
• $GL(V)$-加群としての滑らかなバリエーションの空間および関連する旗多様体上の滑らかな切断のテンソル積空間が、中程度成長を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 多項式滑らかバリエーションの空間に、標準的な可換・結合的・フィルトレーション付き代数構造（単位元を含む）を定義できるか？
• RQ2 乗法構造と整合し、次元フィルトレーションを尊重する多項式滑らかバリエーション上の一意なフィルトレーションとは何か？
• RQ3 この積構造のもとで、平行移動不変な滑らかバリエーションの部分代数はフォーベニウス代数の構造を誘導するか？
• RQ4 多項式滑らかバリエーション上の代数的構造は、積分幾何学および表現論とどのように関係するか？
• RQ5 滑らかなバリエーションの空間および関連関数空間は、Casselman-Wallach定理に必要な中程度成長条件を満たすか？

主な発見

• 多項式滑らかバリエーションの空間に、標準的な可換・結合的・フィルトレーション付き代数構造（単位元としてオイラー特徴）が定義された。
• 平行移動不変な滑らかバリエーションの部分代数への誘導積により、フォーベニウス代数の構造が与えられる。
• 多項式滑らかバリエーションの空間 $PVal^{sm}(V)$ 上に、$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)$-不変である一意なフィルトレーション $W_i$ が存在する。
• $PVal_{d}^{sm}(V)$ はバナッハ空間であり、積はこの空間へ連続的に拡張可能である。
• 滑らかなバリエーションの関連表現空間、特に $\Omega_{d}^{n} \otimes C^\infty((\mathbb{P}_+(V^*))^k, L^{\boxtimes k})$ は、すべて $GL(V)$-加群として中程度成長を示す。
• Casselman-Wallach定理は、滑らかなバリエーションの空間および関連関数空間に適用可能であり、表現論的枠組みとの整合性が保証される。