p adic 체 위 타원곡선 곱의 사이클 사상과 알바네세 핵 구조

초록

본 논문은 p‑adic 체 위에서 두 타원곡선의 곱으로 이루어진 2차원 아벨리안 다양체에 대해 0‑사이클 차이 그룹(Chow group of 0‑cycles)의 구조를 조사한다. 특히 알바네세 핵(Albanese kernel)의 원소들이 사이클 클래스 사상(cycle class map)을 통해 ℓ‑adic 에틸 코호몰로지에 어떻게 사상되는지를 결정하고, 그 상(image)의 정확한 형태를 환원형(good reduction), 초특이형(supersingular), 다중성(multiplicative) 등 각기 다른 감소 유형에 따라 구분한다. 결과적으로 알바네세 핵의 ℓ‑adic 이미지가 유한 차원 ℚℓ‑벡터공간으로서 어떤 차원을 갖는지, 그리고 그 차원은 타원곡선들의 Tate 모듈과 p‑adic Hodge 이론을 이용한 명시적 계산을 통해 완전히 파악됨을 보여준다.

상세 분석

이 연구는 먼저 p‑adic 체 K 위의 두 타원곡선 E₁, E₂를 고려하고, 그 곱 A = E₁ × E₂를 2차원 아벨리안 다양체로 설정한다. 0‑사이클 차이 그룹 CH₀(A)의 알바네세 핵 K(A) = ker(Alb: CH₀(A) → A(K))는 차원 0인 사이클들의 등가류를 모은 것으로, 전통적으로 복소수 경우에는 Roitman 정리 등에 의해 ℚ‑벡터공간으로서 잘 알려져 있다. 그러나 p‑adic 체에서는 Kummer 이론과 p‑adic Hodge 이론이 결합되어야 하며, 특히 ℓ ≠ p 인 경우와 ℓ = p 인 경우가 근본적으로 다르게 행동한다.

논문은 먼저 ℓ ≠ p 인 경우를 다루어, Kummer 시퀀스를 이용해 K(A) ⊗ ℚℓ 를 H¹(K, Vℓ(E₁) ⊗ Vℓ(E₂))와 연결한다. 여기서 Vℓ(E)는 Tate 모듈 Tℓ(E) ⊗ ℚℓ 이다. 이때 사이클 클래스 사상 clℓ : K(A) → H²_et(A_{\overline K}, ℚℓ(2)) 가 유도되고, Künneth 공식에 의해 H²는 Vℓ(E₁) ⊗ Vℓ(E₂) ⊕ ℚℓ(1) 두 부분으로 분해된다. 저자는 첫 번째 텐서 부분이 정확히 K(A) ⊗ ℚℓ 의 상이며, 두 번째 부분은 알바네세 핵과는 무관함을 증명한다. 따라서 이미지의 차원은 Vℓ(E₁)와 Vℓ(E₂)의 Galois 고정 차원에 의해 결정된다. 특히 두 곡선이 모두 좋은 감소(good reduction)를 가질 때는 Fontaine‑Laffaille 이론을 적용해 차원을 1 또는 2 로 정확히 계산한다.

ℓ = p 인 경우는 훨씬 미묘하다. 여기서는 p‑adic 비교 정리와 Bloch‑Kato Selmer 그룹을 이용해 K(A) ⊗ ℚp 를 H¹_f(K, V_p(E₁) ⊗ V_p(E₂))와 동형시킨다. 저자는 E₁, E₂ 각각의 감소 유형(ordinary, supersingular, multiplicative)에 따라 V_p(E) 가 필터드 φ‑모듈로 분해되는 방식을 상세히 분석한다. 예를 들어, 두 곡선이 모두 ordinary reduction을 가질 때는 필터가 (1,0) 형태로 존재하여, Tensor 제품의 필터 차원은 2가 되고, 이는 이미지가 2‑차원 ℚp‑벡터공간임을 의미한다. 반면 하나가 supersingular이고 다른 하나가 ordinary인 경우에는 필터가 비정규화되어 차원이 1 로 감소한다. 두 곡선이 모두 supersingular이면, Fontaine‑Messing 이론에 의해 이미지가 완전히 사라질 수도 있음을 보인다. 다중성 감소(multiplicative reduction) 경우에는 Tate 파라미터 q 를 이용해 로그 사상과 연결시키며, 이때 이미지가 1‑차원 ℚp‑벡터공간이 된다.

핵심적인 기술적 도구는 다음과 같다. (1) Kummer 시퀀스와 Galois 공동동형론을 통한 ℓ‑adic 사이클 클래스 사상의 명시적 구성, (2) p‑adic Hodge 이론(특히 필터드 φ‑모듈, de Rham, crystalline 표현)과 Bloch‑Kato Selmer 그룹 사이의 정밀한 대응, (3) Néron 모델과 정규화된 정규화 상수(Néron component groups)를 이용한 감소 유형별 계산. 저자는 또한 Saito의 체인 복합체 이론을 차용해, 알바네세 핵의 ℓ‑adic 이미지가 실제로는 “정규화된” K₁-그룹의 일부와 동형임을 보이며, 이를 통해 이미지의 유한 차원성을 보다 직관적으로 설명한다.

결과적으로, 논문은 “알바네세 핵의 사이클 클래스 이미지 = Galois 고정 부분 of Vℓ(E₁) ⊗ Vℓ(E₂) (ℓ ≠ p) 혹은 H¹_f(K, V_p(E₁) ⊗ V_p(E₂)) (ℓ = p)” 라는 명시적 등식과, 그 차원을 감소 유형에 따라 완전히 결정하는 정리를 제시한다. 이는 기존에 알려진 복소수 경우와는 달리, p‑adic 체 위에서는 이미지가 종종 0 이 되거나, 매우 제한된 차원만을 차지한다는 중요한 현상을 보여준다. 이러한 결과는 p‑adic 아벨리안 다양체의 사이클 이론과 K‑이론, 그리고 p‑adic L‑함수와의 연계 연구에 새로운 도구를 제공한다.