[논문 리뷰] Zariski equisingularity of surface singularities in $\mathbb C^3$ by a local invariant

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

Holomorphic and Operator Theory인용 수 0

한 줄 요약

저자들은 ℂ³의 해석적 표면 특이점에 대해 지역 불변량 multiplicity sequence 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 의 수들에 연관시키고 해석적 불변성과 반연속성 특성을 확립한다.

제안 방법

• f 의 Weierstrass 다항식 표현에 대한 일반화된 판별식과 ind(D_f) 지표를 정의한다.
• (mult_0(V), mult_0(D_f), i_0, mult_0(D_f^{i_0}))에서 i_0 = ind(D_f)인 경우를 사용하여 multiplicity sequence mult^*(V) 를 구성한다.
• ν-교차 Zariski 등가성 가족에서 mult^*(V_t) 가 해석적-불변이며 상반연속임을 증명한다.
• 좌표의 일반 선 변화 이후 mult^*(V_t) 의 상수성은 ν-교차 Zariski 등가성과 동등하다는 것을 보인다.
• 격리 특이점에 대해 다 established formulas 를 통해 mult^*(V) 를 Teissier 의 μ^*(V_t), k(V_t), φ(V_t) 와 연결한다.

실험 결과

연구 질문

• RQ1 비고립 표면 특이점에서 Zariski 등가성을 제어하는 지역 불변량이 존재하는가?
• RQ2 가족에서 mult^*(V_t) 가 상수이면 가족이 (ν-교차 변화에 관해) Zariski 등가적인가?
• RQ3 격리된 경우 mult^*(V) 는 Teissier 의 수들과 어떻게 연결되는가?
• RQ4 일반화된 판별식이 등가성 분석에 적합한 해석적 불변성과 반연속성 특성을 제공하는가?

주요 결과

• 새로운 불변량 mult^*(V) (Multiplicity Sequence) 가 ℂ³의 해석적 표면 특이점에 대해 정의된다.
• mult^*(V) 는 해석적 불변이며 가족에서 상반연속적이다.
• 격리 특이점의 경우 mult^*(V) 를 Teissier 의 μ^*(V), k(V), φ(V) 로 표현할 수 있다.
• 해석적 가족이 ν-교차 Zariski 등가성이면 mult^*(V_t) 가 상수이며, 그 반대도 성립한다.
• 주요 정리는 ν-교차 Zariski 등가성, 일반 선 변화 이후의 Zariski 등가성, 그리고 mult^*(V_t) 의 상수성 사이의 동등성을 제공한다.