이소지 그래프 화산 높이의 분포와 밀도 분석

초록

본 논문은 비CM 타원곡선 E/ℚ와 홀수 소수 ℓ에 대해, 좋은 보통 감소점 p에서의 ℓ‑볼케이노 높이 H(p)와 바닥으로부터의 상대 위치 d′(p) 의 자연밀도를 구한다. ℓ‑adic 갈루아표현이 전사인 경우 명시적 공식이 도출되고, 비전사인 경우 충분히 큰 높이는 양의 밀도를 가진다. 또한, 유한체 𝔽_q 위에서 ℓ‑볼케이노 높이의 분포를 Hurwitz 클래스 수의 급수를 이용해 q→∞ 한계에서 정확히 계산한다.

상세 분석

이 논문은 두 개의 독립적인 관점—전역적(ℚ 위의 고정 타원곡선)과 국소적(유한체 𝔽_q 위의 전체 타원곡선 집합)—에서 ℓ‑볼케이노 구조의 통계적 특성을 정밀하게 파악한다. 전역적 부분에서는 비CM 타원곡선 E/ℚ와 홀수 소수 ℓ을 고정하고, 좋은 보통 감소점 p에 대해 ℓ‑볼케이노의 높이 H(p)와 바닥으로부터의 거리 d′(p) 를 ℓ‑adic 판별식 v_ℓ(Δ_π)와 연결한다. 여기서 Δ_π = t²−4p는 Frobenius 특성다항식의 판별식이며, v_ℓ(Δ_π)는 ℓ‑볼케이노의 깊이와 직접적인 관계를 가진다. 저자는 이 조건을 GL₂(ℤ_ℓ) 내의 Frobenius 원소의 공액 클래스에 대한 구체적인 합동조건으로 변환하고, Chebotarev 밀도 정리를 적용해 “H(p)=r” 혹은 “d′(p)=r” 인 소수들의 자연밀도를 얻는다. 특히 ℓ‑adic 갈루아표현 ρ_{E,ℓ}: Gal(ℚ̅/ℚ)→GL₂(ℤ_ℓ) 가 전사일 때, 각 r에 대한 밀도는 ℓ에 대한 명시적 유리식으로 표현되며, r=0 과 r>0 경우가 구분된다. 전자는 1−2ℓ^{−2}−2ℓ^{−2ℓ+1} 형태이고, r>0 에서는 2ℓ^{−2r}+O(ℓ^{−2r−1}) 로 근사된다.

비전사 경우에는 Serre의 열린 이미지 정리를 이용해 이미지가 GL₂(ℤ_ℓ) 의 k‑차 핵 G_k=ker(GL₂(ℤ_ℓ)→GL₂(ℤ/ℓ^kℤ)) 를 포함하는 최소 k 를 정의한다. 저자는 r≥k 인 경우 “H(p)=r” 와 “d′(p)=r” 가 양의 밀도를 갖는 것을 보이며, 이는 이미지가 제한적이더라도 충분히 깊은 볼케이노가 무작위적으로 나타난다는 강력한 통계적 사실을 제공한다.

두 번째 파트에서는 유한체 𝔽_q 위의 보통 타원곡선 전체를 대상으로 ℓ‑볼케이노 높이 r 의 분포를 연구한다. 여기서는 Deuring‑Hecke 대응을 이용해 특정 높이 r 을 갖는 타원곡선 집합을 판별식 Δ ≡ t²−4q 가 ℓ‑adic으로 정확히 v_ℓ(Δ)=2r 인 이차 형식의 클래스 수와 연결한다. Hurwitz 클래스 수 H(D) 의 산술적 평균값에 대한 기존 결과(특히 진행 중인 평균값 정리와 L‑함수의 비제곱 평균)를 활용해, q→∞ 일 때 비율 d_r = lim_{q→∞} #E(r;𝔽_q)/#E(𝔽_q) 를 정확히 계산한다. 결과는 r=0 일 때 1−ℓ²/(ℓ⁴−1) 형태이며, r≥1 일 때는 ℓ^{2r}(ℓ²−1)(ℓ^{4r}+2+1)/