[논문 리뷰] Prime number races for elliptic curves over function fields

Byungchul Cha, Daniel Fiorilli외 1명|arXiv (Cornell University)|2015. 02. 18.

Analytic Number Theory Research참고 문헌 18인용 수 3

한 줄 요약

이 논문은 함수체 위의 타원곡선에서의 소수 레이스를 연구하며, Frobenius 추적 분포의 편향에 대한 조건부가 아닌 결과를 증명한다. 일반적인 가족에서는 중심극한정리와 L함수의 영점들 간의 일반적인 선형독립성 덕분에 도함수가 커질수록 편향이 감소하는 반면, 특수 가족(예: 울머의 가족)에서는 영점 간의 종속성으로 인해 강력하고 비일반적인 편향이 지속된다.

ABSTRACT

We study the prime number race for elliptic curves over the function field of a proper, smooth and geometrically connected curve over a finite field. This constitutes a function field analogue of prior work by Mazur, Sarnak and the second author. In this geometric setting we can prove unconditional results whose counterparts in the number field case are conditional on a Riemann Hypothesis and a linear independence hypothesis on the zeros of the implied L-functions. Notably we show that in certain natural families of elliptic curves, the bias generically dissipates as the conductor grows. This is achieved by proving a central limit theorem and combining it with generic linear independence results that will appear in a separate paper. Also we study in detail a particular family of elliptic curves that have been considered by Ulmer. In contrast to the generic case we show that the race exhibits very diverse outcomes, some of which are believed to be impossible in the number field setting. Such behaviors are possible in the function field case because the zeros of Hasse-Weil L-functions for those elliptic curves can be proven to be highly dependent among themselves, which is a very non generic situation.

연구 동기 및 목표

• 마줄, 사르나크, 피오리리의 이전 수체 작업을 확장하여 함수체 위의 타원곡선에 대한 소수 레이스를 조사하는 것.
• Hasse-Weil L함수의 해석적 성질에 따라 Frobenius 추적 분포(양수 대 음수)의 편향이 어떻게 나타나는지 이해하는 것.
• 표준 가정 하에 수체에서는 불가능한 고도로 편향된 레이스가 함수체 설정에서는 어떻게 발생할 수 있는지 규명하는 것.
• 일반적인 가족에서는 도함수가 커질수록 편향이 사라지며, 이는 수체에서의 조건부 결과와 대조됨을 증명하는 것.
• 울머의 타원곡선 가족을 분석하여 비일반적인 영점 종속성이 지속적인 극단적 편향을 유도하는 이유를 밝히는 것

제안 방법

• 루빈-사르나크 프레임워크의 함수체 버전을 사용하여, π(x; q, a) > π(x; q, b)인 집합의 로그 밀도를 통해 편향을 정량화하는 것.
• 함수체 위의 타원곡선 가족에서 Frobenius 추적의 중심극한정리를 적용하여 편향이 1/2로 수렴함을 보이는 것.
• 동반 작업에서 증명된 L함수의 비자명한 영점들 간의 일반적인 선형독립성을 활용하여 일반적인 가족에서의 지속적 편향을 배제하는 것.
• 함수방정식을 통한 L함수 영점의 구조 분석을 통해 비일반적인 종속성을 유도하는 자명한 관계(예: γ_j와 2π - γ_j)를 식별하는 것.
• 지수합과 도함수 성장률을 이용한 영점 간 비자명한 관계를 가진 곡선의 수에 대한 경계를 적용하여 비일반적 케이스의 밀도를 추정하는 것.
• 이 경계를 코로나리 4.6과 결합하여 선형독립성을 위반하거나 랭크 ≥2인 곡선이 희박함을 보여주며, 이는 일반적인 편향 감소를 암시하는 것.

실험 결과

연구 질문

• RQ1 함수체 위의 타원곡선에서 소수 레이스는 강력하고 지속적인 편향을 보일 수 있으며, 만약 그렇다면 어떤 조건에서 그러한 현상이 발생하는가?
• RQ2 함수체 위의 일반적인 타원곡선 가족에서 도함수가 커질수록 Frobenius 추적 부호 분포의 편향은 어떻게 행동하는가?
• RQ3 어떤 가족(예: 울머의 가족)은 수체의 경우에서는 관찰되지 않는 극단적 편향을 보이며, 이러한 현상은 그들의 L함수의 어떤 구조적 성질 때문인가?
• RQ4 Hasse-Weil L함수의 영점들 간의 종속성이 함수체 설정에서 Frobenius 추적 분포에 어느 정도 영향을 미치는가?
• RQ5 수체의 유사체에서는 GRH와 LI가 필요로 하는 편향에 대한 조건부가 아닌 결과를 함수체 설정에서 확보할 수 있는가?

주요 결과

• 함수체 위의 일반적인 타원곡선 가족에서는 도함수가 커질수록 양수와 음수 Frobenius 추적 간의 편향이 감소하며, 로그 밀도가 1/2로 수렴한다.
• Frobenius 추적의 중심극한정리는 정규화된 추적의 분포가 가우시안이 되게 하며, 이는 극한에서 편향이 사라짐을 의미한다.
• L함수의 영점들 간에 비자명한 관계를 가진 곡선의 비율은 O(n q^{-n d^{-2}(14 + b_E/d)^{-1}} log q)로 유계이며, 이는 n에 따라 급격히 감소한다.
• 울머의 가족에서는 비일반적인 영점 종속성이 지속적인 극단적 편향을 유도하며, 일부는 수체의 경우에서는 불가능하다고 여겨진다.
• 이러한 강력한 편향의 존재는 이 가족의 L함수 영점들이 매우 종속되어 있기 때문이며, 이는 일반적으로 비일반적이며 증명적으로 희박한 상황이다.
• 수체 유사체에서 GRH나 LI가 필요로 하는 조건부 결과와 달리, 함수체 설정에서는 조건부가 아닌 결과를 확보할 수 있다.