On Milnor and Tjurina numbers of Pairs of Holomorphic Functions Germs

기술 요약: 홀로모픽 함수 germ 쌍의 밀노르 수와 튜리나 수

문제 정의
고립 특이점을 갖는 홀로모픽 함수 germ에 대한 수치적 불변량 연구는 특이점 이론의 중심 주제이며, 주로 밀노르 수 $\mu(f)$와 튜리나 수 $\tau(f)$에 초점을 맞춘다. 그러나 메로모르픽 함수 germ $f/g$에 결합된 수치적 불변량은 상대적으로 덜 주목받아 왔다. 최근 A. Szawlowski는 쌍 $(f, g)$의 밀노르 수 $\mu(f, g)$를 도입하였으며, 이는 메로모르픽 함수 $f/g$의 밀노르 수로 해석될 수 있다. 이 불변량은 1-form $\omega_{f/g} = gdf - fdg$에 의해 정의되는 특이 홀로모픽 포리에이션(foliation) $\mathcal{F}_{\omega_{f/g}}$로부터 유도된다.

본 논문에서 다루는 주요 문제는 함수의 쌍에 대응하는 튜리나 수가 부재하다는 점이다. $\mu(f, g)$는 확립되어 있는 반면, 메로모르픽 germ 및 그와 관련된 곡선의 펜슬(pencil)에 대한 완전한 해석적 불변량 체계를 제공하기 위해서는 쌍에 대한 튜리나 수 $\tau(f, g)$의 정의와 특징 규명이 필요하다.

방법론
저자들은 단일 홀로모픽 포리에이션 이론을 사용하여 이러한 불변량들을 정의하고 분석한다. 핵심 방법론은 다음과 같다:

1. 포리에이션 연관: 쌍 $(f, g)$를 곡선의 펜슬 $\mathcal{P}_{f,g} = \{ \alpha f + \beta g = 0 \}$에 의해 생성되는 포리에이션 $\mathcal{F}_{\omega_{f/g}}$와 연관시킨다.
2. 상대적 튜리나 수: 불변 reduced curve $C$에 대한 포리에이션 $\mathcal{F}$의 튜리한 튜리나 수 $\tau(\mathcal{F}, C) = \dim_{\mathbb{C}} \mathcal{O}_2 / (P, Q, h)$ 개념을 활용한다 (여기서 $\omega = Pdx + Qdy$이고 $C = \{h=0\}$이다).
3. 세파라트릭스(Separatrices)의 균형 분산(Balanced Divisors): $\mathcal{F}_{\omega_{f/g}}$에 대한 균형 분산의 이론(Genzmer가 도입)을 적용한다. 이 분산들은 분기 파이버(bifurcation fibers, 펜슬의 특이 멤버들)와 일반적인 파이버들을 사용하여 구성된다.
4. 해석적 불변성: 제안된 불변량들이 균형 분산의 특정 선택에 독립적임을 증명하여, 이들이 잘 정의된 해석적 불변량임을 확립한다.
5. 교차 이론 및 공식: 쌍의 불변량을 교차 다중도 $I_0(f, g)$, 개별 파이버의 튜리나 수, 그리고 GSV-지수(Gómez-Mont, Seade, Verjovsky)와 관련시켜 명시적인 공식을 유도한다.

주요 기여 및 결과

• $\tau(f, g)$의 정의: 본 논문은 곡선 $fg=0$에 적응된 임의의 원시 균형 세파라트릭스 분산에 대한 포리에이션$\mathcal{F}{\omega{f/g}}$의 튜리나 수로서$\tau(f, g)$를 정의한다. 저자들은 이 정의가 균형 분산의 선택에 무관함을 증명한다.

