[논문 리뷰] Binary Quadratic Forms and Counterexamples to Hasse's Local-Global Principle

Franz Lemmermeyer|arXiv (Cornell University)|2011. 08. 29.

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

한 줄 요약

이 논문은 이차형식 이론의 고전적 이론을 사용하여 Théophile Pépin이 제기한 $ax^4 + by^4 = z^2$ 형태의 특정 사차 디오판틴 방정식의 비해결 가능성에 대한 주장들을 증명하고 확장한다. 이는 국소적으로 모든 곳에서 해가 존재하는(해스의 국소-글로벌 원리에 국소적으로 부합하는) 무한한 수의 방정식 가닥을 구성하며, 비자명한 정수해가 전혀 없는 바람에 글로벌 원리의 반례를 직접적으로 제시하고, 타테-샤파레비치 군의 2차 원소를 제공한다.

ABSTRACT

After a brief introduction to the classical theory of binary quadratic forms we use these results for proving (most of) the claims made by Pépin in a series of articles on unsolvable quartic diophantine equations, and for constructing families of counterexamples to the Hasse Principle for curves of genus 1 defined by equations of the form $ax^4 + by^4 = z^2$.

연구 동기 및 목표

• Pépin의 비증명된 주장들, 즉 특정 사차 디오판틴 방정식 $ax^4 + by^4 = z^2$의 비해결 가능성에 대해 엄밀한 증명을 제공하기 위해.
• 현대 아이디얼 이론이 아닌 고전적 이차형식 이론이 이러한 방정식을 분석하는 데 더 자연스럽고 효과적인 틀을 제공함을 보여주기 위해.
• 모든 완승수체 $\mathbb{Q}$의 완비화에서 국소적으로 해가 존재하지만 비자명한 정수해가 없는 방정식 $px^4 - my^4 = z^2$의 무한한 가닥을 구성하기 위해.
• 이러한 반례가 타테-샤파레비치 군의 구조와 어떻게 연결되는지 밝혀내어, 이들이 타원곡선의 타테-샤파레비치 군에서 2차 원소를 나타냄을 보여주기 위해.
• 이러한 방정식을 사용하여 2-랭크가 임의로 높은 타테-샤파레비치 군을 가진 타원곡선을 구성할 수 있음을 확립하기 위해.

제안 방법

• 가우스의 이차형식의 조합 이론, 특히 비르카의 큐브 모델을 통해 등가류와 군 구조를 분석하기 위해.
• 형식에 대한 $\mathrm{SL}_2(\mathbb{Z})$ 작용을 적용하여 형식을 단순화하고, 원시적으로 표현 가능한 정수를 결정하기 위해.
• 판별식 $\Delta$를 가진 원시 양의 정부호 이차형식의 군인 $\mathrm{Cl}^+(\Delta)$를 사용하여 해가 존재하는 조건을 연구하기 위해.
• 형식이 1을 원시적으로 표현하는 것은 오직 그 형식이 주형식 $Q_0$와 동치일 때에만 성립한다는 기준을 적용하기 위해.
• $p$-진 체 $\mathbb{Q}_p$와 $\mathbb{Z}_2$에서의 국소 분석을 적용하여, 특히 $\mathbb{Z}_2$에서의 해가 존재하는 조건이 8을 법으로 한 합동 조건에 달려 있음을 보여주기 위해.
• $px^2 - my^2 = z^2$의 해가 존재하는 것과 사차 방정식의 2진수 해가 존재하는 것 사이의 관계를, $\mathbb{Z}_2$ 내의 제곱근 존재 여부를 통해 번역하기 위해.

실험 결과

연구 질문

• RQ1 Pépin의 비증명된 주장들, 즉 $ax^4 + by^4 = z^2$의 비해결 가능성에 대해 고전적 이차형식 이론을 사용하여 엄밀히 증명할 수 있는가?
• RQ2 언제 $px^4 - my^4 = z^2$는 모든 $\mathbb{Q}_p$와 $\mathbb{R}$에서 국소적으로 해가 존재하지만 정수에서 전적으로 해가 없는가?
• RQ3 $px^4 - my^4 = z^2$의 해가 존재하는 성질이 군 구조 $\mathrm{Cl}^+(8p)$와 어떻게 관련되어 있는가?
• RQ4 이러한 방정식과 타원곡선의 타테-샤파레비치 군 사이에 어떤 연결 고리가 있는가?
• RQ5 2-랭크가 임의로 높은 타테-샤파레비치 군을 가지는 이러한 방정식의 무한한 가닥을 구성할 수 있는가?

주요 결과

• Pépin이 제기한 $ax^4 + by^4 = z^2$의 비해결 가능성 주장들은 고전적 이차형식 이론을 통해 엄밀히 증명될 수 있다.
• 형식 $(p,0,-2)$의 판별식이 $8p$이고, 그 형식의 군 원소가 $\mathrm{Cl}^+(8p)$에서 제곱이지만 네 제곱이 아닌 경우, $p \equiv 3 \pmod{8}$일 때 방정식 $px^4 - 2y^4 = z^2$는 비자명한 정수해가 존재하지 않는다.
• 모듈로 8에서 $m \equiv 2, 6, 0, 1$인 경우, $p$가 주형식의 계열에 속하는 형식에 의해 표현될 때, 방정식 $px^4 - my^4 = z^2$는 모든 $\mathbb{Q}_p$와 $\mathbb{R}$에서, $\mathbb{Z}_2$를 포함하여 국소적으로 해가 존재한다.
• 국소적으로 해가 존재하더라도, 이러한 방정식의 많은 경우에서 비자명한 정수해가 존재하지 않아, 해스의 국소-글로벌 원리에 대한 직접적인 반례를 제공한다.
• 이러한 반례들은 관련된 타원곡선의 타테-샤파레비치 군에서 2차 원소에 해당한다.
• 이러한 구성은 2-랭크가 임의로 높은 타테-샤파레비치 군을 가진 타원곡선을 생성할 수 있으며, 이는 인용된 문헌에서 직접적인 초등 방법으로 증명되었다.