[논문 리뷰] Hilbert's irreducibility theorem and the larger sieve

David Zywina|arXiv (Cornell University)|2010. 11. 30.

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

한 줄 요약

이 논문은 일반화된 더 큰 걸러내기 방법을 사용하여 힐베르트의 기약성 정리의 명시적 정량적 버전을 개발하며, 다항식과 타원곡선의 가중치 가중치에서 갈로아 군 행동의 정밀한 밀도 추정치를 가능하게 한다. 대부분의 유리수 가중치에서 타원곡선의 아델리크 갈로와 표현의 이미지는 가능한 한 크게 유지되며, 이는 수체와 차원에 따라 정확한 오차 한계에 의존한다.

ABSTRACT

We describe an explicit version of Hilbert's irreducibility theorem using a generalization of Gallagher's larger sieve. We give applications to the Galois theory of random polynomials, and to the images of the adelic representation associated to elliptic curves varying in rational families.

연구 동기 및 목표

• 걸러내기 방법을 사용하여 힐베르트의 기약성 정리에 대한 명시적 정량적 경계를 제공하는 것.
• 차수 $ n $의 무작위 다항식의 갈로와 군을 연구하여, 전체 갈로와 군을 갖는 특수화의 자연 밀도를 결정하는 것.
• 특히 기저 체가 $ \mathbb{Q} $ 또는 $ \mathbb{Q} $가 아닌 수체 $ k $일 때, $ k(T_1,\dots,T_n) $ 위의 타원곡선 가중치에서 아델리크 갈로와 표현의 이미지를 분석하는 것.
• 높이와 $ \ell $-진 노름을 사용하여, 갈로와 이미지가 일반 이미지보다 작은 특수화의 밀도에서 오차 항을 확립하는 것.
• 고전적 큰 걸러내기를 개선하고, 효과적인 밀도 추정치를 위한 산술기하학의 더 큰 걸러내기 프레임워크에 적용하는 것.

제안 방법

• 더 큰 걸러내기를 일반화하여, 명시적 오차 항을 포함한 다항식 가중치와 갈로와 표현을 다룰 수 있도록 하는 것.
• 다항식 $ f(x,T) $의 분할체를 $ k(T) $ 위에서 다루며, $ G_t \neq G $인 특수화 $ t \in k^n $의 수를 추정하는 것.
• 수체 $ k^n $ 위에서 높이 함수 $ H(t) $와 $ \|t\| $를 사용하여 자연 밀도를 정의하고 특수화 집합의 크기를 측정하는 것.
• $ \ell $-진 표현과 $ \operatorname{SL}_2(\mathbb{Z}/\ell\mathbb{Z}) $의 구조를 사용하여 $ \ell $ 모듈로 갈로와 군의 이미지를 분석하는 것.
• 문제를 모듈로 $ m $인 대수적 군의 점 수 계산으로 환원하며, 교환자 부분군과 유한 몫을 사용하여 이미지를 제어하는 것.
• 큰 걸러내기를 몫 $ G(m)/[\mathcal{H}_E(m), \mathcal{H}_E(m)] $에 적용하여 $ O(B^{[k:\mathbb{Q}](n-1/2)} \log B) $ 정도의 오차 항을 도출하는 것.

실험 결과

연구 질문

• RQ1 수체 $ k \neq \mathbb{Q} $에 대해, 다항식 $ f(x,t) $의 갈로와 군이 일반 갈로와 군 $ G $보다 작은 특수화 $ t \in k^n $의 자연 밀도는 얼마인가요?
• RQ2 기저 체가 $ \mathbb{Q} $ 또는 $ \mathbb{Q} $가 아닌 수체 $ k $일 때, $ k(T_1,\dots,T_n) $ 위의 타원곡선 가중치에서 아델리크 갈로와 표현 $ \rho_{E_t} $의 이미지는 일반 이미지 $ \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $와 어떻게 비교되나요?
• RQ3 특수화에서 $ \rho_{E_t} $가 가능한 한 크게 되지 않을 경우의 밀도에서 정확한 오차 항은 무엇이며, 특히 $ k = \mathbb{Q} $일 경우 어떻게 되나요?
• RQ4 더 큰 걸러내기는 힐베르트의 기약성 정리의 맥락에서 고전적 큰 걸러내기 추정치를 어떻게 개선합니까?
• RQ5 특수화 $ \rho_{E_t} $가 대부분의 $ t \in k^n $에서 전체 이미지 $ \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $로 안정화되는 조건은 무엇입니까?

주요 결과

• 수체 $ k \neq \mathbb{Q} $에 대해, 특수화 $ t \in k^n $의 밀도 1에서 $ \rho_{E_t} $의 이미지는 $ \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $와 일치하며, 오차 항은 $ O(B^{-[k:\mathbb{Q}]/2} \log B) $이다.
• 수체 $ k = \mathbb{Q} $일 경우, 대부분의 $ t $에 대해 $ \rho_{E_t}(\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})) $는 $ \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $의 부분군으로서 인덱스 $ r $을 가지며, 여기서 $ r $은 타원곡선 $ E $에 따라 결정되는 양의 정수이다.
• 높이 $ \|t\| \leq B $인 특수화 $ t \in \mathcal{O}_k^n $ 중에서 $ G_t \neq G $인 수는 $ \ll_{n,f,k} B^{[k:\mathbb{Q}](n-1/2)} \log B $ 이하로 유계이다. 이는 고전적 큰 걸러내기 추정치를 개선한다.
• 특수화 중에서 $ G_t \subseteq C $인 경우, 여기서 $ C \subset G $는 진부분군이며 공轭 불변인 집합이면, 그 수 역시 $ \ll_{n,f,k} B^{[k:\mathbb{Q}](n-1/2)} \log B $ 이하로 유계이다.
• $ \ell \geq 5 $일 경우, $ u \in U(k) $에 대해 밀도 1의 집합에서 $ \ell $-진 이미지 $ \rho_{E_{u},\ell}(\operatorname{Gal}(\overline{k}/k)) $는 $ \operatorname{SL}_2(\mathbb{Z}/\ell\mathbb{Z}) $를 포함하며, 오차는 $ O(B^{-[k:\mathbb{Q}]/2 + \varepsilon}) $이다.
• 특수화에서 $ \rho_{E_u}(\operatorname{Gal}(\overline{k}/k^\text{cyc}})) $가 전체 군 $ G = \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $로 되지 않을 경우의 밀도는 $ O(\log B / B^{1/2}) $이며, 이는 대부분의 $ u $에서 이미지가 전체임을 증명한다.