[논문 리뷰] Explicit formulas for Hecke operators and Rankin's lemma in higher genus

Alexei Panchishkin, Kirill Vankov|ArXiv.org|2006. 10. 12.

Spectral Theory in Mathematical Physics인용 수 5

한 줄 요약

이 논문은 구면 좌표를 사용하여 고도 2에서 헤크 연산자의 명시적 공식을 도출하며, 국소 헤크 대수와 텐서곱에서 생성 함수의 합을 가능하게 한다. 또한 고도 2에서 랭킨의 보조정리를 증명하고, 이카다-미야와키 구성법을 통해 $GSp_2 \times GSp_2$에서 $GSp_4$로의 정칙 상승에 응용한다.

ABSTRACT

We develop explicit formulas for Hecke operators of higher genus in terms of spherical coordinates. Applications are given to summation of various generating series with coefficients in local Hecke algebra and in a tensor product of such algebras. In particular, we formulate and prove Rankin's lemma in genus two. An application to a lifting from (GSp2 imes GSp2) to GSp4 is given using Ikeda-Miyawaki constructions.

연구 동기 및 목표

• 기호 계산과 구면 좌표를 사용하여 랭킨의 보조정리를 고도 2로 확장한다.
• 고도 2에서 헤크 연산자 $\mathbf{T}(p^\delta)$의 명시적 공식을 구면 변수 $x_0, x_1, x_2$ 로 표현한다.
• 국소 헤크 대수와 그 텐서곱의 계수를 가진 헤크 연산자 생성 함수의 합을 계산한다.
• 이 결과를 이카다-미야와키 구성법을 통해 $GSp_2 \times GSp_2$에서 $GSp_4$로의 정칙 상승에 적용한다.
• 다항식 $R(X)$와 $S(X)$의 뉴턴 다각형을 분석하여 기울기가 모두 정수임을 보인다.

제안 방법

• 헤크 연산자를 구면 좌표로 표현하기 위해 사타케의 구면 사상 $\Omega$ 를 사용한다.
• 고도 2에서 안드리아노프의 생성 함수를 적용하여 $\sum_{\delta=0}^\infty \Omega^{(2)}_x(\mathbf{T}(p^\delta)) X^\delta$ 의 닫힌 표현식을 유도한다.
• 기호 계산을 통해 $\Omega^{(2)}_x(\mathbf{T}(p^\delta))$ 의 명시적 공식을 $x_0, x_1, x_2$ 에 대한 유리함수로 유도한다.
• 함수 방정식을 적용하여 다항식 $R(X)$ 와 $S(X)$ 의 계수 $s_i$ 를 결정하며, 대칭성 $s_{16-i} = (p^6[\mathbf{p}]\otimes[\mathbf{p}])^{8-i} s_i$ 를 활용한다.
• $p$ 와 $X$ 에 관하여 $R(X)$ 와 $S(X)$ 의 뉴턴 다각형을 구성하여 기울기가 모두 정수임을 확인한다.
• 이카다-미야와키 구성법을 사용하여 $GSp_2 \times GSp_2$ 에서 $GSp_4$ 로의 정칙 상승을 실현하며, 계산된 헤크 생성 함수가 필요한 생성 자료를 제공한다.

실험 결과

연구 질문

• RQ1 기호 계산과 헤크 연산자의 명시적 공식을 사용하여 랭킨의 보조정리를 고도 2로 일반화할 수 있는가?
• RQ2 고도 2에서 구면 좌표로 표현한 총 헤크 연산자 $\mathbf{T}(p^\delta)$ 의 닫힌 표현식은 무엇인가?
• RQ3 텐서곱의 국소 헤크 대수를 계수로 가지는 헤크 연산자 생성 함수를 어떻게 명시적으로 합할 수 있는가?
• RQ4 $R(X)$ 와 $S(X)$ 의 뉴턴 다각형은 기하학적 또는 산술적 의미를 지니는가, 특히 기울기가 정수임을 고려할 때?
• RQ5 계산된 헤크 생성 함수를 통해 이카다-미야와키 구성법을 명시적으로 실현하여 $GSp_4$ 로의 정칙 상승을 가능하게 할 수 있는가?

주요 결과

• 논문은 모든 $\delta \geq 0$ 에 대해 구면 좌표 $x_0, x_1, x_2$ 에 대한 유리함수 표현식을 $\Omega^{(2)}_x(\mathbf{T}(p^\delta))$ 에 대해 유도한다.
• 국소 헤크 대수의 텐서곱 계수를 가진 생성 함수에 대해 고도 2에서 랭킨의 보조정리를 증명한다.
• $R(X)$ 와 $S(X)$ 의 계수 $s_0, \dots, s_{16}$ 는 명시적으로 계산되었으며, 기능 방정식 $s_{16-i} = (p^6[\mathbf{p}]\otimes[\mathbf{p}])^{8-i} s_i$ 를 통해 대칭 기반 결정이 가능하다.
• $R(X)$ 와 $S(X)$ 의 뉴턴 다각형은 계산되었으며, 모든 기울기가 정수임을 보여, $p$-진 기하학 또는 모티프와의 잠재적 연관성이 제기된다.
• $GSp_2 \times GSp_2$ 에서 $GSp_4$ 로의 정칙 상승은 이카다-미야와키 구성법을 통해 실현되었으며, 헤크 생성 함수가 필요한 생성 자료를 제공한다.
• $m=2,3,\dots$ 에 대해 $D_{p,m}(X) = \sum_{\delta=0}^\infty \Omega^{(2)}_x(\mathbf{T}(p^{m\delta})) X^\delta$ 의 생성 함수가 정의되고, 유도된 공식을 통해 계산 가능하다.