[논문 리뷰] On purity and applications to coderived and singularity categories

Jan Šťovíček|arXiv (Cornell University)|2014. 12. 04.

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

한 줄 요약

이 논문은 국소적으로 일관된 그로텐디크 범주에서의 코-유도 범주의 컴팩트 생성성을 입증하며, 컴팩트 객체들이 정확히 유한하게 표현 가능한 객체들의 유계 유도 범주로 정확히 특정됨을 보여준다. 순수성과 모델 이론 기법을 사용하여, 저자들은 크라우제의 재구성(레콜레멘트)을 노에테리안이 아닌 설정으로 확장하며, 이러한 범주에서의 임베딩 객체의 호모토피 범주가 컴팩트 생성임을 증명하고, 이는 유한하게 표현 가능한 객체들의 유계 유도 범주와 동치임을 보인다.

ABSTRACT

Given a locally coherent Grothendieck category G, we prove that the homotopy category of complexes of injective objects (also known as the coderived category of G) is compactly generated triangulated. Moreover, the full subcategory of compact objects is none other than D^b(fp G). If G admits a generating set of finitely presentable objects of finite projective dimension, then also the derived category of G is compactly generated and Krause's recollement exists. Our main tools are (a) model theoretic techniques and (b) a systematic study of the pure derived category of an additive finitely accessible category.

연구 동기 및 목표

• 국소적으로 노에테리안인 그로텐디크 범주에서 크라우제의 재구성과 컴팩트 생성 결과를 국소적으로 일관된 그로텐디크 범주로 확장하는 것.
• 국소적으로 일관된 그로텐디크 범주의 코-유도 범주가 컴팩트 생성임을 입증하는 것.
• 임베딩 객체의 호모토피 범주의 컴팩트 객체들을 유한하게 표현 가능한 객체들의 유계 유도 범주로 식별하는 것.
• 유한하게 가시적인 가법 범주에서 순수 유도 범주의 체계적인 이론을 개발하여 기초 도구로 활용하는 것.
• 그로텐디크 범주의 유도 범주가 또한 컴팩트 생성임을 보장하는 조건을 제공하는 것.

제안 방법

• 정확한 모델 구조와 아벨 모델 구조를 분석하기 위해, 특히 약한 분해 체계와 코터전 페어를 사용한 모델 이론 기법을 활용한다.
• 유한하게 가시적인 범주에서의 순수성 이론을 적용하여, κ-표현 가능한 순수 부분객체를 사용한 객체의 필터링을 구성한다.
• 유한하게 표현 가능한 객체들의 유계 유도 범주에서 임베딩 객체의 호모토피 범주로의 함자를 구성하며, 이 함자가 컴팩트 객체 위에서 동치로 제한됨을 보인다.
• 순수 정확한 구조에서의 fp-입사 객체의 정확한 범주 내에서의 임베딩 객체를 특성화하기 위해, 바어의 기준의 한 버전을 사용한다.
• 모든 객체가 κ-표현 가능한 객체들의 순수 필터링을 갖는 정규 카디널 κ의 존재를 이용하여, 탈구성성과 컴팩트 생성성을 확립한다.
• 삼각 범주 이론의 결과, 특히 니만의 잘 생성된 삼각 범주와 크라우제의 재구성 이론을 비노에테리안 설정에서 적용한다.

실험 결과

연구 질문

• RQ1 국소적으로 일관된 그로텐디크 범주의 코-유도 범주는 어떤 조건에서 컴팩트 생성인가?
• RQ2 유한하게 표현 가능한 객체들의 유계 유도 범주는 임베딩 객체의 호모토피 범주의 컴팩트 객체들로 완전히 통합될 수 있는가?
• RQ3 유한한 프로젝티브 차원을 갖는 유한하게 표현 가능한 객체들의 생성 집합이 존재할 때, 노에테리안 성질이 없더라도 크라우제의 재구성은 성립하는가?
• RQ4 순수성과 모델 구조는 코-유도 범주에서 컴팩트 객체를 특성화하는 데 어떤 역할을 하는가?
• RQ5 유한하게 가시적인 가법 범주의 순수 유도 범주는 코-유도 범주와 특이성 범주를 연구하는 데 어떤 도구로 사용될 수 있는가?

주요 결과

• 국소적으로 일관된 그로텐디크 범주에서의 임베딩 객체의 호모토피 범주는 컴팩트 생성이다.
• 코-유도 범주의 컴팩트 객체들의 전체 부분범주와 유한하게 표현 가능한 객체들의 유계 유도 범주는 동치이다.
• 유한하게 표현 가능한 객체들의 유게 유도 범주에서 코-유도 범주로의 표준 함자가 컴팩트 객체 위에서 동치로 제한된다.
• 그로텐디크 범주가 유한하게 표현 가능한 객체들의 유한한 프로젝티브 차원을 갖는 생성 집합을 가질 경우, 그 유도 범주 역시 컴팩트 생성이다.
• 유한하게 가시적인 가법 범주의 순수 유도 범주는 잘 정의된 모델 구조를 갖으며, 이는 피브라션 대체물과 호모토피 범주의 구성에 기여한다.
• fp-입사 객체의 정확한 범주에서, 작은 수의 κ-표현 가능한 fp-입사 객체들을 시험 객체로 사용하여 바어의 기준의 한 버전이 성립한다.