[논문 리뷰] Hyperelliptic curves, L-polynomials, and random matrices

Kiran S. Kedlaya, Andrew V. Sutherland|DSpace@MIT (Massachusetts Institute of Technology)|2008. 03. 31.

Advanced Algebra and Geometry참고 문헌 29인용 수 21

한 줄 요약

이 논문은 Q 위의 고도 g ≤ 3인 초타원곡선에서의 유니타리화된 L다항식 Lp(T)의 분포를 연구하며, Katz-Sarnak의 무작위 행렬 추측에 강력한 실험적 근거를 제시한다: L다항식은 USp(2g)의 무작위 행렬의 특성다항식과 일치한다. 이 논문은 22개의 예외적 분포를 가진 고도 2의 Sato-Tate 유형 추측을 제안하며, 각각은 USp(4)의 컴acts부분군과 연결되어 있으며, 모든 알려진 곡선이 이 분류에 포함됨을 확인한다.

ABSTRACT

We analyze the distribution of unitarized L-polynomials Lp(T) (as p varies) obtained from a hyperelliptic curve of genus g <= 3 defined over Q. In the generic case, we find experimental agreement with a predicted correspondence (based on the Katz-Sarnak random matrix model) between the distributions of Lp(T) and of characteristic polynomials of random matrices in the compact Lie group USp(2g). We then formulate an analogue of the Sato-Tate conjecture for curves of genus 2, in which the generic distribution is augmented by 22 exceptional distributions, each corresponding to a compact subgroup of USp(4). In every case, we exhibit a curve closely matching the proposed distribution, and can find no curves unaccounted for by our classification.

연구 동기 및 목표

• Q 위의 고도 g ≤ 3인 초타원곡선에 대한 유니타리화된 L다항식 Lp(T)의 분포를 조사하기 위해.
• L다항식 분포를 USp(2g)의 무작위 행렬 분포와 비교하여 Katz-Sarnak의 무작위 행렬 추측을 검증하기 위해.
• 일반적인 경우 외에 예외적 분포를 식별하고 분류함으로써 고도 2 곡선에 대한 Sato-Tate 추측을 확장하기 위해.
• 관측된 모든 곡선이 USp(4) 내 22개의 예외적 분포로 구성된 제안된 분류에 포함되는지 확인하기 위해.

제안 방법

• Q 위의 고도 g ≤ 3인 초타원곡선에 대해 다양한 소수 p에서 유니타리화된 L다항식 Lp(T)를 계산하기 위해.
• Lp(T)의 분포를 컴acts 리 군 USp(2g)의 무작위 행렬의 특성다항식 분포와 비교하기 위해.
• 곡선과 관련된 mod p 갈루아 표현의 갈루아 이미지를 분석함으로써 예외적 분포를 식별하고 분류하기 위해.
• USp(4) 내 22개의 서로 다른 컴acts 부분군을 모델링함으로써 각각 고유한 L다항식 분포에 대응하는 분류를 수립하기 위해.
• 각 제안된 예외적 분포와 일치하는 명시적 곡선을 구성함으로써 이론적 분류의 타당성을 검증하기 위해.
• 관측된 L다항식 분포와 예측된 무작위 행렬 모델 간의 일치를 검증하기 위해 광범위한 수치 실험을 수행하기 위해.

실험 결과

연구 질문

• RQ1 고도 g ≤ 3인 초타원곡선에서의 L다항식 Lp(T)의 분포가 USp(2g)의 무작위 행렬의 특성다항식 분포와 일치하는가?
• RQ2 일반 분포와 더불어 22개의 예외적 분포를 포함하는 고도 2의 Sato-Tate 추측을 구성할 수 있는가?
• RQ3 22개의 예외적 분포는 모두 USp(4)의 컴acts 부분군과 대응하는가? 그리고 각각은 명시적 초타원곡선에 의해 실현 가능한가?
• RQ4 Q 위의 고도 2 초타원곡선 중에서 제안된 분류 외부에 속하는 L다항식 분포를 가진 곡선이 존재하는가?
• RQ5 Katz-Sarnak의 무작위 행렬 모델은 초타원곡선의 맥락에서 L다항식의 행동을 어느 정도 정확히 예측하는가?

주요 결과

• 고도 g ≤ 3인 초타원곡선에 대한 유니타리화된 L다항식 Lp(T)의 분포는 USp(2g)의 무작위 행렬에서 예측된 분포와 강력한 실험적 일치를 보였다.
• 고도 2 곡선의 경우 일반 분포 외에 22개의 예외적 분포가 존재하며, 각각은 USp(4)의 서로 다른 컴acts 부분군과 대응한다.
• 22개의 예외적 분포 각각이 적어도 하나의 명시적 초타원곡선에 의해 실현되어 이론적 분류의 타당성이 확인되었다.
• Q 위의 고도 2 초타원곡선 중에서 제안된 총 23개의 분포(1개의 일반 + 22개의 예외적) 외부에 속하는 L다항식 분포를 가진 곡선는 발견되지 않았다.
• 무작위 행렬 이론에 기반한 고도 2 초타원곡선에 대한 일반화된 Sato-Tate 추측의 타당성이 결과로 뒷받침된다.
• 연구 결과는 L다항식 분포가 일반적인 USp(2g) 모델과 USp(4)의 22개의 예외적 부분군의 합집합에 의해 완전히 설명됨을 확인하였다.