[논문 리뷰] Relations between conjectural eigenvalues of Hecke operators on submotives of Siegel varieties

Dmitry Logachev|ArXiv.org|2004. 05. 23.

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

한 줄 요약

이 논문은 Langlands–Arthur 추측과 Satake 사상에 기반하여 Siegel 다양체의 부분모티프(cohomology)에서 $p$-Hecke 연산자의 고유값들 사이의 선형 관계를 추측적으로 유도한다. 주요 결과는 이러한 관계가 $p$에 대해 다항식이며 재귀적 성질을 만족하며, Weil 수 계산과 Hecke 다항식 인수분해를 통해 $g=2,3$에 대해 명시적인 공식을 제공한다는 것이다.

ABSTRACT

There exist conjectural formulas on relations between $L$-functions of submotives of Shimura varieties and automorphic representations of the corresponding reductive groups, due to Langlands -- Arthur. In the present paper these formulas are used in order to get explicit relations between eigenvalues of $p$-Hecke operators (generators of the $p$-Hecke algebra of $X$) on cohomology spaces of some of these submotives, for the case $X$ is a Siegel variety. Hence, this result is conjectural as well: methods related to counting points on reductions of $X$ using the Selberg trace formula are not used. It turns out that the above relations are linear, their coefficients are polynomials in $p$ which satisfy a simple recurrence formula. The same result can be easily obtained for any Shimura variety. This result is an intermediate step for a generalization of the Kolyvagin's theorem of finiteness of Tate -- Shafarevich group of elliptic curves of analytic rank 0, 1 over $Q$, to the case of submotives of other Shimura varieties, particularly of Siegel varieties of genus 3.

연구 동기 및 목표

• Siegel 다양체의 부분모티프에서 $p$-Hecke 연산자의 고유값 간의 추측적 선형 관계를 수립하는 것.
• Tate–Shafarevich 군에 대한 Kolyvagin의 유한성 정리가 $g=3$인 Siegel 다양체의 부분모티프로 일반화되는가를 탐구하는 것.
• Weil 수와 Satake 사상에 의한 계산을 통해 Hecke 고유값에 대한 명시적인 다항식 관계를 도출하는 것.
• Shimura 다양체에서의 자동형 $L$-함수 연구를 위한 기초를 제공하기 위해 $g=2$와 $g=3$에 대한 계산 도구와 표를 제공하는 것.

제안 방법

• 부분모티프의 $L$-함수와 재구성군 위의 자동형 표현 간의 관계를 수립하기 위해 Langlands–Arthur 추측을 활용한다.
• Satake 사상에 의해 Weil 수 간의 관계를 $p$-Hecke 연산자 고유값 간의 관계로 변환한다.
• GSp_{2g} 내의 포물선 부분군 $P$의 구조를 이용하여 부분모티프에 대한 고유값 관계를 분류하고 계산한다.
• Weil 수의 정합 다항식을 통해 고유값 관계의 다항계수에 대한 재귀 관계를 유도한다.
• $g=2$와 $g=3$에 대해 명시적인 계산을 수행하며, Hecke 다항식 인수분해와 추적 관계 대입을 포함한다.
• 부록에 $g=2$와 $g=3$에 대한 표를 제공하여 수치적 검증과 향후 응용을 지원한다.

실험 결과

연구 질문

• RQ1 Siegel 다양체의 부분모티프에서 $p$-Hecke 연산자의 고유값 간의 추측적 선형 관계는 무엇인가?
• RQ2 Langlands–Arthur 추측이 유도하는 Weil 수 관계가 Satake 사상에 의해 어떻게 Hecke 고유값 관계로 변환되는가?
• RQ3 이러한 고유값 관계의 다항계수에 대해 $p$에 대한 재귀 공식을 유도할 수 있는가?
• RQ4 $g=2$와 $g=3$인 Siegel 다양체에 대해 이러한 관계는 어떤 명시적 형태를 띄는가?
• RQ5 이러한 관계를 어떻게 활용하여 Kolyvagin의 유한성 정리를 더 높은 종수의 Siegel 다양체로 일반화할 수 있는가?

주요 결과

• 고유값 $\goth m_{p,i}$ 간의 관계는 선형이며, 그 계수는 $p$에 대한 다항식이며 단순한 재귀 공식을 만족한다.
• $g=3$의 경우 Hecke 다항식은 $\tau_p$와 $\tau_{p,1}$로 표현되며, $p^2$, $p^5$, $p^{10}$을 포함하는 명시적 계수를 갖는다.
• 조건 $A=0$이 성립하며, 이는 $\goth h_3 = 0$에서 유도된 $\goth m_p$, $\goth m_{p,1}$, $\goth m_{p,2}$ 및 $p$에 대한 다항식의 조합이다.
• $A=0$ 조건 하에서 대칭 합 $\sigma_2(\alpha_*)$는 $p^2(\goth m_{p,2} - p^4 + p^3 - p^2 + 1)$로 단순화되어 복잡도가 감소한다.
• $g=3$의 Hecke 다항식은 (4.5)에서 $\tau_{p,2}$를 대입하고 인수분해하여 Satake 매개변수에 대한 차수 4의 다항식으로 얻어진다.
• 부록의 표는 $g=2$와 $g=3$에 대해 $\goth m_{p,i}$와 Weil 수의 명시적 값을 제공하여 수치적 및 이론적 확장을 지원한다.