[論文レビュー] Thom series of contact singularities

L Fehér, Richárd Rimányi|arXiv (Cornell University)|Sep 17, 2008

Advanced Combinatorial Mathematics参考文献 30被引用数 6

ひとこと要約

本稿では、特異点空間の部分解体を用いた等配分局所化により、接触特異点のトム多項式を計算する一般化された手法を開発し、全トム系列を符号化する局所化公式を導出する。主な貢献は、次元が6未満の局所代数および特定の2パラメータ族に対して、これらの多項式を体系的に計算するアプローチを提供し、安定性の性質を明らかにするとともに、ヒルベルトスキームおよび反復留数と関連付けることである。

ABSTRACT

Thom polynomials measure how global topology forces singularities. The power of Thom polynomials predestine them to be a useful tool not only in differential topology, but also in algebraic geometry (enumerative geometry, moduli spaces) and algebraic combinatorics. The main obstacle of their widespread application is that only a few, sporadic Thom polynomials have been known explicitly. In this paper we develop a general method for calculating Thom polynomials of contact singularities. Along the way, relations with the equivariant geometry of (punctual, local) Hilbert schemes, and with iterated residue identities are revealed.

研究の動機と目的

• トム多項式の計算の一般化手法を開発すること。これは、それ以外の方法では散発的にしか知られていない。
• モリン特異点に限らない、すべての接触特異点に対して等配分局所化技術の適用範囲を拡大するため、部分解体構成を用いること。
• 次元 n と p の変動に伴い、トム多項式に現れる安定性の性質（特に d-安定性）を明らかにし、形式化すること。
• トム多項式の計算を、局所的ヒルベルトスキームの等配分幾何および反復留数恒等式と関連付けること。
• 次元 <6 の局所代数および2パラメータ族の代数に対して、新しいトム系列の明示的計算を提供すること。

提案手法

• 接触特異点空間の部分解体を、J. Damonの手法により構成し、適切な等配分設定を定義する。
• 部分解体にBérczi-Szenesの等配分局所化公式を適用し、与えられた接触特異点のトム多項式の局所化公式を導出する。
• 局所化公式の入力をグラスマン多様体またはヒルベルトスキームにおけるオイラー類として符号化し、これらは有限かつ計算可能である。
• 幾何的および代数的技法を用いてこれらのオイラー類を計算し、トム系列の明示的計算を可能にする。
• 反復留数恒等式を活用して、得られたトム系列を有理関数として表現し、以前のモリン特異点に関する結果を一般化する。
• ジャンクス空間内の理想と接触軌道の対応関係を用い、双有理性および次数の計算を検証し、既知の不変量（軌道閉包の次数など）と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 等配分局所化手法を、モリン特異点を超えて任意の接触特異点のトム多項式計算に一般化するにはどうすればよいか？
• RQ2 提案された局所化公式から、トム系列に対してどのような安定性の性質（例：d-安定性）が生じるか？
• RQ3 局所化公式の入力（グラスマン多様体またはヒルベルトスキームにおけるオイラー類）は、特異点の局所代数の幾何とどのように関係するか？
• RQ4 次元 <6 の局所代数および接触特異点に対応するトム系列を、この手法を用いて明示的に計算できるか？
• RQ5 局所的点付きヒルベルトスキームの等配分コホホロジーとトム多項式の計算との間にはどのような関係があるか？

主な発見

• 本稿では、任意の接触特異点のトム多項式を部分解体上の等配分局所化により計算する一般化局所化公式（定理6.1）を確立する。
• 代数 $\mathcal{Q} = \mathbb{C}[[x]]/(x^i)$（$i \leq 7$）に対応する特異点族に対して、本手法はBércziとSzenesの結果を回復・拡張し、反復留数を用いて全トム系列を符号化する。
• 一般化されたジャンクス $g_\lambda = (x^2 - \lambda yz, y^2 - \lambda xz, z^2 - \lambda xy)$ のトム多項式は $\operatorname{tp}(g_\lambda) = 4\Delta_{3331} + 8\Delta_{433}$ として計算され、軌道閉包の次数計算により係数が検証された。
• 本手法により、接触特異点のトム系列が、これまで未知であった構造的性質である d-安定性を示すことが明らかになった。これは、$n$ と $p$ が十分に大きい場合、係数が安定することを意味する。
• 対応関係多様体 $C(Y_{Q_K}) \to \eta_{Q_K}(n,p)$ が双有理的かつ次数1であることが示され、トム系列 $\operatorname{Ts}_{g_{K}}$ がすべての $n,p$ に対してトム多項式を計算することを確認した。
• 本稿では、次元が6未満の局所代数および2パラメータ族の代数に対して、トム系列の明示的計算を提供し、既知の計算可能なケースの集合を著しく拡張した。