정수동형이 있는 타원곡선의 판별식 제곱성 및 동형사상 분류

초록

**
이 논문은 판별식이 유리수 체에서 완전 제곱인 타원곡선이 가질 수 있는 유리 N‑동형(​N‑isogeny​)을 완전히 분류한다. 결과는

• 단일 곡선이 N‑동형을 가질 때 N∈{2,3,4,6,7,8}
• 두 곡선이 모두 제곱 판별식을 가지면서 N‑동형이면 N∈{2,3,4,7}
  이며, 각각에 대해 j‑불변량의 명시적 매개변수를 제시한다. 또한 복소곱셈(CM) 곡선의 경우 제곱 판별식은 오직 (y^{2}=x^{3}-t^{2}x) 형태에 한정되고, 이와 동형인 다른 CM 곡선은 제곱 판별식을 가질 수 없음을 증명한다.

**

상세 분석

**
논문은 먼저 판별식 (\Delta(E))이 제곱인지 여부가 위에르스트라스 방정식의 선택에 독립적임을 상기하고, 이를 j‑불변량과 연결하는 핵심 명제(정리 4)를 증명한다. 명제 4에 따르면 (\Delta(E))가 제곱이면 j‑값은 반드시 (j=1728+t^{2}) (t∈ℚ) 혹은 (j=1728)이고 곡선이 (y^{2}=x^{3}-s^{2}x) 형태이어야 한다. 이 조건을 이용해, Mazur‑Kenku‑Ogg‑Kubert 등으로 완성된 유리 N‑동형의 전체 목록(정리 5)을 시작점으로 삼는다.

각 N에 대해 두 종류의 모듈러 곡선 (C_{N})와 (X_{N})을 정의한다.

• (C_{N})는 “N‑동형을 갖는 타원곡선 중 판별식이 제곱인 경우”를 매개하고, 방정식 (y^{2}=F_{N}(h)) 형태이다.
• (X_{N})는 “두 N‑동형 곡선이 모두 판별식 제곱을 만족”하는 쌍을 매개하고, 시스템 (y^{2}=F_{N}(h),;z^{2}=G_{N}(h)) 로 정의된다.

(F_{N},G_{N})는 표 1에 명시된 다항식이며, 이들의 제곱성 여부는 바로 j‑값이 (1728)에서 제곱 차이를 갖는지와 동치이다. 논문은 각 N에 대해 (C_{N})와 (X_{N})의 기하학적 차수( genus )를 계산한다.

• genus 0인 경우(N∈{2,3,4,6,7,8})는 매개변수화가 가능해 무한히 많은 해가 존재한다. 예를 들어 N=2에서는 (C_{2}:y^{2}=h(h+64))이고, 매개화 (\phi_{2}(t)=(16t^{2},,16t(t+2))) 를 얻는다. 따라서 제곱 판별식을 갖는 2‑동형 곡선이 무한히 존재한다.

• genus 1인 경우(N∈{5,9,10,12,13,16,18})는 LMFDB에 등재된 타원곡선으로 확인하고, Mordell‑Weil 군을 계산한다. 대부분 군이 유한(보통 (\mathbb{Z}/2\mathbb{Z}) 혹은 (\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/4\mathbb{Z}))이므로 유리점이 제한적이며, 실제로 존재하는 유리점은 모두 “cusps”에 해당한다. 따라서 해당 N에서는 제곱 판별식을 갖는 곡선이 존재하지 않음이 증명된다.

• genus > 1인 경우는 N=25뿐인데, 25‑동형을 갖는 곡선은 반드시 5‑동형을 갖게 되므로 이미 위의 5‑case에서 배제된다.

위 과정을 통해 정리 1(단일 곡선)과 정리 2(두 곡선 쌍)의 N‑목록이 도출된다.

마지막으로 복소곱셈(CM) 경우를 다룬 정리 3에서는 CM j‑값 목록을 이용해 (j-1728)이 제곱이 아님을 확인하고, 명제 4와 결합해 제곱 판별식은 오직 (j=1728)인 경우에만 가능함을 보인다. 이때 곡선은 정확히 (E_{-t^{2}}:y^{2}=x^{3}-t^{2}x) 형태이며, 이와 동형인 다른 CM 곡선은 판별식이 제곱이 될 수 없다는 강력한 비존재 결과를 얻는다.

전체적으로 논문은 판별식 제곱 조건을 모듈러 곡선의 정수점 문제로 전환하고, 현대의 컴퓨터 대수기법(LMFDB 데이터베이스, Magma 계산 등)과 고전적인 이론(위상, 이소성, 트위스트)을 결합해 완전한 분류를 제공한다. 결과는 타원곡선의 이론뿐 아니라, Galois 이미지 제한, 2‑Selmer 군 연구 등 다양한 산술적 응용에 직접적인 영향을 미친다.

**