[논문 리뷰] On equivariant triangulated categories

Alexey Elagin|arXiv (Cornell University)|2014. 03. 27.

Algebraic structures and combinatorial models참고 문헌 17인용 수 38

한 줄 요약

이 논문은 유한군 작용을 가진 삼각 범주에서 G-등변 대상의 범주에 자연스러운 삼각 구조가 존재함을 기술적 조건 하에 증명한다. 기존 범주가 G-등변 DG-강화를 갖는다면, 이러한 등변 범주에 대한 DG-강화를 구축하며, 함의성과 준동치 보존성을 증명한다.

ABSTRACT

Consider a finite group $G$ acting on a triangulated category $\mathcal T$. In this paper we investigate triangulated structure on the category $\mathcal T^G$ of $G$-equivariant objects in $\mathcal T$. We prove (under some technical conditions) that such structure exists. Supposed that an action on $\mathcal T$ is induced by a DG-action on some DG-enhancement of $\mathcal T$, we construct a DG-enhancement of $\mathcal T^G$. Also, we show that the relation "to be an equivariant category with respect to a finite abelian group action" is symmetric on idempotent complete additive categories.

연구 동기 및 목표

• 유한군 작용을 가진 삼각 범주에서 G-등변 대상의 범주에 자연스러운 삼각 구조가 존재함을 증명하는 것.
• 기존 범주가 G-등변 DG-강화를 갖는다면 등변 범주의 DG-강화를 구축하는 것.
• 등급 완비 덧셈 범주에서 유한 아벨군 작용에 대한 등변 범주 관계가 대칭임을 보이는 것.
• 등변 DG-범주 구축이 준동치와 함의성을 보존함을 증명하는 것.
• 예를 들어 G-다양체 위의 층이나 G-불변 부분다양체의 지지에 대해 기하적 설정에서 등변 유도 범주의 명시적 DG-강화를 제공하는 것.

제안 방법

• P. 발머의 삼각 범주와 군 작용에 관한 결과를 활용하여 등변 범주의 삼각 구조 존재성을 확립한다.
• 기하학적 군 작용을 가진 전삼각 범주 $ \mathcal{A} $의 G-등변 대상 범주에 대한 DG-강화로 DG-범주 $ Q_G(Σ) $를 구성한다.
• 기하학적 군 불변 부분범주 $ \mathcal{A}^G $의 완전 복합체 범주 $ \mathrm{Perf} $를 사용하여 $ Q_G(\mathcal{A}) $를 정의함으로써 삼각 구조와의 호환성을 확보한다.
• DG-강화와 준동치 이론을 적용하여, 이 구축이 함의성을 보존함을 증명한다: 준동치인 DG-범주들은 준동치인 등변 DG-범주를 유도한다.
• H^0, $ \mathrm{Perf} $, 및 $ \Gamma $ 함자를 포함하는 다이어그램 추론과 교차를 활용하여, 등변 범주에 유도된 함자들이 잘 정의되어 있고 정확함을 검증한다.
• 기하적 예시에 이 구축을 적용하며, G-다양체와 G-불변 부분다양체를 사용하여, 정규 해석과 유도 범주의 코herent 층을 DG-강화로 사용한다.

실험 결과

연구 질문

• RQ1 유한군 작용을 가진 삼각 범주에서 G-등변 대상의 범주가 자연스러운 삼각 구조를 갖는 조건은 무엇인가?
• RQ2 기존 범주 $ \mathcal{T} $가 G-등변 DG-강화를 갖는다면, 등변 범주 $ \mathcal{T}^G $에 대한 DG-강화를 구성할 수 있는가?
• RQ3 등급 완비 덧셈 범주에서 유한 아벨군 작용에 대한 등변 범주 관계가 대칭인가?
• RQ4 DG-범주 간의 준동치에 대해 등변 DG-구축은 어떻게 행동하는가?
• RQ5 기하적 설정에서 등변 유도 범주의 명시적 DG-강화 형태는 무엇인가? 예를 들어 G-다양체 위의 층이나 G-불변 부분다양체의 지지에 대해.

주요 결과

• 기하학적 군 작용을 가진 삼각 범주 $ \mathcal{T} $에서 G-등변 대상의 범주 $ \mathcal{T}^G $는 기술적 조건 하에 자연스러운 삼각 구조를 갖는다. 이는 정리 6.9에 의해 증명된다.
• 기하학적 군 작용을 가진 전삼각 DG-범주 $ \mathcal{A} $에 대해, $ H^0(\mathcal{A})^G $에 대한 DG-강화 $ Q_G(\mathcal{A}) $가 구성된다. 이는 정리 8.9에 기록되어 있다.
• 구축 $ Q_G(\mathcal{A}) $는 준동치를 보존한다: 만약 $ \phi: \mathcal{A}_1 \to \mathcal{A}_2 $ 가 G-등변 DG-범주 간의 준동치이면, $ Q_G(\phi): Q_G(\mathcal{A}_1) \to Q_G(\mathcal{A}_2) $ 도 준동치이다.
• 등식 $ H^0(Q_G(\mathcal{A})) \to H^0(\mathcal{A})^G $ 는 정확하며, $ H^0(\mathcal{A}) \to \mathcal{T} $ 에 대한 G-등변 동치 $ \epsilon $ 과 결합하면 정확한 동치 $ H^0(Q_G(\mathcal{A})) \to \mathcal{T}^G $ 를 유도한다. 이는 추론 8.10에 기록되어 있다.
• G-다양체 $ X $ 와 G-불변 닫힌 부분다양체 $ Z $ 에 대해, 범주 $ \mathcal{D}^b_Z(\mathrm{coh}(X))^G $ 는 DG-강화 $ \mathrm{Perf}(\mathcal{I}_Z^G) $ 를 갖는다. 이는 예제 8.11에서 보여진다.
• 구축은 함의성이다: $ \phi \mapsto Q_G(\phi) $ 의 할당은 합성과 호환되며, $ H^0 $ 과 $ \Gamma $ 함자와도 교환되어 삼각 구조와의 호환성을 보장한다.