[논문 리뷰] A modular approach to Thue-Mahler equations

Dohyeong Kim|arXiv (Cornell University)|2015. 01. 26.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 3

한 줄 요약

이 논문은 Thue-Mahler 방정식을 해결하기 위한 모듈러하고 구성적인 접근법을 제시한다. 이는 해를 ℚ 위의 타원곡선으로 연결하는 사상 κ를 통해 이루어지며, 모듈러성과 유한 집합 S 외부에서 양호한 근사를 갖는 타원곡선에 대한 효과적인 경계를 활용한다. 해의 수에 대한 명시적인 상한을 제공하고, Cremona의 데이터베이스를 사용하여 모든 해를 계산하는 효과적인 알고리즘을 제시하며, 다양한 수치적 예제를 통해 검증된다.

ABSTRACT

Let $h(x,y)$ be a non-degenerate binary cubic form with integral coefficients, and let $S$ be an arbitrary finite set of prime numbers. By a classical theorem of Mahler, there are only finitely many pairs of relatively prime integers $x,y$ such that $h(x,y)$ is an $S$-unit. In the present paper, we reverse a well known argument, which seems to go back to Shafarevich, and use the modularity of elliptic curves over $\mathbb{Q}$ to give upper bounds for the number of solutions of such a Thue-Mahler equation. In addition, our methods gives an effective method for determining all solutions, and we use Cremona's Elliptic Curve Database to give a wide range of numerical examples.

연구 동기 및 목표

• 비퇴직적인 이항 삼차형식 h와 유한 소수 집합 S에 대해 h(x,y) = S-단위인 Thue-Mahler 방정식의 모든 해를 결정하는 효과적이고 구성적인 방법을 개발하기 위해.
• 해를 S 외부에서 양호한 근사를 갖는 타원곡선의 동형류와 연결함으로써, 상대적으로 소수인 정수 (x,y)의 해의 수에 대한 명시적인 상한을 제공하기 위해.
• ℚ 위의 타원곡선의 모듈러성을 활용하여, h(x,y) ≠ 0로 정의된 아핀 곡선의 S-정수점의 집합 Y(ℤ_S)를 계산하는 실용적인 알고리즘을 수립하기 위해.
• Cremona의 타원곡선 데이터베이스를 사용하여 다양한 삼차형식과 소수 집합 S에 대해 광범위한 수치 계산을 통해 방법의 실현 가능성을 입증하기 위해.

제안 방법

• 각 해 t ∈ Y(ℤ_S)에 대해 S 외부에서 양호한 근사를 갖는 타원곡선 X_t(해의 판별식과 2를 포함)를 부여하는 사상 κ: Y(ℤ_S) → {ℚ 위의 타원곡선의 동형류}를 정의한다.
• 임의의 타원곡선 E에 대해 κ⁻¹(E)의 역상이 명시적인 유리 다항식으로 정의된 0차원 대상임을 보이며, 이는 E에 대응하는 해를 알고리즘적으로 계산할 수 있음을 보여준다.
• ℚ 위의 타원곡선의 모듈러성을 이용하여 κ의 상이 유한하고 계산 가능함을 보장함으로써 해의 효과적 유한성을 확보한다.
• Brumer와 Silverman의 결과 또는 LMFDB에서의 열거를 통해 이러한 타원곡선의 수를 경계함으로써 |Y(ℤ_S)|에 대한 상한을 도출한다.
• Cremona의 데이터베이스를 활용하여 다양한 Thue-Mahler 방정식에 대해 모든 해를 계산하는 방법을 구현하며, 일반화된 Ramanujan-Nagell 및 x(x−y)y와 같은 삼차형식을 포함한다.
• 타원곡선 E의 Weierstrass 모델과 삼차형식 h(x,y)로부터 유도된 다항방정식계를 풀어 사상 κ의 명시적 섬유를 구성한다.

실험 결과

연구 질문

• RQ1 모듈러 형식과 타원곡선 이론을 활용하여 Thue-Mahler 방정식의 해의 수를 효과적으로 경계할 수 있는가?
• RQ2 S-정수점이 있는 삼차 곡선에서 ℚ 위의 타원곡선의 동형류로 가는 사상이 유도된 도수를 제어할 수 있는가?
• RQ3 이러한 사상의 역상이 명시적인 다항방정식으로 묘사될 수 있는가? 이는 모든 해를 알고리즘적으로 계산할 수 있음을 의미한다.
• RQ4 실제로 Baker의 로그형식 방법과 비교할 때, 이 방법의 계산 가능성이 어떻게 나타나는가?
• RQ5 다양한 Thue-Mahler 방정식에 대해 해의 집합의 구조는 어떠한가? 이 모듈러적 접근을 통해 모든 해를 체계적으로 계산할 수 있는가?

주요 결과

• Thue-Mahler 방정식의 해의 수는 |Aut_ℚ(Y)| × G(S)로 경계되며, 여기서 G(S)는 S 외부에서 양호한 근사를 갖는 타원곡선의 동형류 수이다.
• 효과적인 상한이 도출된다: |Y(ℤ_S)| ≤ |Aut_ℚ(Y)| × k₂M^(1/2+ε), 여기서 M은 S에 속한 소수의 곱이며 ε > 0이다.
• κ의 상에 속하는 각 타원곡선 E에 대해 E로 사상되는 해의 집합은 유한하고, 명시적인 다항방정식계를 통해 계산 가능하므로 전체 해의 열거가 가능하다.
• 이 방법은 x(x−y)y, (x²+7y²)y, x³−y³ 등의 형태를 포함한 16개의 다른 Thue-Mahler 방정식에 대해 모든 해를 성공적으로 계산하였다. S는 3에서 4개의 소수로 구성되어 있다.
• 수치 표는 방법의 실용성을 확인하며, S = {2,7,11,13}일 때 x(x−y)y 형태의 방정식에 대해 비자명한 해를 제외한 128개의 해가 계산됨을 보여준다.
• 알고리즘이 Cremona의 데이터베이스를 사용하여 구현되었으며, 모든 테스트 케이스에서 명시적 Isogeny와 도수 매칭을 통한 검증을 통해 정확성이 확인되었다.