[論文レビュー] Higher order double point formulas via SSM-Thom polynomials

Reese Lance|arXiv (Cornell University)|Jan 25, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

論文は Segre–Schwartz–MacPherson (SSM) クラスを用いた古典的なダブルポイント公式の一パラメータ変形を提案し、A0^2, A0, A1 の SSM–Thom 多項式を大きな階数領域で計算し、普遍的な高次補正を導出する。

ABSTRACT

We study the geometry of double point loci of maps $F:M o N$ of complex manifolds through the lens of Segre-Schwartz-MacPherson (SSM) classes. Classical double point formulas express the fundamental class of the closure of the double point locus of $F$ in terms of global invariants of source and target spaces, as well as $F$. In this paper we extend these results by computing a one-parameter cohomological deformation of the double point formula given by the SSM class. We compute the SSM class of the double point locus in a large cohomological degree range. The leading term in our new formulas recovers the classical double point formula of Fulton and Laksov, while higher-degree terms provide explicit universal corrections. Our approach uses interpolation techniques for SSM-Thom polynomials of multisingularities, recently developed by Koncki, Nekarda, Ohmoto and Rimányi. We also compute SSM-Thom polynomials for the singularities $A_0$ and $A_1$ in the same range. As an application, we show how the deformed formulas yield refined geometric information about those singularity loci through a theorem of Aluffi and Ohmoto, including constraints on when such loci can arise as complete intersections.

研究の動機と目的

• SSM クラスを用いて古典的なダブルポイント公式をコホモロジー的変形へ拡張する。
• 特定の写像クラスについて大きなコホモロジー次数領域でダブルポイント locus の SSM クラスを計算する。
• SSM–Thom 多項式を用いて古典公式へ普遍的な高次補正を得る。
• multisingularity の SSM–Thom 多項式の補間技術を用いて明示的な式を導出する。

提案手法

• CSM/SSM クラスと基礎クラスとの関係を定義・扱う。
• Cℓ 設定における Thom 原理と安定性概念を用いて特異性を研究する。
• A0^2, A0, A1 の SSM–Thom 多項式を Mather の multisingularities 間の補間によって計算する。
• SSM–Thom 多項式を universal なべき乗級数として c- 及び s-変数とパラメータ ℓ = n − m の関数として表す。
• プロトタイプ・ germs とトーラス等価評価を用いた補間命題 8.7 analog を適用して係数を制約する。
• 高次項を表現するために Landweber–Novikov クラスと行列式表現 S_(m) を用いる。
• Thom 原理を利用して抽象的な SSM–Thom 多項式を安定写像の実際の SSM クラスに結びつける。

実験結果

リサーチクエスチョン

• RQ1 SSM クラスのダブルポイント locus が捉える古典的な一パラメータ変形とは何か。
• RQ2 大きなコホモロジー次数領域で A0^2, A0, A1 の SSM–Thom polynomials をどのように計算できるか。
• RQ3 高次項は Fulton–Laksov 型のダブルポイント公式へどれだけ普遍的な補正を提供するか。
• RQ4 Cℓ-map の多重特異性に対する SSM–Thom polynomials の補間技法を用いて具体的な多項式表現を導出できるか。
• RQ5 Aluffi–Ohmoto の結果のような幾何的制約（完全交叉積など）は変形公式からどのように導かれるか。

主な発見

• SSM クラスの先頭項は Fulton–Laksov の古典的なダブルポイント公式を回復する。
• 高次次数の項は古典公式への普遍的な補正を明示的にもたらす。
• A0^2, A0, A1 の SSM–Thom 多項式は同じ次数・次元領域で計算される。
• 補間技法により SSM–Thom 多項式の具体的なべき乗級数表現が得られ、安定写像全体における普遍性を示す。
• 変形公式の応用により特異点 locus の幾何情報が refined され、完全交叉積となり得る条件を制約する。