[논문 리뷰] Local systems with quasi-unipotent monodromy at infinity are dense

Hélène Esnault, Moritz Kerz|arXiv (Cornell University)|2021. 01. 02.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 정규 복소다양체의 기본군의 G-표현 모듈리공간에서 무한대에서의 준단조(monodromy)를 갖는 국소계가 자립 밀도(geometrically Zariski dense)임을 증명한다. 캐릭터 다양체의 완비화에 대한 산술적 갈루아군 작용과 드 존의 프로베니우스 준동형사상 기법을 사용하여 이러한 표현의 밀도를 확립함으로써, 수체기하학에서의 보다 광범위한 밀도 추측에 대한 증거를 제공하고, 푸앵카레-마줄르 추측과 심슨의 추측과 연결한다.

ABSTRACT

We show that complex local systems with quasi-unipotent monodromy at infinity over a normal complex variety are Zariski dense in their moduli. v2: we waited for feedback and added a consequence of Alexandr Petrov's theorem. 3: we tightened the last section. Final version: appears in Israel Journal of Mathematics. footnote added to Conjecture 1.1: Aaron Landesman and Daniel Litt just made available a preprint showing that there is a lower bound for the rank of geometric local systems with infinite mon-odromy on certain curves, and consequently the conjecture can not be true in this generality.

연구 동기 및 목표

• 정규 복소다양체의 기본군의 G-표현에서 무한대에서의 준단조 모노드로미를 갖는 표현들이 표현 모듈리공간에서 자립 밀도임을 확립한다.
• 기하학적 기원을 가진 표현들이 캐릭터 다양체에서 자립 밀도를 이룬다는 밀도 추측에 대한 증거를 제공한다.
• 밀도 결과를 캐릭터 다양체의 특수 부분다양체로 확장하여, 푸앵카레-마줄르 추측과 심슨의 '강성 ⇒ 모티브성' 추측과 연결한다.
• 갈루아군 작용과 프로베니우스 준동형사를 이용해 캐릭터 다양체의 산술적 또는 특수 부분다양체로 밀도 결과를 일반화한다.

제안 방법

• 틀린 캐릭터 다양체의 완비화에 대한 절대 갈루아군 작용을 이용하여 무한대에서의 모노드로미 행동을 분석한다.
• 프로베니우스 준동형사를 통한 드 존의 기법을 적용하여 형식적 이웃에서 준단조 모노드로미를 갖는 점을 구성한다.
• 순환 캐릭터를 사용하여 무한대에서의 모노드로미 자료에 대한 갈루아 작용을 기술한다.
• 평탄성과 내림 정리(going-down theorems)를 이용하여 잔여체에서의 점들을 일반점으로 올리며 자립 밀도를 확보한다.
• 도구적 이미지와 평탄한 준동형사를 통해 문제를 국소 완비교차로 환원한다.
• 관련 연구에서 보여진 바와 같이, 리만-힐베르트 대응과 겔포른-슐라이퍼 정리를 대체 도구로 사용한다.

실험 결과

연구 질문

• RQ1 정규 복소다양체의 기본군의 G-표현 모듈리공간에서 무한대에서의 준단조 모노드로미를 갖는 국소계는 자립 밀도인가?
• RQ2 기하학적 기원을 가진 표현들의 집합은 선형 대수군 G의 캐릭터 다양체에서 자립 밀도 부분집합을 이룬다?
• RQ3 밀도 결과는 전체 캐릭터 다양체에서 특수 부분다양체로 확장될 수 있는가? 이는 산술적 또는 기하학적 조건으로 정의된다.
• RQ4 캐릭터 다양체의 형식적 완비화에 대한 갈루아 작용은 무한대에서의 모노드로미 성질과 어떻게 관련되는가?
• RQ5 준단조 모노드로미 표현의 밀도 결과는 푸앵카레-마줄르 추측 또는 심슨의 '강성 ⇒ 모티브성' 추측를 얼마나 지지하는가?

주요 결과

• 무한대에서 준단조 모노드로미를 갖는 G-표현의 집합은 프레임드 캐릭터 다양체 Ch□_G,C(π)에서 자립 밀도이다.
• 증명은 캐릭터 다양체의 형식적 완비화에 대한 갈루아군 작용, 특히 순환 캐릭터를 통한 작용에 기반한다.
• 드 존의 기법은 형식적 이웃에서 (q−1)- torsion 점의 존재를 보장하며, 이는 일반점으로 사라지며 준단조 성질을 유지한다.
• 밀도 결과는 특수 부분다양체 Z ⊂ ChGLr,C(π)로까지 확장되며, 여기서 '특수'는 갈루아군의 열린 부분군에 의해 안정화됨을 의미한다.
• 영차원 특수 부분다양체의 경우, 추측은 심슨의 '강성 ⇒ 모티브성' 추측를 함의하며, 상대적 푸앵카레-마줄르 추측에 의해 함의된다.
• 이 결과는 기하학적 기원을 가진 표현의 밀도에 대한 새로운 산술기하학적 시각을 제공하며, 수체기하학의 보다 광범위한 추측을 지지한다.