[논문 리뷰] Quaternions, polarizations and class numbers

Víctor Rotger|ArXiv.org|2002. 11. 06.

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

한 줄 요약

이 논문은 Eichler의 최적 포함 이론과 CM 체의 상대적 클래스 수를 이용하여, 전체 실수 체 위의 양성적 편미분을 가진 아벨 다양체에서 주원소 균형의 존재성과 수를 수론적 기준으로 설정한다. 짝수 차원에서는 비이sov모르픽 주원소 균형의 수가 유계가 아니며, 홀수 제곱 자유 차원에서는 항상 $2^{g-1}$ 이하로 유계임을 증명하여, 이러한 균형의 유한성에 관한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

We study abelian varieties $A$ with multiplication by a totally indefinite quaternion algebra over a totally real number field and give a criterion for the existence of principal polarizations on them in pure arithmetic terms. Moreover, we give an expression for the number $π_0(A)$ of isomorphism classes of principal polarizations on $A$ in terms of relative class numbers of CM fields by means of Eichler's theory of optimal embeddings. As a consequence, we exhibit simple abelian varieties of any even dimension admitting arbitrarily many non-isomorphic principal polarizations. On the other hand, we prove that $π_0(A)$ is uniformly bounded for simple abelian varieties of odd square-free dimension.

연구 동기 및 목표

• 전체 실수 수체 위의 전체 부정적 편미분을 가진 양성적 아벨 다양체에서 주원소 균형의 존재성과 수를 결정하는 것.
• Eichler의 최적 포함 이론을 통해 주원소 균형의 동형류 수 $\pi_0(A)$를 CM 체의 상대적 클래스 수로 표현하는 것.
• 간단한 아벨 다양체가 차원 $g$에서 임의로 많은 비이sov모르픽 주원소 균형을 가질 수 있는지 여부를 규명하는 것.
• 홀수 제곱 자유 차원을 가진 단순 아벨 다양체에 대해 $\pi_0(A)$의 균일한 유계를 확립하는 것.

제안 방법

• 저자들은 Eichler의 최적 포함 이론을 사용하여 주원소 균형 수를 세는 기하 문제를 CM 체의 순서를 포함하는 산술 문제로 변환한다.
• $\pi_0(A)$를 $F(\sqrt{-D})$의 순서 $S$에 대해 $R_F[\sqrt{-D}]$를 포함하는 것으로, 그들의 클래스 수 $h(S)$에 가중치를 두어 합으로 표현한다.
• 핵심 공식은 $\pi_0(A) = \frac{1}{2}\sum_S h(S)$이며, 여기서 $D$는 최대 순서 $\mathcal{O}$의 감마이드 이데알의 전체 양성 생성자이다.
• Brauer-Siegel 정리에 의해 분석 도구로 클래스 수 이론—특히 CM 체의 상대적 클래스 수에 대한 점근적 유계와 추정치—를 적용한다.
• Čebotarev의 밀도 정리를 활용하여 서로소 판별식과 미분을 가진 전체 양성 이데알 $D_j$의 가닥을 구성함으로써, 해당 양성적 대수와 아벨 다양체의 존재를 보장한다.
• 홀수 차원의 경우, unit 군의 구조와 CM 체 내의 노름을 이용한 Lange의 방법을 응용하여 $\pi_0(A)$를 $2^{g-1}$ 이하로 유계화한다.

실험 결과

연구 질문

• RQ1 양성적 편미분을 가진 짝수 차원 아벨 다양체는 임의로 많은 비이sov모르픽 주원소 균형을 가질 수 있는가?
• RQ2 홀수 제곱 자유 차원을 가진 단순 아벨 다양체에서 주원소 균형의 수는 항상 유계인가?
• RQ3 이러한 아벨 다양체에서 주원소 균형의 동형류 수에 대한 정확한 산술 공식은 무엇인가?
• RQ4 CM 체의 상대적 클래스 수는 양성적 아벨 다양체에서 주원소 균형의 기하학과 어떻게 관련되는가?

주요 결과

• 전체 실수 수체 $F$ 위의 전체 부정적 편미분을 가진 양성적 편미분을 가진 아벨 다양체 $A$의 차원이 $2n$일 때, $\pi_0(A) = \frac{1}{2}\sum_S h(S)$이며, 여기서 $S$는 $F(\sqrt{-D})$의 순서로 $R_F[\sqrt{-D}]$를 포함한다.
• 아벨 표면의 경우($g=2$), $D \equiv 3 \pmod{4}$이면 $\pi_0(A) = \frac{h(-4D)+h(-D)}{2}$이고, 그렇지 않으면 $\frac{h(-4D)}{2}$이다.
• 짝수 차원 $g$에 대해, $|\mathrm{N}_{F/\mathbb{Q}}(D)| \to \infty$를 만족하는 가닥을 구성하고 점근적 클래스 수 추정치를 적용함으로써 $\pi_0(A)$가 임의로 큰 단순 아벨 다양체가 존재한다.
• 홀수 제곱 자유 차원 $g$에 대해 $\pi_0(A) \leq 2^{g-1}$이며, 등호는 특정한 unit 군 조건에서만 가능하다.
• 로그 스케일에서 $\pi_0(A)$의 성장은 $\log \pi_0(A) \sim \log \sqrt{|\mathrm{N}_{F/\mathbb{Q}}(D)| \cdot D_F}$를 만족하며, 이는 클래스 수에 대한 Brauer-Siegel 정리에서 유도된다.
• 홀수 제곱 자유 차원에서의 유계는 날카롭고, unit 군의 구조와 CM 체 내의 노름을 분석함으로써 도출되며, Lange의 이전 유계를 양성적 대수의 경우로 확장한다.