[논문 리뷰] On the sizes of the Jordan blocks of monodromies at infinity

Yutaka Matsui, Kiyoshi Takeuchi|arXiv (Cornell University)|2012. 02. 23.

Advanced Differential Equations and Dynamical Systems참고 문헌 18인용 수 4

한 줄 요약

이 논문은 다항형 사상 f: ℂⁿ → ℂ의 무한대에서의 단일화군(monodromy)에서 고유값 λ ≠ 1에 대응하는 조르당 블록의 크기와 수에 대한 일반적인 상계를 혼합 히지 모듈러와 휘어진 층(perverse sheaves)의 도구를 사용하여 설정한다. 핵심 결과는 Dimca-Saito의 λ = 1에 대한 상계를 모든 λ ≠ 1로 확장하며, Φⱼ^∞에서 고유값 λ에 대한 최대 조르당 블록 크기가 j+1 이하임을 보이며, 무한대의 분할의 조각(strata) 위의 국소체계를 통해 이러한 최대 블록의 수에 대한 코homological 상계를 제공한다.

ABSTRACT

We obtain general upper bounds of the sizes and the numbers of Jordan blocks for the eigenvalues $λ ot= 1$ in the monodromies at infinity of polynomial maps.

연구 동기 및 목표

• 무한대에서의 단일화군에 대한 조르당 블록 크기 상계를 고유값 λ = 1에서 모든 λ ≠ 1로 일반화하기.
• Φⱼ^∞에서 고유값 λ ≠ 1에 대해 크기 j+1인 조르당 블록의 수에 대한 상계 유도하기.
• 기존 결과를 일반적인 다항형 사상으로 확장하기 위해 무한대에서의 온전성(tameness)이나 비퇴화성(non-degeneracy)을 가정하지 않고 이러한 상계 수립하기.
• 혼합 히지 모듈러의 무게 필터링과 원시 분해의 구조를 이용하여 단일화군 작용을 분석하기.

제안 방법

• 다항형 사상의 전체 공간 위의 휘어진 층에 대한 근처 순환 함자와 분해 정리를 활용한다.
• Gr^W(F_λ)의 원시 분해의 기하적 기술을 적용하여 단일화군 작용을 분석한다.
• 단일화군 연산자의 로그를 통해 Φ_u − id의 멸종 부분 N_λ와 유니포텐트 부분 M_λ를 구성한다.
• F_λ ⊕ F_λ̄에 관련된 혼합 히지 모듈러의 무게 필터링 W를 사용하여 조르당 블록의 크기를 상한으로 제한한다.
• U에서 N_λ^j의 상의 코homology를 분석하여 최대 조르당 블록의 수를 상한으로 제한한다.
• 조각 U_I 위의 국소체계 L_λ,I의 구조를 적용하여 관련된 코homology 군의 차원을 상한으로 제한한다.

실험 결과

연구 질문

• RQ1 무한대에서의 단일화군 Φⱼ^∞에서 고유값 λ ≠ 1에 대한 조르당 블록의 최대 크기는 얼마인가?
• RQ2 Φⱼ^∞에서 고유값 λ ≠ 1에 대해 크기 j+1인 조르당 블록은 최대 몇 개인가?
• RQ3 이러한 최대 크기의 조르당 블록 수는 무한대에서의 뉴턴 다면체의 기하학적 성질로 표현될 수 있는가?
• RQ4 혼합 히지 모듈러의 무게 필터링과 원시 분해는 λ ≠ 1에 대해 단일화군 작용을 어떻게 제약하는가?
• RQ5 조각 U_I 위의 국소체계 L_λ,I는 단일화군의 코homological 불변량을 어떻게 제어하는가?

주요 결과

• Φⱼ^∞에서 고유값 λ ≠ 1에 대한 어떤 조르당 블록의 크기라도 j+1 이하이며, 이는 1이 아닌 고유값으로의 단일화군 정리의 일반화이다.
• Φⱼ^∞에서 고유값 λ ≠ 1에 대해 크기 j+1인 조르당 블록의 수는 H^{j−n+1}(U; G)의 차원에 의해 상한으로 제한되며, 여기서 G = Im(N_λ^j) ⊂ F_λ이다.
• 이 수는 더 이상 dim H^{j−n+1}(U; Gr^{W}_{n−j−1} F_λ)에 의해 상한으로 제한되며, 이는 무게 필터링의 계수 조각 기여도를 제어한다.
• 최대 조르당 블록 수의 상한은 조각 U_I 위의 국소체계 L_λ,I의 코homology에 의해 제어되며, i ∉ R_λ인 성분 E_i에서의 단일화군이 λ^{-b_i} ≠ 1이 되는 경우에 해당한다.
• 0 ≤ j ≤ n−2일 경우, 고유값 λ ≠ 1에 대해 크기 j+1인 조르당 블록의 수는 일반적으로 0이며, 이는 최상위 코homology 경우보다 더 단순한 일반화된 고유공간을 의미한다.
• 이 결과들은 무한대에서의 온전성 또는 비퇴화성을 가정하지 않아도 성립하므로, 일반적인 다항형 사상에 적용 가능하다.