[논문 리뷰] Siegel modular forms of degree three and the cohomology of local systems

Jonas Bergström, Carel Faber외 1명|arXiv (Cornell University)|2011. 08. 18.

Advanced Algebra and Geometry인용 수 12

한 줄 요약

이 논문은 주로 극대화된 아벨 세로다중체의 모듈리 공간 $τ_3$ 위의 심플렉틱 국소계에 대한 모티브적 오일러 특성의 추측 공식을 제안하며, 이를 삼차 차수의 시겔 모듈라 형식과 국소계의 코homology와 연결한다. 유한체 위의 종 세 다중체와 아벨 세로다중체의 점 수를 이용하여, 차원 공식, 히케 연산자 추적, 종 1에서 종 3으로의 상향 이행, 그리고 하더 타입의 새로운 합동관계를 예측하는 명시적 공식을 도출한다.

ABSTRACT

We give an explicit conjectural formula for the motivic Euler characteristic of an arbitrary symplectic local system on the moduli space A_3 of principally polarized abelian threefolds. The main term of the formula is a conjectural motive of Siegel modular forms of a certain type; the remaining terms admit a surprisingly simple description in terms of the motivic Euler characteristics for lower genera. The conjecture is based on extensive counts of curves of genus three and abelian threefolds over finite fields. It provides a lot of new information about vector-valued Siegel modular forms of degree three, such as dimension formulas and traces of Hecke operators. We also use it to predict several lifts from genus 1 to genus 3, as well as lifts from G_2 and new congruences of Harder type.

연구 동기 및 목표

• 주로 극대화된 아벨 세로다중체의 모듈리 공간 $τ_3$ 위의 심플렉틱 국소계에 대한 모티브적 오일러 특성 공식을 추측하는 것.
• 유한체 위의 점 수 계산을 통해 이 국소계의 코homology를 삼차 차수의 벡터 값 시겔 모듈라 형식과 연결하는 것.
• 시겔 모듈라 형식에 대한 차원 공식, 히케 연산자 추적, 하더 타입의 새로운 합동관계를 예측하는 것.
• 코homological 자료를 통해 종 1에서 종 3으로의 상향 이행과 $Γ_2$에서 종 3으로의 상향 이행을 식별하는 것.

제안 방법

• 유한체 $×_q$ 위의 종 세 다중체와 아벨 세로다중체의 점 수를 이용하여, Lefschetz 추적 공식을 적용해 코homology 군 위의 프로베니우스 연산자 추적을 계산한다.
• 이 방법은 유한체 위의 점 수 계산이 $×$ 위에 정의된 산술 모듈리 공간의 코homological 정보를 제공한다는 윈의 아이디어에 기반한다.
• 추측 공식인 모티브적 오일러 특성은 시겔 모듈라 형식에서 온 주요 항과 종 수가 낮은 기여에서 온 '추가' 항으로 분해된다.
• 추가 항은 수치 데이터를 바탕으로 종 1과 종 2 기여를 통해 표현 가능하다는 추측이 제기된다.
• 모티브의 모터 군을 이용하여, 모듈라 형식 위의 히케 연산자 추적과 $Ét$-코homology 위의 프로베니우스 연산자 추적을 연결한다.
• 저자들은 $N_q(a,b,c)$, 즉 $×_q$ 위의 점 수에 대한 수치적 검증을 통해 추측을 확인하며, 히케 고유값 합동관계와 비교한다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $τ_3$ 위의 심플렉틱 국소계 $Ã_{a,b,c}$ 에 대한 모티브적 오일러 특성은 무엇인가?
• RQ2 유한체 위의 아벨 세로다중체와 다중체의 점 수는 $τ_3$ 의 코homological 불변량을 어떻게 계산하는 데 사용될 수 있는가?
• RQ3 종 1에서 종 3으로의 시겔 모듈라 형식 상향 이행이 존재하는가? 그리고 그것이 코homology 에 어떻게 반영되는가?
• RQ4 코homological 자료로부터 하더 타입의 새로운 합동관계를 예측할 수 있는가?
• RQ5 모티브적 오일러 특성 분해에서 '추가' 항의 구조는 무엇인가?

주요 결과

• 모티브적 오일러 특성 $e_c(τ_3, Ã_{a,b,c})$ 는 시겔 모듈라 형식에서 온 주요 항 $S[n(λ)]$ 과 '추가' 항 $e_{3,\text{extra}}(λ)$ 로 분해될 것으로 추측되며, 후자는 종 1 및 종 2 기여를 통해 표현 가능하다.
• $(a,b,c) = (16,14,0)$ 인 경우, 모든 $q \leq 17$ 에 대해 $\ell=71$ 모듈로에서 $\lambda_q(F) \equiv_\ell \lambda_q(f)(\lambda_q(g) + q^{c+1}\lambda_q(h))$ 가 성립하며, 이는 종 1에서 종 3으로의 추측 상향 이행을 지지한다.
• 공식은 $(a,b,c) = (16,14,0)$ 에 대해 $s^\text{gen}_{a-b,b-c,c+4} = 1$ 이며, 임계 값 $\Lambda'({\rm Sym}^2(f)\otimes g\otimes h, a+b+5)$ 가 $\ell=71$ 으로 나누어 떨어지며, 수치 데이터와 일치한다.
• $(a,b,c) = (10,0,0)$ 인 경우 오일러 특성은 $-2L^3 - S[12]L^3$ 이며, 이는 무게 12의 모듈라 형식에서의 비자명한 기여를 나타낸다.
• 추측에 따르면 $(a,b,c) = (12,0,0)$ 에서 $e_c(τ_3, Ã_{a,b,c})$ 는 $S[16]$ 를 포함하며, $(14,0,0)$ 에서는 $S[18]$ 을 포함한다. 이는 주요 항이 무게에 따라 어떻게 의존하는지를 보여준다.
• $(a,b,c) = (8,0,0)$ 에서 오일러 특성의 추가 항은 $-L^3 - L^2 + S[12]$ 이며, 이는 고차수 무게에 대한 추측 구조를 확인한다.