[논문 리뷰] Abelian categories and definable additive categories

Mike Prest|arXiv (Cornell University)|2012. 02. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 41인용 수 10

한 줄 요약

이 논문은 스케letal하게 작은 아벨 범주와 정확한 함자, 정의 가능(additive) 범주와 해석 함자, 국소적으로 협곡(Grothendieck) 범주와 협곡 사상으로 구성된 세 2범주 사이의 깊은 등가를 수립한다. 모든 국소적으로 협곡(Grothendieck) 범주는 충분한 점을 지닌다는 것을 증명하며, 고전적인 Gabriel–Popescu 정리의 일반화이자, 함자-점 관점에서 모델이론적 정의 가능 범주와 기하적 구조 사이의 연결 고리를 제공한다.

ABSTRACT

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent abelian categories and coherent morphisms. These categories link algebra, model theory and "geometry".

연구 동기 및 목표

• 스켈레탈하게 작은 아벨 범주와 정확한 함자, 정의 가능(additive) 범주와 해석 함자, 국소적으로 협곡(Grothendieck) 범주와 협곡 사상으로 구성된 세 2범주 간의 범주론적 등가를 수립하고 탐구함.
• 모델 이론(정의 가능 범주를 통해), 호모로지 대수학(아벨 범주를 통해), 그리고 대수기하학(그로텐디크 범주와 점을 통해) 간의 연결 고리를 명확히 함.
• 모든 국소적으로 협곡(Grothendieck) 범주는 기하학적으로 충분한 점을 지닌다는 것을 보여주며, 협곡 토포스에 대한 고전적 결과를 일반화함.
• 국소적으로 협곡 범주에서의 점들을 함자-점 해석을 통해 기술함으로써, 정수환 또는 체로의 사상과 연결함.

제안 방법

• 작은 아벨 범주에서 아벨 군으로의 정확한 함자 범주를 부여하는 함자 Ex(−, Ab)를 통한, 스켈레탈하게 작은 아벨 범주 2범주와 정의 가능(additive) 범주 2범주 사이의 (반)등가를 사용함.
• 요나다 임bedding과 Ind-완비화를 적용하여, 작은 아벨 범주를 국소적으로 협곡(Grothendieck) 범주의 유한적으로 표현 가능한 객체로 표현함. 이는 Lex(A^op, Ab)를 통해 이루어짐.
• pp-정의 가능한 사상 이론과 모델이론적 실현을 활용하여, 국소적으로 협곡 범주 내의 서로 다른 사상들이 정의 가능 범주의 모델에서의 평가에 의해 구별될 수 있음을 보임.
• El Bashir의 정리(연관된 왼쪽 수반 함자가 존재함)를 활용하여, 그로텐디크 범주에서 Ab로의 극한을 보존하는 정확한 함자에 대해 오른쪽 수반 함자가 존재함을 확인함. 이는 수반 함자 정리의 해법 집합 조건을 충족함을 보장함.
• 그로텐디크 범주 간의 사상이 <α-표현 가능한 객체를 보존하는 경우를 α-협곡 사상이라 정의하고, 모든 정확한 왼쪽 수반 함자가 어떤 정규 기수 α에 대해 α-협곡임을 보임.
• 국소적으로 협곡 범주에서의 기하학적 점을, 불가약한 인젝티브의 조합으로 구성된 스킴 위의 스킴 공간에서의 사상 O_Z → 아벨 공간으로 해석함. 이 스킴 공간은 불가약한 인젝티브에 기반하며, 자르스키 위상이 적용됨.

실험 결과

연구 질문

• RQ1 스켈레탈하게 작은 아벨 범주, 정의 가능(additive) 범주, 국소적으로 협곡(Grothendieck) 범주로 구성된 세 2범주 간의 (반)등가 관계는 어떻게 연결되는가?
• RQ2 그로텐디크 범주에서의 '점' 개념은 모델이론적으로도 기하학적으로도 특징지어질 수 있는가? 이는 고전적인 협곡 토포스 결과를 일반화하는가?
• RQ3 Ex(A, Ab) 함자가 작은 아벨 범주와 정의 가능 범주, 그로텐디크 범주 간의 연결 고리에서 수행하는 역할은 무엇인가?
• RQ4 정의 가능 범주 간의 해석 함자와 (반)등가 아래에서 작은 아벨 범주 간의 정확한 함자 간의 대응 관계는 어떻게 되는가?
• RQ5 특히 O_Z 또는 O_k로의 사상들을 통해, 국소적으로 협곡 범주의 기하학적 구조를 그 점들로부터 재구성할 수 있는가?

주요 결과

• 스켈레탈하게 작은 아벨 범주와 정확한 함자로 구성된 2범주와 정의 가능(additive) 범주와 해석 함자로 구성된 2범주 사이에 전부(fully) (반)등가가 존재하며, 이는 함자 Ex(−, Ab)를 통해 매개됨.
• 모든 국소적으로 협곡(Grothendieck) 범주는 충분한 점을 지닌다: 임의의 두 평행한 사상에 대해, Ab로의 극한을 보존하는 정확한 함자(기하학적 점)가 존재하여 이들을 구별함.
• 국소적으로 협곡(Grothendieck) 범주의 유한적으로 표현 가능한 객체의 범주는, 작은 아벨 범주에 대한 요나다 임베딩의 이미지와 동치이며, 이는 원래 아벨 범주의 Ind-완비화와 동치임.
• El Bashir의 정리에 의해, 그로텐디크 범주에서 Ab로의 극한을 보존하는 정확한 함자에 대해 오른쪽 수반 함자가 존재함이 보장되며, 이는 해법 집합 조건이 충족됨을 보장함.
• 모든 그로텐디크 범주 간의 정확한 왼쪽 수반 함자는 어떤 정규 기수 α에 대해 α-협곡임을 보이며, 이는 <α-표현 가능한 객체를 보존함을 의미함.
• 국소적으로 협곡 범주에서의 기하학적 점은, 불가약한 인젝티브로 구성된 스킴 공간에서의 O_Z → 아벨 공간으로의 사상으로 표현되며, 이 스킴 공간은 자르스키 위상이 적용됨.