[論文レビュー] Zariski equisingularity of surface singularities in $\mathbb C^3$ by a local invariant

Adam Parusiński, Laurenţiu Păunescu|arXiv (Cornell University)|Feb 16, 2026

Holomorphic and Operator Theory被引用数 0

ひとこと要約

著者らは ℂ³ における解析的な表面特異点に対して局所不変量として多重性列 mult^*(V) を定義し、族が一般に Zariski 等化可能であることとこの不変量が族全体で一定であることが同値であることを証明する。

ABSTRACT

We associate to every analytic surface singularity $(V,0)$ in $(\mathbb C^3,0)$, not necessarily isolated, an invariant $mult^* (V)$ and show that an analytic family of such singularities $(V_t,0)$, $t\in (\mathbb C^l,0)$, is generically Zariski equisingular if and only if $mult^* (V_t)$ is constant. The invariant, that we call the multiplicity sequence of $V$, takes into account the multiplicities of the successive discriminants of $V$ by generic corank one projections.

研究の動機と目的

• ℂ³ における非孤立表面特異点の等化可能性の研究と Teissier の数値的不変量との関係を動機づける。
• 一般的なコランク-1 投影の判別式から構成される局所不変量として multiplicity sequence mult^*(V) を導入する。
• 解析的族において generic Zariski 等化可能性と mult^*(V_t) の一定性の同値性を証明する。
• 孤立特異点の場合の mult^*(V) を Teissier の数 μ^*(V_t)、k(V_t)、φ(V_t) との関係で説明し、解析的不変性と半連続性の性質を確立する。

提案手法

• f の Weierstrass 多項式表現に対して一般化判別式と ind(D_f) 指標を定義する。
• (mult_0(V), mult_0(D_f), i_0, mult_0(D_f^{i_0})) から mult^*(V) を i_0 = ind(D_f) として構成する。
• ν-直交な Zariski 等化可能族において mult^*(V_t) が解析的不変量であり、上半半連続性を満たすことを証明する。
• 一般的な座標線形変換の後、 mult^*(V_t) の一定性と ν-直交な Zariski 等化可能性が同値であることを示す。
• 孤立特異点の場合に、 mult^*(V) を Teissier の μ^*(V_t)、k(V_t)、φ(V_t) の既知の公式から表現できることを示す。

実験結果

リサーチクエスチョン

• RQ1 ℂ³ の非孤立表面特異点に対して、局所的不変量が Zariski 等化可能性を支配し得るか。
• RQ2 族内で mult^*(V_t) が一定であることと族が ν-直交な Zariski 等化可能性であること（一般的な線形変換後）との関係は成り立つか。
• RQ3 孤立の場合に mult^*(V) が Teissier の数とどのように関係するか。
• RQ4 一般化判別式は解析的不変量および等化可能性分析に適した半連続性を提供するか。

主な発見

• 解析的な表面特異点に対して新しい不変量 mult^*(V)（多重性列）が定義される。
• mult^*(V) は解析的不変量であり、族に対して上半半連続である。
• 孤立特異点の場合、 mult^*(V) は Teissier の μ^*(V)、k(V)、φ(V) に関して表現できる。
• 解析的族が ν-直交な Zariski 等化可能であることと mult^*(V_t) の一定性は必要十分である。
• 主定理は ν-直交な Zariski 等化可能性、一般的線形変換後の Zariski 等化可能性、および mult^*(V_t) の一定性の間の同値性をもたらす。