[논문 리뷰] Tannakian Categories attached to abelian Varieties

Rainer Weissauer|ArXiv.org|2007. 04. 10.

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

한 줄 요약

이 논문은 아벨 다양체 $X$ 위의 $\overline{\mathbb{Q}}_l$-층의 유도 범주를 이동 불변 복합체로 나눈 후, 그로부터 초-탄나카이 범주를 구성하고, 커플레션에 대해 닫혀 있는 복합체들—즉, 다중화자들—의 범주가, 프로-슈퍼군 $G(X)$의 표현 범주와 동치인 강한, 단순한 텐서 범주임을 보인다. 주요 결과로는, 본질적으로 편광된 아벨 다양체에 대해 $G(X,Y)$가 $Sp(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}[2]$ 또는 $Sl(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}$임을 규명하며, 이는 탄나카이 군과 잭비안의 기하학적 성질을 연결한다.

ABSTRACT

Starting from certain perverse sheaves on an abelian variety, including the intersection cohomology sheaves of curves and smooth ample divisors, we construct a semisimple super-Tannakian category.

연구 동기 및 목표

• 아벨 다양체 위의 $\overline{\mathbb{Q}}_l$-층의 유도 범주를 이동 불변 복합체로 나눈 후, 그로부터 탄나카이 범주를 구성한다.
• 컨벌루션에 대해 닫혀 있는 복합체들—즉, 다중화자들—의 범주가 강한, 단순한 텐서 범주임을 규명한다.
• 본질적으로 편광된 아벨 다양체에서 다중화자 범주의 탄나카이 군이 $Sp(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}[2]$ 또는 $Sl(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}$과 동형임을 보인다. 이는 곡선의 초타원적 성질에 따라 달라진다.
• 본질적으로 편광된 아벨 다양체가 곡선의 잭비안임과 동치이게 되는 조건을 추측한다.

제안 방법

• 이동 불변 복합체를 몫으로 취한 범주 $\overline{D}_{c}^{b}(X,\overline{\mathbb{Q}}_l)$를 정의한다.
• 유도된 층의 복합체가 몫 범주 $\overline{Perv}(X)$를 보존하는 경우를 '다중화자'로 정의한다.
• 다중화자들의 범주 $\overline{M}(X)$가 강한, 단순한, $\overline{\mathbb{Q}}_l$-선형 텐서 범주임을 증명한다.
• 피버 함수 $\omega$를 사용하여 $\overline{M}(X)$를 프로-슈퍼군 $G(X)$의 표현 범주로 해석한다.
• 탄나카이 형식론을 적용하여 $\overline{M}(X)$가 $Rep(G(X), \varepsilon)$와 동치임을 보이며, 이때 $G(X)$는 슈퍼군들의 프로제한임을 밝힌다.
• 본질적으로 편광 $Y$에 대해 $\delta_Y$에 의해 생성되는 부분범주의 탄나카이 군 $G(X,Y)$를 계산하며, 이는 $Sp(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}[2]$ 또는 $Sl(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}$임을 보인다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 아벨 다양체에서 다중화자 범주의 탄나카이 군이 $Sp(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}[2]$ 또는 $Sl(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}$과 동형이 되는가?
• RQ2 아벨 다양체 $X$의 어떤 부분다양체 $Y$가 몫 범주에서 컨벌루션에 대해 닫혀 있는 다중화자임을 보장하는 조건은 무엇인가?
• RQ3 본질적으로 편광된 아벨 다양체의 탄나카이 군 $G(X,Y)$는 관련 곡선의 기하학과 어떻게 관련되어 있는가?
• RQ4 탄나카이 군 $G(X,Y)$가 유일하게 아벨 다양체를 곡선의 잭비안으로 식별할 수 있는가?
• RQ5 특성 0 또는 양의 특성에서 아벨 다양체의 탄나카이 범주의 구성에 있어, 무게 필터링과 순수성은 어떤 역할을 하는가?

주요 결과

• 아벨 다양체 $X$ 위의 다중화자들 $\overline{M}(X)$는 강한, 단순한, $\overline{\mathbb{Q}}_l$-선형 텐서 범주이며, 프로-슈퍼군 $G(X)$의 표현 범주와 동치이다.
• 본질적으로 편광된 아벨 다양체에서 $G(X,Y)$는 관련 곡선이 초타원적일 경우 $Sp(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}[2]$와 동형이며, 아닐 경우 $Sl(2g-2,\overline{\mathbb{Q}}_l)/\mu_{g-1}$과 동형이다.
• $G(X,Y)$의 표현 $W = \omega(\delta_Y)$는 $G(X,Y)$의 표준 표현의 $(g-1)$-번째 외적의 거듭제곱에서 유일한 최고 무게 표현이다.
• 매끄럽고 충분히 양의 부분다양체 $Y$의 교차 호몰로지 층 $\delta_Y$는 다중화자이며, 그 컨벌루션은 몫 범주 $\overline{Perv}(X)$를 보존한다.
• $\overline{D}_{c}^{b}(X,\overline{\mathbb{Q}}_l)$ 위에서의 컨벌루션 곱은 잘 정의되어 있으며, 텐서 구조를 유지하므로 탄나카이 형식론을 적용할 수 있다.
• 추측은 탄나카이 군 $G(X,Y)$가 알려진 잭비안 군과 일치함에 따라 지지되며, 이는 잭비안을 그들의 탄나카이 군을 통해 특성화할 수 있음을 시사한다.