[논문 리뷰] On special values of spinor L-functions of Siegel cusp eigenforms of genus 3

Francesco L. Chiera, Kirill Vankov|ArXiv.org|2008. 05. 14.

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

한 줄 요약

이 논문은 차수 3, 무게 12인 유일한 시겔 촉점형식 $ F_{12} $에 대한 스핀르 L함수 $ L(s, F_{12}, \text{spin}) $의 특수값을 계산하며, 이 값들이 유리수와 $ \pi $의 거듭제곱으로 스케일된 페테르손 내적의 곱 $ \langle \Delta, \Delta \rangle $ 및 $ \langle g_{20}, g_{20} \rangle $에 비례한다는 것을 보여준다. 이 결과는 도크히터의 ComputeL 패키지와 SAGE를 사용하여 수치적으로 검증되었으며, 차수 3 스핀르 L함수에 대한 특수값의 첫 번째 명시적 계산으로서의 의의를 지닌다.

ABSTRACT

We compute the special values for the spinor L-function L(s,F12) in the critical strip s={12,...,19}, where F12 is the unique (up to a scalar) Siegel cusp form of degree 3 and weight 12, which was constructed by Miyawaki. These values are proportional to the product of Petersson inner products of Ramanujan's Delta by itself and the cusp form of weight 20 for SL(2,Z) by itself by a rational number and some power of Pi. We also verify this result numerically using Dokchitser's ComputeL PARI package. To our knowledge this is the first example of a spinor L-function of Siegel cusp forms of degree 3, when the special values can be computed explicitly.

연구 동기 및 목표

• 차수 3, 무게 12인 유일한 시겔 촉점형식 $ F_{12} $에 대한 스핀르 L함수 $ L(s, F_{12}, \text{spin}) $의 임계 특수값을 계산하는 것.
• 이 값들이 페테르손 내적 $ \langle \Delta, \Delta \rangle $ 및 $ \langle g_{20}, g_{20} \rangle $, 유리수, 그리고 $ \pi $의 거듭제곱의 곱으로 표현될 수 있도록 하는 것.
• 도크히터의 ComputeL PARI 패키지와 SAGE 소프트웨어를 사용하여 이론적 계산을 고정밀도로 수치적으로 검증하는 것.
• 차수 3의 시겔 촉점형식에 대한 스핀르 L함수 특수값 계산의 기초가 되는 예시를 확립하는 것.

제안 방법

• 헤임의 마야와키 추측에 대한 증명에 기반하여, 항등식 $ L(s, F_{12}, \text{spin}) = L(s-9, \Delta) L(s-10, \Delta) L(s, \Delta \otimes g_{20}) $를 사용하여 $ L(s, F_{12}, \text{spin}) $의 함수-equation을 유도하는 것.
• Δ 및 $ g_{20} $의 호지 구조에서 유도된 $ \Gamma $-인자와 함수-equation의 무게를 결정하여, $ \Gamma_{\mathbb{C}}(s) \Gamma_{\mathbb{C}}(s-11) $ 및 무게 31를 얻는 것.
• 가우스의 중복 공식을 사용하여 $ \Gamma $-인자를 $ \Gamma_{\mathbb{R}}(s) \Gamma_{\mathbb{R}}(s+1) \Gamma_{\mathbb{R}}(s-11) \Gamma_{\mathbb{R}}(s-10) $로 표현하는 것.
• SAGE를 사용하여 $ L(s, \Delta \otimes g_{20}) $의 푸리에 계수를 $ n=15 $까지 계산하며, 표 5에 값들을 제시하는 것.
• 150개의 계수를 사용하여 ComputeL 패키지를 활용해 $ s = 12, \dotsc, 19 $에 대해 $ L(s, F_{12}, \text{spin}) $를 수치적으로 평가하여 $ 10^{-27} $의 정밀도를 확보하는 것.
• 이론적 결과와 수치적 결과를 비교하여 상대 오차가 $ 10^{-10} $에서 $ 10^{-16} $ 사이로 일致함을 확인하고 공식의 타당성을 검증하는 것.

실험 결과

연구 질문

• RQ1 임계 구간 $ s = 12, \dotsc, 19 $ 내에서 스핀르 L함수 $ L(s, F_{12}, \text{spin}) $의 명시적 특수값은 무엇인가요?
• RQ2 스핀르 L함수 $ L(s, F_{12}, \text{spin}) $의 특수값은 페테르손 내적과 $ \pi $의 거듭제곱과 같은 알려진 산술 불변량으로 어떻게 표현될 수 있나요?
• RQ3 ComputeL와 SAGE와 같은 계산 도구를 사용하여 $ L(s, F_{12}, \text{spin}) $의 이론적 공식을 고정밀도로 수치적으로 검증할 수 있나요?
• RQ4 이것은 차수 3 스핀르 L함수의 특수값이 명시적으로 계산된 첫 번째 사례인가요?

주요 결과

• 특수값 $ L(s, F_{12}, \text{spin}) $는 $ s = 12, \dotsc, 19 $에서 명시적으로 계산되었으며, 이 값들이 유리수 $ R_s $와 $ \pi $의 정수 거듭제곱 $ \alpha_s $, 그리고 $ \langle \Delta, \Delta \rangle \langle g_{20}, g_{20} \rangle $의 곱에 비례하는 것으로 나타났다.
• 기능적 방정식의 매개변수는 $ \Delta $와 $ g_{20} $의 호지 구조에서 유도되었으며, $ \Gamma $-인자 $ \Gamma_{\mathbb{C}}(s) \Gamma_{\mathbb{C}}(s-11) $와 무게 31를 제공한다.
• ComputeL와 SAGE를 사용한 수치 계산은 이론적 값과 상대 오차 $ 1.98 \times 10^{-10} $에서 $ 7.32 \times 10^{-10} $ 사이로 일致함을 보여주며, 높은 정밀도를 입증한다.
• $ L(s, \Delta \otimes g_{20}) $의 푸리에 계수는 $ n = 15 $까지 계산되었으며, $ A(1) = 1 $, $ A(2) = -10944 $, $ A(10) = 125668751443200 $ 등의 값이 수치 평가에 사용되었다.
• 이 결과는 이론적으로도 수치적으로도 $ L(s, F_{12}, \text{spin}) = L(s-9, \Delta) L(s-10, \Delta) L(s, \Delta \otimes g_{20}) $ 공식이 성립함을 확인하며, 헤임의 정리의 타당성을 검증한다.
• 본 연구는 차수 3 스핀르 L함수에 대한 특수값 계산의 첫 번째 명시적 사례를 확립하였으며, 향후 연구에 기초가 되는 기준을 설정한다.