랭크 셀베르 곱에 대한 오일러 시스템 장애와 새로운 충분조건

초록

본 논문은 가중치 k≥2인 비CM 새폼 f와 가중치 1인 새폼 g의 텐서곱 V_{f,g,𝔭}에 대해, χψ≠1이면 대부분의 소수 𝔭에 대해 “Euler‑suitable” 원소 σ∈G_{ℚ(μ_{p^∞)} }가 존재한다는 질문에 부분적으로 긍정적인 답을 제시한다. 저자는 기존의 서로소 레벨 가정보다 약한 네 가지 조건을 제시하고, 이를 이용해 Bloch–Kato 추측의 특정 경우를 기술적 가정 없이 증명한다. 또한 일반적인 경우에는 부정적인 반례를 다수 구축하여 질문이 전반적으로는 거짓임을 보인다.

상세 분석

논문은 먼저 기존의 “큰 이미지” 정리들을 정리한다. Momose‑Ribet 정리와 Loeffler의 adelic open image theorem에 의해, 비CM 새폼 f의 p‑adic Galois 표현 T_{f,𝔭}는 대부분의 소수 𝔭에 대해 GL₂(ℤ_p)의 큰 부분을 포함한다. 이를 텐서곱 T_{f,𝔭}⊗T_{g,𝔭}에 적용하면, σ∈G_{ℚ(μ_{p^∞})}가 존재해 (σ−1)‑사상으로 얻는 몫이 계수환 위에서 자유 차수 1인 모듈이 되려면, σ가 V/(σ−1)V의 1‑차원 핵을 생성해야 한다. 이 조건은 Euler‑system 방법의 핵심 가정(H.2)이며, 실제로 Beilinson‑Flach 계를 이용한 Selmer 군의 경계에 필요하다.

저자는 “inner twist” 개념을 도입해 f가 어떤 Dirichlet 문자 χ에 의해 변형될 수 있는지를 분석한다. C를 f의 모든 inner twist에 대응하는 원시 Dirichlet 문자들의 집합이라 두고, 다음과 같은 다섯 가지 충분조건을 제시한다.

1. C의 모든 χ와 g의 레벨 M이 서로소인 경우. 이는 f에 inner twist가 없거나 레벨이 서로소일 때 자동으로 만족한다.
2. C에 속한 모든 χ가 짝수(χ(−1)=1)인 경우.
3. ε_g·T_χ∈C ker χ가 차수 2인 원소를 포함하고, g가 CM 혹은 RM을 갖지 않을 때.
4. K:=⋂_{χ∈C}ker χ 로 정의한 열린 서브그룹에 대해 ε_g(K)가 차수 2 원소는 포함하지만 차수 4 원소는 없으며, g의 비자명 2‑차 Dirichlet 문자 ε에 대해 ε(K)≠{1}인 경우.
5. ε_f²=ε_g²=1 이고, C에 ε_g 혹은 g를 비자명 2‑차 문자로 고정시키는 원소가 없을 때.

이 조건들은 기존의 “레벨이 서로소” 가정보다 현저히 약하며, 실제 계산에서 쉽게 검증 가능하다. 조건을 만족하면 σ를 명시적으로 구성하거나, Chebotarev 밀도 정리를 이용해 충분히 큰 p에 대해 존재함을 보인다. 이를 통해 Theorem B에서는 Bloch–Kato 추측의 특수 경우(비CM 타원곡선 E와 2‑차 비가환 표현 ρ)에서 Selmer 군의 유한성을 추가 가정 없이 얻는다. 특히, ρ가 “dihedral projective image”일 때도 p‑adic 이미지가 충분히 크면 결과가 성립한다.

반면, 일반적인 경우에는 부정적인 예시를 풍부히 제공한다. Theorem D에서는 f가 짝수 차수이면서 홀수 Dirichlet 문자에 의해 inner twist를 갖거나, k≥3이면서 두 개의 서로 다른 비자명 χ₁, χ₂가 존재하는 경우, 무한히 많은 weight‑1 새폼 g (각각 실 또는 복소 곱셈을 갖는)들을 구성해 σ가 존재하지 않음을 보인다. Theorem E는 구체적인 예시(f∈S₂(Γ₀(63)), g∈S₁(Γ₁(1452)))를 들어, 거의 모든 p≡5,7(mod 12)에 대해 σ가 존재하지 않음을 증명한다. 이러한 반례는 χψ≠1이라는 전제만으로는 충분하지 않으며, inner twist와 레벨의 상호작용이 핵심 장애 요인임을 보여준다.

마지막으로, 질문을 “무한히 많은 p에 대해”로 완화하면 Theorem C에 의해 항상 긍정적인 답을 얻을 수 있음을 언급한다. 이는 실제 Euler‑system 적용에서 충분히 많은 소수를 선택할 수 있음을 의미한다. 전체적으로 논문은 Euler‑system 방법의 적용 가능 범위를 정확히 파악하고, 기존 가정들을 크게 완화하면서도 필요한 경우에는 불가능성을 명확히 제시한다는 점에서 중요한 기여를 한다.