[논문 리뷰] Generic vanishing for semi-abelian varieties and integral Alexander modules

Yongqiang Liu, Laurenţiu Maxim외 1명|arXiv (Cornell University)|2017. 07. 31.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 복소수 준아벨 다양체 위의 편향층(perverse sheaves)에 대해 체 계수를 가진 일반성 소멸 정리(generic vanishing theorems)를 세밀한 층 이론적 접근을 통해 수립한다. 이를 통해, 준아벨 다양체로의 고착된 준소형( semi-small ) 사상에 의해 사상되는 매끄럽고 준사영적인 다양체의 정수 계수 앨리오크산 모듈러스(integral Alexander modules)가 ℤ 위에서 유한 생성임을 증명하며, 이는 이전의 모스 이론적 결과를 확장하고, 일반성 소멸과 앨리오크산 다항식을 통한 위상수학적 유한성 기준을 제공한다.

ABSTRACT

We revisit generic vanishing results for perverse sheaves with any field coefficients on a complex semi-abelian variety, and indicate several topological applications. In particular, we obtain finiteness properties for the integral Alexander modules of complex algebraic varieties mapping to semi-abelian varieties. Similar results were recently derived by the authors by using Morse-theoretic arguments.

연구 동기 및 목표

• 이전의 모스 이론적 결과인 앨리오크산 모듈러스의 유한 생성성을 층 이론적 프레임워크로 일반화하기.
• 복소수 준아벨 다양체 위에서 임의의 체 계수를 가진 편향층에 대해 일반성 소멸 정리를 수립하기.
• 고착된 준소형 사상에 의해 준아벨 다양체로 사상되는 매끄럽고 준사영적인 다양체의 정수 계수 앨리오크산 모듈러스가 ℤ 위에서 유한 생성됨을 증명하기.
• 앨리오크산 다항식의 구조와 단위근의 성질을 이용하여, 정수 계수 모듈러스의 유한 생성에 대한 위상수학적 기준을 제공하기.

제안 방법

• 크라우제(Krause, 2014)의 ℓ-adic 일반성 소멸 설정을 임의의 체 계수를 가진 복소수 설정으로 일반화하기.
• 준아벨 다양체 위에서 편향층과 특성층(character sheaves) 이론을 활용하여 코homological 소멸을 분석하기.
• 투영 공식과 기저 변경을 적용하여, 변형된 편향층의 코homology를 기본군의 구조와 연결하기.
• 군의 구조와 특성 이론을 통해 준아벨 다양체 위에서의 일반성 소멸 문제를 아벨 다양체의 알려진 경우로 환원하기.
• 유리수 앨리오크산 다항식의 구조 정리(단위근)를 활용하여, 비유한 생성 정수 모듈러스를 배제하기.
• 피복 차원과 준소형성의 결함을 분석하여 코homological 지지의 제어를 도모하고, 유한 생성을 확보하기.

실험 결과

연구 질문

• RQ1 임의의 체 계수를 가진 편향층이 복소수 준아벨 다양체 위에 존재할 때 일반성 소멸이 성립하는가?
• RQ2 매끄럽고 준사영적인 다양체의 정수 계수 앨리오크산 모듈러스가 ℤ 위에서 유한 생성이 되는 조건은 무엇인가?
• RQ3 알바네제 사상의 고착성과 준소형성은 앨리오크산 모듈러스의 유한 생성성과 어떻게 관련되는가?
• RQ4 준아벨 다양체 위에서의 일반성 소멸 정리로부터 정수 계수 앨리오크산 모듈러스의 유한 생성을 유추할 수 있는가?
• RQ5 단위근은 앨리오크산 다항식의 구조와 정수 모듈러스의 유한 생성성에 어떤 역할을 하는가?

주요 결과

• 임의의 체 계수에 대해 일반성 소멸이 성립한다: 복소수 준아벨 다양체 위의 편향층에 대해, 특성의 조밀한 열린 부분집합에서 코homology는 0 이외의 차수에서 소멸한다.
• X가 준아벨 다양체로의 고착된 준소형 사상 f: X → S를 갖는다면, i ≠ n 인 경우 정수 계수 앨리오크산 모듈러스 $H_i(X^ ho, \mathbb{Z})$ 는 ℤ 위에서 유한 생성된다.
• X의 알바네제 사상이 고착적이고 준소형인 경우, $H_i(X^ ho, \mathbb{Z})$ 의 유한 생성이 보장되며, 이는 준아벨 다양체로의 그러한 사상의 존재와 동치이다.
• 유리수 앨리오크산 다항식의 구조 정리에 따르면, 그 영점은 모두 단위근이므로, $\mathbb{Z}[t,t^{-1}]/(2t^2 - 3t + 2)$ 와 같은 비유한 생성 정수 모듈러스는 배제된다.
• 피복 차원이 d 이고 n > d 이면, 기본군의 이미지가 일반적으로 $\mathbb{Z}$ 로 사상되는 조건 하에, $H_i(X^ ho, \mathbb{Z})$ 는 i ≤ n - d 인 경우 ℤ 위에서 유한 생성된다.
• f: X → S 가 고착적이고 n > r(f) 이면, 결함의 준소형성(defect of semi-smallness)에 대해, $H_i(X^ ho, \mathbb{Z})$ 는 i ≤ n - r(f) 인 경우 동일하게 ℤ 위에서 유한 생성된다.