[논문 리뷰] Jacobian Newton Polyhedra and equisingularity

Bernard Teissier|arXiv (Cornell University)|2012. 03. 26.

Advanced Numerical Analysis Techniques참고 문헌 1인용 수 6

한 줄 요약

이 논문은 복소 초곡면 특이점에 대한 새로운 불변량으로 제임보비안 뉴턴 다각형 $\nu_j([X_0])$를 도입한다. 이는 함수 $f$와 일반 선형 함수로 정의된 사상에서의 판별자 집합의 뉴턴 다각형에서 유도된다. 논문은 $\nu_j([X_0])$가 등위상적 변형 하에서도 일정함을 증명하여, 일반 $i$-평면 절단의 총 위상형태를 잘 포착하는 강력한 불변량임을 보여준다.

ABSTRACT

This is the LaTeX version of the handwritten notes of a lecture at the Kyoto Singularities Symposium held at the RIMS in April 1978. It presents the relationship of various invariants of isolated singularities of complex analytic hypersurfaces with the jacobian Newton polygon built from the polar curves. An appendix presents features of the semiring of Newton polygons, because the product of Jacobian Newton polygons corresponds to the Thom-Sebastiani sum of hypersurfaces. Analogies between mixed multiplicities and mixed volumes are noticed. They have been explained since.

연구 동기 및 목표

• 등위상적 변형 하에서도 보존되는 복소 초곡면 특이점의 불변량을 정의하는 것.
• 뉴턴 다각형을 사용하여 고전적 밀너 수 $\mu$를 더 정교한 불변량으로 확장하는 것.
• 다양한 기하 불변량—예를 들어, 계수와 교차수—을 하나의 모노이드 값 불변량으로 통합하는 것.
• $\nu_j([X_0])$가 초곡면의 일반 $i$-평면 절단의 총 위상형태를 포착함을 확립하는 것.
• 제임보비안 아이디얼을 통해 뉴턴 다각형, 판별자, 등위상성 간의 기하적 프레임워크를 수립하는 것.

제안 방법

• 일반 선형 함수 $g_i$를 포함한 사상 $p: (\mathbb{C}^n,0) \to (\mathbb{C}^{k+1},0)$에 의해 정의된 $t = f$, $u_i = g_i$ 사상의 판별자 $D \subset \mathbb{C}^{k+1}$를 정의한다.
• $D$의 뉴턴 다각형 $N(D)$를 좌표 $(t, u_1, \dots, u_k)$에서 구성한다.
• $k=1$인 경우, $\nu_j([X_0])$를 분수 $\frac{e_q}{m_q}$의 합으로 표현하며, 여기서 $e_q$는 교차 중복도이고 $m_q$는 임계 곡선 $\partial f / \partial z_2 = \cdots = \partial f / \partial z_n = 0$의 기약 성분의 중복도이다.
• $\nu_j([X_0]) = \nu_{j(f)}(\mathfrak{m})$임을 보이며, 여기서 $j(f)$는 제임보비안 아이디얼이고 $\mathfrak{m}$은 최대 아이디얼이다.
• 뉴턴 다각형의 모노이드 구조를 이용하여 $\nu_j([X_0])$를 좌표 선택에 독립적인 기하 불변량으로 해석한다.
• 일반 $i$-평면 절단의 총 위상형태가 유지될 때 그 일정성을 증명함으로써, $\nu_j([X_0])$가 등위상적 변형 하에서도 불변임을 확립한다.

실험 결과

연구 질문

• RQ1 밀너 수 $\mu$는 고차원에서의 등위상성까지 포괄하는 더 정교한 불변량으로 일반화될 수 있는가?
• RQ2 사상 $p: (\mathbb{C}^n,0) \to (\mathbb{C}^{k+1},0)$의 판별자 뉴턴 다각형은 초곡면의 기하 불변량을 어떻게 캐릭터라이즈하는가?
• RQ3 $\nu_j([X_0])$는 초곡면의 등위상적 변형 하에서도 불변인가?
• RQ4 $\nu_j([X_0])$와 일반 $i$-평면 절단의 밀너 수 시퀀스 $\mu^{(i)}$ 사이의 관계는 무엇인가?
• RQ5 뉴턴 다각형의 모노이드는 계수, 혼합 계수, 아이디얼의 적분 폐쇄와 같은 불변량들을 통합하는 데 사용될 수 있는가?

주요 결과

• $\nu_j([X_0])$는 $t = f$, $u = z_1$로 주어진 사상 $p: (\mathbb{C}^n,0) \to (\mathbb{C}^2,0)$의 판별자의 뉴턴 다각형으로 정의되며, $\sum \frac{e_q}{m_q}$로 주어진다. 여기서 $e_q$는 교차 중복도이고 $m_q$는 임계 곡선의 $q$번째 성분의 중복도이다.
• $\nu_j([X_0])$는 일반 선형 함수 $z_1$의 선택에 영향을 받지 않으며, $\nu_{j(f)}(\mathfrak{m})$와 일치함으로써 그 내재적 성격을 보여준다.
• $\nu_j([X_0])$는 일반 $i$-평면 절단의 총 위상형태가 유지되는 변형 가족에서 일정하다.
• $\nu_j([X_0])$의 일정성은 모든 일반 $i$-평면 절단의 위상형태를 유지하는 변형에서 불변량으로서 잘 정의됨을 의미한다.
• 총 위상형태의 일정성 조건은 시퀀스 $\mu^*(X_s) = (\mu^{(n)}, \dots, \mu^{(0)})$의 일정성과 동치이며, 이는 $\nu_j([X_s])$의 일정성을 암시한다.
• 이 구성은 교차 이론과 아이디얼 이론을 통해 뉴턴 다각형의 모노이드의 기하적 해석을 제공하며, 혼합 계수와 적분 폐쇄와 연결된다.