[논문 리뷰] Moduli of Hyperelliptic Curves and Multiple Dirichlet Series

Adrian Diaconu, Vicenţiu Pașol|arXiv (Cornell University)|2018. 08. 29.

Advanced Algebra and Geometry참고 문헌 49인용 수 5

한 줄 요약

이 논문은 함수방정식군에 의존하지 않는 축약 조건을 도입하여 이차 디리클레 L함수의 곱과 관련된 특별한 다중 디리클레 급수를 구성한다. 이 급수의 p-부분이 적합한 이중 쌍피복의 모듈리 공간과 관련된 재귀관계를 만족함을 보이며, 이는 하이퍼에일리프틱 모듈리 공간 H_g[2]의 ℓ-아디크 코hom로지에서 프로베니우스의 고유값에 기반한 q-웨일 수를 통해 계수를 귀납적으로 표현할 수 있음을 의미한다. 이는 델리뉴의 무게 이론을 통해 수론과代수기하학을 연결한다.

ABSTRACT

In this paper we provide an explicit construction of a $distinctive$ multiple Dirichlet series associated to products of quadratic Dirichlet L-series, which we believe should be tightly connected to a generalized metaplectic Whittaker function on the double cover of a Kac-Moody group. To do so, we first impose a set of axioms, independent of any group of functional equations, which the aforementioned object should satisfy. As a consequence, we deduce that the coefficients of the $p$-parts of the multiple Dirichlet series satisfy certain recurrence relations. These relations lead to a family of identities, which turns out to be $encoded$ in the combinatorial structure of certain moduli spaces of admissible double covers. Finally, via this crucial connection, we apply Deligne's theory of weights to express inductively the coefficients of the $p$-parts in terms of the eigenvalues of Frobenius acting on the $\ell$-adic étale cohomology of local systems on the moduli $\mathscr{H}_{g}[2]$ of hyperelliptic curves of genus $g$ with level 2 structure.

연구 동기 및 목표

• 기능방정식군에 의존하지 않는 이차 디리클레 L함수의 곱과 관련된 다중 디리클레 급수를 구성하는 것.
• 축약 조건에서 유도된 재귀관계를 통해 급수의 p-부분을 규명하는 것.
• 이 급수의 계수와 하이퍼에일리프틱 곡선의 수준 2 구조를 가진 모듈리 공간 H_g[2] 위의 국소계의 에탈 코호몰로지 사이의 깊은 연결 고리를 확립하는 것.
• 델리뉴의 무게 이론을 활용하여 프로베니우스의 고유값에 기반한 q-웨일 수를 통해 계수를 귀납적으로 표현하는 것.

제안 방법

• 기능방정식군에 의존하지 않는 다중 디리클레 급수에 대한 일련의 축약 조건을 도입하는 것.
• 이 축약 조건에서 유도된 p-부분 계수의 재귀관계를 도출하는 것.
• 이 재귀관계가 적합한 이중 쌍피복의 모듈리 공간의 조합론적 구조에 의해 암호화되어 있음을 규명하는 것.
• 델리뉴의 무게 이론을 적용하여 계수와 H_g[2] 위의 국소계의 ℓ-아디크 에탈 코호몰로지에 작용하는 프로베니우스의 고유값 사이의 관계를 규명하는 것.
• 재귀관계의 구조와 모듈리 공간 간의 연결 고리를 활용하여 p-부분 계수를 q-웨일 수로 귀납적으로 표현하는 것.
• 생성 급수와 잔여치 계산을 활용하여 특정 계수를 계산하며, 특히 모멘트 합 M_3(r;q) 및 M_4(r;q)의 맥락에서 다룬다.

실험 결과

연구 질문

• RQ1 기능방정식군에 의존하지 않고 이차 L함수의 곱과 관련된 다중 디리클레 급수를 어떻게 구성할 수 있는가?
• RQ2 이 급수의 p-부분 계수가 만족하는 재귀관계를 뒷받침하는 조합론적 또는 기하학적 구조는 무엇인가?
• RQ3 이 급수의 p-부분 계수는 하이퍼에일리프틱 곡선의 수준 2 구조를 가진 모듈리 공간 H_g[2] 위의 국소계의 에탈 코호몰로지와 어떻게 관련되어 있는가?
• RQ4 델리뉴의 무게 이론을 통해 프로베니우스의 고유값을 통해 계수를 귀납적으로 표현할 수 있는가?
• RQ5 함수체계 설정에서 모멘트 합 M_3(r;q)와 M_4(r;q) 사이의 정확한 관계는 무엇이며, 이는 더 깊은 코호몰로지적 구조를 어떻게 反영하는가?

주요 결과

• 다중 디리클레 급수의 p-부분 계수는 H_g[2] 위의 국소계의 ℓ-아디크 에탈 코호몰로지에 작용하는 프로베니우스의 고유값인 q-웨일 수를 통해 귀납적으로 표현 가능하다.
• p-부분 계수를 지배하는 재귀관계는 적합한 이중 쌍피복의 모듈리 공간의 조합론적 구조에 암호화되어 있다.
• 짝수 r에 대해 M_4(r;q) = q·M_3(r;q)라는 항등식이 제곱 자유 다항식 위의 군 작용과 타원곡선 위의 모멘트 합과의 비교를 통해 증명된다.
• p-부분의 생성 급수는 조건 |κ| = r₁(κ) + 2r₂(κ) 하에 z(z−1)에 대한 qz²−1과 E-함수의 곱을 포함하는 잔여치 공식을 만족한다.
• 짝수 r에 대해 모멘트 합 M_4(r;q)가 q·M_3(r;q)와 동일하다는 것이 입증되어, Proposition 5.2의 증명에서 사용된 핵심 항등식을 확인한다.
• 이 구성은 Kac-Moody 군의 이중 쌍피복 위에서 일반화된 메타플렉틱 월리커 함수의 후보를 제공하며, 수론과 무한차원 리 이론을 연결한다.