[論文レビュー] The product on smooth and generalized valuations

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

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

ひとこと要約

本稿では、微分形式、ゲルファンド変換、および blow-up 空間を用いて、多様体上の滑らかで一般化された値関数の積の座標に依存しない新規構成を提示する。この積は幾何学的に横断的交わりに対応し、これを用いてコンパクトなランク1の対称空間上での一般化された運動積分公式を証明する。

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.

研究の動機と目的

• 座標系に依存しない、多様体上の滑らかな値関数の積の新しい内在的構成を提供すること。
• 積を一般化された値関数に拡張し、その幾何的解釈を横断的交わりの観点から明確化すること。
• 新しい積構造を用いて、コンパクトなランク1の対称空間上での一般化された運動積分公式を導出すること。
• 関数解析とゲルファンド変換を用いて、値関数の代数的積と積分幾何学との間の関係を確立すること。
• 幾何測度論と blow-up 技法を用いることで、以前の構成に見られた解析的困難を解消すること。

提案手法

• 余接束のファイバー積上の二重ファイブレーションを用いて滑らかな値関数の外積を構成し、ファイバーに沿った積分によってゲルファンド変換を導出する。
• 滑らかな値関数を、$\mathbb{P}_X$ 上の微分形式のペア $(\omega, \phi)$ として表現する。ここで $\omega$ は次数 $n-1$、$\phi$ は次数 $n$ であり、$n = \dim X$ である。
• $\mathbb{P}_X \times_X \mathbb{P}_X$ 上の blow-up 空間 $\bar{\mathbb{P}}$ 上で、$\operatorname{GT} = \bar{p}_* \bar{\Phi}^*$ を用いて積を定義し、開埋め込みに関して不変であることを保証する。
• 値関数として自明なものを表す形式の同値類を特定するために、ルーミン作用素 $D$ を用いることで、積の定義が適切に成立することを保証する。
• 積が $X \times X$ 上の対角に制限されると、単一の多様体上の値関数の積が回復されることを証明する。
• 特にコンパクトなリー群の対称空間への作用の文脈において、双対性と関数解析を用いて積を一般化された値関数へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 多様体上の滑らかな値関数の積は、座標系に依存せずにどのように構成できるか？
• RQ2 角を持つ部分多様体の横断的交わりの観点から、値関数の積の幾何的意味は何か？
• RQ3 積は一般化された値関数へどのように拡張され、その代数的・幾何的構造は何か？
• RQ4 積構造を用いて、コンパクトなランク1の対称空間上での一般化された運動積分公式を導出可能か？
• RQ5 blow-up 空間上のゲルファンド変換は、ファイバーに沿った積分を用いて積を実現するために果たす役割は何か？

主な発見

• 滑らかな値関数の積は、二重ファイブレーションと blow-up 空間上のゲルファンド変換を用いた内在的構成により、座標系に依存せず構成された。
• 積は、$X \times Y$ における横断的部分集合の概念によって形式化された、角を持つ部分多様体の横断的交わりに対応する幾何学的意味を持つ。
• 積は一般化された値関数へ部分的に拡張され、その拡張は不変値関数空間上の双対性と関数解析によって特徴づけられる。
• 積構造と群不変値関数を用いて、コンパクトなランク1の対称空間上での一般化された運動積分公式が証明された。
• $X$ 上の二つの値関数の積は、$X \times X$ 上の対角への外積の制限として回復され、以前の構成と整合的である。
• $\mathcal{V}^\infty(X)^G$ 上の積構造は、群 $G$ の運動積分公式を決定し、逆にその公式からも同様に構造が得られる。これにより、代数的構造と積分幾何的構造との間の双対性が確立された。