[論文レビュー] Algebraic structures on valuations, their properties and applications

Semyon Alesker|ArXiv.org|Apr 22, 2003

Advanced Banach Space Theory参考文献 15被引用数 7

ひとこと要約

本論文は、ユークリッド空間およびヘルミート空間上の連続的かつ平行移動不変な値関数の空間に、特に、Poincaré双対性およびハード・リーマンの定理を満たす、階数付き可換代数の代数的構造を確立する。これらの構造を応用して、複素空間上のユニタリ不変な値関数を分類し、ヘルミート積分幾何学における新しい明示的な運動論的公式を導出する。これは、チェーンおよびサントラの古典的結果を一般化する。

ABSTRACT

We describe various structures of algebraic nature on the space of continuous valuations on convex sets, their properties (like versions of Poincaré duality and hard Lefschetz theorem), and their relations and applications to integral geometry.

研究の動機と目的

• 凸集合上の連続的値関数の空間に、階数付き代数、Poincaré双対性、ハード・リーマンの定理といった代数的構造を発展・特徴づけること。
• 特に、ヘルミート空間上のユニタリ不変な値関数を含む、追加の対称性を持つ平行移動不変な連続的値関数の分類を行うこと。
• 値関数の分類を応用して、複素空間の（チェーン風の）積分幾何学における新しい明示的な運動論的公式を導出すること。
• 値関数論、再帰的リー群の表現論、およびBeilinson-BernsteinのD加群理論との間の関係を確立すること。
• 値関数の代数的および幾何的性質を用いて、実空間から複素空間への古典的運動論的公式の一般化を行うこと。

提案手法

• 本論文は、Euler特徴関数を単位元とする、滑らかな多項式的値関数の空間に自然な結合的・可換的・単位的代数構造を構成する。
• 実再帰的リー群の表現論およびD加群理論を用いて、値関数空間内の滑らかなベクトルを分析する。
• 不変性定理およびコサイン変換を用いて、平行移動不変な値関数に対してPoincaré双対性およびハード・リーマンの定理を確立する。
• 複素グラスマン多様体上での積分を用いて、内部体積の交差の内在的体積を用いて、ヘルミート空間上に新しい値関数 $U_{k,p}$ を定義する。
• ユニタリ不変な値関数の分類を用いて、複素等長群上でのEuler特徴関数の積分により、新しい運動論的公式を導出する。
• ユニタリ不変な値関数の次数 $k$ の空間が、$0 \leq p \leq \lfloor \min\{k, 2m-k\}/2 \rfloor$ の $U_{k,p}$ によって張られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 連続的値関数の空間に、双対性やLefschetz性質といった、自然に生じる代数的構造とは何か？
• RQ2 平行移動不変な連続的値関数の分類を、特にヘルミート空間上のユニタリ不変な値関数にどのように拡張できるか？
• RQ3 値関数の代数的構造を用いて、ヘルミート積分幾何学における新しい運動論的公式はどのように導かれるか？
• RQ4 D加群やBeilinson-Bernstein理論といった表現論的道具は、値関数の研究にどのように貢献するか？
• RQ5 複素ベクトル空間上のユニタリ不変な値関数の環の正確な代数的構造は何か？

主な発見

• 滑らかで平行移動不変な連続的値関数の空間は、Poincaré双対性のバージョンを満たす階数付き可換代数を形成する。
• 滑らかな平行移動不変な値関数に対して、ハード・リーマンの定理が成り立ち、コサイン変換および積分幾何学と関連づけられる。
• 複素次元 $m$ のヘルミート空間上のユニタリ不変な値関数の分類は、$0 \leq p \leq \lfloor \min\{k, 2m-k\}/2 \rfloor$ の $U_{k,p}$ 値関数によって与えられ、それぞれの次数 $k$ に対して基底をなす。
• 複素等長群上でのEuler特徴関数の積分に対する新しい運動論的公式が導出され、$U_{k,p}$ 値関数の積の和として表現される。
• 運動論的公式における定数 $\kappa(k_1,k_2,p_1,p_2)$ は $\mathbb{C}^2$ では明示的に計算可能であるが、一般にはそうではない。
• $Val^{U(m)}(W)$ の代数的構造は未解明のままであるが、その有限次元部分空間は完全に分類されている。