정규 표면 특이점에서 판별곡선의 초기 뉴턴 곡선에 대한 유도시안 연구

초록

정규 복소 표면 특이점 위의 유한 사상 (f,g) 에 대해, 판별곡선의 초기 뉴턴 다항식이 정의하는 곡선은 f 와 g 가 정의하는 효과적 분기들의 결합만을 반영하고, 토릭 자동변환 이하에서 불변임을 보인다. 이는 기존의 매끄러운 경우 결과를 일반화한 것이며, 뉴턴 다각형·밀너 수·델가도‑모그렌드 정리를 핵심 도구로 활용한다.

상세 분석

본 논문은 정상 복소 표면 특이점 (S,s) 위의 유한 사상 ϕ=(f,g) 에 대해, 판별 divisor Δ_ϕ 의 초기 뉴턴 다항식이 정의하는 affine 곡선이 f 와 g 가 만든 효과적 분기 Z(f), Z(g) 의 자료만을 의존하고, C²의 토릭 자동변환(즉, (u,v)↦(u^a v^b, u^c v^d) 형태의 GL(2,ℤ) 변환) 이하에서 완전히 불변임을 증명한다. 이는 Gryszka‑Gwoździewicz‑Parusiński가 매끄러운 원천 (S,s) = (ℂ²,0) 인 경우에 얻은 정리를 정상 특이점으로 확대한 결과이다.

핵심 아이디어는 세 가지 정리의 조합에 있다.

1. Theorem B는 Lê, Casas‑Alvero, Némethi의 교차수식들을 일반화하여, 정상 특이점 사이의 유한 사상 ϕ:(S,s)→(T,t) 에 대해, 임의의 주어진 함수 F 에 대해
   Δ_ϕ·Z(F) = (μ(ϕ⁎F)−1) − deg(ϕ)·(μ(F)−1)
   라는 관계를 얻는다. 여기서 μ 는 Milnor 수이며, 교차수는 효과적 분기와 주어진 principal divisor 사이의 정의된 정규화된 교차수를 사용한다. 이 식은 기존의 Lê‑Lemma와 Casas‑Alvero 식을 동시에 포함한다.

2. Delgado‑Maugendre 정리(Theorem 3.6)는 ϕ가 생성하는 펜실 P_ϕ⊂ℂP¹ 의 “특수 멤버”를 두 가지 정의(선형 결합 βf−αg 의 비축소성 및 판별곡선에 대한 접선 조건) 사이의 동치성을 제공한다. 이를 통해 (f^b, g^a) 형태의 모든 쌍에 대해 동일한 특수 멤버 구조를 조사할 수 있다.

3. Eudoxian 전략은 고대 수학자 Eudoxus가 비례를 정의할 때 모든 정수배 (bM₁, aM₂) 를 비교한 방식을 차용한다. 여기서는 (f,g) 쌍을 (f^b, g^a) 모든 양의 정수 (a,b) 에 대해 동시에 고려함으로써, 초기 뉴턴 곡선이 (a,b) 에 무관하게 동일함을 보인다. 이 과정에서 뉴턴 다각형의 “tropical function”을 교차수와 Milnor 수를 통해 명시적으로 계산한다(Prop. 7.13, 8.3).

결과적으로 Theorem C는 Δ_ϕ의 뉴턴 다각형이 (S, Z(f), Z(g)) 의 조합적 타입에만 의존함을 보여준다. 이는 Michel의 위상학적 접근과는 달리, 교차수·Milnor 수·좋은 해석적 해석을 통한 전산적 방법을 사용한다. 마지막으로 Theorem A는 초기 뉴턴 곡선이 (Z(f), Z(g)) 만을 반영하고, (1+α)f, (1+β)g 와 같은 단위 변형에도 불변임을 증명함으로써, 정의된 “초기 뉴턴 곡선”이 토릭 자동변환 이하에서 진정한 불변량임을 확립한다.

이러한 일련의 결과는 정상 표면 특이점 위의 사상 이론, 판별곡선의 조합적·대수적 구조, 그리고 뉴턴 다각형을 통한 “tropical” 기하학적 해석 사이의 깊은 연계를 제공한다.