[논문 리뷰] Computing weight one modular forms over $\C$ and $\Fpbar$

Kevin Buzzard|arXiv (Cornell University)|2012. 05. 23.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 12

한 줄 요약

이 논문은 모듈러 기호와 고차수 형식에 의한 곱셈을 통해 직접적으로 무게 1에서의 계산을 피하는 방식으로, $\mathbb{C}$ 및 $\overline{\mathbb{F}}_p$ 위에서의 무게 1 모듈러 촌스 형식을 체계적으로 계산하는 방법을 제시한다. 주요 기여는 무게 1, 레벨 82인 모듈러 형식이 특성 199에서 존재하지만 특성 0으로 올라가지 않는다는 발견이며, 이에 따라 $\mathrm{PGL}_2(\mathbb{F}_{199})$를 갈루아 군으로 가지며 2와 41 이외에는 분기되지 않는 $\mathbb{Q}$의 갈루아 확장이 존재한다.

ABSTRACT

We report on a systematic computation of weight one cuspidal eigenforms for the group $Γ_1(N)$ in characteristic zero and in characteristic $p>2$. Perhaps the most surprising result was the existence of a mod 199 weight~1 cusp form of level 82 which does not lift to characteristic zero.

연구 동기 및 목표

• 특성 0과 양의 특성 $p>2$에서 모두 $\Gamma_1(N)$에 대한 무게 1 촌스 형식을 체계적으로 계산하는 것.
• 특성 0으로 올라가지 않는 모듈러 형식, 특히 이전에 드물거나 관측되지 않았던 경우를 포함하여 $p$에 대한 형식을 식별하는 것.
• 비특성 0로 올라가지 않는 형식의 명시적 $q$-전개와, 해당 형식이 유도하는 모듈로 $p$ 갈루아 표현을 통한 갈루아 이론적 해석을 제공하는 것.
• 갈루아 이론적 접근 방식이 양의 특성에서 실패할 경우에도, 특히 자동형식 방법을 통해 무게 1 형식을 계산할 수 있음을 보여주는 것.

제안 방법

• 무게 $k \geq 2$에서의 촌스 형식 공간을 모듈러 기호를 사용하여 계산한 후, 무게 $k \geq 1$인 영이 아닌 모듈러 형식 $f$로 곱하여 무게 1 형식을 고차수 공간으로 매핑하는 것.
• 고차수 형식을 $f$로 나누어 근을 가진 점에서 잠재적인 극을 갖는 무게 1 형식 후보를 구성하고, 여러 $f$의 선택에 대해 결과를 교차시켜 해석형 형식을 분리하는 것.
• 고정된 레벨 $N$에 대해, 알고리즘이 입력으로 $N$만 필요로 하여 모든 홀수 소수 $p \nmid N$에 대해 동시에 모듈로 $p$ 형식을 계산할 수 있음을 활용하는 것.
• 카헤–윈텐버거 정리를 적용하여 $\mathbb{C}$ 위의 무게 1 고유형식과 프로젝티브 이미지가 $A_4$, $S_4$, 또는 $A_5$인 갈루아 표현을 연결하고, 이를 통해 모듈로 $p$ 형식을 검증하는 것.
• 갈루아 켤레와 환원 기법을 사용하여 모듈로 $p$ 형식과 특성 0으로의 올림을 비교하고, $\mathbb{F}_p$에서의 계수 관계를 통해 비올라리블 형식을 식별하는 것.
• 모듈로 $p$ 갈루아 표현의 이미지를 분석하여 $\mathrm{PSL}_2(\mathbb{F}_p)$와 $\mathrm{PGL}_2(\mathbb{F}_p)$를 구분하는 것. 이는 추적 조건과 부분군의 지표 분석을 사용한다.

실험 결과

연구 질문

• RQ1 특성 $p>2$에서 레벨 $N$에 대해 특성 0 고유형식으로 올라가지 않는 모듈로 $p$ 무게 1 촌스 형식이 존재하는가?
• RQ2 특성 0으로 올라가지 않는 모듈로 $p$ 무게 1 형식의 갈루아 이론적 해석은 무엇인가? 특히 그에 대응하는 갈루아 표현의 프로젝티브 이미지에 대해 설명하라.
• RQ3 고차수 형식으로 곱하고 결과를 교차시키는 방법이 $\Gamma_1(N)$에 대한 해석형 무게 1 촌스 형식 공간을 엄밀하게 계산하는 데 성공할 수 있는가?
• RQ4 무게 1 형식에서 유도되는 모듈로 $p$ 갈루아 표현의 프로젝티브 이미지로 $\mathrm{PSL}_2(\mathbb{F}_p)$와 $\mathrm{PGL}_2(\mathbb{F}_p)$를 어떻게 구분할 수 있는가?

주요 결과

• 무게 199, 레벨 82인 모듈로 $p$ 형식이 존재하며, 이는 특성 0으로 올라가지 않아, 양의 특성에서 비올라리블 형식의 구체적 예를 제공한다.
• 이 형식에 대응하는 갈루아 표현의 프로젝티브 이미지는 $\mathrm{PGL}_2(\mathbb{F}_{199})$이며, 이에 대응하는 $\mathbb{Q}$의 갈루아 확장은 2와 41 이외에는 분기되지 않는다.
• 모듈로 199 형식은 소수 $\ell \neq 2, 41, 199$에 대해 계수 관계 $\overline{a}_\ell = a_\ell / \chi(\ell)$를 만족한다. 여기서 $\overline{a}_\ell = a_\ell^{199}$는 갈루아 켤레이다.
• 프로젝티브 이미지가 $\mathrm{PGL}_2(\mathbb{F}_{199})$임을 증명하기 위해, 프로젝티브 특성 0에서의 이미지가 $\mathrm{PSL}_2(\mathbb{F}_{199})$가 되지 않음을, 프로베니우스 원소의 고유값에 대한 추적과 지표 분석을 통해 배제한다.
• $\mathrm{PSL}_2(\mathbb{F}_{199})$에 대응하는 부분확장은 $\mathbb{Q}(\sqrt{41})$이며, 이는 분기 성질과 갈루아 군의 구조를 확인한다.
• 이 방법은 입력으로 $N$만 필요로 하여 특성 0 및 모듈로 $p$ 형식을 동시에 계산할 수 있으며, 비올라리블 형식이 존재하는 모든 소수 $p$를 식별한다.