[論文レビュー] The local Euler obstruction and topology of the stabilization of associated determinantal varieties

Terence Gaffney, Nivaldo G. Grulha+1 more|arXiv (Cornell University)|Nov 2, 2016

Algebraic Geometry and Number Theory参考文献 20被引用数 8

ひとこと要約

この論文は、ニュートン二項係数に基づく新規な公式を用いて、一般の行列式多様体の局所オイラー歪みとチーン–シュワーツ–マクフィアスン類を計算し、本質的に孤立した行列式特異点（EIDS）の安定化のオイラー特徴標数について、ガフニーの $m_d$ 多重度と局所オイラー歪みを用いた公式を導出する。主な貢献は、特異点の不変量と行列式多様体の幾何的不変量を結びつける明確な位相的不変量の公式を確立したことにある。

ABSTRACT

This work has two complementary parts, in the first part we compute the local Euler obstruction of generic determinantal varieties and apply this result to compute the Chern--Schwartz--MacPherson class of such varieties. In the second part we compute the Euler characteristic of the stabilization of an essentially isolated determinantal singularity (EIDS). The formula is given in terms of the local Euler obstruction and Gaffney's $m_{d}$ multiplicity.

研究の動機と目的

• ニュートン二項係数に基づく新規な公式を用いて、一般の行列式多様体の局所オイラー歪みを計算すること。
• この計算を応用し、そのような多様体のチーン–シュワーツ–マクフィアスン類を決定すること。
• 本質的に孤立した行列式特異点（EIDS）の安定化のオイラー特徴標数の公式を導出すること。
• 特異点のオイラー歪みが、その一般の行列式モデルのオイラー歪みに近づく条件を確立すること。
• オイラー歪みの函手的性質を調査し、対応する特異点のヤコビアン・モジュールの引き戻しを用いてモジュールに対して定義すること。

提案手法

• ニュートン二項係数を用いて、一般の行列式多様体の局所オイラー歪みの閉形式表現を導出する。
• 得られた公式を用いて、既知の双対性および局所化技術を通じてチーン–シュワーツ–マクフィアスン類を計算する。
• 局所オイラー歪みの公式を EIDS に適用するため、安定化プロセスとその位相的不変量を分析する。
• EIDS の安定化のオイラー特徴標数の公式において、Gaffney の $m_d$ 多重度を主要な不変量として導入・利用する。
• 多重度の変化をモジュール族の極小多様体とファイバー多重度に関連付けるために、多重度極小定理を用いる。
• 対応する特異点のヤコビアン・モジュールの引き戻しのオイラー歪みとして、モジュールのオイラー歪みを定義する。

実験結果

リサーチクエスチョン

• RQ1 一般の行列式多様体の局所オイラー歪みは、組合せ論的データを用いてどのように効率的に計算できるか？
• RQ2 一般の行列式多様体のチーン–シュワーツ–マクフィアスン類は何か？ そして、その局所オイラー歪みとはどのように関係しているか？
• RQ3 本質的に孤立した行列式特異点（EIDS）の安定化のオイラー特徴標数は何か？
• RQ4 EIDS の局所オイラー歪みは、一般の行列式特異点のオイラー歪みと $m_d$ 多重度の間でどのように関係しているか？
• RQ5 特異点のオイラー歪みが、その一般の行列式近似と一致する条件は何か？

主な発見

• 一般の行列式多様体の局所オイラー歪みは、ニュートン二項係数を含む閉形式の公式で与えられる。
• 一般の行列式多様体のチーン–シュワーツ–マクフィアスン類は、導出された公式を通じてその局所オイラー歪みによって完全に決定される。
• EIDS の安定化のオイラー特徴標数は、局所オイラー歪みと特異点の $m_d$ 多重度を含む和として表現される。
• 十分に一般な写像に対して、EIDS の安定化のオイラー特徴標数は、一般の行列式特異点の局所オイラー歪みと $m_d$ 多重度にのみ依存する。
• モジュールのオイラー歪みは、対応する特異点のヤコビアン・モジュールの引き戻しのオイラー歪みとして定義され、乖離を補正する補正項が含まれる。
• 余接多様体のファイバーが小さいとき、余次元 $d$ の極小多様体が予期せず空集合になるため、多重度の計算が簡略化される。