[논문 리뷰] Perverse sheaves on semi-abelian varieties

Yongqiang Liu, Laurenţiu Maxim외 1명|arXiv (Cornell University)|2018. 04. 13.

Algebraic Geometry and Number Theory참고 문헌 30인용 수 6

한 줄 요약

이 논문은 코homology 점프 위치를 이용하여 반단순 복소 계량의 전역 특성화를 완전히 제공하며, 아벨 다양체에 대한 Schnell의 결과와 아핀 토르스에 대한 Gabber-Loeser의 결과를 일반화한다. 핵심 기여는 이러한 위치의 정밀한 반아벨 차원에 기반한 t-구조 탐지 정리로, 이는 복소 대수다양체에 대한 반단순 복소 이론과 쌍대성 이론의 이전 연구를 통합하고 확장한다.

ABSTRACT

We give a complete (global) characterization of complex perverse sheaves on semi-abelian varieties in terms of their cohomology jump loci. Our results generalize Schnell's work on perverse sheaves on complex abelian varieties, as well as Gabber-Loeser's results on perverse sheaves on complex affine tori. We apply our results to the study of cohomology jump loci of smooth quasi-projective varieties, to the topology of the Albanese map, and in the context of homological duality properties of complex algebraic varieties.

연구 동기 및 목표

• 복소 아벨 다양체에서의 반단순 복소 특성화(Schnell)와 아핀 토르스에서의 특성화(Gabber-Loeser)를 더 넓은 반아벨 다양체의 범주로 확장한다.
• 코homology 점프 위치를 이용하여 $\mathbb{C}$-반단순 복소의 완전한 전역 기술을 수립하며, 이는 특성 다양체 내의 이동된 부분토르스로 표현된다.
• 이 특성화를 이용하여 스무스 준사영 다양체의 코homology 점프 위치, 알바누제 사상의 위상구조, 그리고 호모로지적 쌍대성 성질을 연구한다.
• 스무스 준사영 다양체의 알바누제 사상이 올바른 경우, 그 다양체가 차원 $n$의 아벨 쌍대성 공간임과 동시에 사상이 반소작(semi-small)임과 동치임을 증명한다.

제안 방법

• 코homology 점프 위치의 기약 성분의 선형 구조와 멜린 변환을 이용하여 정밀한 반아벨 차원을 정의한다.
• 구성 가능 복합체의 코homology 점프 위치에 대해 반아벨 차원 $\operatorname{codim}_{sa}$ 와 아벨 차원 $\operatorname{codim}_{a}$ 의 개념을 도입한다.
• 분해 정리와 상대적인 하드 레프셰츠 정리를 적용하여 알바누제 사상 아래 국소계의 푸시포워드를 분석한다.
• $R\operatorname{alb}_*L[n]$ 이 반단순 복소임과 동치인 조건을, 코homology 점프 위치의 특정 차원 조건이 만족됨을 증명한다.
• 알바누제 사상의 보편 성질을 이용하여 임bedding을 인수분해하고, 다양체가 아벨 쌍대성 공간일 경우 알바누제 사상이 반소작임을 유도한다.
• 추측적 역방향을 수립한다: 올바른 알바누제 사상과 함께 스무스 준사영 다양체는 아벨 쌍대성 공간이 되며, 이는 사상이 반소작이고 다양체가 유한 차원 $n$-CW 복합체와 호모토피 동치일 때 성립한다.

실험 결과

연구 질문

• RQ1 어떻게 반아벨 다양체에서의 $\mathbb{C}$-반단순 복소를 코homology 점프 위치를 통해 전역적으로 특성화할 수 있는가?
• RQ2 코homology 점프 위치의 차원과 반단순 t-구조 $D^b_c(G,\mathbb{C})$ 사이의 정확한 관계는 무엇인가? 여기서 $G$ 는 반아벨 다양체이다.
• RQ3 스무스 준사영 다양체의 알바누제 사상이 반소작이 되는 조건은 무엇이며, 이는 어떤 쌍대성 성질과 관련이 있는가?
• RQ4 반아벨 다양체에서의 반단순 복소 특성화를 이용하여 앨리서터 타입 불변량의 유한성 성질을 탐지할 수 있는가?
• RQ5 알바누제 사상의 반소작성은 스무스 준사영 다양체가 아벨 쌍대성 공간이 되는 충분조건인가?

주요 결과

• 논문은 반아벨 다양체 $G$ 에서의 $\mathbb{C}$-반단순 복소의 완전한 특성화를 그들의 코homology 점프 위치의 (반)아벨 차원에 기반하여 수립한다.
• 코homology 점프 위치 ${\mathcal{V}}^i(G,\mathcal{F})$ 는 $\operatorname{Char}(G) \cong (\mathbb{C}^*)^{m+2g}$ 내의 이동된 부분토르스의 유한한 합집합이며, 그들의 차원은 복소 $\mathcal{F}$ 가 차지하는 반단순 t-구조의 위치를 결정한다.
• 알바누제 사상 $\operatorname{alb}: X \to \operatorname{Alb}(X)$ 가 올바르고 반소작일 경우, $X$ 는 차원 $n$ 의 아벨 쌍대성 공간이며, 이는 기존의 아핀 다양체에 대한 결과를 일반화한다.
• $R\operatorname{alb}_*\mathbb{C}_X[n]$ 이 반단소 복소일 조건은 $X$ 의 코homology 점프 위치가 모든 $i$ 에 대해 $\operatorname{codim}_{sa} {\mathcal{V}}^i(X,\mathbb{C}_X) \geq i$ 를 만족함과 동치이다.
• 예시들은 다양체가 아핀이 아니어도 아벨 쌍대성 공간이 될 수 있음을 보여주며, 예를 들어 점에서의 $({\mathbb{C}}^*)^2$ 의 블로우업은 아핀이 아니지만 2차원 아벨 쌍대성 공간임을 보여준다.
• 추측으로, 올바른 알바누제 사상과 함께 스무스 준사영 다양체는 아벨 쌍대성 공간이 되며, 이는 사상이 반소작이고 다양체가 유한 차원 $n$-CW 복합체와 호모토피 동치일 때 성립한다.