[논문 리뷰] The action of SL(2) on abelian varieties

Arnaud Beauville|ArXiv.org|2008. 05. 11.

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

한 줄 요약

이 논문은 약한 다중체가 있는 아벨 다양체 $A$의 초군 $CH(A)$ 위에 대수적 군 $\mathrm{SL}_2$의 천연 작용을 구성한다. 이 작용은 가역적 자기 대응을 통해 실현되며, $CH(A)$를 유한차원 기약 표현으로 분해함으로써, 곱셈에 의한 $\theta^{g-2p+s}$ 작용이 약한 대칭 클래스 $\theta$에 대해 $CH^p_s(A) \to CH^{g-p+s}_s(A)$ 사이의 동형사상임을 보여주는 변형된 하드 레프셰츠 정리의 결과를 도출한다. 이는 대수기하학에서 고전적인 레프셰츠 유형 결과를 일반화한다.

ABSTRACT

We show that the algebraic group SL(2) acts on any polarized abelian variety A through correspondences. As a consequence we recover the action of SL(2) on the Chow group CH(A) (with rational coefficients), and this gives rise to Lefschetz type properties for algebraic cycles on A .

연구 동기 및 목표

• 논문에서 암묵적·명시적으로 사용되었으나 완전히 설명되지 않은 $\mathrm{SL}_2$ 작용에 대한 상세한 서술을 통해 문헌의 빈자리 메우기.
• 약한 다중체가 있는 아벨 다양체 $A$에 대해, $\mathrm{SL}_2$에서 $A$ 위의 가역적 자기 대응군 $\mathrm{Corr}(A)^*$로의 자연스러운 준동형사상 수립.
• 데마즈르의 생성자와 관계에 의한 $\mathrm{SL}_2$의 표현을 사용하여, 기존의 $\mathrm{SL}_2(\mathbb{Z})$ 작용을 전체 대수적 군 $\mathrm{SL}_2$로 확장하기.
• 특히, 등급 초군의 맥락에서 변형된 하드 레프셰츠 정리의 새로운 결과 도출 — 초군에 대한 레프셰츠 유형 정리의 일반화.

제안 방법

• 무카이의 $\mathbf{D}(A)$의 유도 범주 위에서의 $\mathrm{SL}_2(\mathbb{Z})$ 작용 결과를 활용하여, 대응을 통한 $CH(A)$ 위에 대응하는 작용을 구성한다.
• 데마즈르의 $\mathrm{SL}_2$의 생성자와 관계에 의한 표현을 적용하여, $\mathrm{SL}_2(\mathbb{Z})$-작용을 전체 대수적 군 $\mathrm{SL}_2$로 확장한다.
• 초군 $CH(A \times A)$ 내의 대수적 사이클의 복합을 통한 작용 정의로, 이 작용이 유리 동치를 보존하고, $n^*_A$의 작용에 의해 유도되는 $CH(A)$의 등급을 유지함을 보인다.
• 핵심 기술 도구로는, 유도 범주 대응과 초군 연산 간의 연결을 제공하는 채르니 캐릭터스터를 사용하며, 이는 $\mathbf{D}(A)$에서의 자동형사를 $CH(A)$로 이전하는 데 기여한다.
• 곱셈-by-$n$ 준동형사상의 작용에 의해 유도되는 고유공간 $CH^p_s(A)$로의 $CH(A)$ 분해를 고려하고, 이 부분공간 위에서 $\mathrm{SL}_2$ 작용을 연구함으로써 쌍대성 및 동형사상 결과를 도출한다.
• 기하학적 기초로, 초순수 사이클의 구조와 푸리에 변환의 작용을 활용하여, 약한 대칭 클래스 $\theta$에 대해 곱셈 사상 $\times \theta^{g-2p+s}: CH^p_s(A) \to CH^{g-p+s}_s(A)$ 가 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 유도 범주 $\mathbf{D}(A)$ 위에서의 $\mathrm{SL}_2(\mathbb{Z})$ 작용을 어떻게 전체 대수적 군 $\mathrm{SL}_2$의 아벨 다양체 초군 $CH(A)$ 위의 작용으로 올릴 수 있는가?
• RQ2 초군 $CH(A)$ 위에서의 $\mathrm{SL}_2$ 작용 하에서의 분해의 정확한 구조는 무엇이며, 이는 $n^*_A$-작용의 고유공간에 의한 등급과 어떻게 관련되는가?
• RQ3 초군 $CH(A)$에 대해 변형된 하드 레프셰츠 정리가 성립할 수 있는가? 그리고 약한 대칭 클래스의 거듭제곱에 의한 곱셈이 동형사상을 유도하는 조건은 무엇인가?
• RQ4 음수 등급 성분 $CH_s(A)$ ($s < 0$)의 소멸과, $CH^p(A)$ 위에서의 곱셈 사상 $\times h^{g-2p}$ 의 단사성 사이의 관계는 무엇인가?

주요 결과

• $\mathrm{SL}_2$의 작용은 군 준동형사상 $\mathrm{SL}_2 \to \mathrm{Corr}(A)^*$로 구성되며, 이는 초군의 유리 동치류 값으로서 표현을 유도한다.
• 초군 $CH(A)$는 $\mathrm{SL}_2$의 유한차원 기약 표현들의 직합으로 분해되며, 등급 $CH^p_s(A)$는 $n^*_A$ 작용에 따른 고유공간에 대응한다.
• 변형된 하드 레프셰츠 동형사상이 성립한다: 약한 대칭 클래스 $\theta \in CH^1(A)$에 대해, 사상 $\times \theta^{g-2p+s}: CH^p_s(A) \to CH^{g-p+s}_s(A)$ 는 동형사상이다.
• 필터링 $F^s CH^p(A) = \bigoplus_{t \geq s} CH^p_t(A)$ 는 블로흐-베일린 필터링으로 추측되며, 임의의 약한 클래스 $h$에 대해 $F^{p+q-g} CH^p(A)$ 위에서 $h^{q-p}$의 곱셈은 단사적이다.
• 모든 $p \leq g/2$ 에 대해 $CH^p(A) \to CH^{g-p}(A)$ 에 대한 곱셈 사상 $\times h^{g-2p}$ 의 단사성은 모든 $s < 0$ 에 대해 $CH_s(A) = 0$ 이라는 조건과 동치이며, 이는 초군의 소멸성과 레프셰츠 유형 단사성 사이의 깊은 연결을 확인한다.
• 약한 다중체가 있는 다중체 $D$에 대해, $p \leq \frac{1}{2}(g-1)$ 이면 초군 사상 $CH^p(A) \to CH^p(D)$ 는 단사적이다. 이는 $CH_s(A) = 0$ for all $s < 0$ 이라는 가정 하에 성립한다.