[논문 리뷰] Stacks similar to the stack of perverse sheaves

David Treumann|ArXiv.org|2008. 01. 19.

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

한 줄 요약

이 논문은 분할된 공간 위의 아벨 분류의 스택인 'P형 스택'을 도입한다. 이는 펄서브 복소수의 스택을 일반화하는 클래스이다. 이 스택들이 국소적으로 MacPherson-Vilonen 구성과 동치임을 증명하고, 2연결 조건이 성립할 경우 전역 절단이 유한차원 대수 위의 모듈러 카테고리와 동치가 됨을 보인다. 이를 위해 개발된 기울임 형식론을 활용한다.

ABSTRACT

We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed stratification), and is singled out by fairly innocuous axioms. We show that some basic structure theory for perverse sheaves holds for a general stack of type P: such a stack is locally equivalent to a MacPherson-Vilonen construction, and under certain connectedness conditions its category of global objects is equivalent to the category of modules over a finite-dimensional algebra. To prove these results we develop a rudimentary tilting formalism for stacks of type P -- another sense in which these stacks are "similar to stacks of perverse sheaves."

연구 동기 및 목표

• 퍼세브 복소수의 스택을 일반화하는 광범위한 스택 클래스인 'P형 스택'을 정의하고 특성화하는 것.
• 이 스택들이 퍼세브 복소수와 유사한 핵심 구조적 성질을 공유함을 보여주는 것, 예를 들어 국소적으로 MacPherson-Vilonen 구성과 동치임을 보이는 것.
• 유한성 결과를 확립하는 것: 각 분할이 2연결일 경우, P형 스택의 전역 절단이 유한차원 대수 위의 모듈러 카테고리와 동치가 됨을 보이는 것.
• 퍼세브 복소수의 것과 유사한 기울임 형식론을 P형 스택에 개발하여 구조적 분석을 지원하는 것.

제안 방법

• 분할에 대한 구조적 성질, 국소적인 Hom 및 Ext 군의 유한성, 각 분할에 대한 단순 대상의 유일성, 닫힌 분할의 합집합에 대한 세르 몫 구조를 만족하는 4개의 공리에 기반해 P형 스택을 정의한다.
• 분할의 수에 대한 귀납법을 사용하며, 닫힌 분할의 정규 이웃을 활용해 국소 모델로 축소한다.
• 스택의 각 스토크에 대해 MacPherson-Vilonen 구성 적용하여, 각 스토크가 함자와 자연변환을 포함하는 삼중체 $ C(F,G;T) $ 의 카테고리와 동치임을 보인다.
• 전역 카테고리에서 닫힌 분할의 카테고리로의 재구성 함자를 구성하여, MacPherson-Vilonen 구성과의 동치를 유도한다.
• 약한 당김 사각형을 사용해 전역 카테고리와 국소 데이터를 연결하여, 개방 덮개 간의 호환성을 확보한다.
• 기울임 형식론을 활용해 전역 카테고리가 충분한 프로젝티브를 지닌다는 것을 보이며, 이로 인해 전역 카테고리가 유한차원 대수 위의 모듈러 카테고리와 동치임을 도출한다.

실험 결과

연구 질문

• RQ1 퍼세브 복소수의 스택의 구조는 더 넓은 스택 클래스로 일반화될 수 있는가? 이 스택들은 유사한 카테고리적 성질을 공유하는가?
• RQ2 모든 P형 스택은 국소적으로 MacPherson-Vilonen 구성과 동치인가?
• RQ3 분할의 위상적 조건이 무엇이면 P형 스택의 전역 절단 카테고리가 유한차원 대수 위의 모듈러 카테고리와 동치가 되는가?
• RQ4 P형 스택에 대해 퍼세브 복소수의 것과 유사한 기울임 형식론을 어떻게 개발할 수 있는가?

주요 결과

• 분할된 공간 $X$ 위의 $\mathcal{S}$-구조적 $p$-퍼세브 복소수의 스택은 고전적 경우를 일반화하는 P형 스택이다.
• P형 스택의 각 스토크는 함자 $F$와 $G$가 스토크 카테고리에서 벡터 공간으로 가는 함수일 때, 삼중체 $ C(F,G;T) $ 의 카테고리와 동치이다.
• 모든 분할이 2연결일 경우, 전역 절단 카테고리 $\mathcal{C}(X)$ 는 유한차원 $\mathbb{F}$-대수 위의 유한차원 모듈러 카테고리와 동치이다.
• P형 스택에 대해 개발된 기울임 형식론은 재구성과 MacPherson-Vilonen 카테고리로의 동치를 가능하게 한다.
• 전역 카테고리 $\mathcal{C}(X)$ 는 충분한 프로젝티브를 지닌다. 이는 [11]의 결과를 통해 확립되었으며, 모듈러 카테고리 동치성에 핵심적인 성질이다.
• 스택의 약한 당김 구조는 국소 데이터의 호환성을 보장하며, 이로 인해 전역 카테고리가 국소적 MacPherson-Vilonen 데이터로부터 재구성될 수 있다.