[논문 리뷰] Non-optimal levels of a reducible mod l modular representation

Hwajong Yoo|arXiv (Cornell University)|2014. 09. 29.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 10

한 줄 요약

이 논문은 $N$가 제곱-free인 경우, $\ell$에 대한 환원 가능 모듈로 Galois 표현을 갖는 무게 2의 새로운 형태가 존재하는 충분조건을 확립한다. 이 경우, $N$을 나누는 소수 $p$에 대해 $U_p$-고유값이 $\pm1$으로 주어진다. Ribet의 정확한 수열과 Shimura 곡선의 기하학에 기반한 수준 상승 기법을 사용하여, 이러한 새로운 형태가 존재하는 데 적합한 $t$-튜플의 소수를 특성화한다. 특히 $\ell \geq 5$ 이고 표현이 $\mathbbm{1} \oplus \chi_\ell$일 때를 다룬다. 주요 기여는 낮은 랭크의 경우 비최적 수준에 대한 완전한 분류이다.

ABSTRACT

Let $\ell \geq 5$ be a prime and let $N$ be a square-free integer prime to $\ell$. For each prime $p$ dividing $N$, let $a_p$ be either $1$ or $-1$. We give sufficient criteria for the existence of a newform $f$ of weight 2 for $Γ_0(N)$ such that the mod $\ell$ Galois representation attached to $f$ is reducible and $U_p f = a_p f$ for primes $p$ dividing $N$. The main techniques used are level raising methods based on an exact sequence due to Ribet.

연구 동기 및 목표

• 비최적 수준 $N$ 중에서 무게 2의 새로운 형태가 존재하고, 그 모듈로 $\ell$ Galois 표현이 $\mathbbm{1} \oplus \chi_\ell$와 동형이 되는 경우를 특정하는 것.
• 서로 다른 소수 $p_1, \dots, p_t$의 $t$-튜플이 적합한지 특성화하여, 수준 $N = \prod p_i$인 새로운 형태가 존재하고, $U_p$-고유값이 $\pm1$으로 주어지는 경우를 다루는 것.
• Ribet의 정확한 수열과 Shimura 곡선의 야곱시안을 사용하여, 특히 모듈로 $\ell$ 표현이 기약이 아닌 경우의 환원 가능 사례로 수준 상승 방법을 확장하는 것.
• 스코로보고토프 부분군과 열화 지도가 야곱시안 간 사상의 핵을 제어하는 데 미치는 영향을 조사하여, 수준 상승에 필수적인 요소로 작용하는지 분석하는 것.
• Ribet의 필요 조건이 대부분의 경우 충분조건이 되며, 특히 $t \leq 4$일 경우를 증명하고, 예외적인 경우에 대해 충분조건를 기술하는 것.

제안 방법

• 헤케 대수의 구조와 갈루아 표현이 높은 수준에서 새로운 형태의 존재와 관련이 있음을 연결하기 위해 Ribet의 정확한 수열을 사용한다.
• 특히 $J_0^{pD}(N)$와 $J_0^{pD}(Np)$ 사이의 열화 지도의 핵에 중점을 두어, 야곱시안의 기하학에 기반한 수준 상승 기법을 적용한다.
• 소수 $p$에서의 스토로보고토프 부분군 $\Sigma_p$를 사용하며, 이는 Shimura 곡선의 비분기 커버링을 통해 정의되며, $U_p$-행동이 $-1$로 알려져 있다.
• 스토로보고토프 부분군에서의 헤케 연산자 $U_p$, $U_q$, $T_k$의 작용을 분석하여, $U_p$는 $-1$, $U_q$는 $1$, $T_k$는 $k \nmid pDN$일 때 $k+1$로 작용함을 보인다.
• $J_0^{pr}(1) \times J_0^{pr}(1) \to J_0^{pr}(q)$의 열화 지도의 핵 $K$를 사용하여, 헤케 모듈러스 내의 비자명한 $\ell$- torsion을 탐지한다. 이 핵에는 $\Sigma_r$의 반대대각선 임베딩이 포함되어 있다.
• 다중성 정리와 $\mathbb{F}_p$ 위에서의 성분군 계산을 통해, 모듈로 $\ell$에서 갈루아 표현의 구조를 제어한다.

실험 결과

연구 질문

• RQ1 서로 다른 소수 $t$-튜플 $(p_1, \dots, p_t)$ 중에서 $N = \prod p_i$일 때, 무게 2, 수준 $N$인 새로운 형태 $f$가 존재하고, $\overline{\rho}_f \simeq \mathbbm{1} \oplus \chi_\ell$이며, $U_{p_i}f = a_i f$ 이고 $a_i = \pm1$이 되는 경우는 언제인가?
• RQ2 소수 $p$가 $N$을 나누지 않을 때, 수준을 $N$에서 $Np$로 상승시킬 수 있는 조건은 무엇인가? 이 경우 모듈로 $\ell$ Galois 표현은 여전히 환원 가능하고, $U_p$-고유값은 유지되어야 한다.
• RQ3 적합성의 필요 조건(예: $j > s$일 때 $p_j \equiv -1 \pmod{\ell}$, $s = t$이면 $\ell \mid \prod_{i=1}^t (p_i - 1)$)이 충분조건가 되는 경우는 언제인가?
• RQ4 스토로보고토프 부분군 $\Sigma_p$는 Shimura 곡선의 야곱시안 간 열화 지도의 핵에서 어떤 역할을 하는가? 그리고 이는 더 높은 수준에서 새로운 형태의 존재에 어떤 영향을 미치는가?
• RQ5 예외적인 경우(예: $t=2,3,4$)에서 표준적인 수준 상승 기법이 실패하는 조건은 무엇이며, 적합성을 보장하기 위해 더 복잡한 조건이 필요한가?

주요 결과

• 소수 $t$-튜플 $(p_1, \dots, p_t)$는 $s = 1$, $t \geq 2$, 그리고 $2 \leq j \leq t$일 때 $p_j \equiv -1 \pmod{\ell}$를 만족하면 $s$에 대해 적합하다. 이는 $\ell \geq 5$일 때 성립한다.
• $s = t$이고 $t \geq 4$이며, 성분군과 헤케 모듈러스의 구조에 대한 복잡한 조건이 만족될 경우, 적합성이 성립한다. 이는 정리 6.4에 명시되어 있다.
• $s = t$가 홀수이고 $\ell \mid \prod_{i=1}^t (p_i - 1)$일 경우, $t$-튜플은 적합하며, 이 경우 완전한 특성화가 이루어진다.
• $s+1 = t$이고 $t$가 짝수이며, $p_t \equiv -1 \pmod{\ell}$이면, $t$-튜플은 적합하며, 이는 수준 상승 과정을 연장하는 데 기여한다.
• $s < t$이고 $t$가 짝수일 때, $(t-1)$-튜플 $(p_1, \dots, p_{t-1})$이 $s$에 대해 적합하거나 $(p_2, \dots, p_t)$가 $s-1$에 대해 적합하면, 동일한 기하학적 조건 하에서 적합성이 유지된다.
• $t=4$, $s=4$일 경우, 적합성 조건은 $\ell \mid \prod_{i=1}^4 (p_i - 1)$ 이고, $i=1,2,3,4$에 대해 $p_i \equiv -1 \pmod{\ell}$여야 하며, 정리 6.4의 더 복잡한 조건이 만족되어야 한다.