[논문 리뷰] A Splitting Criterion for Galois Representations Associated to Exceptional Modular Forms (mod p)

Ken McMurdy|ArXiv.org|2002. 03. 14.

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

한 줄 요약

이 논문은 소수 p에 대한 예외적 모듈라 형식에 부착된 갈루아 표현의 분할 기준을 수립하며, 이러한 표현이 분할됨과 동치되는 조건을 증명한다. 즉, de Rham 로그와 컵 곱으로 유도된 두 코homological 불변량이 p^{p+1} 모듈로에서 0이 되는 경우에 한하여 분할됨을 보인다. 주요 기여는 Hecke 대수에서 최대 아이디얼에서 Z_p와 동형이 되는 경우에, 분할 행동을 명시적인 모듈라 형식과 p진 호지 이론에 연결하는 계산 방법을 제시하는 것이다.

ABSTRACT

This paper continues the study of certain two-dimensional Galois representations attached to modular forms (mod p) via a construction due to Deligne. In particular, we prove a criterion for determining when the representation is split when restricted to a decomposition group at p.While this problem was already well understood for "nonexceptional" modular forms, here we specifically address the "exceptional" case. Although the problem is not solved in all generality, it is reasonable to hope that this proof will in fact provide the framework of a proof in the more general case.

연구 동기 및 목표

• 소수 모듈로 예외적 모듈라 형식에 부착된 갈루아 표현이 분할되는지 여부를 밝히는 열린 문제를 해결하는 것. 특히 대각 성분이 동일한 경우(k = p 및 ε(p) = a_p²)에 중점을 둔다.
• 세르의 동반 형식 추측과 그 증명(그로스 및 콜먼-볼로치)을 표준 분할 기준이 실패하는 예외적 경우로 확장하는 것.
• 모듈라 형식 f에 관련된 p-분할 군 G_f로부터 유도된 p진 호지 이론적 불변량을 사용하여 ρ_f,p의 분할을 계산 가능한 기준으로 설정하는 것.
• de Rham 코hom올로지와 모듈라 형식 위의 내적을 사용하여 특성 0의 보완 q로부터 분할 불변량 q_p를 계산하는 명시적 공식을 제공하는 것.

제안 방법

• 논문은 f를 올림하는 무게 2의 신형식 F로부터 p-분할 군 G_f를 구성하며, ρ_f,p가 G_f[p]의 갈루아 표현의 타원형임을 보인다.
• 갈루아 군이 G_f의 테이트 모듈러스에 작용하는 방식을 이용하여, R^* / (R^*)^p에 값을 갖는 분할 불변량 q_p를 정의한다. 이는 ρ_f,p가 분할되는지를 결정한다.
• 주요 도구는 콜먼과 볼로치의 방법에서 유도된 H^1_DR(I_1(N)) 위에서의 컵 곱을 이용한 d log q의 공식이다.
• 두 번째 공식은 I_1(N)으로 감소하는 곡선의 de Rham 코hom올로지 위에서의 컵 곱으로 해석되는 H^0(X_1(Np), Ω) 위의 내적에서 유도된다.
• 그러나 분할 기준은 두 불변량의 영성으로 환원된다: d log q ≡ 0 mod π dπ 및 log q ≡ 0 mod π^{p+1}.
• 증명는 R에서의 명시적 p진 로그 및 지수 계산을 통해 이 두 조건이 ρ_f,p의 분할성과 동치임을 보이는 데 기반한다.

실험 결과

연구 질문

• RQ1 표준 동반 형식 기준이 실패할 경우, 소수 모듈로 예외적 모듈라 형식에 부착된 갈루아 표현 ρ_f,p가 분할되는 조건은 무엇인가?
• RQ2 Hecke 대수에서 m_f에서 Z_p와 동형이 되는 경우, ρ_f,p의 분할을 p진 코homological 불변량으로 어떻게 탐지할 수 있는가?
• RQ3 ρ_f,p의 분할과 모듈라 형식 및 그 de Rham 실현에서 유도된 코homological 불변량의 영성 사이의 정확한 관계는 무엇인가?
• RQ4 특성 0의 보완 q로부터 p-분할 군 G_f의 분할 불변량 q_p를 명시적으로 계산할 수 있는가?

주요 결과

• 갈루아 표현 ρ_f,p는 분할 불변량 q_p가 R^* / (R^*)^p 내에서 p제곱이 되는 경우에만 분할된다.
• 분할 기준은 d log q mod π dπ 및 log q mod π^{p+1}의 영성과 동치이다.
• 분할 불변량 q_p는 보완 q로부터 공식 q_p ≡ ζ^s (1 + π^p)^{t + s(A_p^2 / ε(p) - 1)/p} mod π^{p+1}를 통해 명시적으로 계산할 수 있다.
• d log q mod π dπ의 영성은 f’이 w에 의한 f의 타원형일 때 내적 <[f], [f’]>_I ≡ 0 mod π dπ와 동치이다.
• log q mod π^{p+1}의 영성은 내적 (ω_F, ω_{F|w})_∞ ≡ 0 mod π^{p+1}와 동치이다.
• 주요 결과는 ρ_f,p가 무분할임과 동치이며, H^1_DR(I_1(N))에서 [π^{-p} F|w]의 동치류가 영이 되는 것과 같다.