A lower bound for the Milnor number of vector fields

기술 요약: 벡터장의 밀노 수(Milnor Number)에 대한 하한

문제 정의
본 논문은 특이 집합 $\text{Sing}(X)$가 코디멘션 $d \geq 2$인 매끄러운 양 차원 국소 완전 교차 부분 다양체 $W$를 포함하는 $\mathbb{C}^n$ 상의 홀로모픽 벡터장 $X$의 거동을 다룬다. 고립된 특이점의 경우(특히 $\mathcal{K}$-동치성과 유한 결정성을 다룬 Soares의 연구를 통해) 이론이 잘 확립되어 있으나, 비고립 특이 집합의 경우는 구별되는 난제들을 제시한다. 홀로모픽 변형 $\{X_t\}$ 하에서, 고립된 특이점들은 $W$로부터 생성되거나, 고정된 근방에 머물거나, 혹은 파라미터 $t \to 0$일 때 $W$로 수렴할 수 있다. 또한, 사영 압축(projective compactification) 시, 전체 지수(total index)의 일부가 무한대 하이퍼플레인(hyperplane at infinity)으로 집중될 수 있다.

핵심 질문은 임의의 가당한 홀로모픽 섭동 하에서 $W$로 수렴하는 고립된 특이점들의 총 밀노 수(또는 푸앵카레-호프 지수)에 대해 균등한 하한이 존재하는가 하는 점이다. 즉, 모든 유한 특이 집합을 갖는 변형 $\{X_t\}$에 대하여, $W$로 수렴하는 점들의 밀노 수의 합의 극한이 $\mu(X_t, W) \geq \mu_0(X, W)$를 만족하는 양 $\mu_0(X, W)$가 존재하는가?

방법론
저자들은 변형 이론, 교차 이론, 그리고 홀로모픽 포리에이션(foliation) 연구의 조합을 활용한다.

1. 변형 및 섭동: 연구는 "임베디드 특이점(embedded singular points)"에 초점을 맞춘다. 이는 $W$로 수렴하는 충분히 작은 가당한 변형에 의해 생성된 고립된 특이점으로 정의된다. 이는 Bracci와 Suwa가 개발한 Baum–Bott 잔여물(residue)의 변형 이론과 궤를 같이한다.
2. $\mathcal{K}$-동치성과 결정성: 본 논문은 Mather의 $\mathcal{K}$-결정성 이론을 활용한다. 고립된 특이점의 경우, 유한 결정성은 유한 제트(finite jet)로의 축소를 허용한다. 양 차원 성분의 경우, 저자들은 $W$를 정의하는 사상의 등차원 슬라이스(equidimensional slices)를 분석함으로써 파라미터 의존적 $\mathcal{K}(d)$-동치성을 통해 이를 확장한다.
3. 사영 압축 및 블로잉 업(Blow-ups): $W$를 따라 $\mathbb{P}^n$을 블로잉 업하여 예외적 디바이저(exceptional divisor)를 따른 포리에이션의 거동을 연구한다. 디리컬(dicritical) 성분과 비디리컬(non-dicritical) 성분의 개념은 예외적 디바이저를 따른 소멸 차수(order of vanishing)를 결정하는 데 매우 중요하다.
4. 다항식 근사: 정리 3.1은 매끄러운 완전 교차 특이 집합을 갖는 임의의 홀로모픽 포리에이션이 다항식 포리에이션에 의해 근사될 수 있음을 확립하며, 이를 통해 지수의 극한 거동을 연구하기 위한 대수적 기법의 사용을 가능하게 한다.
5. 그레이디언트 필드: 저자들은 벡터장 결과를 그레이디언트 필 $\nabla f$에 적용하여, 벡터장의 밀노 수를 함수의 임계점에서의 밀노 수와 연결한다.

주요 기여 및 결과

