[논문 리뷰] The notion of category over an algebraic stack

Dennis Gaitsgory|ArXiv.org|2005. 07. 09.

Algebraic structures and combinatorial models참고 문헌 1인용 수 30

한 줄 요약

이 논문은 대수적 스택 위의 아벨 범주라는 개념을 형식화하며, 교환 법칙을 만족하는 대수 위의 모듈 범주를 스택 위의 아벨 범주층으로 일반화한다. 충실하게 평탄한 기저 변경을 통해 이러한 범주에 대한 내림림 이론을 수립하고, 군 작용이 있는 범주(예: Rep(G)를 통해)가 탈등변화를 통해 재구성될 수 있음을 증명함으로써 기하학적 및 표현 이론적 구성에 대한 범주론적 프레임워크를 제공한다.

ABSTRACT

The goal of this note is to spell out the (apparently well-known and intuitively clear) notion of abelian category over an algebraic stack. In the future we will discuss the (much less evident) notion, when instead of an abelian category one considers a triangulated one.

연구 동기 및 목표

• 대수적 스택 위의 아벨 범주라는 개념을 정의하고 형식화하여, 교환 법칙을 만족하는 대수 위의 모듈 범주를 일반화한다.
• 충실하게 평탄한 기저 변경을 사용하여 스택 위의 아벨 범주에 대한 내림림 이론을 수립한다.
• 군 작용이 있는 범주(예: Rep(G)를 통해)가 탈등변화된 형태로부터 재구성될 수 있음을 보인다.
• 헤크 고유 물체와 등변 범주와 같은 기하학적 및 표현 이론적 구성에 대한 범주론적 프레임워크를 제공한다.

제안 방법

• A-모듈 M과 C-선형 아벨 범주 C의 대상 X에 대해, M의 표현과 코어널의 정의를 통해 M ⊗_A X를 정의한다.
• 아핀 스킴의 사상에 대해 기저 변경 f^*와 당김 함자를 정의하며, C ×_S S'를 C 위의 A'-모듈이면서 A-작용과 호환되는 범주로 구성한다.
• 스택에 대해 내림림 이론을 적용하기 위해 대각선이 아핀임을 요구하고, 스택 위의 아핀 스킴들에서의 호환되는 당김을 통해 범주층을 정의한다.
• A가 O_Y에 대해 충실하게 평탄할 때, C ⊗ X → X의 함자가 충실하고 정확함을 이용하여 내림림 동형을 증명한다.
• 탈등변화를 G-등변 대상의 범주로 정의하며, C^G로부터 C를 재구성함으로써 C ≅ C^G임을 보인다.
• 이 프레임워크를 pt/G와 S/G에 적용하여, Rep(G)의 작용과 호환되는 A-작용이 스택 S/G 위의 범주를 유도함을 보인다.

실험 결과

연구 질문

• RQ1 어떻게 하면 교환 법칙을 만족하는 대수 위의 모듈 범주를 일반화하여 대수적 스택 위의 아벨 범주를 정의할 수 있는가?
• RQ2 스택 위의 범주가 충실하게 평탄한 기저 변경 하에서 언제 내림림 성질을 만족하는가?
• RQ3 군 작용이 있는 범주는 내림림을 통해 탈등변화된 형태로부터 재구성될 수 있는가?
• RQ4 Rep(G)-작용이 있는 범주에서 헤크 고유 물체의 범주론적 구조는 어떠한가?
• RQ5 범주에 대한 군 작용은 몫 스택 S/G 위의 범주층의 구조와 어떻게 관련이 있는가?

주요 결과

• 텐서곱 M ⊗_A X는 표현에 관계없이 잘 정의되며, 귀납적 극한과 가환하고, M이 평탄할 경우 정확하다.
• A에 대해 충실하게 평탄한 대수 A'에 대해, X ≠ 0이면 A' ⊗_A X ≠ 0임을 보장하므로 기저 변경의 충실성이 확보된다.
• 스택 Y 위의 범주 C에 대해 내림림이 성립한다: S' → S가 충실하게 평탄할 경우, 범주 C는 C ×_S S' 위의 내림림 데이터의 범주와 동치이다.
• Rep(G)-작용이 있는 범주 C의 탈등변화는 G-등변 대상의 전체 부분범주이며, C는 G-불변 부분범주로 복구된다.
• Y = pt/G일 때, Y 위의 층의 범주 C^{sh}는 G-작용이 있는 C에 대응하며, C^G는 내림림을 통해 C를 복구한다.
• Y = S/G일 때, Y 위의 범주는 C 위의 Rep(G)-작용과 호환되는 A-작용으로 주어지며, 충실하게 평탄할 조건 하에서 내림림이 성립한다.