[논문 리뷰] On the connectivity of Milnor fiber for mixed functions

Mutsuo Oka|arXiv (Cornell University)|2018. 09. 03.

Mathematical Dynamics and Fractals참고 문헌 1인용 수 5

한 줄 요약

이 논문은 혼합 함수에 대해 Hamm-Lé 조건과 원점에 가까운 영점의 매끄러운 점이 존재할 때 밀놀러 영역의 연결성을 확립한다. 단일 매개변수 미분구상군을 통해 단일 회전 지도를 포함하는 다발의 연결성을 증명하며, 이는 복소 함수에서의 연결성 결과를 혼합 함수로 확장한다.

ABSTRACT

In this note, we prove the connectivity of the Milnor fiber for a mixed polynomial $f(\mathbf z,\bar{\mathbf z})$, assuming the existence of a sequence of smooth points of $f^{-1}(0)$ converging to the origin. This result gives also a another proof for the connectivity of the Milnor fiber of a non-reduced complex analytic function which is proved by A. Dimca

연구 동기 및 목표

• 혼합 함수, 즉 헬름홀로픽 및 반형성 헬름홀로픽 항을 모두 포함하는 실해석 함수의 밀놀러 영역의 연결성을 확립하는 것.
• 복소 구조가 없어 모스 이론이 실패하는 상황에서 복소 함수에서의 알려진 연결성 결과를 혼합 함수로 확장하는 것.
• 모스 이론에 의존하지 않는 새로운 위상수학적 방법을 제공하며, 단일 회전 지도와 단일 매개변수 미분구상군을 활용하는 것.
• 자연스러운 기하 조건 하에서의 연결성 증명: Hamm-Lé 조건, 원점 근처에 존재하는 영점의 매끄러운 점, 그리고 구와의 교차가 수직일 때.

제안 방법

• 밀놀러 다발의 원통형 구조를 정의하는 함수 $ f: \bar{E}(r,\rho) \to D_\delta \setminus \{0\} $ 를 사용하며, 여기서 $ E(r,\delta) $ 는 $ |f| \leq \delta $ 의 하위레벨 집합이다.
• 단일 회전 지도 $ h $ 를 생성하는 단일 매개변수의 미분구상군을 활용하며, 이는 밀놀러 영역에 작용하고 그 구조를 유지한다.
• 다발의 경로 올림 성질을 활용하여 밀놀러 영역 내의 점들 사이의 경로를 구성한다.
• 최대공약수 $ \gcd(n_1,\dots,n_r) = 1 $ 에 기반한 수론적 추론을 적용하여 반복적인 단일 회전 지도 작용을 통해 영역 내 모든 점들을 연결한다.
• 구 $ S_r^{2n-1} $ 이 영점 집합 $ f^{-1}(0) $ 과 매끄러운 점 $ \mathbf{w} $ 에서 수직으로 교차함을 이용하여 다발이 잘 정의됨을 보장한다.
• 밀놀러 영역이 구 다발 $ \varphi: S_r^{2n-1} \setminus K \to S^1 $ 과 호모토피 동치임을 이용하여, 구 위에서의 위상수학적 추론이 가능함을 활용한다.

실험 결과

연구 질문

• RQ1 접선 공간에 복소 구조가 없을 때, 혼합 함수의 밀놀러 영역이 어떤 조건에서 연결되는가?
• RQ2 혼합 함수 설정에서 모스 이론 없이 밀놀러 영역의 연결성을 확립할 수 있는가?
• RQ3 영점 집합에 매끄러운 점이 포함되어 있을 때, 밀놀러 영역의 연결성과 단일 회전 지도 작용은 어떻게 관련되는가?
• RQ4 어떤 기하적 가정(예: 수직 교차, 안정적인 밀놀러 반지름)이 연결성을 보장하는 데 충분한가?
• RQ5 비편의성 또는 비고립 특이점을 가진 혼합 함수로 연결성 결과를 확장할 수 있는가?

주요 결과

• 함수가 Hamm-Lé 조건을 만족하고, 영점 집합 $ f^{-1}(0) $ 이 원점에 가까운 매끄러운 점 $ \mathbf{w} $ 를 포함하며, $ S_{\|\mathbf{w}\|}^{2n-1} $ 이 $ \mathbf{w} $ 에서 $ f^{-1}(0) $ 과 수직으로 교차할 경우, 혼합 함수의 밀놀러 영역은 연결된다.
• 연결성은 단일 회전 지도 기반 경로 구성에 의해 증명되며, 단일 회전 지도의 차수들의 최대공약수가 1일 경우 반복적인 단일 회전 지도 작용을 통해 영역 내 모든 점이 연결된다.
• 이 결과는 영점 집합이 고립 특이점을 가지며 Hamm-Lé 조건을 만족하는 강력하게 비퇴화된 편의성 있는 혼합 함수에 적용된다.
• 영점 집합 $ V^\sharp $ 가 비어있지 않은 경우, 균일하게 국소적으로 날카로운 특성(locally tame)인 비편의성 혼합 함수로도 결과가 확장된다.
• 이 증명은 모스 이론에 의존하지 않는 새로운 방법을 제공하며, 대신 미분구상군과 단일 회전 지도에 기반하여 혼합 함수에 대한 새로운 위상수학적 접근법을 제시한다.
• 이 결과는 복소 함수에 대해 알려진 결과와 일관되며, 실해석적 특이점을 가진 혼합 함수의 더 넓은 범주로 그 결과를 확장한다.