Thue equations that simultaneously fail the Hasse principle

기술 요약: 동시에 하세 원칙(Hasse Principle)을 위반하는 튀에 방정식(Thue Equations)

문제 정의
본 논문은 정수 계수를 가진 차수가 $n \geq 3$인 기약 이항 형식(irreducible binary form) $F$와 양의 정수 $h$에 대한 튀에 방정식 $F(x, y) = h$의 정수 하세 원칙을 다룬다. 튀에의 정리는 $|F(x, y)| \leq m$에 대해 정수해가 유한함을 보장하지만, 정수 하세 원칙은 만약 방정식이 모든 소수 $p$에 대해 $p$-진 정수 $\mathbb{Z}_p$에서 해를 갖는다면(국소적 가해성), 정수 $\mathbb{Z}$에서도 해를 가져야 한다는 가설이다.

이전 연구인 Akhtari와 Bhargava는 $F(x, y) = m$인 튀에 방정식 중 양의 비율이 이 원칙을 위반함을 입증했다. 본 논문에서 다루는 구체적인 문제는, 임의의 고정된 양의 정수 $m$에 대하여, $1 \leq h \leq m$인 모든 방정식 $F(x, y) = h$에 대해 동일하게 하세 원칙을 위반하는 이항 형식 $F$의 양의 비율을 보여줌으로써 이 구성을 정교화하는 것이다.

방법론
저자는 계수의 절댓값의 최댓값에 의해 정렬된 이항 형식의 높이(height)를 기반으로 한 구성적 계수 논증을 사용한다. 이 전략은 세 가지 주요 구성 요소에 의존한다:

1. 해의 상한: 구성은 $|D(F)|$가 $M$에 비해 충분히 클 때 튀에 부등식 $|F(x, y)| \leq M$의 원시 정수해(primitive integer solutions)의 개수에 대한 상한을 제공하는 Györy의 결과(정리 2.1)를 활용한다. 구체적으로, $|D(F)| \geq (3nM)^{6(n-1)}$이면 원시 해의 개수는 최대 $32n + 11$개이다.

2. 국소-전역 구성:

   • 국소적 가해성: 저자는 모든 곳에서(모든 $p$에 대해 $\mathbb{Z}_p$에서) 모든 정수 $h \leq m$을 나타내는 형식을 구성한다. 이는 형식이 작은 소수 $p_i$들에 대해 단순 근(simple roots)을 갖도록 보장함으로써(Hensel의 보조정리를 통한 리프팅 허용) 달성되며, 큰 소수들에 대해 특정 기약 조건을 만족하도록 하여(관련 투영 곡선의 매끄러움 보장 및 Hasse-Weil 경계 적용) 달성된다.
   • 전역적 비가해성: 저자는 하나의 "시드(seed)" 형식 $F$로부터 대규모의 형식 집합 $\{G_j\}$를 생성한다. 각 $G_j$는 소수 $p_1, \dots, p_k$ ($p_i < M$)를 포함하는 일련의 선형 변환을 적용하여 유도된다. $G_j(x, y) = h$의 해는 $F$와 관련된 스케일링된 방정식의 해를 함의한다.

3. 계수 및 밀도:

   • 저자는 특정 갈루아 및 합동 조건(예: 갈루아 군 $S_n$, 작은 소수들에 대한 단순 근)을 만족하는 "시드" 형식들의 집합 $\tilde{S}$를 정의한다.
   • 각 $F \in \tilde{S}$로부터, 저자는 $2^k$개의 서로 다른 형식 $G_j$를 구성한다 (여기서 $k$는 $M$보다 작은 소수의 개수이다).
   • 저자는 이러한 $G_j$ 형식들이 서로 동치(equivalent)가 아니며 극대(maximal)임을 증명한다.
   • 주어진 높이의 전체 형식에 대한 구성된 집합 $S$(하세 원칙을 위반하는 형식들)의 수를 비교함으로써, 저자는 이러한 형식들의 비율에 대한 하한을 도출한다.

주요 기여 및 결과
주요 결과는 정리 1.1이다:

$m$이 양의 정수일 때, 고정된 차수 $n \geq 3$인 정수 이항 형식이 높이에 의해 정렬될 때, 양의 비율의 원시 극대 형식(primitive maximal forms)은 모든 양의 정수 $h < m$을 모든 곳에서 국소적으로 나타내지만 전역적으로는 나타내지 않는다.

이 결과를 뒷받침하는 주요 기술적 단계는 다음과 같다:

• 동시 실패: 단일 $h$에 집중했던 이전 결과들과 달리, 이 구성은 동일한 형식 집합에 대해 $1 \leq h \leq m$ 범위의 전체 구간에 대한 하세 원칙의 실패를 보장한다.
• 명시적 비율: 논문은 이러한 형식들의 비율에 대한 명시적인 하한을 제공한다. 이 비율은 주어진 높이의 전체 형식 대비 구성된 형식의 비율에 따라 결정되며, $m$과 차수 $n$에 의존한다. 이 경계는 소수의 개수 $k$ 및 판별식(discriminant)의 성장과 관련된 항들을 포함한다.
• 극대성: 구성된 형식들이 극대(maximal, 즉 다른 형식의 진부분 형식이 아님)임을 보임으로써, 해의 개수에 관한 계수 논증이 유효함을 보장한다.
• 일반화: 저자는 이 구성이 판별식에 의해 정렬된 3차 형식 및 불변량 $I, J$에 의해 정렬된 4차 형식으로 확장됨을 언급한다.

의의 및 주장
본 논문은 $h$의 특정 값에 대해 하세 원칙의 실패가 고립된 현상이 아니라, 목표 정수의 스펙트럼에 걸쳐 양의 비율의 형식이 공유하는 견고한 속성임을 보여줌으로써, $[2]$(Akhtari와 Bhargava)의 구성을 정교화한다는 점을 주장한다. 이는 하세 원칙의 정수적 실패가 특정 $h$ 값에 국한되지 않고, 특정 범위의 정수들에 대해 동시에 발생하는 보편적인 성질임을 입증한다는 점에서 의의가 있다.

저자는 자신의 작업이 이전의 구성을 정교화한 것이며, 이러한 특정 동시 실패 특성을 가진 모든 형식을 특징짓는 일반적인 문제를 해결하려는 것이 아니라, 그러한 성질을 가진 양의 비율의 존재를 확립하는 것임을 명시적으로 밝힌다. 논문은 구성된 집합의 밀도를 검증하기 위해 확립된 체(sieve) 방법(Ekedahl의 체)과 디오판토스 기하학의 경계(Györy, Hasse-Weil)에 의존한다.