[논문 리뷰] Sato-Tate groups of abelian threefolds

Francesc Fité, Kiran S. Kedlaya외 1명|arXiv (Cornell University)|2021. 06. 25.

Algebraic Geometry and Number Theory인용 수 6

한 줄 요약

이 논문은 수체 위의 아벨 삼중다양체의 사토-타테 군을 분류하며, 유도된 군의 공액류에 대해 정확히 410개의 가능한 군이 있음을 증명한다. 이 중 33개는 최대군이다. 히오지 이론, 유한 선형군의 분류, 심푸라의 CM 유형 이론을 사용하여 23개의 후보군을 배제하고, 나머지 410개는 계산 도구와 최대군을 실현하는 명시적 아벨 삼중다양체의 구성으로 확인한다.

ABSTRACT

Given an abelian variety over a number field, its Sato-Tate group is a compact Lie group which conjecturally controls the distribution of Euler factors of the L-function of the abelian variety. It was previously shown by Fité, Kedlaya, Rotger, and Sutherland that there are 52 groups (up to conjugation) that occur as Sato-Tate groups of abelian surfaces over number fields; we show here that for abelian threefolds, there are 410 possible Sato-Tate groups, of which 33 are maximal with respect to inclusions of finite index. We enumerate candidate groups using the Hodge-theoretic construction of Sato-Tate groups, the classification of degree-3 finite linear groups by Blichfeldt, Dickson, and Miller, and a careful analysis of Shimura's theory of CM types that rules out 23 candidate groups; we cross-check this using extensive computations in Gap, SageMath, and Magma. To show that these 410 groups all occur, we exhibit explicit examples of abelian threefolds realizing each of the 33 maximal groups; we also compute moments of the corresponding distributions and numerically confirm that they are consistent with the statistics of the associated L-functions.

연구 동기 및 목표

• 수체 위의 아벨 삼중다양체의 가능한 모든 사토-타테 군을 분류하여 이전의 아벨 곡면 연구를 확장한다.
• USp(6)의 컴acts 리 부분군 중에서 아벨 삼중다양체의 사토-타테 군으로 나타날 수 있는 것들을 규명한다.
• 히오지 이론적 제약 조건과 심푸라의 CM 유형 이론을 통해 부적절한 후보 군을 식별하고 배제한다.
• 각 최대 사토-타테 군을 실현하는 명시적 아벨 삼중다양체를 구성한다.
• 분포의 모멘트 통계치가 관련 L함수에 의해 예측된 바와 일치하는지 수치적으로 확인한다.

제안 방법

• 타이트 모듈러스 위의 히오지 구조에서 유도된 사토-타테 군의 히오지 이론적 구성 방법을 적용하여 후보 군을 생성한다.
• 불리펠트, 딕슨, 마이러가 수행한 차수 3의 유한 선형군 분류를 활용하여 심플렉틱 유형의 가능한 유한군을 열거한다.
• 심푸라의 CM 유형 이론을 적용하여 아벨 삼중다양체에서 일관된 CM 유형을 갖지 않는 23개의 후보 군을 배제한다.
• GAP, SageMath, Magma에서의 광범위한 계산을 통해 나머지 410개의 후보 군을 상호 검증한다.
• 모듈러 및 초함수적 구성 방법을 통해 각 33개의 최대 사토-타테 군을 실현하는 수체 위의 명시적 아벨 삼중다양체를 구성한다.
• 사토-타테 분포의 모멘트를 계산하고, 이와 관련된 L함수의 통계치와 수치적으로 비교하여 일관성을 확인한다.

실험 결과

연구 질문

• RQ1 수체 위의 아벨 삼중다양체의 관측 불변량으로서 나타날 수 있는 서로 다른 사토-타테 군은 총 몇 개인가?
• RQ2 히오지 이론적 구성에서 유도된 후보 군 중에서 기하학적으로 실현 가능한 것은 무엇인가?
• RQ3 아벨 삼중다양체의 맥락에서 CM 유형 이론의 제약 조건에 의해 배제되는 후보 군은 무엇인가?
• RQ4 각 최대 사토-타테 군을 실현하는 명시적 아벨 삼중다양체를 구성할 수 있는가?
• RQ5 사토-타테 분포의 모멘트 통계치는 구성된 아벨 삼중다양체의 L함수에서 예측된 바와 일치하는가?

주요 결과

• USp(6) 내 공액류에 대해 정확히 410개의 사토-타테 군이 수체 위의 아벨 삼중다양체의 불변량으로 나타날 수 있다.
• 이 410개의 군 중 33개는 유한 지수의 포함 관계에 대해 최대군이며, 각각 고유한 이소지니 클래스의 아벨 삼중다양체와 대응된다.
• 심푸라 이론에 따르면, 그들이 아벨 삼중다양체에서 실현 가능한 CM 유형을 가져야 한다는 조건을 충족하지 못해 23개의 후보 군이 배제된다.
• 각 33개의 최대 사토-타테 군을 실현하는 명시적 아벨 삼중다양체가 수체 위에 구성되어 기하학적 실현 가능성 확인되었다.
• 사토-타테 분포의 모멘트를 수치적으로 계산한 결과, 관련 L함수의 통계치와 완벽하게 일치하여, 이 경우에 대해 사토-타테 추측이 타당함을 지지한다.
• GAP, SageMath, Magma와 같은 계산 대칭 체계를 사용하여 분류 결과를 상호 검증하였으며, 이는 열거의 신뢰성 확보에 기여한다.