[논문 리뷰] Exact model categories, approximation theory, and cohomology of quasi-coherent sheaves

Jan Šťovíček|arXiv (Cornell University)|2013. 01. 22.

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

한 줄 요약

이 논문은 그로텐디크 유형의 정확한 범주에서 완전한 유도된 코터션 쌍을 활용하여 스킴 위의 준가역층의 유도 범주에 대해 유전적 모노이드 모델 구조를 구성하는 프레임워크를 수립한다. 이는 근사 이론과 쿠일렌의 소형 객체 근사법을 정확한 범주로 일반화하며, 텐서곱과 호환되는 코프레임프레인트로 생성된 모노이드 모델 구조를 가능하게 하며, 준콤팩트이자 분리된 스킴에서의 평탄하고 국소적으로 프로젝티브인 군집에 대한 핵심 결과를 제공한다.

ABSTRACT

Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close connection of this theory to approximation theory and cotorsion pairs. We also discuss the motivating applications with the emphasis on constructing monoidal model structures for the derived category of quasi-coherent sheaves of modules over a scheme.

연구 동기 및 목표

• 정확한 범주와 대칭 모노이드 정확한 범주에 대해 호환 가능한 모델 구조를 체계적으로 구성하는 프레임워크를 개발하기 위해.
• 근사 이론과 코터션 쌍 기법을 그로텐디크 유형의 정확한 범주로 일반화하여 쿠일렌의 소형 객체 근사법을 적용할 수 있도록 하기 위해.
• 스킴 위의 준가역층의 유도 범주에 대해 텐서곱과 호환되는 모노이드 모델 구조를 제공하기 위해.
• 모델 이론적 및 호모로지 대수학적 도구를 통해 기존 준가역층의 유도 범주에 대한 결과를 통합하고 확장하기 위해.
• 골렌스타인 호모로지 대수학, 그로텐디크 대칭 이론, 특이성 범주에의 응용을 위한 기초를 마련하기 위해.

제안 방법

• 모델 구조 구성의 핵심 대상으로 완전한 유도된 코터션 쌍 (Flat-R, Cot-R)과 (Vect-R, Vect-R⊥)을 사용한다.
• 정리 7.16을 적용하여 정확한 범주에서 완전한 코터션 쌍으로부터 유전적 모델 구조를 생성한다.
• 소형 객체 근사법과 분해 가능성 기법을 활용하여 코프레임프레인트 및 프레임프레인트 대체를 구성한다.
• 에노시스-에스트라다의 방법을 통해 준가역층을 망원대의 링 위의 모듈로 표현하여 그로텐디크 범주 구조를 분석한다.
• 준위상수 F∗ 및 F∗를 적용하여 스타크에서의 해상도를 전역 군집으로 옮기고, ˇ체흐 해상도 및 적절한 평탄한 해상도를 구성한다.
• 텐서곱과의 호환성을 검증하기 위해 평탄한 복합체와의 텐서곱이 정확성을 유지하는지 확인함으로써 모노이드성 조건을 확보한다.

실험 결과

연구 질문

• RQ1 일반적인 스킴에 대해 준가역층의 유도 범주에 대해 텐서곱과 호환되는 모노이드 모델 구조를 구성할 수 있는가?
• RQ2 근사 이론과 코터션 쌍은 모듈 범주에서 그로텐디크 유형의 정확한 범주로 어떻게 일반화될 수 있는가?
• RQ3 소형 객체 근사법이 정확한 범주에서 완전한 코터션 쌍을 생성하기 위해 어떤 조건에서 적용될 수 있는가?
• RQ4 평탄한 군집, 벡터 번들 간의 정확한 관계는 유도 범주의 모델 구조와 어떤가?
• RQ5 이 이론은 모델 이론적 방법을 통해 특이성 범주와 dg 범주로 일반화될 수 있는가?

주요 결과

• 유한 상부 순서집합 I의 연속 평탄 표현 R에 대해, C(Qcoh(R))에 대해 유전적 모노이드 모델 구조가 존재하며, 코프레임프레인트 대상은 평탄 R-모듈로부터 구성된 필터링 복합체의 재구성으로서 나타난다.
• Qcoh(R) ≅ Qcoh(X)일 때, 약프로젝티브 스킴 X가 약아핀 스킴 위에 존재하면, 국소적으로 프로젝티브 R-모듈로부터 구성된 두 번째 유전적 모노이드 모델 구조가 존재한다.
• 두 모델 구조의 영 객체 클래스는 Cac(Qcoh(R))이며, 이는 약순환 복합체의 정확한 범주이다.
• 프레임프레인트 대상은 각각 평탄 또는 국소적으로 프로젝티브 모듈의 클래스에 대해 정의된 옥스포르트 클래스로서, 표기법 7.6에 따라 구성된다.
• 두 모델 구조의 호모토피 범주는 D(Qcoh(R))와 동치이며, 이는 준가역층의 유계가 아닌 유도 범주이다.
• 모델 구조는 코프레임프레인트로 생성되며, 생성 집합은 평탄 또는 국소적으로 프로젝티브 모듈의 이동으로 구성된다.