[논문 리뷰] The monodromy theorem for compact Kähler manifolds and smooth quasi-projective varieties

Nero Budur, Yongqiang Liu외 1명|arXiv (Cornell University)|2016. 09. 21.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 무한 순환 피복의 딜 투영 변환이 복소계수 호모로지 위에 작용하는 방식을 분석하여 컴acts Kähler 다양체와 스무스 준사영 다양체에 대해 단일형태 정리(monodromy-type theorem)를 수립한다. 컴팩트 Kähler 다양체의 경우, 호모로지의 토크션 부분에서의 단일형태 작용의 모든 조르당 블록 크기는 1이며, 스무스 준사영 다양체의 경우 조르당 블록 크기에 대한 상한이 제시되는데, 이는 고전적 국소 Milnor 단일형태 정리의 일반화이다.

ABSTRACT

Given any connected topological space $X$, assume that there exists an epimorphism $ϕ: π_1(X) o \mathbb{Z}$. The deck transformation group $\mathbb{Z}$ acts on the associated infinite cyclic cover $X^ϕ$ of $X$, hence on the homology group $H_i(X^ϕ, \mathbb{C})$. This action induces a linear automorphism on the torsion part of the homology group as a module over the Laurent ring $\mathbb{C}[t,t^{-1}]$, which is a finite dimensional $\mathbb{C}$-vector space. We study the sizes of the Jordan blocks of this linear automorphism. When $X$ is a compact Kähler manifold, we show that all the Jordan blocks are of size one. When $X$ is a smooth complex quasi-projective variety, we give an upper bound on the sizes of the Jordan blocks, which is an analogue of the Monodromy Theorem for the local Milnor fibration.

연구 동기 및 목표

• 고전적 단일형태 정리를 국소 Milnor 피브레이션에서 컴팩트 Kähler 다양체와 스무스 준사영 다양체의 전역 설정으로 확장하기 위해.
• π₁(X) → ℤ로의 전형 φ에 관련된 무한 순환 피복의 호모로지 위에서의 단일형태 작용을 분석하기 위해.
• 복소계수 호모로지의 토크션 부분에서의 단일형태 작용의 조르당 블록 최대 크기를 규명하기 위해.
• 스무스 준사영 다양체에 대해, 국소 Milnor 사례와 유사한 조르당 블록 크기의 상한을 확립하기 위해.
• 호지 이론과 스펙트럴 시퀀스를 사용하여 무한 순환 피복의 코homology가 준순수성의 몫을 가지는 필터링을 갖는다는 것을 증명하기 위해.

제안 방법

• φ: π₁(X) → ℤ인 전형에 의해 유도되는 무한 순환 피복 X^φ를 정의하고, H_i(X^φ, ℂ) 위에서의 딜 투영 변환 작용을 연구한다.
• Laurent 다항식환 R = ℂ[t, t⁻¹] 위에서의 모듈로 모델링하여, T_i(X, φ)로 표기되는 토크션 부분모듈을 집중적으로 분석한다.
• ℂ*에 속하는 고유값 λ ∈ ℂ*에 대응하는 일반화된 고유공간 T_i^λ(X, φ)로 T_i(X, φ)를 분해하고, S_λ를 (t - λ)^m 이 모듈러를 제거하는 최소의 m로 정의한다.
• 호지 분해와 호지 *-연산자를 사용하여 de Rham 복합체 위에 헤르미트 구조를 정의하고, 이에 기반해 무한 순환 피복의 코homology로 수렴하는 스펙트럴 시퀀스를 구성한다.
• 형식의 차수에 따른 필터링과 관련된 스펙트럴 시퀀스 E^r_{p,q}를 분석하여, E^3 이 가환환 R 위에서 준순수성임을 보이고, 이로 인해 스펙트럴 시퀀스가 E^3에서 분해됨을 도출한다.
• Alexander 모듈의 구조 정리와 조르당 블록 크기의 갈루아 불변성을 활용하여 일반적인 경우를 λ = 1인 경우로 환원하고, 이 경우에 호지이론적 추론을 통해 상한을 증명한다.

실험 결과

연구 질문

• RQ1 컴팩트 Kähler 다양체의 무한 순환 피복 호모로지의 토크션 부분에서의 단일형태 작용의 구조는 어떻게 되는가?
• RQ2 고전적 조르당 블록 크기의 상한이 국소 Milnor 단일형태에서 전역 대수적 및 복소해석적 설정으로 일반화될 수 있는가?
• RQ3 스무스 준사영 다양체 X에 대해, H_i(X^φ, ℂ)에서의 단일형태 작용에서의 조르당 블록 최대 크기는 무엇인가?
• RQ4 무한 순환 피복의 호지 이론적 구조는 단일형태 연산자의 조르당 표준형을 어떻게 제약하는가?
• RQ5 고유값 위에서의 갈루아 작용은 단일형태 표현의 조르당 블록 구조를 어느 정도 유지하는가?

주요 결과

• 컴팩트 Kähler 다양체의 경우, H_i(X^φ, ℂ)의 토크션 부분에서의 단일형태 작용의 모든 조르당 블록 크기는 1이다.
• 스무스 준사영 다양체의 경우, 고유값 λ에 대한 조르당 블록 최대 크기는 min{i+1, 2n−i}로 유계이며, 여기서 n은 다양체의 복소차원이다.
• 단일형태가 무게 2의 순수 호지 유형을 갖는 경우, 상한은 min{i+1, 2n−i−1}로 향상된다.
• 무한 순환 피복의 호지 필터링과 관련된 스펙트럴 시퀀스는 E^3 단계에서 분해되며, 모든 E^3 페이지는 준순수성의 R-모듈이다.
• 갈루아 켤레에 의해 조르당 블록 구조가 유지되며, 초월 고유값은 자명한 일반화된 고유공간을 유도한다.
• 무한 순환 피복의 코homology는 준순수성의 몫을 가지는 필터링을 갖는다. 이는 단일형태 작용이 필터링의 관점에서 준순수성에 가까운 성질을 가짐을 의미한다.