Zariski equisingularity of surface singularities in $\mathbb C^3$ by a local invariant

1. 연구 배경 및 문제 제기

• 배경:
  • Bernard Teissier 는 고립된 (isolated) 복소 해석적 초곡면 특이점에 대해 Teissier 수열 $\mu^*(X_0)$을 정의하고, 이것이 일정할 때 Whitney 조건을 만족함을 보였습니다.
  • O. Zariski 는 초곡면이 매끄러운 부분공간을 따라 '대수기하학적 동특이성 (algebro-geometric equisingularity)'을 가지는 개념을 제안했습니다. 이는 일련의 코-랭크 1 (corank 1) 사영에 대한 판별식 (discriminant) 을 재귀적으로 취함으로써 정의됩니다.
  • Briançon 과 Speder, 그리고 Briançon 과 Henry 는 $C^3$ 내의 고립된 표면 특이점 가족에 대해 자르스키 동특이성이 성립하기 위해서는 Teissier 수 $\mu^*$, 일반적 사영에서의 이중점 (ordinary double points) 의 수 $k$, 그리고 첨점 (cusps) 의 수 $\phi$가 일정해야 함을 보였습니다.
• 문제점:
  • 기존 연구들은 고립된 (isolated) 특이점에 국한되어 있었습니다.
  • 비고립된 (non-isolated) 특이점의 경우, Milnor 수 $\mu_3$나 $k, \phi$와 같은 불변량을 정의할 수 없었습니다.
  • 따라서 비고립된 특이점을 포함한 일반적인 $C^3$ 내 표면 특이점 가족에 대해 자르스키 동특이성을 판별할 수 있는 보편적인 불변량이 필요했습니다.

2. 방법론 및 주요 정의

저자들은 비고립된 특이점에도 적용 가능한 새로운 불변량인 다중성 수열 (multiplicity sequence), $\text{mult}^*(V)$를 정의했습니다.

• $\nu$-transverse 좌표계 (Nested Uniformly Transverse Coordinates):

  • 자르스키 동특이성을 논하기 위해 특정한 좌표계 조건이 필요합니다.
  • $z$-축이 $V$의 접뿔 (tangent cone) 에 포함되지 않고, 판별식 $D_f$의 영집합에 대해 $y$-축이 횡단적 (transverse) 이며, 매개변수 $b$에 의해 정의된 평면 곡선 특이점 가족 $\Delta_b$가 작은 $b$에서 동특이적인 좌표계를 $\nu$-transverse 라고 정의합니다.
  • 임의의 좌표계는 일반적 (generic) 인 선형 변환을 통해 $\nu$-transverse 좌표계로 만들 수 있음이 증명되었습니다.

• 다중성 수열 (Multiplicity Sequence) $\text{mult}^*(V)$의 정의:

  • $V = f^{-1}(0)$가 $\nu$-transverse 좌표계 $(x, y, z)$에서 정의될 때, $f$의 일반적 코-랭크 1 사영에 대한 **연속적인 판별식 (successive discriminants)**의 다중성을 기반으로 정의됩니다.
  • 구체적으로:
    $$\text{mult}^*(V) = (\text{mult}_0(V), \text{mult}_0(D_f), i_0, \text{mult}_0(D^{i_0}_{D_f}))$$
    • 여기서 $D_f$는 $f$의 판별식, $D^i_g$는 $g$의 $i$-차 일반화 판별식 (generalized discriminant), $i_0 = \text{ind}(D_f)$는 0 이 아닌 첫 번째 일반화 판별식의 인덱스입니다.
  • 이 정의는 판별식이 비축소 (non-reduced) 일 수 있음을 고려하여 일반화 판별식을 사용합니다.

3. 주요 결과 (Main Results)

A. 다중성 수열의 성질

