[논문 리뷰] The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

Yuri Bilu|arXiv (Cornell University)|2009. 07. 13.

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

한 줄 요약

이 논문은 디오판틴 근사와 초월수 이론에서의 부분공간 정리의 고급 응용을 조사하며, 대수적 수의 복잡도, 거듭제곱 합을 포함한 디오판틴 방정식, 그리고 대수적 다양체 위의 정수점과 관련된 깊이 있는 문제들을 해결하는 데 그 힘을 보여준다. 주요 기여는 레빈-아티시에 정리의 완전한 증명이다: 무한원에서 네 개 이상의 적절하게 만날 앰플리드 디바이저를 가진 애프라인 표면은 제로지 밀도 정수점 집합을 가질 수 없다.

ABSTRACT

During the last decade the Subspace Theorem found several quite unexpected applications, mainly in the Diophantine Analysis and in the Transcendence Theory. Among the great variety of spectacular results, I have chosen several which are technically simpler and which allow one to appreciate how miraculously does the Subspace Theorem emerge in numerous situations, implying beautiful solutions to difficult problems hardly anybody hoped to solve so easily. The three main topics discussed in this article are: the work of Adamczewski and Bugeaud on complexity of algebraic numbers; the work of Corvaja and Zannier on Diophantine equations with power sums; the work of Corvaja and Zannier on integral points on curves and surfaces, and the subsequent development due to Levin and Autissier. In particular, we give a complete proof of the beautiful theorem of Levin and Autissier: an affine surface with 4 (or more) properly intersecting ample divisors at infinity cannot have a Zariski dense set of integral points.

연구 동기 및 목표

• 부분공간 정리가 디오판틴 근사와 초월수 이론의 어려운 문제들을 해결하는 데 있어 얼마나 다양한지, 그리고 강력한지를 보여주기 위해.
• 무한원에서 여러 개의 앰플리드 디바이저를 가진 애프라인 표면에서 정수점의 비밀도성에 관한 레빈-아티시 정리의 완전한 증명을 제시하기 위해.
• 부분공간 정리가 대수적 수의 복잡도, 거듭제곱 합을 포함한 디오판틴 방정식, 그리고 곡선과 표면 위의 정수점에서의 돌파구를 어떻게 이끌어내는지 설명하기 위해.
• 그럼에도 불구하고 부분공간 정리는 수십 년 전에 처음 제시된 형태로도 현대 산술기하학의 중심 도구로 기능함을 강조하기 위해.

제안 방법

• 스클리크외이의 일반화된 형태를 사용하여 다양한 디오판틴 문제에 부분공간 정리를 적용한다.
• 대수적 수와 그 $S$-정수 근사에 대한 유리근사의 부등식을 만족하는 해의 수를 제한하기 위해 정리를 적용한다.
• 곡선과 표면 위의 선형 계열의 차원을 추정하기 위해 코homological 기법과 리만-로흐 이론을 사용한다.
• 베르티니 정리를 사용하여 매끄러운 곡선으로 줄이고, 층의 정확한 수열을 적용하여 코homology 군을 제어한다.
• 특히 디바이저의 교차 이론에 초점을 맞추어 대수적 표면 위의 높이 이론과 디바이저 이론을 적용한다.
• 부분공간 정리를 앰플리드성과 유효 디바이저에 관한 기하적 추론과 결합하여 유한성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 부분공간 정리는 대수적 수와 그 근사에 관여하는 디오판틴 부등식의 해의 유한성을 확립하는 데 사용될 수 있는가?
• RQ2 거듭제곱 합을 포함한 디오판틴 방정식계가 유한한 해만을 가지는 조건은 무엇인가?
• RQ3 어떤 기하적 조건에서 애프라인 표면의 정수점 집합이 제로지 밀도가 아닐 수 있는가?
• RQ4 부분공간 정리는 대수적 수의 소수 전개에서 임의로 긴 0 블록이 존재할 수 없음을 보여주는 데 어떻게 기여하는가?
• RQ5 두 선형 재귀 수열의 몫이 유한번 이상 정수가 되는 정확한 조건은 무엇인가?

주요 결과

• 레빈-아티시 정리가 증명되었다: 무한원에서 네 개 이상의 적절하게 만날 앰플리드 디바이저를 가진 애프라인 표면은 제로지 밀도 정수점 집합을 가질 수 없다.
• $S$-정수에 적용된 부분공간 정리를 통해, 대수적 수의 소수 전개에서 임의로 긴 0 블록이 존재할 수 없음을 입증하였다.
• 부분공간 정리는 임의의 무리대수적 수 $\alpha$와 $\varepsilon > 0$에 대해, $|\alpha - \xi| < H(\xi)^{-1-\varepsilon}$ 를 만족하는 $S$-정수 $\xi$ 에서의 해가 오직 유한 개 뿐임을 암시한다.
• 두 선형 재귀 수열의 몫이 무한번 이상 정수가 되는 것은 특정 조건에서만 가능하며, 이는 주로 지배적 고유값이 없는 경우에도 부분공간 정리를 통해 해결되었다.
• 곱 $(ab+1)(ac+1)(bc+1)$ 은 오직 작은 소수 인수만을 가질 수 없으며, 이는 구이오리, 사르코지, 스토우어의 추측을 확인한 것이다.
• 정수 행렬의 모듈로 $N$ 에서의 곱의 순서는 $N \to \infty$ 일 때 $\log N$ 보다 더 빠르게 증가한다. 이 결과는 부분공간 정리를 통해 확립되었다.