[논문 리뷰] Reduced norms and the Riemann-Roch theorem for Abelian varieties

Nathan Grieve|arXiv (Cornell University)|2016. 03. 21.

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

한 줄 요약

이 논문은 주로 편극화된 아벨 다양체(ppav) 위의 분할에 대한 리만-로흐 정리와 종량형 대수 성분의 축소된 노름 사이의 정확한 연결고리를 설정한다. 자기 교차수 $ D^g/g! $ 가 $ \mathrm{pNrd}_\lambda(\alpha) $ 의 제곱과 일치함을 보이며, 여기서 $ \alpha = \Phi_\lambda(D) $ 이다. 이는 종량형 대수의 대수적 불변량을 통해 교차수에 대한 명시적 공식을 제공한다.

ABSTRACT

We explain how the Riemann-Roch theorem for divisors on an abelian variety $A$ is related to the reduced norms of the Wedderburn components of $\operatorname{End}^0(A)$ the $\mathbb{Q}$-endomorphism algebra of $A$. We then describe consequences and examples.

연구 동기 및 목표

• 주로 편극화된 아벨 다양체 위의 분할에 대한 리만-로흐 정리와 종량형 대수 $ \mathrm{End}^0(A) $ 내의 축소된 노름 사이의 관계를 명확히 하기 위해.
• 교차수 $ D^g/g! $ 와 종량형 대수 $ \mathrm{End}^0(A) $ 의 구조, 특히 웨더번 성분 간의 명시적 연결고리를 제공하기 위해.
• 주로 편극화된 아벨 다양체에 대해 $ \mathrm{pNrd}_\lambda $ 에 기반한 $ D^g/g! $ 의 명시적 공식을 제공하기 위해.
• 특히 헤이터본 대수의 곱에 대해 구체적인 예시에서 다항함수 $ \mathrm{pNrd}_\lambda(\alpha) $ 를 계산하고 해석하기 위해.

제안 방법

• 논문은 단순하고 비동형이 아닌 $ A_i $ 들에 대해 $ A \simeq \prod A_i^{r_i} $ 의 분해를 사용하여, 웨더번 분해 $ R = \mathrm{End}^0(A) \simeq \prod R_i $, $ R_i \simeq M_{r_i}(\Delta_i) $ 를 이끌어낸다.
• 각 단순 성분에서 축소된 노름 $ \mathrm{Nrd}_{R_i/\mathbb{Q}} $ 를 정의하고, $ \mathrm{End}^0_\lambda(A) $ 위에서 차수 $ g $ 의 정규화된 동차 다항함수 $ \mathrm{pNrd}_\lambda $ 를 구성한다.
• 로사티 대칭 $ r_\lambda $ 를 사용하여 $ \mathrm{NS}(A) \simeq \mathrm{End}_\lambda(A) $ 를 식별함으로써, 분할 클래스 $ D $ 가 $ \alpha \in \mathrm{End}_\lambda(A) $ 로 매핑됨을 가능하게 한다.
• 핵심 공식 $ \frac{(D^g)}{g!} = \mathrm{pNrd}_\lambda(\alpha) $ 는 중심 단순 대수에서의 축소된 노름과 추적 이론을 통해 유도된다.
• 특히 $ R = M_2(\mathcal{K}) $ 이고 $ \mathcal{K} $ 가 헤이터본 대수일 경우, 분할체와 행렬 표현을 사용하여 명시적 계산을 수행한다.
• 교차수 $ D_1 \cdot D_2 $ 는 다항형식 $ \mathrm{pNrd}_\lambda $ 가 유도하는 이차형식에 의해 계산된다.

실험 결과

연구 질문

• RQ1 주로 편극화된 아벨 다양체에 대해, Riemann-Roch 수 $ D^g/g! $ 는 종량형 대수 $ \mathrm{End}^0(A) $ 의 대수적 구조와 어떻게 관련이 있는가?
• RQ2 자기 교차수 $ D^g/g! $ 는 종량형 $ \alpha = \Phi_\lambda(D) $ 의 다항함수로 표현될 수 있는가?
• RQ3 웨더번 성분의 종량형 대수 $ \mathrm{End}^0(A) $ 의 축소된 노름에 대해 다항함수 $ \mathrm{pNrd}_\lambda(\alpha) $ 의 명시적 형태는 무엇인가?
• RQ4 행렬 표현을 통해 $ \Phi_\lambda(D_1) $ 와 $ \Phi_\lambda(D_2) $ 를 알면, 교차수 $ D_1 \cdot D_2 $ 는 어떻게 대수적으로 계산할 수 있는가?
• RQ5 분할 $ D $ 의 지수 $ i(D) $ 는 $ \alpha = \Phi_\lambda(D) $ 의 계수들에 의해 어떤 조건에 의해 결정되는가?

주요 결과

• 주로 편극화된 아벨 다양체 $ A $ 가 $ A = \prod A_i^{r_i} $ 로 분해될 경우, 리만-로흐 수는 $ \frac{(D^g)}{g!} = \mathrm{pNrd}_\lambda(\alpha) $ 를 만족하며, 여기서 $ \alpha = \Phi_\lambda(D) $ 이다.
• 함수 $ \mathrm{pNrd}_\lambda $ 는 $ \mathrm{End}^0_\lambda(A) $ 위에서 차수 $ g $ 의 동차 다항함수이며, 항등원에서 값이 1이 되도록 정규화되어 있다.
• 특히 $ A = E^{\times 2} $ 이고 $ E $ 가 CM 타원곡선일 경우, $ \mathrm{pNrd}_\lambda(\alpha) = -w^2ab + z^2b + y^2a + uv - x^2 $ 이며, 여기서 $ \alpha $ 는 헤이터본 대수의 원소를 성분으로 가지는 $ 2\times 2 $ 행렬이다.
• 교차수 $ D_1 \cdot D_2 $ 는 $ 2w_1w_2ab + 2z_1z_2b + 2y_1y_2a + u_1v_2 + u_2v_1 - 2x_1x_2 $ 로 주어지며, 이는 $ \mathrm{pNrd}_\lambda $ 의 이차형식에서 유도된다.
• 분할 $ D $ 의 지수 $ i(D) $ 는 $ \mathrm{pNrd}_\lambda(\alpha) $ 의 부호와 추적 $ u+v $ 에 의해 결정되며, 이 두 양의 부호에 따라 $ i(D) = 0, 1, $ 또는 $ 2 $ 가 된다.
• 공식 $ \frac{(D^g)}{g!} = \mathrm{pNrd}_\lambda(\alpha) $ 는 $ \mathrm{End}^0(A) $ 가 $ \mathbb{Q} $-대수로서 반단순로 표현될 경우, 양의 특성수에서도 성립한다.