[논문 리뷰] Cohomology jump loci of quasi-compact Kähler manifolds

Nero Budur, Botong Wang|arXiv (Cornell University)|2017. 02. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 5

한 줄 요약

이 논문은 코homology 점프 띠(의) 특성에 대해, 퀀티-콤���트 켈러 다양체의 경우, 이는 기존의 콤팩트 및 퀀티-프로젝티브 켈러 다양체에 대한 결과를 일반화하여, 영역의 유한한 번합의 이동된 부분다각형으로서 나타남을 증명한다. 지수 Ax-Lindemann 정리와 새로운 Betti-de Rham 집합 프레임워크를 사용하여, 실 호모토피 이론과 호지 이론을 통해 de Rham 및 Betti 모듈리 공간 간의 관계를 설정함으로써 이러한 띠의 선형성을 증명한다.

ABSTRACT

We give two applications of the exponential Ax-Lindemann Theorem to local systems. One application is to show that for a connected topological space, the existence of a finite model of the real homotopy type implies linearity of the cohomology jump loci around the trivial local system. Another application is the linearity of the cohomology jump loci of rank one local systems on quasi-compact Kähler manifolds.

연구 동기 및 목표

• H^1에 대한 히오지 스트럭처의 순수성 조건을 요구하지 않고, 아라푸라의 코homology 점프 띠 결과를 퀀티-콤팩트 켈러 다양체로 일반화하는 것.
• 퀀티-콤팩트 켈러 다양체에서 랭크 1 국소계의 코homology 점프 띠의 선형성을 확립하는 것.
• 유한한 모델을 갖는 공간의 실 호모토피 유형이, 영점 주위에서 코homology 점프 띠가 선형임을 의미함을 보이는 것.
• 코homology 점프 띠의 기약 성분이 이동된 부분다각형임을 보여주어, 이러한 성분 내의 토르션 점에 대한 추측을 지지하는 것.

제안 방법

• Simpson의 구성의 일반화로서, 퀀티-콤팩트 켈러 다양체에 대해 Betti-de Rham 집합을 도입하고 활용하는 것.
• Riemann-Hilbert 대응을 통해 de Rham 및 Betti 모듈리 공간 간의 관계를 설정하기 위해 지수 Ax-Lindemann 정리를 적용하는 것.
• 좋은 콤팩트화의 Gysin 모델을 사용하여, 퀀티-콤팩트 켈러 다양체의 실 호모토피 유형을 표현하는 것.
• H^1(X,\mathbb{Z}) 위의 호지 구조를 통해 de Rham 모듈리 공간과 복소 다각형 사이의 동형사상을 구성하는 것.
• Riemann-Hilbert 사상 하에서 코homology 점프 띠의 행동을 분석하여, de Rham 모듈리 공간에서의 그들의 역상이 닫힌 해석적 집합임을 보이는 것.
• 코homology 점프 띠의 기약 성분이 Betti-de Rham 집합임을 증명하며, 이러한 집합은 이미 유한한 번합의 이동된 부분다각형임이 알려져 있음.

실험 결과

연구 질문

• RQ1 H^1에 대한 순수성 가정 없이도, 퀀티-콤팩트 켈러 다양체의 코homology 점프 띠가 항상 유한한 번합의 이동된 부분다각형인가?
• RQ2 유한차원 실 호모토피 모델의 존재는 영점 주위에서 코homology 점프 띠가 선형임을 의미하는가?
• RQ3 Betti-de Rham 집합 프레임워크를 비프로젝티브 퀀티-콤팩트 켈러 다양체로 확장하여, 코homology 점프 띠의 선형성을 증명할 수 있는가?
• RQ4 Betti 모듈리 공간 내의 코homology 점프 띠의 모든 기약 성분은 추측과 같이 토르션 점을 포함하는가?
• RQ5 어떤 퀀티-콤팩트 켈러 다양체는 어떤 퀀티-프로젝티브 다양체와도 호모토피 동치가 아니게 존재하는가?

주요 결과

• 정리 1.1은 임의의 연결된 퀀티-콤팩트 켈러 다양체 X에 대해, 각 코homology 점프 띠 \Sigma^i_k(X)가 \mathbf{M}_\text{B}(X) 내에서 이동된 부분다각형의 유한한 합집합임을 증명하며, H^1(X,\mathbb{C})에 대한 순수성 가정이 필요 없어짐.
• 이 증명은 \Sigma^i_k(X) \cap \mathbf{M}_\text{B}^0(X)가 Betti-de Rham 집합임을 보여, 이는 이 집합이 이동된 부분다각형의 유한한 합집합임을 의미함.
• 정리 1.3(1)은 X가 유한차원 실 호모토피 모델을 갖는다면, 영점 주위를 지나는 \Sigma^i_k(X)의 각 기약 성분이 부분다각형임을 보여줌.
• 정리 1.3(2)는 이 결과를 임의의 점 \rho \in \mathbf{M}_\text{B}(X)로 일반화하며, 미분 대수 쌍 (\Omega_{\text{DR}}^\bullet(X), \Omega_{\text{DR}}^\bullet(L_\rho))가 유한차원 모델과 호모토피 동치일 경우에만 성립함.
• 저자들은 \Sigma^i_k(X) \cap \mathbf{M}_\text{B}^0(X)가 \Lambda_\mathbb{C}/\Lambda_0와의 동형사상에 의해 Betti-de Rham 집합임을 증명함. 여기서 \Lambda = H^1(X,\mathbb{Z}).
• 결과적으로 실 호모토피 유형이 유한차원임을 가정할 경우, \Sigma^i_k(X)의 기약 성분이 토르션 점을 포함한다는 추측을 확인함.