• 명시적 공식:

  • 파이버별 관계: 펜슬의 특정 파이버 $C_{[\alpha:\beta]}$에 대하여, $\tau_{[\alpha:\beta]}(f, g) = I_0(f, g) + \tau(C_{[\alpha:\beta]})$임을 확립한다.
  • 일반 공식: $\tau(f, g)$에 대한 명시적 공식이 0과 무한대 분산의 튜리나 수, 분기 세파라트릭스의 수 $r$, 그리고 교차 다중도 $I_0(f, g)$를 사용하여 유도된다. 구체적으로, $\tau(f, g) = \tau(B_0) - \tau(B_\infty) + r(r-2)I_0(f, g)$이다.
  • 분기 공식: $\mu(f, g)$에 대해 알려진 공식과 유사한 $\tau(f, g)$의 분기 공식을 확립한다:
    $$\tau(f, g) = \tau(fg) + \sum_{j=1}^r (\tau(h_j) - \tau_{\text{gen}}) + r^2 I_0(f, g) + \Theta_{B_0} + \Theta_{h_1 \dots h_r} - \Theta_{B_\infty}$$
    여기서 $h_j$는 분기 파이버이고 $\tau_{\text{gen}}$은 일반적인 튜리나 수이다.

• 위상적 vs 해석적 성질: 본 논문은 쌍의 일반적인 밀노르 수는 위상적 불변량인 반면, 쌍의 일반적인 튜리나 수는 위상적 불변량이 아님을 보여준다. 이는 위상적으로 동등한 쌍들이 서로 다른 일반적 튜리나 수를 갖는 예시를 통해 입증된다.

• 세미테임(Semitame) Germ의 특징 규명: 저자들은 세미테임 메로모르픽 함수 germ(유일한 분기 파이버가 $f$와 $g$인 경우)에 대한 새로운 특징을 제공한다. 쌍 $(f, g)$가 세미테임할 조건은 $\tau(f, g) = \tau(fg)$인 것과 동치이다. 이 조건은 $\mu(f, g) = \mu(fg)$와 동치임이 밝혀졌다.

• 쌍에 대한 테이시에(Teissier)의 보조정리: 쌍에 대한 테이시에의 보조정리 버전을 확립하여, 균형 분산에 대한 쌍의 극 교차수(polar intersection number)와 쌍의 밀노르 수를 다음과 같이 연결한다:
  $$i_0((f, g), B) = \mu(f, g) + \nu(f) + \nu(g) - 1$$
  여기서 $\nu$는 대수적 다중도를 나타낸다.

• 상한 및 응용:

  • $\mu(f, g)$의 상한이 유도된다: $\mu(f, g) \leq 2\tau(fgh_1 \dots h_r) - 2r(r+2)I_0(f, g)$.
  • 결과들은 $\mathbb{P}^2$에서의 일반적인 대수적 곡선의 일반적인 펜슬에 적용된다. 본 논문은 일반적인 펜슬 내 특이 멤버들의 전역 밀노르 수의 합에 관한 Dimca의 공식에 대한 대안적인 증명을 제공하며, $\sum \mu(C^s_j) = 3(k-1)^2$임을 보여준다.
  • 전역 튜리나 수의 합에 대응하는 부등식이 유도된다: $\frac{9}{4}(k-1)^2 < \sum \tau(C^s_j) \leq 3(k-1)^2$이며, 상한에서의 등호는 모든 특이점이 준동차(quasi-homogeneous)일 때만 성립한다.

의의
본 논문은 단일 홀로모픽 함수에서 쌍(메로모르픽 germ)으로 싱귤래리티티 이론을 확장함으로써 의의를 갖는다. $\tau(f, g)$를 도입함으로써 저자들은 곡선의 펜슬 맥락에서 밀노르 수와 튜리나 수 사이의 평행 구조를 완성한다. 이 연구는 이러한 불변량들을 위한 명시적인 계산 도구(공식)를 제공하며, 이들의 위상적 및 해석적 성질을 명확히 한다. 특히, 튜리나 수를 통한 세미테임 germ의 특징 규명은 메로모르픽 함수의 구조에 대한 새로운 관점을 제공한다. 나아가, 일반적인 대수적 곡선의 펜슬에 대한 응용은 국소 특이점 이론을 전역 기하학적 성질과 연결하며, Dimca의 기존 결과에 대한 대안적 증명을 제공하고 튜리나 수에 대한 새로운 경계치를 설정한다.