[논문 리뷰] Torsion points on the cohomology jump loci of compact Kähler manifolds

Botong Wang|arXiv (Cornell University)|2013. 12. 23.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 9

한 줄 요약

이 논문은 컴팩트 카라슈레프 다양체의 코homology 점프 조건이 항상 최소한 하나의 토판점( torsion point)을 포함함을 증명하며, 스미스슨의 결과를 매끄러운 복소 프로젝티브 다양체로 일반화한다. 주요 기여는 이러한 조건들이 유한한 산술 부분다양체의 합집합임을 증명한 것으로, 이는 베유빌과 카타네제의 추측을 확인하고, 매끄러운 복소 프로젝티브 다양체로 표현될 수 없는 컴팩트 카라슈레프 다양체를 구성한다.

ABSTRACT

We prove that each irreducible component of the cohomology jump loci of rank one local systems over a compact Kähler manifold contains at least one torsion point. This generalizes a theorem of Simpson for smooth complex projective varieties. An immediate consequence is the conjecture of Beauville and Catanese for compact Kähler manifolds. We also provide an example of a compact Kähler manifold, whose cohomology jump loci can not be realized by any smooth complex projective variety.

연구 동기 및 목표

• 매끄러운 복소 프로젝티브 다양체에 대한 스미스슨의 정리에서 토판점이 코homology 점프 조건에 포함됨을 컴팩트 카라슈레프 다양체로 일반화하는 것.
• 베유빌과 카타네제가 제기한, 돌베올 코homology 점프 조건이 항상 부분다양체의 토판점 이동으로서 유한한 합집합임을 확인하는 것.
• 코homology 점프 조건이 어떤 매끄러운 복소 프로젝티브 다양체의 것과도 일치하지 않는 컴팩트 카라슈레프 다양체를 구성하는 것.
• 코homology 점프 조건의 맥락에서 아벨 다양체 기법을 복소 토리로 확장하는 것.

제안 방법

• 알바네제 사상과 적절한 복소 토리의 곱의 블로우업 모델을 구성함으로써, 슈넬의 아벨 다양체 결과를 복소 토리로 확장한다.
• 알바네제 다양체의 구조와 특성군 위의 유도된 사상들을 이용하여, 코homology 점프 조건을 복소 토리로부터의 인버스 풀백 이미지의 유한한 합집합으로 묘사한다.
• 유니터리 국소계열에 대한 호지 분해와 도널드슨-울렌벡-요우 정리에 의한 토판 피카르 군과 유니터리 특성의 식별을 활용한다.
• $\bar{\nabla}$-레마와 곡률 변형을 적용하여, 첫 번째 체르니 클래스가 영인 선다발에 평탄한 유니터리 메트릭을 구성한다.
• 네 개의 분리된 중심을 따라 $T \times T \times \mathbb{P}^1$ 의 블로우업을 통해 명시적인 코homology 점프 조건을 갖는 복소다양체를 구성한다.
• 핵심 기술적 단계는 코homology 점프 조건 $Σ^2_1(X)$ 가 각각 토판점 이동을 갖는 몫 토리 $B_i = (T \times T)/Z_i$ 에서의 인버스 풀백의 합집합으로 분해됨을 보이는 것.

실험 결과

연구 질문

• RQ1 컴팩트 카라슈레프 다양체의 코homology 점프 조건의 모든 기약성분은 특성군 $Σ(X)$ 내에서 최소한 하나의 토판점을 포함하는가?
• RQ2 컴팩트 카라슈레프 다양체에서의 돌베올 코homology 점프 조건은 항상 부분토리의 토판점 이동의 유한한 합집합인가? (베유빌과 카타네제의 추측에 따름.)
• RQ3 컴팩트 카라슈레프 다양체의 코homology 점프 조건이 어떤 매끄러운 복소 프로젝티브 다양체의 것과도 일치하지 않을 수 있는가?
• RQ4 코homology 점프 조건은 컴팩트 카라슈레프 다양체의 프로젝티비티를 어느 정도 감지할 수 있는가?

주요 결과

• 컴팩트 카라슈레프 다양체 $X$ 에 대해 코homology 점프 조건 $Σ^i_k(X)$ 의 모든 기약성분은 특성군 $Σ(X)$ 내에서 최소한 하나의 토판점을 포함한다.
• 코homology 점프 조건 $Σ^i_k(X)$ 는 산술 부분다양체의 유한한 합집합—즉, 토판점에 의한 대수적 부분군의 이동—으로 표현되며, 이는 정리 1.3을 증명한다.
• 베유빌과 카타네제의 추측이 확인된다: 임의의 컴팩트 카라슈레프 다양체에 대해 돌베올 점프 조건 $Σ^{pq}_k(X)$ 는 항상 부분토리의 토판점 이동의 유한한 합집합이다.
• 코homology 점프 조건이 어떤 매끄러운 복소 프로젝티브 다양체의 것과도 일치하지 않는 컴팩트 카라슈레프 다양체 $X$ 가 구성되며, 이는 그의 Pic^0 군이 비프로젝티브이기 때문이다.
• 이 다양체에 대해 코homology 점프 조건 $Σ^2_1(X)$ 는 네 개의 몫 토리 $B_i$ 에서의 인버스 풀백의 합집합으로 나타나며, 각각이 토판점 이동을 나타낸다.
• 이 다양체의 실수 2-호모토피 유형은 원점에서 $Σ^2_1(X)$ 의 꼬리(germ)를 결정하며, 이 꼬리는 $Σ^2_1(X)$ 가 프로젝티브 다양체로부터 유래될 수 없음을 암시한다.