[論文レビュー] Equisingularite reelle : invariants locaux et conditions de regularite

Georges Comte, Michel Merle|arXiv (Cornell University)|Jun 27, 2007

Geometric Analysis and Curvature Flows被引用数 4

ひとこと要約

本稿は、部分解析的芽に対して2つの新しい有限列の数値的不変量を導入する：局所化されたリプシッツ・キリング曲率と、複素数の消える特徴量の実数版。各不変量の系列が他方の系列の普遍的な線形結合であることを証明し、多次元のコーシー＝クロフトン公式を確立する。また、すべての次元における射影の判別式との幾何的関係を通じて、ヴェルディエ・層の沿いでの連続性を示す。

ABSTRACT

For germs of subanalytic sets, we define two finite sequences of new numerical invariants. The first one is obtained by localizing the classical Lipschitz-Killing curvatures, the second one is the real analogue of the evanescent characteristics introduced by M. Kashiwara. We show that each invariant of one sequence is a linear combination of the invariants of the other sequence. We then connect our invariants to the geometry of the discriminants of all dimension. Finally we prove that these invariants are continuous along Verdier strata of a closed subanalytic set.

研究の動機と目的

• 部分解析的芽の局所的な幾何学的・位相的挙動を捉える新しい数値的不変量を定義すること。
• 局所化されたリプシッツ・キリング曲率と実数の複素数の消える特徴量との間に双対性を確立し、コーシー＝クロフトン公式を一般化すること。
• これらの不変量を、すべての次元の平面への射影の判別式の幾何学と関連付けること。
• 部分解析的層のヴェルディエ層に沿ったこれらの不変量の連続性を証明すること。
• 等相性理論における複素数の特徴量不変量の実数版を提供すること。

提案手法

• 古典的曲率の局所化として、系列 $\Lambda^{\ell oc}_{*}(X_y)$ を定義し、$\Lambda^{\ell oc}_d(X_y) = \Theta_d(X_y)$ とし、局所密度を表す。
• 局所カウチ＝クロフトン公式の一般化として、極限不変量 $\sigma_{*}(X_y)$ の系列を導入し、$\sigma_d(X_y) = \Theta_d(X_y)$ とする。
• 行列関係 $\Lambda^{\ell oc}_{*} = \mathcal{M} \cdot \sigma_{*}$ を確立し、ここで $\mathcal{M}$ は対角成分が1の上三角行列である。
• すべての $0 \leq i \leq d$ に対して、$X_y$ の $i$ 次元平面への射影の判別式の幾何学と不変量を結びつける。
• 部分解析的層の理論とヴェルディエの正則性を用いて、不変量が層に沿って連続であることを証明する。
• 特にハドウィガー型定理を含む値論と積分幾何学の結果を活用し、線形従属性を正当化する。

実験結果

リサーチクエスチョン

• RQ1 部分解析的芽に対して、曲率と位相的挙動の両方を反映する完全な数値的不変量の集合をどのように定義できるか？
• RQ2 局所化されたリプシッツ・キリング曲率と、複素数の消える特徴量の実数版との間に線形関係は存在するか？
• RQ3 これらの不変量は、次元が異なる平面への芽の射影の判別式の幾何学とどのように関係するか？
• RQ4 これらの不変量は、ヴェルディエ正則な部分解析的層の層に沿って連続か？
• RQ5 古典的なコーシー＝クロフトン公式は、実数の部分解析的設定において、多次元的・不変量論的枠組みへ一般化可能か？

主な発見

• 系列 $\Lambda^{\ell oc}_{*}(X_y)$ の各不変量は、系列 $\sigma_{*}(X_y)$ の不変量の普遍的な線形結合であり、逆も同様に、対角成分が1の行列 $\mathcal{M}$ を通じて関係づけられる。
• 関係 $\Lambda^{\ell oc}_{*} = \mathcal{M} \cdot \sigma_{*}$ は、コーシー＝クロフトン公式をすべての次元へ一般化し、多次元的局所コーシー＝クロフトン恒等式を形成する。
• $\sigma_{*}(X_y)$ は、一般の射影における可構成関数の積分の平均として定義され、幾何測度論と関連づけられる。
• 不変量は、閉じた部分解析的集合のヴェルディエ層に沿って連続であり、局所密度の連続性に関する結果を拡張する。
• $X_y$ の $i$ 次元平面への射影の判別式の幾何学が、不変量の挙動を支配し、特に法コーンのファイバーの次元を通じて顕著に現れる。
• この構成により、特にカシワラが導入した複素数の等相性不変量の実数版が得られる。