[논문 리뷰] Monodromies at infinity of non-tame polynomials

Kiyoshi Takeuchi, Mihai Tibăr|arXiv (Cornell University)|2012. 08. 22.

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

한 줄 요약

이 논문은 비타임(tame) 다항식에 대한 무한대에서의 단형성 이론을 확장하여 '비특이적' 고유값의 개념을 도입하고, 비특이적 고유값에 대응하는 일반화된 고유공간에서 코homological 농도를 증명한다. 모티브 Milnor 원형과 Newton 다면체를 사용하여, 비타임이고 비퇴화된 다항식에 대한 단형성 연산자의 조르당 표준형 계산을 이전 결과들보다 일반화한다. 비이sovated 특이점이 있는 경우에도 적용 가능한 이론적 프레임워크를 제공한다.

ABSTRACT

We consider the monodromy at infinity and the monodromies around the bifurcation points of polynomial functions $f : \CC^n \longrightarrow \CC$ which are not tame and might have non-isolated singularities. Our description of their Jordan blocks in terms of the Newton polyhedra and the motivic Milnor fibers relies on two new issues: the non-atypical eigenvalues of the monodromies and the corresponding concentration results for their generalized eigenspaces.

연구 동기 및 목표

• 비타임 다항식에서 코homological 농도가 발생하지 않는 이유로 인해 이전 방법이 실패하는 문제를 해결하기 위해.
• 일반적인 섬유의 코homology에서 농도를 방해하는 '나쁜' 또는 비특이적 고유값의 유한 집합 $ A_f $를 정의하기 위해.
• 비타임 다항식에 대해 비이sovated 특이점이 있는 경우 무한대에서의 단형성 연산자 조르당 표준형을 일반화하기 위해.
• 모티브 Milnor 원형과 Newton 다면체를 사용하여 비타임 케이스를 초월해 단형성 작용을 기술하는 프레임워크를 수립하기 위해.

제안 방법

• 무한대에서의 Newton 다면체 $ \Gamma_\infty(f) $ 를 통해 비특이적 고유값 $ A_f $ 의 개념을 도입하며, 코homological 농도를 방해하는 고유값을 제외한다.
• 고유값 $ \lambda \notin A_f $ 인 경우 일반화된 고유공간 $ H^j(f^{-1}(R);\mathbb{C})_\lambda $ 에 대해 코homological 농도를 증명하며, $ j \neq n-1 $ 일 때의 영성 증명을 포함한다.
• 수평 분할을 분석하고 사바의 정리를 이곳에서 보완하기 위해 $ \mathbb{C}^n $ 의 콪actification $ \widetilde{X_\Sigma} $ 를 구성한다.
• 모티브 Milnor 원형 $ \SS_f^b \in \mathcal{M}_\mathbb{C}^{\hat{\mu}} $ 을 사용하여 단형성 자료를 암호화하며, 국소적 특이점과 비특이적 섬유의 기여를 통합한다.
• 모티브 불변량을 통해 Hodge 실현 $ \chi_h(\SS_f^b) $ 를 이용해 단형성 작용을 기술한다. 이는 $ K_0(\mathrm{HS}^{\mathrm{mon}}) $ 에서의 표현이다.
• 콤���트 면 $ \gamma \prec \Gamma_+(f_i) $ 와 관련된 로랑 다항식 $ g_\gamma $ 를 사용하여 $ \Phi_{n-1}^b $ 의 $ \lambda $-부분에 대한 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 비타임 다항식에 대해 비이sovated 특이점이 있는 경우 무한대에서의 단형성을 어떻게 기술할 수 있는가?
• RQ2 비타임 다항식의 섬유에서 코homological 농도를 방해하는 고유값의 조건은 무엇인가?
• RQ3 모티브적 및 Newton 이론적 도구를 사용하여 비타임 케이스를 초월해 단형성 연산자 $ \Phi_{n-1}^\infty $ 의 조르당 표준형을 계산할 수 있는가?
• RQ4 모티브 Milnor 원형과 Newton 다면체는 비특이적 고유값에 대해 어떻게 단형성 작용을 암호화하는가?
• RQ5 콤팩트 면 $ \Gamma_+(f_i) $ 는 $ \Phi_{n-1}^b $ 의 조르당 블록 크기와 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모든 비특이적 고유값 $ \lambda \notin A_f $ 에 대해, 일반화된 고유공간 $ H^j(f^{-1}(R);\mathbb{C})_\lambda $ 는 $ j \neq n-1 $ 일 때 영이 되며, 이는 코homological 농도를 보장한다.
• 비특이적 고유값 $ \lambda \notin A_f $ 에 대해, 단형성 $ \Phi_{n-1}^\infty $ 의 $ \lambda $-부분은 모티브 Milnor 원형 $ \SS_f^b $ 에 의해 완전히 결정되며, $ [H_f^b]_\lambda = \chi_h(\SS_f^b)_\lambda $ 로 표현된다.
• 고유값 $ \lambda \notin A_f $ 에 대해 크기가 $ \geq k $ 인 조르당 블록의 수는 콤팩트 면 $ \gamma \prec \Gamma_+(f_i) $ 에 대한 부호가 있는 합으로 주어지며, 이는 $ (1-\mathbb{L})^{m_\gamma} \cdot [Z_{\Delta_\gamma}^*] $ 의 Hodge 수 $ e^{p,q} $ 를 포함한다.
• 비특이적 고유값에 대한 조르당 블록의 구조를 기술하는 공식은 [17, 정리 5.9, 5.14, 5.16] 을 비타임 다항식으로 일반화하며, $ i > l $ 인 경우 $ \Gamma_+^\circ(f_i) $ 의 면 기여를 배제한다.
• 모티브 Milnor 원형 $ \SS_f^b $ 는 고립된 특이점 $ p_i $ 와 분해된 분할의 기여로 분해되며, $ \SS_f^b = [Z_{f,b}] + \sum_{i=1}^l \SS_{f_i,p_i} + \sum_{i=l+1}^{l+r} \SS_{f_i,p_i}^\circ $ 로 표현된다.
• 다음과 같은 $ T_{\Delta_\gamma} \simeq (\mathbb{C}^*)^{\dim \gamma + 1} $ 상의 로랑 다항식 $ g_\gamma $ 의 구성은 비퇴화성과 $ \tau_\gamma $ 에 의한 이동 불변성을 보장하며, 모티브 적분을 가능하게 한다.