[논문 리뷰] Baric structures on triangulated categories and coherent sheaves

Pramod N. Achar, David Treumann|ArXiv.org|2008. 08. 23.

Algebraic structures and combinatorial models참고 문헌 9인용 수 10

한 줄 요약

이 논문은 $\omega$-adic 층에 대한 Morel의 무게 필터링을 일반화한 삼각 범주 위의 baric 구조를 도입하고, 유한한 $G$-오빗을 가진 스킴 위의 $G$--equivariant 코herent 층의 범주에 이를 적용한다. 주요 기여는 애벌레 범주에서의 $s$-구조로부터 비자명한 baric 구조를 구성하고, 호환 가능한 $t$-구조와 baric 구조 위에서 새로운 'staggering' 작용을 통해 staggered $t$-구조가 유도됨을 증명하는 것이다. 이는 순수성과 단순 대상의 분류에 응용된다.

ABSTRACT

We introduce the notion of a "baric structure" on a triangulated category, as an abstraction of S. Morel's weight truncation formalism for mixed l-adic sheaves. We study these structures on the derived category D_G(X) of G-equivariant coherent sheaves on a G-scheme X. Our main result shows how to endow this derived category with a family of nontrivial baric structures when G acts on X with finitely many orbits. We also describe a general construction for producing a new t-structure on a triangulated category equipped with given t- and baric structures, and we prove that the staggered t-structures on D_G(X) introduced by the first author arise in this way.

연구 동기 및 목표

• 산술적 필터링의 형식 체계를 $\omega$-adic 층과 $G$-equivariant 코herent 층의 $s$-구조 간에 통합하기 위해, baric 구조라고 불리는 새로운 카테고리적 구조를 통해 통일하는 것.
• 만일 $G$가 $X$ 위에 유한한 오빗을 가진다면, $G$-equivariant 코herent 층의 유도 범주에 대해 baric 구조의 일반적 구성법을 제공하는 것.
• 이전에 제1저자가 정의한 staggered $t$-구조가 호환 가능한 $t$-구조와 baric 구조 위에서 새로운 'staggering' 작용을 통해 자연스럽게 유도됨을 보이는 것.
• 이러한 staggered $t$-구조의 하트가 유한 길이 범주임을 증명하고, 그들의 단순 대상들을 분류하는 것.
• Purity 정리에 해당하는 $\omega$-adic 혼합 펄스 층과 유사한 유도 범주 내의 순수성 개념을 수립하는 것.

제안 방법

• 삼각 범주 위에 baric 구조를 정의한다: $w \in \mathbb{Z}$ 에 따라 인덱싱된 두께 있는 부분범주 $\mathfrak{D}_{\leq w}$ 와 $\mathfrak{D}_{\geq w}$ 의 호환 가능한 가닥을 정의하며, 포함 및 이동 공리가 성립하도록 한다.
• 새로운 'staggering' 작용을 도입한다: 삼각 범주 위에 $t$-구조와 baric 구조가 주어지면, baric 필터레이션에 따라 $t$-구조의 절단 함수를 이동시켜 새로운 $t$-구조를 구성한다.
• 만일 $t$-구조와 baric 구조가 호환된다면, 이 작용이 유효한 $t$-구조를 유도함을 증명한다. 이는 $t$-구조의 하트와 baric 레이어를 다루는 기준을 사용한다.
• 만일 $G$가 $X$ 위에 유한한 오빗을 가진다면, $G$-equivariant 코herent 층의 아벨 범주 위의 $s$-구조로부터 $\mathcal{D}^b_G(X)$ 위의 baric 구조를 구성한다.
• 이 결과 baric 구조를 이용해 중간 확장 $j_{!*}$ 와 궤도 폐쇄 위의 기약 국소계수 $\mathcal{L}$ 에 대해 $\mathcal{IC}(\overline{C}, \mathcal{L}[-q(C)+\text{step}\,\mathcal{L}])$ 를 정의한다.
• 범주 ${}^q\mathcal{M}(X)$ 의 staggered sheaf 가 유한 길이 범주이며, 그들의 단순 대상들이 궤도 폐쇄 위의 기약 국소계수에 대응하는 이동된 교차 호몰로지 복합체임을 증명한다.

실험 결과

연구 질문

• RQ1 Can the weight filtration formalism in $\omega$-adic sheaves be abstracted into a general structure on triangulated categories, applicable beyond $\omega$-adic settings?
• RQ2 How can $s$-structures on the abelian category of $G$-equivariant coherent sheaves be lifted to baric structures on the derived category $\mathcal{D}^b_G(X)$?
• RQ3 Is the construction of staggered $t$-structures in previous work a special case of a general categorical operation on compatible $t$- and baric structures?
• RQ4 What is the precise relationship between baric structures and the intermediate extension functor $j_{!*}$ in the equivariant coherent setting?
• RQ5 Can a notion of purity be defined in the derived category, analogous to the Purity Theorem for $\omega$-adic sheaves?

주요 결과

• 모든 $G$-스킴 $X$ 에 대해 유한한 $G$-오빗을 가질 경우, $\mathcal{D}^b_G(X)$ 위의 baric 구조가 존재하며, 이는 $G$-equivariant 코herent 층의 아벨 범주 위의 $s$-구조로부터 구성된다.
• Achar 가 도입한 $\mathcal{D}^b_G(X)$ 위의 staggered $t$-구조는 표준 $t$-구조와 $s$-구조로부터 유도된 baric 구조 위에서 'staggering' 작용을 통해 유도된다.
• staggered $t$-구조의 하트는 유한 길이 범주이며, 그들의 단순 대상들은 궤도 $C$ 위의 기약 국소계수 $\mathcal{L}$ 에 대해 $\mathcal{IC}(\overline{C}, \mathcal{L}[-q(C)+\text{step}\,\mathcal{L}])$ 의 형태를 가진 이동된 교차 호몰로지 복합체들로 정확히 구성된다.
• staggered sheaf 의 범주 ${}^q\mathcal{M}(X)$ 는 유한 길이 범주이며, 이는 이전 연구들과 달리 함수 $q$ 에 대한 제약 조건이 필요하지 않다.
• 유도 범주 내에 순수성의 개념을 정의하였으며, 모든 단순 staggered sheaf 는 순수하다. 또한 모든 순수한 대상은 단순 staggered sheaf 의 이동들의 직합으로 표현되며, 이는 $\omega$-adic 층의 Purity 및 Decomposition 정리와 유사하다.