[논문 리뷰] Stable categories and reconstruction

Jeremy Rickard, Raphaël Rouquier|Bristol Research (University of Bristol)|2010. 08. 11.

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

한 줄 요약

이 논문은 자기내재 대수의 안정 분류에서 단순 모듈의 이미지들과 동형인 객체들의 집합을 사용하여 자기내재 대수를 재구성하는 방법을 개발한다. 필터링된 모듈의 범주와 안정 분류 사이의 동치를 수립함으로써, 원래 대수와 모리타 동치인 대수의 근 필터링에 관련된 군형 대수의 재구성 가능성을 보장한다.

ABSTRACT

This work is an attempt towards a Morita theory for stable equivalences between self-injective algebras. More precisely, given two self-injective algebras A and B and an equivalence between their stable categories, consider the set S of images of simple B-modules inside the stable category of A. That set satisfies some obvious properties of Hom-spaces and it generates the stable category of A. Keep now only S and A. Can B be reconstructed ? We show how to reconstruct the graded algebra associated to the radical filtration of (an algebra Morita equivalent to) B. We also study a similar problem in the more general setting of a triangulated category T. Given a finite set S of objects satisfying Hom-properties analogous to those satisfied by the set of simple modules in the derived category of a ring and assuming that the set generates T, we construct a t-structure on T. In the case T=D^b(A) and A is a symmetric algebra, the first author has shown that there is a symmetric algebra B with an equivalence from D^b(B) to D^b(A) sending the set of simple B-modules to S. The case of a self-injective algebra leads to a slightly more general situation: there is a finite dimensional differential graded algebra B with H^i(B)=0 for i>0 and for i<<0 with the same property as above.

연구 동기 및 목표

• 자기내재 대수 간의 안정 동치에 대한 모리타 유형 이론을 개발한다.
• 다른 자기내재 대수 A의 안정 분류에서 단순 모듈의 이미지로부터 대수 B를 재구성한다.
• 삼각형 분류에서 단순 유사 호모로지 성질을 갖는 객체들의 집합 S가 존재할 때 t-구조를 구성할 수 있는 조건을 설정한다.
• 필터링된 구조를 통한 안정 모듈 분류에서 대수를 재구성하는 범주론적 프레임워크를 제공한다.
• 특히 A∞-대수 국소화를 통한 이러한 대수의 존재에 대한 차단 이론을 탐색한다.

제안 방법

• 삼각 분류 T에서 필터링 다이어그램의 범주 F를 구성한다. 여기서 각 필터링 계층은 단순 유사 호모로지 성질을 갖는 객체들의 집합 S로부터 구성된다.
• S-근 필터링을 갖는 모듈의 범주에서 F로의 함자를 정의한다. 여기서는 구분된 삼각형과 콘 조건을 사용한다.
• 호모로지 공간에 조건을 도입한다: N₀에서 M₀로의 사상은 전사이며, i ≥ 1일 때 Nᵢ에서 Mᵢ로의 사상은 동형이어야 하며, S와의 호환성을 확보한다.
• S, T ∈ S 이면 Hom(T, S) ≅ k이고, 그 외의 경우 0이라는 사실을 이용하여 대칭 대수의 안정 분류를 모델링한다.
• 모든 F의 객체가 S-근 필터링을 갖는 모듈에서 유래됨을 보여주는 리프팅 추론을 적용함으로써, 충실성과 본질적 전사성을 증명한다.
• 기본 함자에 의해 S-근 필터링을 갖는 모듈의 범주와 필터링 다이어그램 범주 F 사이의 동치를 수립한다.

실험 결과

연구 질문

• RQ1 자기내재 대수 A의 안정 분류에서 단순 모듈의 이미지로부터 대수 B를 재구성할 수 있는가?
• RQ2 삼각 분류 T의 객체 집합 S가 어떤 조건에서 mod-B와 동치인 하트를 갖는 t-구조를 생성하는가?
• RQ3 안정 분류에서 호모로지 사상에 의해 특징지어지는, 프로젝티브 잔여물이 없는 모듈은 무엇인가?
• RQ4 B의 근 필터링에 관련된 군형 대수는 S와 A로부터 어떻게 재구성할 수 있는가?
• RQ5 특히 A∞-대수 관점에서 이러한 B를 실현하기 위한 장애 이론은 무엇이 있는가?

주요 결과

• S-근 필터링을 갖는 A-모듈의 범주에서 필터링 다이어그램 범주 F로의 기본 함자는 범주 동치이다.
• 모듈 M이 프로젝티브 잔여물이 없음은 모든 S ∈ S에 대해 Hom(M₀/M₁, S) → Hom(M₀, S) 사상이 동형임과 동치이다.
• S-근 필터링이 존재함은 i ≥ 1일 때 Nᵢ에서 S로의 호모로지 사상이 Mᵢ에서 S로의 사상과 동형이며, N₀에서 M₀로의 사상이 S로의 호모로지에 대해 전사임과 동치이다.
• S-근 필터링을 갖는 모듈의 범주와 F 사이의 동치는 호모로지 조건과 프로젝티브 잔여물이 없는 성질이 만족될 경우 성립한다.
• S가 호모로지 조건을 만족하고 T를 생성할 경우, 삼각 분류 T에서 t-구조가 유도된다.
• 대칭 대수의 경우, 호모로지 조건과 생성 조건이 만족되면 유도 범주 Dᵇ(B)가 Dᵇ(A)와 함자에 의해 동치이며, 단순 모듈이 S로 보냄을 받는다.