[논문 리뷰] Computing Congruences of Modular Forms and Galois Representations Modulo Prime Powers

Xavier Taixés i Ventosa, Gabor Wiese|arXiv (Cornell University)|2009. 09. 15.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 4

한 줄 요약

이 논문은 소거듭제수 ℓⁿ에 대해 모듈러 형식과 갈루아 표현의 합동을 계산하는 알고리즘을 개발한다. 합동 수와 뉴턴 다각형 방법을 사용하여 두 헤크 연산자 고유형이 ℓⁿ에 대해 합동인지 여부를 판단한다. 주요 결과는 레벨 레벨업이 합동 수의 약수 조건에 의해 반드시 유도되지 않는다는 것으로, 리비트 정리의 직관적 일반화가 성립하지 않음을 시사한다.

ABSTRACT

This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials have a root in common in a sense that is defined. These techniques are applied to the study of congruences of modular forms and modular Galois representations modulo prime powers. Finally, some computational results with implications on the (non-)liftability of modular forms modulo prime powers and possible generalisations of level raising are presented.

연구 동기 및 목표

• 소수 ℓ과 n ≥ 1에 대해 모듈러 형식과 갈루아 표현 간의 합동을 결정하는 계산 방법을 개발하는 것.
• 표준 합동 정의를 복잡하게 만드는 비감소적이고 비인수적 환인 ℤ/ℓⁿℤ와 같은 환에서의 작업에 도전하는 것.
• 모듈로 ℓ에서의 레벨 레벨업 현상의 일반화를 ℓⁿ으로 확장하는 것, 특히 헤크 고유형의 맥락에서.
• 헤케 연산자의 특성다항식과 그 근을 통해 새로운 형식 간의 합동을 계산하는 알고리즘 도구를 제공하는 것.
• 모듈로 ℓⁿ에서의 모듈러 형식의 비상승성과 이 설정에서 갈루아 표현의 행동을 조사하는 것.

제안 방법

• 서로소 모닉 정수 계수 다항식에서 유도된 유도 불변량인 합동 수를 통해 대수적 정수 간의 합동을 정의한다.
• 합동 수가 부족할 경우, 근의 차이로 이루어진 다항식의 뉴턴 다각형을 사용하여 합동 탐지의 정밀도를 높인다.
• q-전개 계수의 유한한 수를 결정하기 위해 슈름 경계를 적용하여 모듈로 ℓⁿ에서의 모듈러 형식을 유일하게 식별한다.
• 헤케 연산자 특성다항식의 공통 근을 분석하여 두 새로운 형식이 모듈로 ℓⁿ에서 합동이 되는 최대 ℓⁿ을 계산하는 알고리즘을 구축한다.
• 다른 수준의 형식을 동일한 수준으로 줄여 비교하기 위해 모듈로 ℓⁿ에서의 탈선 사상(데기너레이션 맵)을 구현한다.
• 합동 수와 뉴턴 다각형 방법을 사용하여 에이젠스타인 시리즈 모듈로 ℓⁿ에서의 합동에 대한 상한과 하한을 계산한다.

실험 결과

연구 질문

• RQ1 T_p의 특성다항식의 합동 수가 ℓⁿ으로 나누어떨어지면, 새로운 형식에 대해 레벨 레벨업이 모듈로 ℓⁿ에서 발생하는가?
• RQ2 리비트의 고전적 레벨 레벨업 정리를 합동 수 모듈로 ℓⁿ으로 일반화할 수 있으며, 만약 가능하면 어떤 조건에서 성립하는가?
• RQ3 무게와 수준이 동일한 새로운 형식 f가 모듈로 ℓⁿ에서 에이젠스타인 시리즈와 합동이 되는 최대 ℓⁿ은 무엇인가?
• RQ4 수준 Np에서 f와 새로운 형식 간의 합동 거듭제수의 ℓ-진 값의 합이 (p+1)²를 포함하는 합동 수의 ℓ-진 값과 같아지는가?
• RQ5 모듈로 ℓⁿ에서의 모듈러 형식이 얼마나 비상승적인가? 이는 관련 갈루아 표현의 구조에 어떤 영향을 미치는가?

주요 결과

• 합동 수는 두 모닉 서로소 정수 계수 다항식의 근이 모듈로 ℓⁿ에서 합동이 되는 최대 ℓⁿ에 대한 좋은 상한을 제공한다.
• 무게 2, 수준 Γ₀(17)인 새로운 형식에 대해, ℓ²가 합동 수를 나누지만, 수준 17·59로의 레벨 레벨업은 발생하지 않으며, 이는 합동 수의 약수 조건이 레벨 레벨업을 보장하지 않음을 시사한다.
• 알고리즘은 전체 수체의 임베딩을 사용하는 난이도 높은 방법보다 새로운 형식 간의 합동을 더 효율적으로 계산한다.
• 헤케 연산자 T_p의 특성다항식과 에이젠스타인 부분공간의 근에서 공통 근을 분석하여, 에이젠스타인 시리즈 모듈로 ℓⁿ에서의 합동을 탐지함으로써 합동 수준에 대한 상한을 도출한다.
• 논문은 f와 수준 Np의 새로운 형식 간의 합동 거듭제수의 ℓ-진 값의 합이 (p+1)²를 포함하는 합동 수의 ℓ-진 값과 일치하지 않을 수 있음을 관찰하며, 더 정교한 불변량이 필요함을 시사한다.
• 반례를 통해, 모듈로 ℓ에서의 에이젠스타인 시리즈와의 합동에 관한 마주르의 정리의 난이도 높은 일반화가 ℓⁿ으로 확장되지 않음을 보여주며, 모듈로 ℓⁿ에서의 합동이 항상 모듈로 ℓ에서의 합동으로부터 연장되지 않는다는 점을 밝힌다.