• 정확한 전역 공식 (정리 1.2): 저자들은 매끄러운 비디리컬 완전 교차 성분 $W_j$들과 고립된 점들로 구성된 $\mathbb{P}^n$ ($n \geq 3$) 상의 홀로모픽 포리에이션의 밀노 수에 대한 정확한 전역 공식을 제공한다. 이 공식은 고립된 점들에서의 지수의 합을 잔여 항 $\nu(\mathcal{F}, W_j, \varphi_0)$와 임베디드 점의 개수 $N(\mathcal{F}, A_{W_j})$와 연관시킨다:
  $$\sum \mu(\mathcal{F}, p_i) = \sum k^i + \sum \nu(\mathcal{F}, W_j, \varphi_0) - \sum N(\mathcal{F}, A_{W_j})$$
  이는 양 차원 성분에 의해 지지되는 기여분을 식별한다.

• 날카로운 국소 하한 (정리 1.3): 본 논문의 주요 결과는 $W$로 수렴하는 특이점들의 밀노 수에 대한 국소적 하한이다. $W \subset \text{Sing}(\mathcal{F})$인 매끄러운 완전 교차를 갖는 $\mathbb{C}^n$ 상의 홀로모픽 포리에이션 짐(germ) $\mathcal{F}$에 대하여, 다음을 증명한다:
  $$\mu(\mathcal{F}_t, W) \geq N(\mathcal{F}, A_W)$$
  여기서 $N(\mathcal{F}, A_W)$는 섭동적 의미에서 $W$와 관련된 임베디드 폐점(closed points)의 개수(중복도 포함)이다. 이 하한은 날카롭다(sharp). 저자들은 "전적으로 단순한(totally simple)" 포리에이션(야코비 행렬이 $W$를 따라 소멸하지 않는 자코비안 행열을 갖는 경우)의 경우, 밀노 수의 합의 극한이 정확히 0이 되는 섭동이 존재함을 보여준다.

• 그레이디언트 필에 대한 적용 (따름정리 1.4): 벡터장 결과를 그레이디언트 필 $\nabla f$에 적용하여, 매끄러운 양 차원 임계 성분 $W$ 근처에서 발생하는 고립된 임계점들의 총 밀노수에 대한 하한을 도출한다. 모르스화(morsification, 변형이 비퇴화 임계점을 생성하는 경우)의 경우, 이는 $W$로 수렴하는 모르스 임계점의 개수에 대한 하한이 된다.

• 명시적 가족 및 날카로움 (섹션 4): 저자들은 하한의 날카로움을 입증하기 위해 명시적인 벡터장 가족을 구성한다. 이러한 예시들은 다음을 보여준다:

  • 고정된 아핀 근방과 무한대 하이플레인 사이의 특이점 재분배.
  • (초월적 계수의 다항식 절단을 통해) 무한대에서의 기여분이 임의로 커질 수 있는 경우(이로 인해 일반적인 클래스에서 무한대에서의 기여분에 대한 균등한 상한은 존재하지 않음을 보여줌).
  • 하한이 달성되는 시나리오(예: "전적으로 단순한" 경우에서 섭동이 $W$ 근처의 특이점을 완전히 제거하는 경우).

의의 및 주장
본 논문은 양 차원 성분으로 수렴하는 특이점의 밀노 수에 대한 하한이 존재하는가라는 질문을 해결했다고 주장한다. 저자들은 "임베디드 기여분"(임베디드 점의 개수 $N(\mathcal{F}, A_W)$)이 이 날카로운 하한 역할을 한다는 것을 확립한다.

저자들은 자신의 연구를 Lê cycle, Lê number, 그리고 polar multiplicity(Teissier, Gaffney)를 포함하는 기존 이론들과 보완적인 관계로 위치시킨다. 해당 이론들이 Chern-이론적 불변량을 통해 임계 궤적의 분리를 설명한다면, 본 논문은 임베디드 기여분에 의해 결정되는 특정 하한을 분리해 낸다. 본 연구는 변형 하에서의 특이점 거동을 명확히 하며, 성분이 $W$ 근처에 머무는 것과 무한대로 이동하는 것을 구분하고, 사영적 환경에서의 총 지수에 대한 정밀한 공식을 제공한다. 이 작업은 고립된 특이점의 고전적 이론(Soares, Esteves, Vainsencher)을 비고립 사례로 확장하여, 양 차원 특이 집합이 존재하는 상황에서 밀노 수를 계산하기 위한 통합된 프레임워크를 제공한다.