[논문 리뷰] Comptage des systèmes locaux $\ell$-adiques sur une courbe

Hongjie Yu|arXiv (Cornell University)|2018. 07. 12.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 유한체 위의 매끄럽고 프로젝티브이며 기하학적으로 연결된 곡선 위의 고정된 계수를 가진 기약 ℓ-adic 국소계수의 수를 위한 Lefschetz 유형 고정점 공식을 수립한다. 이는 Drinfeld의 계수 2 결과를 일반화하고 Deligne의 추측을 증명한다. Langlands 대응, Arthur 추적 공식, 안정 Higgs 번들의 모듈리 공간 위의 Fq-유리점 수와의 연결을 통해 Weil 수와 다중도 계수를 포함하는 명시적 공식을 도출하며, 이는 유한체 위의代수다양체에서의 점 수 계산과 유사하다.

ABSTRACT

Let $X_{1}$ be a projective, smooth and geometrically connected curve over $\mathbb{F}_{q}$ with $q=p^{n}$ elements where $p$ is a prime number, and let $X$ be its base change to an algebraic closure of $\mathbb{F}_{q}$. We give a formula for the number of irreducible $\ell$-adic local systems ($\ell eq p$) with a fixed rank over $X$ fixed by the Frobenius endomorphism. We prove that this number behaves like a Lefschetz fixed point formula for a variety over $\mathbb{F}_q$, which generalises a result of Drinfeld in rank $2$ and proves a conjecture of Deligne. To do this, we pass to the automorphic side by Langlands correspondence, then use Arthur's non-invariant trace formula and link this number to the number of $\mathbb{F}_q$-points of the moduli space of stable Higgs bundles.

연구 동기 및 목표

• Fq 위의 곡선에서 Frobenius 고정 기약 ℓ-adic 국소계수의 수를 계수 2인 Drinfeld 결과로부터 임의의 계수로 일반화한다.
• Fq 위의 다양체에 대한 Lefschetz 고정점 공식과 유사하게 이러한 국소계수의 수가 행동하는 방식을 설명하는 Deligne의 추측을 증명한다.
• Fq 위의 곡선에서 고정된 계수를 가진 Frobenius-불변 기약 ℓ-adic 국소계수의 수를 정확한 공식으로 설정한다.
• Langlands 대응을 통해 국소계수의 수를 안정 Higgs 번들의 모듈리 공간 위의 Fq-유리점 수와 연결한다.
• 비불변 Arthur 추적 공식을 사용하여 추적 공식의 스펙트럴 및 기하 측면을 분석하고 최종 공식을 유도한다.

제안 방법

• ℓ-adic 국소계수의 수를 세는 문제를 자동형함수 측면으로 옮기기 위해 Langlands 대응을 적용한다.
• 비불변 Arthur 추적 공식을 사용하여 추적 공식의 기하 측면과 스펙트럴 측면을 연결한다.
• Frobenius 고정 국소계수의 수를 안정 Higgs 번들의 모듈리 공간 위의 Fq-유리점 수와 연결한다.
• (G,M)-가족과 아이젠스타인 급수 기여를 통해 추적 공식의 스펙트럴 측면을 분석한다.
• 아델 군 위의 적분을 통해 기하 측면을 계산하고, 이를 분해 불가능 벡터 번들의 관계와 Higgs 번들과 연결한다.
• 그래프 이론적 기법과 보편 다항식을 사용하여 추적 공식 항의 조합론적 구조를 다룬다.

실험 결과

연구 질문

• RQ1 Fq 위의 곡선에서 고정된 계수를 가진 Frobenius 고정 기약 ℓ-adic 국소계수의 수는 유한체 위의 다양체에서의 점 수 계산과 유사한 Lefschetz 유형 고정점 공식을 만족하는가?
• RQ2 Langlands 대응과 추적 공식 기법을 통해 Drinfeld의 계수 2 결과를 임의의 계수로 일반화할 수 있는가?
• RQ3 이러한 국소계수의 수를 안정 Higgs 번들의 모듈리 공간 위의 Fq-유리점 수와 정확히 일치시키는 명시적 공식이 존재하는가?
• RQ4 Arthur 추적 공식의 스펙트럴 측면과 기하 측면이 국소계수의 최종 수에 어떻게 기여하는가?
• RQ5 Weil 수와 다중도 계수는 결과 공식에서 어떤 역할을 하는가? 이들은 모듈리 공간의 코homological 구조를 어떻게 반영하는가?

주요 결과

• Fq 위의 곡선 X에서 계수 n인 Frobenius 고정 기약 ℓ-adic 국소계수의 수는 ∑ mi αik 형태의 공식으로 주어지며, 여기서 αi 는 무게가 2g−1보다 엄격히 작은 Weil 수이고 mi 는 유리수 정수이다.
• 이 공식은 정확히 Fq 위의 다양체에 대한 Lefschetz 고정점 공식과 동일하게 행동하므로, 계수 2인 Drinfeld 결과를 일반화한다.
• 이러한 국소계수의 수는 계수 n, 차수 0인 안정 Higgs 번들의 모듈리 공간 위의 Fq-유리점 수와 같다.
• Arthur 추적 공식의 스펙트럴 측면은 (G,M)-가족과 그래프 이론적 분해를 통해 계산된 아이젠스타인 급수 및 잔여항을 기여한다.
• 기하 측면은 분해 불가능 벡터 번들과 Higgs 번들과의 관계를 히친 피브리케이션을 통해 연결된 적분을 통해 분석된다.
• 최종 공식은 ℓ에 독립적이며, 계수 g와 계수 n에 대한 보편 다항식을 포함하며, 계수는 Z에 속한다.