[논문 리뷰] Mixed $\ell$-adic complexes for schemes over number fields

Sophie Morel|arXiv (Cornell University)|2018. 06. 08.

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

한 줄 요약

이 논문은 수체 위의 스킴에서 $\pi$-adic 펄서브 셋의 무게 필터가 존재하지 않는 문제를 해결하기 위해, 무게 필터를 갖는 펄서브 셋의 도입된 유도 범주를 구축함으로써 해결한다. 델리뉴의 무게-단조성 정리와 교차된 함자 형식론을 사용하여 이 범주에서 완전한 여섯 가지 연산(텐서곱과 내부 함자 포함)을 수립함으로써, 비엘린슨의 중간 확장 공식을 유한체를 초월하여 임의의 유한 생성 체로 일반화할 수 있게 한다.

ABSTRACT

If $X$ is a variety over a number field, Annette Huber has defined a category of "horizontal" (or "almost everywhere unramified") $\ell$-adic complexes and $\ell$-adic perverse sheaves on $X$. For such objects, the notion of weights makes sense (in the sense of Deligne), just as in the case of varieties over finite fields. However, contrary to what happens in that last case, mixed perverse sheaves (or mixed locally constant sheaves) on $X$ do not have a weight filtration in general, even when $X$ is a point. The goal of this paper is to show how to avoid this problem by working directly in the derived category of the abelian category of perverse sheaves that do admit a weight filtration. As an application, the methods of a previous paper of the author to calculate the intermediate extension of a pure perverse sheaf apply over any finitely generated field, and not just over a finite field.

연구 동기 및 목표

• 수체 위의 스킴에서 혼합 펄서브 셋이 무게 필터를 갖지 못하는 문제(특히 한 점에 대해서도)를 해결하기 위해.
• 여섯 가지 연산에 대해 닫혀 있고 무게 필터를 갖는 펄서브 셋의 범주를 구축하기 위해.
• 비엘린슨의 중간 확장 공식을 유한체에서 임의의 유한 생성 체로 일반화하기 위해.
• 델리뉴의 무게-단조성 정리를 이용해, 체계적인 체계를 통해 체계의 연산이 무게와 호환되도록 하는 형식론을 수립하기 위해.
• 안정적인 t-구조와 Ext의 소멸을 통해, 유한체에서의 결과를 수체로 확장할 수 있는 프레임워크를 제공하기 위해.

제안 방법

• 스킴 $X$ 위의 수평 혼합 펄서브 셋에서 무게 필터를 갖는 전체 아벨 부분범주 $\operatorname{Perv}_{mf}(X)$ 를 정의한다.
• 델리뉴의 무게-단조성 정리를 사용하여, 펄서브 직접 이미지가 $\operatorname{Perv}_{mf}(X)$ 를 유지함을 증명함으로써 핵심 연산에 대한 안정성을 확보한다.
• 델리뉴, 보예보츠키, 아이oub의 영감을 받은 교차된 함자 형식론을 활용하여, 셋 연산의 호환성을 체계적으로 다룬다.
• 펄서브 셋 수준의 구성 방법을 사용하여 $D^b\operatorname{Perv}_{mf}(X)$ 위에서 네 가지 연산($f^*, f_*, f_!, f^{!}$)과 텐서곱/내부 함자를 구성한다.
• ${}^w\!D^{\leq a}(X)$ 와 ${}^w\!D^{\geq a+1}(X)$ 가 $D^b\operatorname{Perv}_{mf}(X)$ 위에 t-구조를 이룬다는 것을 증명함으로써, 무게 필터를 유도 범주로 일반화한다.
• Ext 군의 영국화를 Yoneda 기술을 사용하여, 무게 $\leq a$인 $K$와 무게 $\geq a+1$인 $L$ 사이의 $\operatorname{Ext}^i(K,L) = 0$ 이 성립함을 보여, 무게 성분 간의 수직성을 확보한다.

실험 결과

연구 질문

• RQ1 수체 위의 스킴에서 무게 필터를 갖는 펄서브 셋의 유도 범주에서 여섯 가지 연산을 정의할 수 있는가?
• RQ2 스킴 $X$ 가 수체 위에 정의되어 있을 때, $\operatorname{Perv}_{mf}(X)$ 는 펄서브 직접 이미지에 대해 안정적인가?
• RQ3 순수한 펄서브 셋의 중간 확장에 대한 비엘린슨의 공식은 유한체를 초월하여 일반화될 수 있는가?
• RQ4 무게 필터에 대응하는 $D^b\operatorname{Perv}_{mf}(X)$ 위의 t-구조는 무엇이며, 셋 연산과 어떻게 상호작용하는가?
• RQ5 순수 객체의 반단순성 조건 없이, 서로 다른 무게를 갖는 셋 간의 Ext 소멸은 어떻게 확보할 수 있는가?

주요 결과

• $\operatorname{Perv}_{mf}(X)$ 는 델리뉴의 무게-단조성 정리를 통해 펄서브 직접 이미지에 대해 안정적임을 보였다.
• 쌍 $({}^w\!D^{\leq a}, {}^w\!D^{\geq a+1})$ 는 $D^b\operatorname{Perv}_{mf}(X)$ 위에 t-구조를 이룬다. 이는 무게 필터를 유도 범주로 일반화한 것이다.
• 무게가 서로 이격된 펄서브 셋 간의 Ext 군은 소멸한다: $\operatorname{Ext}^i(K,L) = 0$ 이다. 이는 순수 객체의 반단순성 조건 없이도 성립한다.
• 순수한 $K$ 가 무게 $a$를 갖는 경우, $w_{\geq a}j_!K \to j_{!*}K \to w_{\leq a}j_*K$ 의 자연스러운 사상이 모두 동형이 되며, 이는 비엘린슨의 결과를 수체로 일반화한 것이다.
• $D^b\operatorname{Perv}_{mf}(X)$ 는 교차된 함자 형식론을 통해 여섯 가지 연산(텐서곱과 내부 함자 포함)을 모두 지원한다.
• 이 구성 덕분에 [21]의 중간 확장 공식이 유한체에 국한되지 않고, 임의의 유한 생성 체 위의 스킴로까지 확장될 수 있다.