[논문 리뷰] Character sums for elliptic curve densities

Julio Brau|arXiv (Cornell University)|2017. 03. 12.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 유리수 위의 타원곡선 $E$의 $\mathbb{F}_p$-유리점군이 순환군이 되는 소수 $p$의 밀도에 대한 얽힘 보정 인자들을 계산하기 위해 문자합 프레임워크를 개발한다. 보정 인자를 문자합으로 해석함으로써, 명시적인 영이 아닌 조건을 도출할 수 있고, 이는 산술등차수열 조건과 콜비츠의 추측에 적용되어 이러한 밀도에 대한 정밀한 계산 예측을 도출한다.

ABSTRACT

If $E$ is an elliptic curve over $\mathbb{Q}$, then it follows from work of Serre and Hooley that, under the assumption of the Generalized Riemann Hypothesis, the density of primes $p$ such that the group of $\mathbb{F}_p$-rational points of the reduced curve $ ilde{E}(\mathbb{F}_p)$ is cyclic can be written as an infinite product $\prod δ_\ell$ of local factors $δ_\ell$ reflecting the degree of the $\ell$-torsion fields, multiplied by a factor that corrects for the entanglements between the various torsion fields. We show that this correction factor can be interpreted as a character sum, and the resulting description allows us to easily determine non-vanishing criteria for it. We apply this method in a variety of other settings. Among these, we consider the aforementioned problem with the additional condition that the primes $p$ lie in a given arithmetic progression. We also study the conjectural constants appearing in Koblitz's conjecture, a conjecture which relates to the density of primes $p$ for which the cardinality of the group of $\mathbb{F}_p$-points of $E$ is prime.

연구 동기 및 목표

• 소수 $p$의 밀도에 있어서 $\tilde{E}(\mathbb{F}_p)$가 순환군이 되는 경우의 얽힘 보정 인자를 체계적으로 계산하는 방법을 개발하는 것.
• 아르틴의 원시근 추측에 대한 후리의 접근을 타원곡선 점군의 구조로 일반화하는 것.
• 특히 GRH 하에서 순환군 케이스의 밀도 상수에 대한 명시적인 영이 아닌 조건을 제공하는 것.
• 프레임워크를 산술등차수열 내 소수의 밀도를 연구하고 콜비츠의 추측, 즉 $\#\tilde{E}(\mathbb{F}_p)$가 소수인 소수의 밀도를 분석하는 데로 확장하는 것.

제안 방법

• 얽힘 보정 인자 $\mathfrak{C}_E$를 문자합으로 해석함으로써, 명시적인 계산과 영이 아닌 분석이 가능해진다.
• 이 방법은 갈로아 군 $\mathrm{Gal}(\mathbb{Q}(E[m]) / \mathbb{Q})$를 통한 토크션 체 $\mathbb{Q}(E[\ell])$의 갈로와 이론적 분해와 그 교차를 활용한다.
• 국소 밀도 $\delta_\ell = 1 - \frac{1}{[\mathbb{Q}(E[\ell]):\mathbb{Q}]}$는 문자합 보정과 결합되어 전역 밀도 $C_E = \mathfrak{C}_E \prod_\ell \delta_\ell$를 형성한다.
• 만일 $\mathbb{Q}(E[2]) \subset \mathbb{Q}(E[3])$인 경우, 보정 인자는 종수 0인 모듈라 곡선 $X_H$를 통해 계산되며, 이 곡선의 유리점은 그러한 곡선을 매개변수화한다.
• 기계 계산을 활용하여 $p \leq 10^8$ 범위에서 예측된 밀도와 실측 데이터 간의 높은 수치적 일치도를 확보한다.
• 프레임워크는 산술등차수열 내 소수의 밀도를 연구하고 콜비츠의 추측을 분석하기 위해 확장되며, 관련 보정 인자를 문자합을 통해 계산한다.

실험 결과

연구 질문

• RQ1 소수 $p$의 밀도에 있어서 $\tilde{E}(\mathbb{F}_p)$가 순환군이 되는 경우의 얽힘 보정 인자의 정확한 형태는 무엇이며, 언제 영이 되는가?
• RQ2 보정 인자를 문자합으로 표현하면 영이 아닌 조건을 효과적으로 분석할 수 있는가?
• RQ3 이 방법은 소수의 산술등차수열에 제한된 경우의 밀도를 계산하는 데로 어떻게 일반화할 수 있는가?
• RQ4 서로소 $m_1, m_2$에 대해 토크션 체 $\mathbb{Q}(E[m_1])$와 $\mathbb{Q}(E[m_2])$ 사이의 비아벨 교차의 구조는 어떠한가?
• RQ5 이 방법은 $\#\tilde{E}(\mathbb{F}_p)$가 소수인 소수의 밀도에 대한 콜비츠의 추측에 어떻게 적용되는가?

주요 결과

• 얽힘 보정 인자 $\mathfrak{C}_E$가 문자합으로 표현될 수 있음이 입증되었으며, 이는 명시적 계산과 영이 아닌 분석을 가능하게 한다.
• 타원곡선 $Y^2 = X^3 - 63504X + 6223392$에 대해, 순환군을 가진 소수의 예측 밀도는 $C_E \approx 0.831066$이며, $p \leq 10^8$ 범위에서 실측 밀도 $0.831069$와 높은 일치를 보인다.
• 보정 인자가 영이 되는 것은 문자합의 값이 0이 되는 것과 정확히 일치하며, 이는 밀도가 영이 되는 조건을 명확히 제공한다.
• 이 방법은 산술등차수열 내 소수의 경우로 성공적으로 확장되었으며, 고전적인 아르틴 유형의 밀도 결과를 일반화한다.
• 토션 체 간의 유일한 비아벨 얽힘은 $\mathbb{Q}(E[2]) \subset \mathbb{Q}(E[3])$일 때 발생하며, 이러한 곡선은 종수 0인 모듈라 곡선 $X_H$로 매개변수화되며, 명시적인 $j$-항등식은 $j = 2^{10}3^3 t^3(1 - 4t^3)$이다.
• 이 프레임워크는 콜비츠의 추측 및 유사 문제에 대해 보정 인자를 체계적으로 계산할 수 있는 방법을 제공하며, 이를 문자합 평가로 환원한다.