[論文レビュー] Non-associative Hilbert scheme and Thom polynomials

Maxim Kazarian|arXiv (Cornell University)|Dec 26, 2017

Nonlinear Waves and Solitons参考文献 13被引用数 6

ひとこと要約

本稿は、特異的写像の局所的特異型に関連するトム多項式の係数の閉形式有理型母関数を導出するための、非可換ヒルベルトスキームと呼ばれる幾何的構成を導入する。この新しい埋め込み空間に点的ヒルベルトスキームを埋め込み、等置不変コホロジー形式を用いたギジン準同型を適用することで、$Σ^{2,1,1}$、$Σ^{2,2,1}$、$Σ^{2,2,2}$ といった以前未知であった特異型のトム多項式の明示的公式が得られ、相対次元 $π$ に依存しない係数が得られる。

ABSTRACT

Thom polynomial describes the cohomology class Poincaré dual to the locus of particular singularity of a generic holomorphic map. In this paper we derive a closed formula for the generating function of its coefficients. The method is based on a new construction of the embedding space of punctual Hibert scheme that we call the non-associative Hilbert scheme. The efficiency of the method is demonstrated on explicit computation of a number of Thom polynomials, including those associated with singularities of Thom-Boardman types~$Σ^{i,j}$, $Σ^{2,1,1}$, $Σ^{2,2,1}$, and~$Σ^{2,2,2}$.

研究の動機と目的

• 存在定理に依存せずに、再帰的でない直接的な方法でトム多項式を計算すること。
• 特に高次のトム＝ボードマン特異型に対して、既知のケースを超えてトム級数係数を一般化して計算すること。
• 相対次元 $π$ に依存しない普遍的な母関数を特定すること。
• トム多項式係数の体系的な計算を可能にする、非可換ヒルベルトスキームと呼ばれる新しい幾何的枠組みを導入すること。

提案手法

• 結合則方程式の解の集合として定義される、非可換ヒルベルトスキームと呼ばれる点的ヒルベルトスキームの新たな埋め込み空間を構築する。
• この部分解像のためのギジン準同型を用いて、等置不変コホロジーにおける特徴的類を計算する。
• 計算の全過程で相対チャーン類 $c_i = c_i(f^*TY - TX)$ の形で表現を維持するために、[17]の形式的枠組みを適用する。
• 局所的特徴的不変量 $P_\eta$ を、ベクトル空間内の部分多様体の等置コホロジー双対として特定し、特異型を捉える。
• トム級数の係数のための有理型母関数を導出し、多項式 $P_\eta$ を除いてすべての項を明示的に特定する。
• 次元ベクトルと単項式基底を用いて、結合則方程式が正則列をなすことを確認し、多様体が完全交差であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 トム多項式の存在を仮定せずに、トム級数の係数に対して閉形式の有理型母関数を導出できるか。
• RQ2 非可換ヒルベルトスキームは、トム＝ボードマン型特異型のトム多項式を体系的に計算するためにどのように利用できるか。
• RQ3 局所的特徴的不変量 $P_\eta$ は、トム級数の係数を決定する上で果たす役割は何か。
• RQ4 多特異性理論における残余多項式の安定化は、同じ幾何的枠組みによってどの程度説明可能か。
• RQ5 フィルトレーションが一意でない場合、特に $Σ^{2,2,2}$ の場合に、母関数を正規化する標準的な方法はあるか。

主な発見

• 本稿は、すべての項が明示的に特定された（$P_\eta$ を除く）トム級数の係数の閉形式有理母関数を提供する。
• $Σ^{2,1,1}$、$Σ^{2,2,1}$、$Σ^{2,2,2}$ の特異型について、それまで未知であったそれらのトム多項式の閉形式が導出された。
• $Σ^{2,1,1}$、$Σ^{2,2,1}$、$Σ^{2,2,2}$ に関連する代数の結合則方程式は正則列をなし、結合的代数の多様体が完全交差でかつ一意な成分を持つことが確認された。
• $Σ^{2,2,2}$ の場合の正規化係数 $t_1$ は、${\mathbb{C}}P^1$-ファミリーのフィルトレーションから生じ、条件 $\int_{{\mathbb{C}}P^1} t_1 = 1$ によって固定され、母関数の整合性が保たれる。
• 本手法により、相対次元 $π$ のすべてのケースから $π = \mu$ の場合の結果を回復でき、先行研究で観察された安定化現象を確認できる。
• 著者らは、$m=2$、$n=1$ の場合に $Σ^{2,2,2}$ のトム多項式を制限することで、$J^3_0({\mathbb{C}}^2, {\mathbb{C}})$ の最高チャーン類が期待通りに回復されることを検証した。