[論文レビュー] Thom polynomials for maps of curves with isolated singularities

Maxim Kazarian, Сергей Константинович Ландо|ArXiv.org|Jun 11, 2007

Advanced Differential Equations and Dynamical Systems参考文献 7被引用数 3

ひとこと要約

本稿は、孤立特異点をもつ複素曲線への写像のトム多項式の明示的普遍公式を導出し、$A_n$ 型および $I_{k,l}$ 型に焦点を当てる。等長コホモロジーおよび特徴類を用いて、ハーウィッツ空間内の多特異点層のコホモロジー類を計算し、チェーン類およびパrameter $ \psi$, $ u$, $z$, および $t_m$ の生成関数を用いて、ダブルハーウィッツ数の閉形式表現を得る。主な貢献は、有限個の基本的類によって原始的層を完全に記述できることであり、これによりこれらの層上でのリャーシュコ＝ルーアイエンジェ写像の次数を明示的に計算可能にする。

ABSTRACT

Thom (residual) polynomials in characteristic classes are used in the analysis of geometry of functional spaces. They serve as a tool in description of classes Poincaré dual to subvarieties of functions of prescribed types. We give explicit universal expressions for residual polynomials in spaces of functions on complex curves having isolated singularities and multisingularities, in terms of few characteristic classes. These expressions lead to a partial explicit description of a stratification of Hurwitz spaces.

研究の動機と目的

• 複素曲線上の孤立特異点をもつ関数の層のコホモロジー類で、$A_n$ 型および $I_{k,l}$ 型のものに対して、Poincaré双対を求める。
• 特徴類を用いた明示的普遍的表現としてのトム多項式を導出し、原始的層上でのリャーシュコ＝ルーアイエンジェ写像の次数を計算可能にする。
• 特異点の普遍包あらゆる展開における多特異点の生成関数フレームワークを確立し、特にダブルハーウィッツ数を対象とする。
• 複素曲線上の有理型関数の族において、任意の余次元に関わらず、4つの基本的特徴類で十分であることを示す。

提案手法

• トムとカザリアンの理論に基づき、特徴類における普遍的残差多項式を用いて、関数空間内の特異層のコホモロジー類を記述する。
• 不定係数法および等長コホモロジー技法を適用し、$A_n$ 型および特徴点を区別する多特異点の生成関数 $\mathcal{N}_A$ および $\mathcal{M}_A$ を計算する。
• ノード曲線の2つの枝に特異点が分布する基づき、$I_{k,l}$-変形空間における特異点層と判別式 divisor $\varepsilon = 0$ の交わりを計算し、2通りのアプローチで恒等式を導出する。
• ノードにおける特異点の分布に応じて特異ファイバーを既約成分に分割し、局所代数の次元により重みを割り当てる。
• 生成関数内の単項式を、ノードに特異点を持つ成分の重みを反映するように $m+1$ に置き換える。これは $\mathbb{C}[x,y]/\langle x^a + y^b, xy \rangle$ の次元に等しい。
• ノードに特異点を持つ成分の寄与を組み合わせることで、$I_{k,l}$-層の生成関数 $\mathcal{M}_A$ を導出する。これには、ノードに特異点がない場合とある場合の寄与を $\mathcal{N}_A$ および $\mathcal{M}_A$ を用い、$\nu_1$ と $\nu_2$ を別々に扱う。

実験結果

リサーチクエスチョン

• RQ1 単一の $A_n$ 型特異点と特徴的臨界値をもつ複素曲線への写像のトム多項式の普遍的表現は何か？
• RQ2 $I_{k,l}$-変形空間内において、多特異点 $A_{m_1,\dots,m_r}$ をもつ関数の層のコホモロジー類は、特徴類を用いてどのように表現できるか？
• RQ3 ノードに特異点をもつ成分が、層と判別式 $\varepsilon = 0$ の交わりに与える寄与は何か？
• RQ4 特異ファイバー内の既約成分の重みは、ノードにおける局所的特異点型にどのように依存するか？
• RQ5 生成関数 $\psi$, $\nu$, $z$, および $t_m$ を用いて、原始的層上でのリャーシュコ＝ルーアイエンジェ写像の次数を明示的に計算できるか？

主な発見

• $A_n$ 型層の生成関数 $\mathcal{N}_A(\psi, \nu; z; t)$ は、ノード曲線の2つの枝に対応する $\nu_1$ および $\nu_2$ を用いた2つの $\mathcal{N}_A$ 関数の積として導出される。
• ノードに特異点をもつ層に対しては、寄与が $\mathcal{M}_A(\psi, \nu_1; z; t) \cdot \mathcal{M}_A(\psi, \nu_2; z; t)$ で与えられ、$z$ はノードにおける特徴的臨界点を表す。
• ノードに特異点をもつ各成分の重みは $m+1$ であり、これは $a+b = m+1$ のときの局所代数 $\mathbb{C}[x,y]/\langle x^a + y^b, xy \rangle$ の次元に等しい。
• このような成分からの総寄与は、$\mathcal{M}_A$ 関数の積に $\psi z$ を乗じ、各 $z^{m+1}$ を $(m+1)t_{m+1}$ に置き換えることで得られる。
• 最終的な $I_{k,l}$-層の生成関数 $\mathcal{M}_A$ は、定理3.5における関数と一致することが示され、コホモロジー類 $[A_{m_1,\dots,m_r}(Y)]$ の公式が証明される。
• 本稿は、任意の余次元に関わらず、複素曲線上の有理型関数の空間におけるすべての層を記述するのに4つの基本的特徴類で十分であることを確立する。