[論文レビュー] Integration with respect to Euler characteristic over the projectivization of the space of functions and the Alexander polynomial of a plane curve singularity

Antonio Campillo, F. Delgado+1 more|ArXiv.org|May 22, 2000

Algebraic Geometry and Number Theory参考文献 3被引用数 5

ひとこと要約

本稿は、平面曲線特異点のアレクサンダー多項式とゼータ関数、および局所関数環の射影化空間におけるオイラー特性に関する積分との間で、新しい関係を確立する。この研究では、値関数に基づく構成と、ジュエット空間内の半代数的集合におけるオイラー特性測度を用いて、これらの不変量が、関数の芽の空間上の円筒関数の積分として表現できることを示している。

ABSTRACT

We discuss a notion of integration with respect to the Euler characteristic in the projectivization $¶{\cal O}_{\C^n,0}$ of the ring ${\cal O}_{\C^n,0}$ of germs of functions on $C^n$ and show that the Alexander polynomial and the zeta-function of a plane curve singularity can be expressed as certain integrals over $¶{\cal O}_{\C^2,0}$ with respect to the Euler characteristic.

研究の動機と目的

• 平面曲線特異点のアレクサンダー多項式およびゼータ関数を、オイラー特性に関する積分として表現すること。
• 原点における正則関数芽の局所環の射影化空間における積分の枠組みを構築すること。
• 曲線分岐における値関数条件によって定義される集合のオイラー特性を特徴付けること。
• 弧空間およびジュエット空間に関する結果を、射影化関数空間へ一般化すること。
• 特異点論における古典的不変量の位相的および測度論的解釈を提供すること。

提案手法

• ジュエット射影写像による逆像として、局所関数環の射影化空間内の円筒部分集合を定義する。
• 有限次元の射影的ジュエット空間への像のオイラー特性を用いて、円筒集合にオイラー特性を割り当てる。
• 曲線の分岐に関する関数芽 $ g $ の値関数ベクトル $ \underline{v}(g) $ をもとに、円筒関数を構成する。
• 半代数的集合におけるオイラー特性の加法性および測度的性質を用いて、積分を定義する。
• アレクサンダー多項式 $\Delta^C(t_1,\dots,t_r)$ を、$\mathbb{P}\mathcal{O}_{\mathbb{C}^2,0}$ 上の $\underline{t}^{\underline{v}(g)}$ のオイラー特性に関する積分として表現する。
• モノドロミーおよびジュエット空間に関する先行研究の結果を用いて、ゼータ関数 $\zeta_C(t)$ が、同じ空間上での $t^{v(g)}$ の積分に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 平面曲線特異点のアレクサンダー多項式は、関数芽の射影化空間上のオイラー特性に関する積分として表現可能か？
• RQ2 曲線の分岐に関する関数芽の値関数が、ジュエット空間内の可測部分集合とどのように関係するか？
• RQ3 関数芽空間に測度論的構成を導入することで、特異点のゼータ関数を回復できるか？
• RQ4 局所環の射影化は、特異点の位相的不変量をどのように符号化しているか？
• RQ5 円筒集合およびそのオイラー特性は、代数幾何学と特異点不変量の間をつなぐ橋渡しをどのように果たすか？

主な発見

• 任意の $\underline{v} \in \mathbb{Z}_{\geq 0}^r$ に対して、集合 $\{g \in \mathbb{P}\mathcal{O}_{\mathbb{C}^2,0} \mid \underline{v}(g) = \underline{v}\}$ は円筒的であるため、このようなレベル集合上の積分が可能となる。
• $\underline{t}^{\underline{v}(g)}$ は円筒的かつ $\mathbb{P}\mathcal{O}_{\mathbb{C}^2,0}$ 上で可積分であり、$r > 1$ のときその積分はアレクサンダー多項式 $\Delta^C(t_1,\dots,t_r)$ に等しい。
• $t^{v(g)}$ は円筒的かつ可積分であり、その積分は $\mathbb{P}\mathcal{O}_{\mathbb{C}^2,0}$ 上でゼータ関数 $\zeta_C(t)$ に等しい（$r \geq 1$）。
• この構成は、$g \in m^s$ ならば $v_i(g) \geq s$ であるという事実に依拠しており、レベル集合がジュエット切断条件によって定義されることを保証する。
• 有限次元ジュエット空間への円筒集合の像のオイラー特性が、射影化関数空間内の元の集合のオイラー特性を決定する。
• 本研究の結果は、モノドロミーのリフシェッツ数に関する先行研究を一般化し、オイラー特性に関する積分理論を射影化関数空間へ拡張する。