1. 해석적 불변량 (Analytic Invariant): $\text{mult}^*(V)$는 좌표계 선택에 의존하지 않는 국소 불변량입니다 (Proposition 2.3).
2. 상반연속성 (Upper Semicontinuity): 특이점 가족 내에서 $\text{mult}^*(V_t)$는 상반연속적입니다 (Proposition 4.1). 즉, $t \to 0$일 때 $\text{mult}^*(V_t) \le \text{mult}^*(V_0)$가 성립합니다.
3. 고립된 특이점과의 관계: 고립된 특이점의 경우, $\text{mult}^*(V)$는 Teissier 수 $\mu^*$, 이중점 수 $k$, 첨점 수 $\phi$로 표현될 수 있습니다 (Proposition 3.1). 즉, 기존 불변량들의 상수 조건은 $\text{mult}^*$의 상수 조건과 동치입니다.

B. 주 정리 (Theorem 0.2)

$C^3$ 내의 해석적 표면 특이점 가족 $V_t = f_t^{-1}(0)$ ($t \in (C^l, 0)$) 에 대해 다음 세 조건은 서로 동치입니다:

1. $\nu$-transverse 자르스키 동특이성: 일반적 선형 좌표계 변환 후, 가족이 $\nu$-transverse 자르스키 동특이성을 가짐.
2. 자르스키 동특이성: 일반적 좌표계 변환 후, 가족이 자르스키 동특이성을 가짐.
3. 다중성 수열의 일정성: $\text{mult}^*(V_t, 0)$가 $t$에 관계없이 일정함.

이 정리는 고립된 특이점에 대한 기존 결과 (Briançon-Speder, Briançon-Henry) 를 비고립된 경우로 일반화한 것입니다.

C. 부수적 결과 (Corollary 0.3)

한 번의 일반적 선형 좌표계 변환으로 자르스키 동특이성이 성립하면, 임의의 좌표계에서 일반적 선형 변환 후 $\nu$-transverse 자르스키 동특이성이 성립함을 보여줍니다.

4. 증명 개요

• 필요조건: $\nu$-transverse 자르스키 동특이성 가정 하에서, 자르스키 동특이성 가족에서 다중성이 일정하다는 사실 (Remark 1.2) 을 이용하여 $\text{mult}^*(V_t)$가 일정함을 보입니다.
• 충분조건: $\text{mult}^*(V_t)$가 일정하다고 가정합니다.
  1. 일반적 선형 변환을 통해 $t=0$에서 $\nu$-transverse 좌표계를 확보합니다.
  2. 다중성의 상반연속성과 가정 (일정성) 을 이용하여, $t$와 $b$가 작을 때 판별식 $D_f$의 다중성과 횡단성 (transversality) 이 일정함을 보입니다.
  3. 이를 통해 판별식 집합 $\Delta_{t,b}$가 평면 곡선 특이점의 동특이성 가족임을 유도하고, 결국 $V_t$가 자르스키 동특이성을 가짐을 증명합니다.

5. 의의 및 기여

1. 범위의 확장: 고립된 특이점에 국한되었던 자르스키 동특이성 이론을 비고립된 특이점까지 확장했습니다.
2. 단일 불변량의 도입: 기존에는 Teissier 수, 이중점 수, 첨점 수 등 여러 개의 불변량을 따로따로 확인해야 했지만, 단 하나의 불변량인 $\text{mult}^*(V)$로 자르스키 동특이성을 완전히 판별할 수 있음을 보였습니다.
3. 이론적 통합: Briançon 과 Henry 의 복잡한 대수적 공식 ($k, \phi$에 대한 식) 을 일반화 판별식의 다중성이라는 더 기하학적이고 통일된 프레임워크로 통합했습니다.
4. 응용 가능성: 이 결과는 Neumann 과 Pichon 의 극성 쐐기 (polar wedges) 매개변수화 및 기타 특이점 이론 연구에 중요한 기초를 제공합니다.

요약

이 논문은 $C^3$ 내 표면 특이점의 자르스키 동특이성을 판별하는 강력한 도구로 **다중성 수열 (multiplicity sequence)**을 도입했습니다. 이 불변량은 고립 및 비고립 특이점을 아우르며, 그 일정성이 자르스키 동특이성의 필요충분조건임을 증명함으로써 해당 분야의 이론적 체계를 정립했습니다.