[논문 리뷰] The equidistribution of L-functions of twists by Witt vector Dirichlet characters over function fields

Will Sawin|arXiv (Cornell University)|2018. 05. 11.

Advanced Algebra and Geometry참고 문헌 3인용 수 6

한 줄 요약

이 논문은 함수체에서 갈로아 표현(또는 자동형식)의 와이트 벡터 딜리클레 특성에 의한 변형에 관련된 L함수의 등분포를 확립한다. 유한체의 크기가 커짐에 따라 이러한 변형된 L함수의 프로베니우스 공轭류가 유니터리 군 내에서 등분포함을 증명한다. 핵심 결과는 단일 변형에 의한 몽드로미 행렬의 연속적 공轭 불변 함수의 평균이 행렬의 행렬식 조건부 부분집합 위에서의 평균으로 수렴한다는 것으로, 이는 서로 다른 변형에 의한 분포의 독립성을 시사한다.

ABSTRACT

Katz showed that the L-functions of all Dirichlet characters of F_q(t), with conductor a fixed power of a degree one prime, are equidistributed in the limit as q goes to infinity. We generalize this statement to the L-functions of twists of an arbitrary Galois representation by Dirichlet characters, including independence of the L-functions of twists of different representations by the same Dirichlet character. A similar generalization, without the independence statement, for characters with squarefree conductor, was proven by Hall, Keating, and Roditty-Gershon.

연구 동기 및 목표

• 딜리클레 L함수에 대한 케츠의 등분포 결과를 임의의 갈로아 표현에 대한 와이트 벡터 딜리클레 특성에 의한 변형으로 일반화한다.
• 동일한 변형을 거친 서로 다른 갈로아 표현에서 유래한 L함수의 분포가 상호 독립임을 확립한다.
• 랑글랜드 사상에 의해, 등분포 프레임워크를 층과 자동형식으로 확장한다.
• 함수체의 크기 q가 무한히 커짐에 따라 변형된 L함수의 프로베니우스 공轭류가 유니터리 군 내에서 등분포함을 증명한다.
• 층 이론적 방법의 맥락에서 함수방정식 상수와 몽드로미의 균일한 처리를 제공한다.

제안 방법

• 무한체의 차수 d+1을 가진 $ \bbF_q(x) $의 레이 클래스 군과의 동형사상 $ W_{d,q} $을 통해 변형 특성을 정의한다.
• 층 이론적 기법과 몽드로미 군 분석을 통해 문제를 중간 확장 층으로 환원한다.
• 불리스 층과 $ \prod GL_{N_i} $의 기약 표현에 관련된 불리스 층에 대한 프로베니우스의 추적을 분석함으로써 델리뉴의 등분포 정리를 적용한다.
• 변형된 층 $ \mathcal{F}_i \otimes \mathcal{L}_\Lambda $의 몽드로미 표현을 이용하여 구점된 아핀 직선 위에 라이프시츠 층 $ \mathcal{V} $를 구성한다.
• 레프셰츠 고정점 공식을 활용하여 $ \bbF_q $-유리점 위에서의 추적 합을 유계화함으로써, 이 합이 $ O(q^{d - 1/2 + \sum e_i(w_i+1)/2}) $임을 보인다.
• 순수성과 최고 코호몰로지의 소멸을 이용하여 모든 코호몰로지 항목이 원하는 오차 비율 이내로 유계임을 보장함으로써 등분포를 증명한다.

실험 결과

연구 질문

• RQ1 고정된 갈로아 표현에 대해 와이트 벡터 딜리클레 특성에 의한 변형 L함수의 프로베니우스 공轭류가 $ q \to \infty $일 때 유니터리 군 내에서 등분포하는가?
• RQ2 동일한 변형을 거친 서로 다른 갈로아 표현에 대해 프로베니우스 공轭류의 분포는 상호 독립적인가?
• RQ3 등분포 결과는 딜리클레 L함수를 초월하여 일반 갈로아 표현 또는 자동형식으로 확장 가능한가?
• RQ4 함수방정식에서 행렬식의 역할은 무엇이며, 등분포를 어떻게 제어하는가?
• RQ5 변형된 층의 몽드로미 군은 관련된 L함수의 등분포와 어떻게 관련되는가?

주요 결과

• $ d \geq 4 $일 때, 변형된 L함수 $ L(s, \rho_i \otimes \Lambda) $의 프로베니우스 공轭류 $ \varphi_{\Lambda,i} $는 $ q \to \infty $일 때 $ U(N_i) $ 내에서 등분포한다.
• 임의의 연속적 공轭 불변 함수 $ f $에 대해 $ r $-튜플 $ (\varphi_{\Lambda,1}, \dots, \varphi_{\Lambda,r}) $ 위에서의 평균은 행렬식 조건부 부분집합 위에서의 평균으로 수렴한다. 즉, $ \langle f \rangle(\det \varphi_{\Lambda,1}, \dots, \det \varphi_{\Lambda,r}) $이다.
• 단위 몽드로미를 가진 특성 $ \Lambda \in W_{d,q} $의 집합 $ S_q $의 크기는 $ (1 - O(1/q))q^d $이다.
• 추적 합 $ \sum_{x \in U(\bbF_q)} \operatorname{tr}(\operatorname{Frob}_q, \mathcal{V}_x) $는 $ O(q^{d - 1/2 + \sum e_i(w_i+1)/2}) $로 유계이며, 이는 등분포를 시사한다.
• 최고 코호몰로지 군 $ H^{2d}_c(U_{\overline{\bbF}_{q_0}}, \mathcal{V}) $는 표현 $ V $의 기약성과 비행렬식 성질로 인해 소멸한다. 이는 불변 부분공간이 존재하지 않음을 보장한다.
• 이 결과는 기하학적으로 기약적이며 서로 동형이 아닌 모든 $ r $-튜플의 층에 대해 균일하게 성립하며, 서로 다른 표현 간의 등분포는 상호 독립적이다.