[논문 리뷰] On the average number of 2-Selmer elements of elliptic curves over F_q(X) with two marked points

Jack A. Thorne|arXiv (Cornell University)|2019. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 두 개의 비순환 유리점이 표시된 함수체 F_q(X) 위의 타원곡선을 연구하며, 특정 부분가닥에 초점을 맞춘다. 이 가닥에서 2-Selmer 군의 평균 크기는 정확히 12임을 증명하고, 2-Selmer 원소들이 G-자기다발의 매니폴드 공간으로 가는 사상에 의해 어떻게 분포되는지를 분석한다 (G ≅ SL₂⁴). 그 결과, q → ∞ 일 때 그 분포가 균일해짐을 보인다.

ABSTRACT

We consider elliptic curves over global fields of positive characteristic with two distinct marked non- trivial rational points. Restricting to a certain subfamily of the universal one, we show that the average size of the 2-Selmer groups of these curves exists, in a natural sense, and equals 12. Along the way, we consider a map from these 2-Selmer groups to the moduli space of G-torsors over an algebraic curve, where G is isogenous to SL_2^4 , and show that the images of 2-Selmer elements under this map become equidistributed in the limit.

연구 동기 및 목표

• F_q(X) 위의 타원곡선의 특정 부분가닥에서 두 개의 서로 다른 비자명한 유리점이 있는 경우의 2-Selmer 군 평균 크기를 조사하는 것.
• G가 SL₂⁴와 동형이 되는 G-자기다발의 매니폴드 공간에서 2-Selmer 원소의 분포를 분석하는 것.
• 이 가닥에서 2-Selmer 군의 자연스러운 평균 크기가 존재함을 확립하는 것.
• q → ∞ 일 때 기하적 사상에 의해 2-Selmer 원소의 분포가 균일해지는 것을 보이는 것.

제안 방법

• F_q(X) 위의 타원곡선의 일반가닥에서 두 개의 비순환 유리점을 갖는 부분가닥에 국한한다.
• 2-Selmer 군에서 G-자기다발의 매니폴드 공간으로 가는 사상을 정의한다 (G는 SL₂⁴와 동형이 되는 군).
• 양의 특성 수체 위의 기하학적·산술적 기법을 사용하여 이 사상에 의한 2-Selmer 원소의 상을 분석한다.
• q → ∞ 일 때의 균일분포 결과를 활용하여, 매니폴드 공간의 구조를 고려한다.
• 자기다발의 기하학과 함수체의 산술을 이용하여 2-Selmer 집합의 크기와 분포를 제어한다.
• 대수기하학과 산술통계의 도구를 활용하여 2-Selmer 군의 평균 크기를 계산한다.

실험 결과

연구 질문

• RQ1 F_q(X) 위의 타원곡선에서 두 개의 표시된 비순환 유리점이 있는 특정 부분가닥에서 2-Selmer 군의 평균 크기는 얼마인가요?
• RQ2 G가 SL₂⁴와 동형이 되는 G-자기다발의 매니폴드 공간으로 사상되었을 때 2-Selmer 원소는 어떻게 분포하는가요?
• RQ3 q → ∞ 일 때 이 사상에 의해 2-Selmer 원소의 상이 균일분포를 이룬다 할 수 있는가요?
• RQ4 이 기하학적 설정에서 2-Selmer 군의 평균 크기가 존재하고 유한한가를 보일 수 있는가요?
• RQ5 G-자기다발의 매니폴드 공간의 구조는 Selmer 군의 크기와 분포를 어떻게 제어하는가?

주요 결과

• 지정된 부분가닥의 타원곡선에 대해 2-Selmer 군의 평균 크기는 정확히 12이다.
• G-자기다발의 매니폴드 공간으로 가는 사상에 의해 2-Selmer 원소의 상은 q → ∞ 일 때 균일분포를 이룬다 (G ≅ SL₂⁴).
• 이 가닥에서 2-Selmer 군의 자연스러운 평균 크기가 존재함이 입증되었다.
• 매니폴드 공간으로 향하는 기하학적 사상은 분포와 크기 분석에 핵심적인 도구가 된다.
• 결과는 산술통계와 함수체 위의 자기다발 기하학 간 깊은 상호작용에 기반한다.
• 균일분포 결과는 점점 커지는 크기 q를 갖는 유한체 위에서의 극한에서 성립한다.