[논문 리뷰] Further Computations of Galois Representations Associated to Modular Forms

Peng Tian|arXiv (Cornell University)|2013. 11. 04.

Advanced Mathematical Identities참고 문헌 4인용 수 3

한 줄 요약

이 논문은 레벨 1의 쇼크스 모듈러 형식에 부착된 mod ℓ 갈루아 표현을 계산하기 위한 향상된 알고리즘을 제시하며, ℓ = 29 (k=16) 및 ℓ = 31 (k=12,20,22)에 대해 명시적인 계산을 가능하게 하고 엄밀한 정확성 증명을 제공한다. 또한 큰 소수에서 라마누잔의 타우 함수를 부호를 제외하고 모듈로 31로 계산하고, 타우 함수에 대한 레이머의 추측에 대한 더 낫게 조인 상한을 설정한다.

ABSTRACT

We propose an improved algorithm for computing mod $\ell$ Galois representations associated to a cusp form $f$ of level one. The proposed method allows us to explicitly compute the case with $\ell=29$ and $f$ of weight $k=16$, and the cases with $\ell=31$ and $f$ of weight $k=12,20, 22$. All the results are rigorously proved to be correct. As an example, we will compute the values modulo $31$ of Ramanujan's tau function at some huge primes up to a sign. Also we will give an improved higher bound on Lehmer's conjecture for Ramanujan's tau function.

연구 동기 및 목표

• 레벨 1의 쇼크스 형식과 관련된 mod ℓ 갈루아 표현을 더 효율적이고 엄밀하게 계산하기 위한 알고리즘을 개발하는 것.
• 이전에는 가능하지 않았던 더 높은 소수 ℓ 과 더 높은 무게 k 에서 이러한 표현의 명시적 계산을 확장하는 것.
• 이 알고리즘을 사용하여 큰 소수에서 라마누잔의 타우 함수를 부호를 제외하고 모듈로 31로 계산하는 것.
• 라마누잔의 타우 함수의 가장 작은 비영인 값에 대한 상한을 향상시키는 것, 이는 레이머의 추측을 뒷받침한다.

제안 방법

• 고급 모듈러 형식 이론과 유한체 위에서의 모듈러 심볼 계산을 위한 효율적 알고리즘을 활용한다.
• 코homology 위에서 헤크 연산자의 작용을 이용하여 쇼크스 형식과 관련된 mod ℓ 갈루아 표현을 계산한다.
• 큰 무게와 레벨 1의 형식을 효율적으로 처리하기 위해 소수 ℓ 모듈로에서의 감소 기법을 사용한다.
• 계산된 표현의 정확성을 보장하기 위해 엄밀한 오차 한계와 검증 절차를 통합한다.
• 이전 방법이 실패한 ℓ = 29 와 ℓ = 31 에서의 계산 가능성을 최적화한다.
• 모듈로 31에서 타우 값의 계산은 추출된 갈루아 표현 데이터와 상호작용 법칙에 기반한다.

실험 결과

연구 질문

• RQ1 ℓ = 29 와 ℓ = 31 에서 더 높은 무게에서 레벨 1의 쇼크스 형식에 대한 mod ℓ 갈루아 표현을 효율적으로 계산할 수 있는가?
• RQ2 큰 소수에서 라마누잔의 타우 함수를 부호를 제외하고 모듈로 31로 계산한 명시적 값은 무엇인가?
• RQ3 이전에는 해결이 불가능했던 경우에 대해 알고리즘을 어떻게 엄밀하고 계산 가능하게 만들 수 있는가?
• RQ4 라마누잔의 타우 함수의 가장 작은 비영인 값에 대해 향상된 상한을 어떻게 설정할 수 있는가?
• RQ5 이 알고리즘은 다른 소수들과 무게로 어떻게 일반화할 수 있는가?

주요 결과

• 논문은 무게 k=16 인 쇼크스 형식에 대해 mod 29 갈루아 표현을 성공적으로 계산하였으며, 엄밀한 정확성 증명을 제시한다.
• 무게 k=12, 20, 22 인 쇼크스 형식에 대해 mod 31 갈루아 표현을 명시적으로 계산한다.
• 이 알고리즘은 처음으로 큰 소수에서 부호를 제외한 모듈로 31에서 라마누잔의 타우 함수를 계산할 수 있도록 한다.
• 라마누잔의 타우 함수의 가장 작은 비영인 값에 대한 새로운, 개선된 상한이 설정되었으며, 이는 레이머의 추측을 뒷받침한다.
• 모든 계산된 갈루아 표현은 이론적 및 계산적 점검을 통해 엄밀하게 정확함이 검증되었다.