[논문 리뷰] Effective Height Upper Bounds on Algebraic Tori

Philipp Habegger|arXiv (Cornell University)|2012. 01. 16.

Polynomial and algebraic computation참고 문헌 28인용 수 3

한 줄 요약

이 논문은 특히 $\mathbf{G}_m^n$ 내에서의 불가능한 교차에 관해, 대수적 토리 위의 대수적 점들의 절대 로그 위계에 대한 효과적인 상계를 확립한다. Bombieri–Zannier의 상계를 정밀화하고 효과적으로 확장하여, 코디멘션-2 부분군에 있는 곡선 위의 점들에 대한 유한성 결과를 증명함으로써, 저차원에서 Bombieri–Masser–Zannier의 추측을 해결하고, 시무라 다양체에서 핑크의 추측에 대한 기초 도구를 제공한다.

ABSTRACT

The main emphasis will be on height upper bounds in the algebraic torus G^{n}_{m}. By height we will mean the absolute logarithmic Weil height. Section 3.2 contains a precise definition of this and other more general height functions. The first appendix gives a short overview of known results in the abelian case. The second appendix contains a few height bounds in Shimura varieties.

연구 동기 및 목표

• 코디멘션 2 이상인 부분군에 속하는 대수적 토리 위의 점들에 대한 절대 로그 위계의 효과적이고 통일된 상계를 확립하는 것.
• 특수 코스에 포함되지 않은 곡선 위의 이러한 점들의 집합이 유한한지 여부를 밝히는 것, 특히 토릭 설정에서의 경우.
• 1차원 이하의 부분다양체에서의 효과적 높이 상계를 고차원 부분다양체로 확장하기 위해 $\mathbf{G}_m^3$ 내 표면을 거쳐가는 방식을 사용하는 것.
• 특수 부분다양체와 특수 모듈라 값을 분석하여, 특히 $Y(1)^2$에서의 시무라 다양체 내 높이의 유계성 추측에 기초를 마련하는 것.
• 이 높이 상계가 핑크의 추측, 특히 특수 부분다양체에 포함되지 않은 곡선에 대한 불가능한 교차에 미치는 영향을 조사하는 것.

제안 방법

• 차수와 부분다양체의 높이에 대한 명시적 의존성을 포함한, $\mathbf{G}_m^n$의 차수 1 이하 부분다양체에 대한 Bombieri–Zannier 높이 상계의 효과적 변형을 사용한다.
• $n \leq 5$인 곡선 $C \to \mathbf{G}_m^n$을 $\mathbf{G}_m^3$ 내 표면 $S$로 올리는 기하적 구성 기법을 적용하여, 표면에 대한 알려진 높이 상계를 활용한다.
• 특수 부분다양체 위에 있는 점들을 분석하기 위해 특수 모듈라와 모듈라 곡선 $Y_0(N)$ 이론을 활용한다.
• GRH 하에 및 무조건적으로, 다항식 및 로그 상한을 포함한 해석적 수론 결과를 조합한다.
• 특정 점 $p$에 대해 최소 특수 부분다양체 ${\mathcal{S}}(p)$를 도입하고, 그 차수 $\deg_{\mathbf{Q}} S$를 복잡도 척도로 사용한다.
• GRH 의존을 피하기 위해, 높이가 $O((\deg_{\mathbf{Q}} S)^\epsilon)$ 성장률을 가지는 초약한 높이 유계성 추측을 제안한다.

실험 결과

연구 질문

• RQ1 코스에 포함되지 않은 $\overline{\mathbf{Q}}$ 상에서 정의된 기약 곡선 $C \subset \mathbf{G}_m^n$ 위의 점들 중, 코디멘션 2 이상인 대수적 부분군에 속하는 점들의 집합은 유한한가?
• RQ2 부분다양체의 차수와 동일한 코디멘션인 대수적 부분군에 속하는 $\mathbf{G}_m^n$의 부분다양체 위의 점들에 대해 효과적 높이 상계를 확립할 수 있는가?
• RQ3 특수 모듈라 $j$의 높이 성장률은 그 판별식 $\Delta$ 에 대해 어떻게 되며, 이는 시무라 다양체 내 높이 상한에 어떤 영향을 미치는가?
• RQ4 $Y(1)^2$ 내 특수 곡선이 아닌 곡선에 대해, 그 곡선에 대한 유리수 위의 차수에 따라 높이가 유계가 되는 추측을 구성할 수 있는가?
• RQ5 효과적 높이 상한이 $Y(1)^n$ 내 특수 부분다양체에 속하는 곡선 위의 점들의 유한성에 어떤 영향을 미치는가?

주요 결과

• 5 이하의 $n$에 대해, 특수 코스에 포함되지 않은 기약 곡선 $C \subset \mathbf{G}_m^n$ 위의 점들 중 코디멘션 2 이상인 부분군에 속하는 점들의 집합은 유한하다.
• 증명은 효과적이다: 만약 Bombieri–Zannier의 1차원 이하 부분다양체에 대한 높이 상한이 효과적이라면, 이 유한성 결과 역시 효과적이며, 곡선의 차수와 높이에 대한 명시적 상한을 포함한다.
• 기본 판별식 $\Delta$ 를 가진 특수 모듈라 $j$의 높이는 임의의 $\epsilon > 0$ 에 대해 $c|\Delta|^{\epsilon}$ 이하로 유계이며, 이는 무조건적으로 성립한다. GRH 하에선 $c \log |\Delta|$ 이하로 유계이다.
• $Y(1)^2$ 내에서 비특수 곡선에 대해 약한 높이 유계성 추측을 제안한다. 이는 $\dim \mathcal{S}(p) \leq 1$ 인 점 $p$의 높이가 $O(\log \deg_{\mathbf{Q}} S)$ 이며, $\mathcal{S}(p) = Y_0(N)$ 인 점들에 대해서는 이 추측이 무조건적으로 성립한다.
• $O((\deg_{\mathbf{Q}} S)^\epsilon)$ 성장률을 가지는 초약한 높이 유계성 추측은, 특수 부분다양체에 속하는 곡선 위의 점들의 유한성을 보장한다. 이는 $Y(1)^n$ 내에서 코디멘션 ≥2 특수 부분다양체에 속하는 비특수 곡선에 대해 성립한다.
• 이 논문에서 확립된 효과적 높이 상한은, 특히 피라의 o-유한성 방법과 결합했을 때, 핑크의 추측의 맥락에서 유한성 결과를 증명하는 데 핵심 도구가 된다.