vadic G함수 값과 CM 타원곡선 관계 연구

초록

본 논문은 1‑파라미터 타원곡선 가족 f : E → S에 대해, 중심점 s₀ 에서 정의되는 G‑함수들의 v‑adic 값 사이에 존재하는 다항식 관계를 구축한다. 특히 CM(복소곱) 타원곡선인 E_{s₀} 에 대해, 기존 André와 Beukers의 결과를 확장하여, 일반적인 좋은 감소와 비정상(ordinary) 감소 경우 모두에서 동일한 다항식 R_{s,ord} 을 얻는다. 이러한 관계는 높이 경계와 Siegel‑형식의 효과적 버전 탐구에 활용될 수 있다.

상세 분석

논문은 먼저 CM 타원곡선의 아키메데아와 p‑adic 주기 행렬을 정밀히 기술한다. 섹션 2에서는 H¹_{dR}(E/K)와 H¹_{crys}(Ẽ_v/W(k_v)) 사이의 비교 동형을 이용해, 각 유한소수점 v 에 대해 “정규화된” 심플렉틱 기저 Γ_v(E) 를 정의한다. 일반 감소(ordinary) 경우에는 Frobenius 작용의 고유값 λ₀, λ₁ 을 이용해 고유벡터 γ_v, δ_v 를 선택하고, 이들로부터 표준 심플렉틱 기저를 만든다. 초과 감소(supersingular) 경우에는 André가 제시한 사원수 대수 D_{p,∞} 의 작용을 활용해, F‑구조에 대한 고유벡터 γ_v, δ_v 를 구성한다. 이러한 기저 선택은 이후 G‑함수들의 v‑adic 전개 반경을 정확히 파악하는 데 핵심이다.

섹션 3에서는 1‑파라미터 타원곡선 가족 f : E → S 에 대해 “중심” s₀ 주변에서 G‑함수 군 Y_G 을 정의하고, 각 소수점 v 에 대해 ι_v 를 통해 C_v 에 삽입한다. 여기서 중요한 점은 s와 s₀가 v‑adic으로 충분히 가깝다면, G‑함수들의 수렴 반경이 공통의 하한을 갖는다는 사실이다.

핵심 정리 1.1은 다음과 같다. E_{s₀}가 CM이고, v가 s와 v‑adic으로 가깝다면, 다항식 R_{s,v}∈\overline{Q}