[논문 리뷰] Pure exact structures and the pure derived category of a scheme

Sergio Estrada, James Gillespie외 1명|arXiv (Cornell University)|2014. 08. 12.

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

한 줄 요약

이 논문은 닫힌 대칭 모노이드적 코herent 케테고리에서 $λ$-순수성에 기반하여 스킴의 $⋯$-순수 유도 범주를 정의한다. 이는 무한 체인 복합체의 분해가 가능하고, 영물체로 구성된 $⋯$-순수 약한 동치 복합체를 갖는 코프레임으로 생성된, 삽입 모델 구조를 구축한다. 주요 기여는 $⋯$-순수 삽입 모델 구조를 통한 순수 유도 범주의 호모토피 이론적 실현이며, 이는 국소적으로 유한하게 생성된 범주에서 순수 유도 범주가 평탄한 모듈의 유도 범주와 동치임을 보여주고, 준분리된 스킴에서의 준구성층에 대한 적용을 포함한다.

ABSTRACT

Let $\mathcal C$ be closed symmetric monoidal Grothendieck category. We define the pure derived category with respect to the monoidal structure via a relative injective model category structure on the category $\mathbf{C}(\mathcal C)$ of unbounded chain complexes in $\mathcal C$. We use $λ$-Purity techniques to get this. As application we define the stalkwise pure derived category of the category of quasi--coherent sheaves on a quasi-separated scheme. We also give a different approach by using the category of flat quasi--coherent sheaves.

연구 동기 및 목표

• 스킴에서 준구성층에 대한 기하학적으로 의미 있는 순수성의 개념을, 범주론적 순수성 대신 국소적 점별 정확성에 기반하여 정의하고자 한다.
• 비아핀 스킴에서 범주론적 순수성과 기하학적 순수성 간의 괴리 문제를 해결하고자 하며, 여기서 범주론적 순수성이 엄밀히 더 강력하다는 점을 다루고자 한다.
• 무한 체인 복합체 위의 코프레임으로 생성된, 삽입 모델 구조를 통해 $⋯$-순수 약한 동치 복합체와 함께 순수 유도 범주의 호모토피 이론적 모델을 구축하고자 한다.
• 국소적으로 유한하게 생성된 범주에서 순수 유도 범주가 그 평탄한 모듈의 유도 범주와 동치임을 보여주고자 한다.
• 닫힌 대칭 모노이드적 코herent 케테고리에서 $λ$-순수성과 $⋯$-순수 삽입 모델 구조를 활용하여 순수 유도 범주의 이론을 스킴에까지 확장하고자 한다.

제안 방법

• 국소적으로 $λ$-현실화된 코herent 케테고리에서 $λ$-순수성 이론을 사용하여 $⋯$-순수 단사 사상과 순수 정확한 수열을 정의한다.
• 닫힌 대칭 모노이드적 코herent 케테고리 $\mathcal{C}$에서 무한 체인 복합체의 범주 $\mathbf{C}(\mathcal{C})$에 대해, 영물체로 구성된 $⋯$-순수 약한 동치 복합체를 갖는 코프레임으로 생성된 삽입 모델 구조를 구축한다.
• 이 모델 구조에서의 필라트 물체는 모든 $S \in \mathcal{C}$에 대해 $\otimes$-함수와의 정확성을 갖는 $⋯$-순수 삽입 성분을 갖는 복합체로 정의되며, DG-삽입 복합체를 일반화한다.
• 정확한 범주 $\mathbf{C}(\mathcal{C})_{⋯}$ 내에서 삽입 코터션 쌍을 통해 Hovey의 대응을 적용하여 모델 구조를 확립한다.
• 스킴 $X$에서의 평탄한 준구성층의 범주 $\mathrm{Flat}(X)$의 분해 가능성(Deconstructibility)을 활용하여 $\mathbf{C}(\mathrm{Flat}(X))$ 위에 삽입 모델 구조를 구축한다.
• 이 모델 구조의 호모토피 범주는 $\mathcal{D}(\mathrm{Flat}(X))$와 동치이며, 이는 순수 유도 범주 $\mathcal{D}_{\otimes\text{-pur}}(\mathfrak{Qcoh}(X))$와도 동치임을 보여준다.

실험 결과

연구 질문

• RQ1 비아핀 스킴에서 준구성층에 대해 기하학적 구조를 반영할 수 있도록 순수성을 재정의할 수 있는가?
• RQ2 기하학적 순수성에 기반하여, 범주론적 순수성 대신 순수 유도 범주의 스킴에 대한 모델 범주 구조는 무엇인가?
• RQ3 국소적으로 유한하게 생성된 범주에서 순수 유도 범주가 평탄한 모듈의 유도 범주와 동치인가?
• RQ4 닫힌 대칭 모노이드적 코herent 케테고리에서 무한 체인 복합체 위의 코프레임으로 생성된 삽입 모델 구조를 통해 $⋯$-순수 유도 범주를 구성할 수 있는가?
• RQ5 스킴 $X$에서 평탄한 준구성층의 유도 범주는 $\mathbf{C}(\mathrm{Flat}(X))$ 위의 적절한 모델 구조의 호모토피 범주와 일치하는가?

주요 결과

• $⋯$-순수 유도 범주 $\mathcal{D}_{⋯\text{-pur}}(\mathcal{C})$ 는 $\mathbf{C}(\mathcal{C})$ 위의 코프레임으로 생성된 삽입 모델 구조의 호모토피 범주로서 실현되며, 이 구조에서 영물체는 $⋯$-순수 약한 동치 복합체이다.
• 이 모델 구조에서의 필라트 물체는 정확히 $⋯$-순수 삽입 성분을 갖는 수축 가능한 복합체이며, DG-삽입 복합체를 일반화한다.
• 준분리된 스킴 $X$에 대해, $\mathfrak{Qcoh}(X)$의 $⋯$-순수 유도 범주는 평탄한 준구성층의 유도 범주 $\mathcal{D}(\mathrm{Flat}(X))$와 동치이며, 이는 기하학적으로 의미 있는 순수 유도 범주를 확립한다.
• $\mathbf{C}(\mathrm{Flat}(X))$ 위의 삽입 모델 구조에서 필라트 물체는 평탄한 성분을 갖는 dg-코터션 복합체이며, 영물체는 평탄한 순환을 갖는 약한 동치 복합체이다.
• $\mathbf{C}(\mathcal{C})$ 위의 $⋯$-순수 삽입 모델 구조의 호모토피 범주는 $\mathcal{A}$가 국소적으로 유한하게 생성될 경우 순수 유도 범주 $\mathcal{D}_{\mathrm{pur}}(\mathcal{A})$와 동치이다.
• $\mathcal{D}_{\mathrm{pur}}(\mathcal{A})$와 $\mathcal{D}(\mathrm{Flat}(A))$ 사이의 동치는 각각의 모델 구조 내에서 삽입 코터션 쌍의 대응과 약한 동치에 의해 확립된다.