[논문 리뷰] Degenerate Perverse Sheaves on Abelian Varieties

Rainer Weissauer|arXiv (Cornell University)|2012. 04. 10.

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

한 줄 요약

이 논문은 오일러-포이아르의 특성이 0인 복소 아벨 다양체 위의 기약 페르세브 sheaf는 어떤 양의 차원을 갖는 아벨 부분다양체에 대해 이동 불변이어야 한다는 것을 증명한다. D-모듈 기반 이론과 특성 p 방법론을 바탕으로, sheaf 이론적 유도와 단순 아벨 다양체로의 환원을 통해 저자들은 이러한 sheaf가 무시할 수 있는 sheaf의 범주에 속함을 증명하며, 아벨 다양체에 대한 일반화된 소멸 정리의 핵심 단계를 해결한다.

ABSTRACT

We analyze irreducible perverse sheaves on abelian varieties, defined over the complex numbers or the algebraic closure of a finite field, whose Euler characteristic is zero. We give a description of such perverse sheaves under assumptions for the case of simple abelian varieties.

연구 동기 및 목표

• 복소 아벨 다양체 위의 페르세브 sheaf가 오일러-포이아르 특성이 0인 경우를 특성화하기.
• 그러한 sheaf가 어떤 양의 차원을 갖는 아벨 부분다양체에 대해 반드시 이동 불변이어야 함을 보이기.
• sheaf 이론적 유도를 통해 일반적인 경우를 단순 아벨 다양체의 경우로 환원하기.
• 유한체 위에서의 기본 사례를 제외한 특성 p 방법론을 통해 양의 특성에서의 결과 확장하기.
• Chr. Schnell의 D-모듈 기반 증명에 대한 대체 증명을 제공하여, 특히 유한체를 포함한 임의의 체 위에서도 적용 가능하도록 하기.

제안 방법

• 아벨 다양체 분해에서 단순 성분의 수에 대한 sheaf 이론적 유도를 사용한다.
• 이sogeny와 이동 작용 하에서의 페르세브 sheaf 분석을 통해 문제를 단순 아벨 다양체로 환원한다.
• D-모듈 이론과 특성 다양체 이론을 적용하여, 열화된 라그랑주 지지 집합이 영점만을 포함하는 특성 다양체를 유도한다.
• 특성 토글과 이소젠시 하에서의 직접 이미지 함자들을 사용하여 클래스 E(X)와 N(X)의 안정성을 유지한다.
• X/A로의 사영 $ q: X \to X/A $ 를 사용하여 X 위의 페르세브 sheaf와 몫 다양체 위의 sheaf 간의 관계를 설정하며, 지지 집합과 분지 구조를 유지한다.
• 특성 $ p > 0 $ 의 방법론, 특히 [W3] 에서의 결과를 활용하여, 특히 부록에서 양의 특성에서의 논증을 뒷받침한다.

실험 결과

연구 질문

• RQ1 복소 아벨 다양체 위의 기약 페르세브 sheaf가 오일러-포이아르 특성이 0일 때, 어떤 조건에서 반드시 이동 불변이어야 하는가?
• RQ2 단순 아벨 다양체 위에서의 약한 페르세브 sheaf의 특성화를 비단순한 경우로 sheaf 이론적 환원을 통해 확장할 수 있는가?
• RQ3 복소수 위에서의 결과들이 유한체 위의 아벨 다양체로 얼마나 일반화될 수 있는가?
• RQ4 단순 경우의 일반화가 직접적으로 불가능한 상황에서, D-모듈 기법과 특성 다양체 분석은 어떻게 이동 불변성을 증명하는 데 기여하는가?
• RQ5 특성 토글과 직접 이미지 함자들은 이소젠시 하에서 클래스 $ E(X) $ 와 $ N(X) $ 를 유지하는 데 어떤 역할을 하는가?

주요 결과

• 주요 결과인 정리 1은 복소 아벨 다양체 $ X $ 위의 기약 페르세브 sheaf $ K $ 가 $ \chi(K) = 0 $ 를 만족하면, 어떤 양의 차원을 갖는 아벨 부분다양체 $ A \subseteq X $ 에 대해 반드시 이동 불변임을 보여준다.
• E(X) \setminus N(X) 에 속하는 기약 페르세브 sheaf의 범주 $ F(X) $ 는 공집합이며, 이는 모든 약한 페르세브 sheaf가 무시할 수 있는 sheaf임을 의미한다.
• 증명은 일반적인 경우를 단순 아벨 다양체의 경우로 환원하며, 이 경우는 이전에 D-모듈 이론을 통해 증명된 바 있다.
• 이곳에서 개발된 sheaf 이론적 유도 방법은 $ \mathbb{C} $ 뿐 아니라, 단순 다양체의 기본 사례가 양의 특성에서 성립한다면, 유한체 위에서도 유효하다.
• 증명은 $ \wp^{(m)}_* $ 가 텐서 함자임을 이용하며, 자가 dual성과 컨볼루션 구조 등의 성질을 유지함으로써, 비이동성 약한 sheaf 가 존재한다고 가정할 경우 모순이 발생함을 이끌어낸다.
• 직접 이미지 $ Rp_*\tilde{K} $ 의 랭크에서 모순이 발생하며, 이는 $ \deg(\wp^{(m)}) $ 여야 하지만, 이는 $ \#X(\kappa_m) = 1 $ 을 뜻하며, 이는 큰 $ m $ 에 대해 불가능하므로, 그러한 sheaf 는 존재할 수 없음을 증명한다.