이차 확장체 위의 제곱 수 등차수열 연구

초록

본 논문은 임의의 수체 K의 이차 확장 L에서 제곱수들의 등차수열을 조사한다. Mordell식 접근을 이용해 이를 차수 5의 곡선 C의 K‑quadratic 점으로 전환하고, K에 대한 특정 조건(A 또는 B)을 가정하에 C의 K‑quadratic 점들을 완전히 기술한다. 이를 바탕으로 K가 클래스 수 1인 경우와 K=ℚ인 경우에 각각 5개의 제곱수 등차수열이 가질 수 있는 형태를 규정하고, 6개 이상인 경우는 존재하지 않음을 증명한다. 특히 K=ℚ(ζ₁₂)인 경우에는 유일한 비자명 수열 (−3,−1,1,3,5)만이 존재함을 보인다.

상세 분석

논문은 먼저 제곱수 등차수열을 차원 5의 대수곡선 C와 동형시켜, 등차조건을 두 개의 2차 방정식 체계로 표현한다. C는 매개변수 t∈L에 의해 파라미터화될 수 있으며, 이를 통해 (t, X₁, X₃)∈C(L)와 두 개의 차수 1의 곡선 C₀: y²=G(x) (여기서 G(x)=x⁴−2x³+2x²+2x+1) 사이의 사상 φ₀, φ₀′가 정의된다. 즉, (t, X₁, X₃)∈C(L) ⇔ (t, X₁)와(−t, X₃)가 각각 C₀(L)에 속한다는 사실을 이용한다.

다음 단계에서는 t가 0, ±1이 아닌 경우에 대해 r=s²와 s=(t−1)/t를 도입하고, 이들에 대한 제곱식 관계를 정리하여 여섯 개의 차수 1 곡선 C₁,…,C₆을 얻는다. 각 Cᵢ는 명시된 타원곡선 E₀, E₁, E_{±1,1}, E₄, E_{±1,6}, E₆의 이차 꼬임 형태와 동형이며, 따라서 K‑rational 점들의 구조를 타원곡선의 순위와 토션에 귀속시킬 수 있다.

핵심 가정인 조건 A(K)와 B(K)는 각각 “특정 타원곡선들의 K‑점이 ℚ‑점과 동일” 혹은 “E_{±1,1}(K)의 순위가 0이며