[논문 리뷰] On the multiplicities of families of complex hypersurface-germs

Camille Plénat, David Trotman|arXiv (Cornell University)|2012. 02. 23.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 3

한 줄 요약

이 논문은 복소 초곡면 기저의 $μ$-일정 가중가족의 등승중성에 대해 조사하며, 정의 함수의 접선 콘에 대한 특정 기하 조건이 성립할 경우 다중도가 일정하게 유지됨을 증명한다. Lê-Saito-Teissier 기준을 활용하여, $f$의 접선 콘의 특이점 집합이 $h$의 접선 콘에 포함되지 않으면, 가중가족 $f + tg + t^2h$는 등승중성이며, 이는 Zariski의 다중도의 위상적 불변성 문제에 대한 핵심 케이스를 해결한다.

ABSTRACT

We show that the possible drop in multiplicity in an analytic family $F(z,t)$ of complex analytic hypersurface singularities with constant Milnor number is controlled by the powers of $t$. We prove equimultiplicity of $μ$-constant families of the form $f + tg + t^2h$ if the singular set of the tangent cone of $\{f = 0}$ is not contained in the tangent cone of $\{h = 0}$.

연구 동기 및 목표

• 복소 초곡면 기저의 $μ$-일정 가중가족이 등승중성인지 여부를 조사하여, 특이점 이론에서 중심적인 열린 문제를 다루는 것.
• Teissier의 추측, 즉 $μ$-일정성이 등승중성임을 의미하는 바가, Zariski의 다중도의 위상적 불변성 문제를 해결하는 데 기여하는지 테스트하는 것.
• 가중가정의 초기 형식의 접선 콘에 대한 기하 조건을 특정하여 등승중성을 보장하는 조건을 규명하는 것.
• 이전의 윌슨 또는 $(C)$-정규성 하에서의 등승중성 결과를 더 넓은 범위의 $μ$-일정 가중가정으로 확장하는 것.

제안 방법

• Lê-Saito-Teissier 기준을 적용: $μ$-일정성은 $(z,t) \to (0,0)$일 때 $|F_t| / ||F_z|| \to 0$과 동치이며, 여기서 $F_t = \partial F/\partial t$ 이고 $F_z = (\partial F/\partial z_1, \dots, \partial F/\partial z_n)$이다.
• 분석적 곡선 $\gamma(u) = (uz_0, ut_0)$ 沿해 $F_t$ 및 $F_z$의 영차수를 분석하여 기준 위반 여부를 탐지하는 것.
• 초기 형식 $f_m$과 $h_m$을 사용하여 접선 콘을 정의하고, $f_m=0$의 특이점 집합 $\Sigma(f_m)$을 연구하는 것.
• $\Sigma(f_m) \not\subset \{h_m = 0\}$ 조건을 도입하여 $F_z$의 영차수 유지가 충분히 높아지도록 보장하는 것.
• 순서 이론적 추론을 활용: $V(F_t) = \min_k \{ (k-1) + v(g_k) \}$ 및 $V(F_z) = \min\{m-1, V(F_t)\}$, 여기서 $v(g_k)$는 곡선에 沿한 $g_k$의 순서이다.
• 모순을 통한 귀납: $m(h) = m-1$일 때 Lê-Saito-Teissier 기준이 위반됨을 보여 $m(h) \geq m$임을 증명하는 것.

실험 결과

연구 질문

• RQ1 가중가정 $F(z,t) = f(z) + tg(z) + t^2h(z)$의 다중도가 작은 $t$에 대해 일정하기 위한 $f$와 $h$의 접선 콘에 대한 조건은 무엇인가?
• RQ2 $\Sigma(f_m) \subset \{h_m = 0\}$가 실패할 경우, $μ$-일정 가중가정에서 등승중성이 보장되는가?
• RQ3 만약 $m(h) = m-1$일 경우, Lê-Saito-Teissier 기준을 사용하여 다중도의 점프를 배제할 수 있는가?
• RQ4 만약 $f$가 고립된 접선 콘 특이점을 가진다면, $f + tg + t^2h$ 형식의 $μ$-일정 가중가정에서 등승중성이 보장되는가?
• RQ5 접선 콘의 특이점 집합이 $h$에 대해 비퇴화적이라면, $m(h) \geq m$이 강제되는가?

주요 결과

• 만약 $\{f=0\}$의 접선 콘의 특이점 집합이 $\{h=0\}$의 접선 콘에 포함되지 않으면, $m(h) \geq m$이며, 작은 $t$에 대해 $F(\cdot,t)$의 다중도는 일정하다.
• 가중가정 $F(z,t) = f(z) + tg(z) + t^2h(z)$가 $μ$-일정일 경우, $m(h) = m-1$이면 Lê-Saito-Teissier 기준이 위반되어 모순이 발생한다.
• 분석적 일반 곡선과 $F_t$, $F_z$의 영차수를 분석함으로써 $g$의 다중도는 $m(g) \geq m = m(f)$를 만족함을 보였다.
• 이 결과는 고차수 가중가정으로 확장 가능: $\Sigma(f_m) \not\subset \{g_k = 0\}$이면, $μ$-일정 가중가정에서 $m(g_k) \geq m - k + 2$이다.
• $\Sigma(f_m) \not\subset \{h_m = 0\}$ 조건은 $t$의 저차항이 $F_z$의 영차수를 붕괴시키지 않음을 보장하여 기준을 유지한다.
• 증명은 $t$의 거듭제곱이 분리되어 있어 일반 곡선에서 상쇄가 발생하지 않도록 하여, 순서 추정을 유지하는 데 의존한다.