일반화된 과일 디오판틴 방정식과 초타원곡선 연구

초록

본 논문은 특정 형태의 일반화된 과일 디오판틴 방정식에 대한 정수해 존재 여부를 모듈러 연산과 감소 논법을 통해 부정하고, 이를 초타원곡선의 야코비안에서의 무torsion 성질로 전이시켜 해당 곡선이 무torsion Mordell‑Weil 군을 갖는다는 기하‑수론적 결과를 도출한다.

상세 분석

논문은 먼저 a·x^{d₁} – y^{d₂} – z² + xyz – b = 0 형태의 방정식(식 2.1)을 고려한다. 여기서 d₁≥3은 홀수, d₂≥2는 짝수이며 a≡1(mod 12), b=2^{d₁}a–3 등 특정 동치조건을 만족한다. 저자는 x를 고정하고 x의 짝·홀 경우를 각각 전개한다. 짝수 경우에는 d₂=2s 로 두고 식을 변형해 Y²–β²–k²Z² = k²(aα^{d₁}–b) 형태의 이차형식으로 바꾸며, β가 짝·홀에 따라 모듈러 4에서 Y²≡3(mod 4) 혹은 Y²±Z²≡3(mod 4) 를 얻어 모순을 만든다. 홀수 경우에도 α=2n+1 로 두고, α≡1,5,9(mod 12) 각각에 대해 모듈러 3 혹은 특정 소수 p≡5,7(mod 12) 에서 3이 비제곱인 사실을 이용해 Y²≡–1(mod 3) 혹은 Y²≡3(mod p) 와 같은 불가능한 동치를 도출한다. 이 과정을 통해 식 (2.1)이 어떠한 정수해도 가질 수 없음을 증명한다.

그 다음 섹션에서는 위의 정수해 부재 결과를 곡선 이론으로 옮긴다. 초타원곡선 C*: y^{n}=f(x) (n≥3, f∈ℤ