모듈 p 셀러군 계산과 Bloch‑Kato 예측

초록

이 논문은 수체 K 위의 모듈 p 가환 갈루아 표현 ρ에 대해 Selmer 군을 명시적으로 계산하는 알고리즘을 제시하고, 그 차원과 Serre의 예측에 따른 주기(periode) 사이의 관계를 실험적으로 검증한다. 특히 거의-정칙(near‑ordinary) Selmer 군을 중심으로 “모듈 p Bloch‑Kato 추측”의 약한 형태를 제시한다.

상세 분석

본 연구는 먼저 K를 임의의 수체, ρ: G_K → GL₂(𝔽_q) 형태의 연속적인 모듈 p 표현을 가정한다. ρ가 거의‑정칙(nearly‑ordinary)이라는 가정 하에, 각 유한소수 p에 대해 분해군 D_p와 관성군 I_p를 정의하고, V에 대한 1‑차원 부분공간 ℓ ⊂ V가 D_p에 의해 고정되는 구조를 이용해 거의‑정칙 Selmer 조건 H¹_NO(D_p,V) = ker(H¹(D_p,V)→H¹(I_p,V/ℓ))를 도입한다. 이와 더불어 완화(relaxed)와 비관성(unramified) 조건을 각각 H¹_rel(D_p,V)=H¹(D_p,V)와 H¹_unr(D_p,V)=ker(H¹(D_p,V)→H¹(I_p,V))로 정의하여 세 가지 Selmer 시스템 L_rel, L_NO, L_unr을 구성한다.

핵심 기술은 인플레이션‑제한(inflation‑restriction) 장을 이용해 전역 1‑코사이클 H¹(G_K,V)를 Hom_{Gal(L/K)}(G_L,V)와 동형시킴으로써, 각 비동형 클래스 f에 대응하는 Galois 확장 M_f/L을 구한다. 여기서 L은 ρ가 작용하는 유한 Galois 확장 L/K이며, G_L=ker ρ이다. 논문은 비자명한 𝔽_q‑선(line) ⟨f⟩가 V 전체를 생성하도록 보이며, 이는 M_f/L이 V와 동형인 아벨 군을 갖고, M_f/K가 Galois이며, Gal(L/K)의 작용이 ρ와 일치함을 증명한다.

계산적 측면에서는 Magma 구현을 통해 다음 절차를 자동화한다. (1) ρ에 대응하는 L을 구하고, (2) H¹(G_K,V)의 차원을 H¹_rel, H¹_NO, H¹_unr 각각에 대해 인플레이션‑제한을 적용해 Hom_{Gal(L/K)}(G_L,V) 내의 선형 부분공간을 찾는다, (3) 각 선에 대해 M_f를 구성하고, (4) M_f가 주어진 로컬 조건(예: 관성군에서의 영성)과 일치하는지 검증한다. 특히, 거의‑정칙 조건은 f가 I_p‑불변이면서 V/ℓ에 대한 관성 작용을 소거하도록 요구되므로, 이를 확인하기 위해 Magma의 class field theory 모듈을 활용한다.

실험 결과는 주로 타원곡선의 p‑torsion 표현을 대상으로 하며, LMFDB 데이터베이스에서 추출한 ρ들을 사용한다. 거의‑정칙 Selmer 군의 차원(rank)이 0이면 해당 주기(Serre가 예측한 cohomology class)의 값이 비제로이며, 반대로 차원이 양수이면 주기가 영(0)임을 확인한다. 이는 전통적인 p‑adic Bloch‑Kato 추측(L(ρ,1)=0 ⇔ rank Sel_BK(ρ)>0)의 모듈 p 버전으로서, 차이가 최대 1이라는 현상도 관찰된다.

또한, 논문은 두 가지 기술적 문제를 다룬다. 첫째, H²(Gal(L/K),V)와 H¹(Gal(L/K),V)의 소멸을 가정했지만, 실제 계산에서는 S₃와 같은 비가환 군에서 H²가 비자명함을 보이며, 이 경우는 별도 처리(예: 추가 사슬 복합체)로 회피한다. 둘째, 선택한 자리 q∈L에 대한 의존성을 검증하기 위해 모든 가능한 q에 대해 동일한 rank가 얻어짐을 증명한다.

결론적으로, 이 연구는 모듈 p 표현에 대한 Selmer 군을 구체적인 알고리즘과 Magma 코드로 구현함으로써, “모듈 p Bloch‑Kato 추측”의 실험적 근거를 제공한다. 향후 연구에서는 더 일반적인 차원 n>2 경우와 비정칙(非‑nearly‑ordinary) 상황, 그리고 p‑adic L‑함수와의 직접적인 연결을 탐구할 여지가 있다.