[논문 리뷰] The geometric sieve and the density of squarefree values of invariant polynomials

Manjul Bhargava|arXiv (Cornell University)|2014. 01. 31.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 45

한 줄 요약

이 논문은 대수적 군의 작용에 관하여 불변인 다변수 정수계수 다항식이 취하는 제곱free 값의 밀도를 계산하기 위한 기하적 체계 방법을 개발한다. 특히, 전형적 및 공형 대수적 표현의 판별식 다항식에 이를 적용한다. 주요 결과는 $S_n$-수체, degree $n=3,4,5$에서 제곱free 판별식을 가진 수체의 밀도에 대한 정확한 공식을 제시하며, 제타 함수 요소와 군론적 불변량을 통해 명시적으로 계산된 양의 밀도를 보여준다.

ABSTRACT

We develop a method for determining the density of squarefree values taken by certain multivariate integer polynomials that are invariants for the action of an algebraic group on a vector space. The method is shown to apply to the discriminant polynomials of various prehomogeneous and coregular representations where generic stabilizers are finite. This has applications to a number of arithmetic distribution questions, e.g., to the density of small degree number fields having squarefree discriminant, and the density of certain unramified nonabelian extensions of quadratic fields. In separate works, the method forms an important ingredient in establishing lower bounds on the average orders of Selmer groups of elliptic curves.

연구 동기 및 목표

• 다변수 정수계수 다항식이 대수적 군의 작용에 관하여 불변인 경우, 그가 취하는 제곱free 값의 밀도를 계산하는 일반적 방법을 개발하는 것.
• 이 방법을 유한한 일반적 안정자군을 가진 전형적 및 공형 표현의 판별식 다항식에 적용하는 것.
• $S_n$-수체의 degree $n=3,4,5$에서 제곱free 또는 기본 판별식을 가진 수체의 정확한 밀도를 결정하는 것.
• 제곱free 판별식을 가진 이러한 수체의 비율이 기본 판별식을 가진 수체의 정확히 $2/3$임을 입증하는 것.
• 타원곡선 산술에서 평균 세일머 군 차수에 대한 하한을 제공하는 기초를 마련하는 것.

제안 방법

• 이 방법은 $\mathbb{Z}$ 위에서 큰 대수적 군에 의한 대칭성과 불변성을 활용하여, 고전적 방법(원 방법 또는 후리의 기법 등)의 범위를 초월한 분석을 가능하게 한다.
• 지역 조건을 분석하고 군 작용을 이용해 전반적 수를 단순화함으로써 제곱free 값의 밀도를 통제하는 기하적 체계를 도입한다.
• 이 접근법은 이진 4차형식의 공간에서 삼차 이차형식의 쌍으로의 사상 $\phi$를 사용하며, 이는 불변 다항식을 유지하고 최대 12대 1이다.
• $p$가 큰 소수일 때 집합 $W_p^{(2)}$와 $W_p^{(2)'}$의 크기에 대한 추정은 $|\mathcal{F}_X \cap W_p^{(2)}|$와 $|\mathcal{F}_X' \cap W_p^{(2)'}|$에 대한 경계를 통해 유도되며, 이로 인해 $O(X^{5/6}/\log M)$ 오차 항이 도출된다.
• 이전 연구에서의 평균화 기법을 결합하여 오차 항의 $\epsilon$-의존성을 제거함으로써 균일한 경계를 확보한다.
• 최종 밀도 공식은 아르키메데스적 및 유한한 자리에서의 국소 밀도를 모두 조합하여, 정리 1.3의 곱 공식을 이용해 유도된다.

실험 결과

연구 질문

• RQ1 제곱free 판별식을 가진 $S_n$-수체의 자연적 밀도는 무엇인가? ($n=3,4,5$)
• RQ2 이러한 수체의 밀도는 기본 판별식을 가진 수체의 밀도와 어떻게 비교되는가?
• RQ3 기하적 체계 방법을 사용하여 군 대칭성을 가진 고차 불변 다항식의 제곱free 값의 밀도를 계산할 수 있는가?
• RQ4 절대 판별식에 따라 순서를 매긴 $S_n$-수체 중 제곱free 판별식을 가진 수체의 점근적 비율은 무엇인가?
• RQ5 이 방법은 유한하거나 무한한 많은 자리에서의 임의의 국소 조건을 만족하는 수체를 세는 데로 확장 가능한가?

주요 결과

• $S_n$-수체의 degree $n=3,4,5$에서 제곱free 판별식을 가진 수체의 밀도는 $\frac{r_2(S_n)}{3n!} \zeta(2)^{-1} \cdot X + o(X)$이며, 여기서 $r_2(S_n)$는 $S_n$ 내의 2-torsion 원소의 수이다.
• 이러한 수체의 기본 판별식을 가진 밀도는 $\frac{r_2(S_n)}{2n!} \zeta(2)^{-1} \cdot X + o(X)$이다.
• $n=3$일 때, 기본 판별식을 가진 $S_n$-수체의 비율은 $\zeta(2)^{-1} \zeta(3)$이며, $n=4$와 $n=5$일 때는 $p^{-2}, p^{-3}, p^{-4}, p^{-5}$를 포함하는 오일러 곱 요소로 주어진다.
• $n=3,4,5$일 때, 제곱free 판별식을 가진 $S_n$-수체의 비율은 기본 판별식을 가진 수체의 정확히 $2/3$이다.
• 이 방법은 제곱free 또는 기본 판별식 조건을 포함한 임의의 수락 가능한 국소 조건 집합을 만족하는 $S_n$-수체의 밀도에 대한 일반 공식(정리 1.3)을 도출한다.
• 결과는 타원곡선의 $\mathbb{Q}$ 위에서의 평균 세일머 군 차수에 대한 하한을 확립하는 데 응용되어, 이 방법의 더 넓은 산술적 의의를 확인한다.