A Lê number addendum to the Morse Splitting Lemma

기술 요약: 모스 분할 보조정리에 대한 레 수(Lê Number) 부가 정리

문제 제기
본 논문은 복소 해석적 모스 분할 보조정리(Morse Splitting Lemma)와 복소 해석 함수 $f: (U, 0) \to (\mathbb{C}, 0)$ (여기서 $U \subset \mathbb{C}^{n+1}$)의 일반적 레 수(generic Lê numbers, $\lambda^*_f$) 사이의 관계를 조사한다. 모스 분할 보조정리가 헤시안 행렬(Hessian matrix)의 계수에 기초하여 특이점 근처에서의 함수의 국소적 구조를 기술하는 반면, 본 연구는 이러한 구조적 분해가 일반적 레 수($\lambda^*_f$)에 어떻게 영향을 미치는지 결정하고자 한다. 특히 저자는 임계 집합(critical locus) $\Sigma_f$가 고립되지 않은 경우 레 수가 어떻게 거동하는지 다루며, 0차원 일반적 레 수($\lambda^0_f(0)$)가 작거나(3 이하) 임계 집합의 차원이 1인 함수들을 특징짓는 것을 목표로 한다.

방법론
본 논문은 복소 해석 기하학 및 층 이론(sheaf theory), 구체적으로는 소멸 순환(vanishing cycles)과 퍼버스 층(perverse sheaves)의 이론을 활용한다.

1. 좌표 선택: 분석은 "수치적으로 일반적인(numerically generic)" 좌표의 개념에 의존한다. 이는 점 $p \러 \Sigma_f$에서 레 수의 튜플이 사전식 순서(lexicographical ordering)에 따라 최소값을 갖게 되는 선형 좌표 선택을 의미한다. 저자는 일반적인 좌표계는 존재하지만, 하나의 좌표계가 이웃의 모든 점에 대해 수치적으로 일반적일 수는 없음을 명확히 하며, 초점은 엄격하게 관심 지점(원점)에 맞추어져 있다.
2. 위상적 증명: 대수적 유도 대신, 본 방법론의 핵심은 주요 보조정리에 대한 위상적 증명이다. 이 증명은 유도 범주(derived category) 내에서의 세바스티아니-톰 동형 사상(Sebastiani-Thom Isomorphism)을 활용한다. 이는 함수 $f$의 반복된 인접 순환(nearby cycles) 및 소멸 순환의 스톡 코호몰로지(stalk cohomology)를 좌표 변환 후의 축소된 함수 $g$의 것과 연결한다.
3. 교차 이론(Intersection Theory): 특정 사례( $\lambda^0_f(0) \leq 3$ 인 경우)를 분석할 때, 본 논문은 상대 극 곡선(relative polar curve) $\Gamma^1_f$와 편도함수 $\partial f / \partial z_0$로 정의되는 초곡면(hypersurface)을 포함하는 교차 이론을 사용한다.

주요 기여 및 결과

• 주요 정리 (정리 1.1): 본 논문은 모스 분할 보조정리에 대한 "레 수 부가 정리"를 확립한다. 만약 원점에서의 $f$의 헤시안 행렬의 계수가 $m \leq n$이라면, 다음과 같이 분해되는 해석적 좌표 변환 $\eta$가 존재함을 증명한다:
  $$(f \circ \eta)(w_1, \dots, w_m, u_1, \dots, u_{n-m}) = w_1^2 + \dots + w_m^2 + g(u_0, \dots, u_{n-m})$$
  결정적으로, $f$의 일반적 레 수는 잔여 함수 $g$의 일반적 레 수와 동일하다. 또한, 임계 집합은 $\Sigma(f \circ \eta) = \{0\} \times \Sigma_g$를 만족하며, 원점에서의 $g$의 다중도는 최소 3이다.

• 레 수에 대한 분할 보조정리의 증명 (보조정리 1.2): 저자는 $f(w, y) = w^2 + g(y)$ 형태의 함수에 대하여, 임계 집합은 $\{0\} \times \Sigma_g$이며 $f$와 $g$의 원점에서의 일반적 레 수가 같음을 증명한다. 이는 세바스티아니-톰 동형 사상을 통해 관련 퍼버스 층들이 각각의 임계 집합으로 제한되었을 때의 동형성을 보여줌으로써 입증된다.

• 작은 $\lambda^0_f(0)$에 대한 분류 (섹션 3):

  • $\lambda^0_f(0) = 0$인 경우: 이는 밀노 파이버(Milnor fiber)가 슬라이스(slice)의 밀노 파이버와 복소 디스크의 곱이거나, 상대 극 곡선이 비어 있음을 의미한다.
  • $\lambda^0_f(0) = 1$인 경우: 저자는 $\lambda^0_f(0) = 1$이면 임계 집합은 반드시 0차원($s=0$)이어야 하며, $f$는 밀노 수(Milnor number)가 1인 비퇴화 고립 임계점을 가짐을 증명한다. 이는 임계 집합의 차원이 1일 때 $\lambda^0_f(0)$가 1이 될 수 있는지에 대한 기존의 불확실성을 해결한다.
  • **$\lambda^0_f(0) = 2$ 또는 $3$인 경우:** 본 논문은 이러한 경우들에 대한 구조적 분해를 제공하며, 잔여 함수$g$의 가능한 다중도와 특이점의 복소 링크(complex link)의 호모토피 유형을 결정한다.

• 1차원 임계 집합 (섹션 4):

  • 본 논문은 1차원 임계 집합에 대해 레 수가 정의되는 조건(좌표 $z_0$가 "prepolar"이어야 함)을 특징짓는다.
  • $\dim \Sigma_f = 1$인 경우, 1차원 레 사이클은 좌표에 독립적이지만, 0차원 레 수는 좌표 선택에 의존함을 확립한다.
  • 명제 4.1은 1차원 경우에 좌표가 수치적으로 일반적이기 위한 필요충분조건을 제공한다.
  • 예시 4.2는 좌표가 prepolar(레 수를 정의함)이면서도 수치적으로 일반적이지 않을 수 있음을 보여줌으로써, $\lambda^0_{f,u}(0) = 1$ (비일반적)인 경우와 $\lambda^0_{f,v}(0) = 0$ (일반적)인 경우를 대조하여 보여준다.

의의 및 주장
본 논문은 기존 문헌에 대한 겸손하면서도 정밀한 보충 자료로서 자신을 위치시킨다. 저자는 주요 결과가 "모스 분할 보조정리에 대한 레 수 부가 정리"임을 명시적으로 밝힌다. 그 의의는 다음과 같다:

1. 구조와 불변량의 연결: 특이점의 대수적 분해(모스 분할)와 위상적 불변량(레 수)을 엄밀하게 연결하여, 분해가 잔여 함수에서 이러한 불변량을 보존함을 증명한다.
2. 일반성(Genericity)의 명확화: 계산에 필요한 "수치적으로 일반적인" 값과 일반적인 좌표의 존재 사이의 구분을 명확히 하며, 특히 1차원 임계 집합의 맥락에서 이를 설명한다.
3. 특정 사례의 해결: 1차원 임계 집합이 일반적 $\lambda^0_f(0) = 1$을 가질 수 있다는 가능성을 부정함으로써, 해당 분야의 기존 미결 문제를 바로잡는다.

본 연구는 새로운 응용이나 미래의 실험적 방향을 제안하기보다는, 비고립 특이점의 맥락에서 레 수를 계산하고 해석하기 위한 이론적 틀을 공고히 하는 데 중점을 둔다.