[논문 리뷰] On the topology of rational functions in two complex variables

Thang Nguyen|arXiv (Cornell University)|2012. 04. 24.

Advanced Differential Equations and Dynamical Systems참고 문헌 2인용 수 3

한 줄 요약

이 논문은 유클리드 특성, 말그랑주 조건, M-타이드니스를 사용하여 두 복소변수에서의 유리함수의 무한대에서의 임계값을 특성화한다. deg(f) > deg(g)인 유리함수에 대해, 분열집합은 무한대에서의 임계값, 분자-분모의 임계값, 그리고 추가적인 집합 K₁(F)를 포함하며, 이러한 값을 특성화하기 위해 말그랑주 조건과 M-타이드니스 조건이 동치임을 증명한다.

ABSTRACT

We give some characterizations for the critical values at infinity of a rational function in two complex variables in terms of the Euler characteristic, the Malgrange condition and the M-tameness

연구 동기 및 목표

• 두 복소변수에서의 유리함수 $ F = f/g $에 대해 무한대에서의 임계값 집합 $ B_{\nu}(F) $ 를 특성화하는 것.
• 이전에 다항함수에서만 유효했던 무한대에서의 임계값 특성화를 더 넓은 범위의 유리함수로 확장하는 것.
• 말그랑주 조건, M-타이드니스, 그리고 유클리드 특성 간의 관계를 분석하여 $ B_{\nu}(F) $ 를 결정하는 데 기여하는 것.
• Fedoryuk 조건이 $ B_{\nu}(F) $ 를 특성화하는 데 부족함을 보이며, $ \widetilde{K}_{\nu}(F) \not\subset B_{\nu}(F) $ 인 반례를 제시하는 것.

제안 방법

• 기저집합 $ A(F) $ 에서의 $ f - t_0 g $ 의 밀놀 수가 작은 변화에 따라 변화하는 값 $ t_0 $ 의 집합으로서 $ K_1(F) $ 를 정의한다.
• 글로벌 밀놀 fibrations 와 섬유 $ F^{-1}(t) $ 의 위상수학적 성질을 이용하여 무한대에서의 행동을 분석한다.
• 무한대로 수렴하는 수열 $ (x_k, y_k) \to \infty $ 과 $ F(x_k) \to t_0 $, $ \|\mathrm{grad}F(x_k)\| \to 0 $ 인 경우에 커브 선택 보조정리를 적용하여 이와 말그랑주 조건을 연결한다.
• 만약 $ F $ 가 $ t_0 $ 에서 말그랑주 조건을 만족하면, $ t_0 $ 에서 M-타이드니스이므로 이러한 조건들 사이의 계층관계를 확립한다.
• 다른 집합 $ B_R $ 와 $ F^{-1}(D_\delta(t_0)) \setminus B_R $ 에서 $ \langle v, x \rangle = 0 $ 이고 $ \langle v, \mathrm{grad}F \rangle = 1 $ 인 매끄러운 벡터장을 구성하여 fibrations 의 자명화를 보장한다.
• 무한대에서의 특이점을 분석하기 위해 $ G(x,y,z,t) = z^{d_t} f(x/z, y/z) - t z^{d_t} g(x/z, y/z) $ 를 이용한 섬유의 사영적 컴actsification 을 적용한다.

실험 결과

연구 질문

• RQ1 두 복소변수에서의 유리함수 $ F = f/g $ 에 대해, 고전적인 다항함수의 경우를 초월하여 무한대에서의 임계값 $ B_{\infty}(F) $ 는 어떻게 특성화할 수 있는가?
• RQ2 유리함수의 경우, $ t_0 \in B_{\infty}(F) $ 인지 여부를 결정하는 데 섬유 $ F^{-1}(t) $ 의 유클리드 특성이 어떤 역할을 하는가?
• RQ3 말그랑주 조건과 M-타이드니스가 유리함수에서 얼마나 일치하는가? 이 둘은 $ B_{\infty}(F) $ 와 어떻게 관련되어 있는가?
• RQ4 Fedoryuk 조건 $ t \notin \widetilde{K}_{\infty}(F) $ 는 $ B_{\infty}(F) $ 를 특성화하는 데 사용될 수 있는가? 또는 반례가 존재하는가?
• RQ5 집합 $ K_1(F) $ 는 어떤 의미를 가지며, $ \deg f > \deg g $ 인 경우 전체 분열집합 $ B(F) $ 에 기여하는 방식은 무엇인가?

주요 결과

• 유리함수 $ F = f/g $ 에 대해 $ \deg f > \deg g $ 라면 전체 분열집합은 $ B(F) = B_{\infty}(F) \cup K_0(F) \cup K_1(F) $ 로 주어지며, $ K_1(F) $ 는 기저점에서의 밀놀 수의 변화를 포착한다.
• 섬유 $ F^{-1}(t) $ 의 유클리드 특성이 $ t_0 $ 근방에서 일정하지 않으면서도, $ t_0 \in B_{\infty}(F) $ 이다. 이는 다항함수의 결과를 일반화한 것이다.
• 말그랑주 조건은 M-타이드니스를 함의한다: $ t_0 \notin K_{\infty}(F) $ 이면 $ t_0 \notin M_{\infty}(F) $ 이다. 이는 이러한 조건들 사이의 계층관계를 확립한다.
• $ t_0 \notin K_0(F) \cup K_1(F) $ 인 경우, $ t_0 \in B_{\infty}(F) $, $ t_0 \in K_{\infty}(F) $, $ t_0 \in M_{\infty}(F) $ 는 서로 동치이다.
• $ t_0 \in \widetilde{K}_{\infty}(F) $ 이지만 $ t_0 \notin B_{\infty}(F) $ 인 반례를 구성하여 Fedoryuk 조건이 $ B_{\infty}(F) $ 를 특성화하는 데 충분하지 않음을 보였다.
• $ \deg f < \deg g $ 인 경우에도 $ t_0 \neq 0 $ 이면 동일한 조건들의 동치성은 그대로 유지되며, 이는 $ B_{\infty}(F) $ 에 대해 적용된다.