[논문 리뷰] Model category structures arising from Drinfeld vector bundles

Sergio Estrada, Pedro A. Guil Asensio외 2명|ArXiv.org|2009. 06. 29.

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

한 줄 요약

이 논문은 반분리된 스킴 위의 준가역층의 무한 체인 복합체 위에 모나드 모형 범주 구조를 일반적으로 구성한다. 이는 열린 아핀 부분집합들 위에서 모듈의 절단에 대한 호환 가능한 필터를 사용한다. 이전의 평탄하고 벡터 번들의 모형 구조를 닫힘 성질을 요구하지 않고 일반화하며, 일반적으로 무제한 평탄 Mittag-Leffler 준가역층이 그러한 구조를 유도하지는 않는다는 것을 증명한다.

ABSTRACT

We present a general construction of model category structures on the category $\mathbb{C}(\mathfrak{Qco}(X))$ of unbounded chain complexes of quasi-coherent sheaves on a semi-separated scheme $X$. The construction is based on making compatible the filtrations of individual modules of sections at open affine subsets of $X$. It does not require closure under direct limits as previous methods. We apply it to describe the derived category $\mathbb D (\mathfrak{Qco}(X))$ via various model structures on $\mathbb{C}(\mathgrak{Qco}(X))$. As particular instances, we recover recent results on the flat model structure for quasi-coherent sheaves. Our approach also includes the case of (infinite-dimensional) vector bundles, and of restricted flat Mittag-Leffler quasi-coherent sheaves, as introduced by Drinfeld. Finally, we prove that the unrestricted case does not induce a model category structure as above in general.

연구 동기 및 목표

• 반분리된 스킴 위에서 준가역층의 무한 체인 복합체 위에 모나드 모형 범주 구조를 구성하기.
• 직접 극한 닫힘을 가정하지 않고 기존의 평탄성 및 벡터 번들의 모형 구조를 일반화하기.
• 무제한 평탄 Mittag-Leffler 준가역층의 클래스가 모형 구조를 유도하는 조건을 규명하기.
• 다양한 호환 가능한 모형 구조를 통해 유도 범주를 묘사하는 프레임워크 수립하기.
• 일반적으로 무제한 평탄 Mittag-Leffler 클래스가 모형 구조를 유도하지 않는다는 것을 증명하기.

제안 방법

• 반분리된 스킴 $X$의 열린 아핀 부분집합들 위에서의 절단에 대한 호환 가능한 필터를 사용하여 $\mathbb{C}(\mathfrak{Qco}(X))$ 위에 모형 구조를 구성하기.
• 코프ibration을 $\mathit{dg}\,\widetilde{\mathcal{C}}$ 에 속하는 코코어널을 가지는 단사 사상으로, 피브레이션을 $\mathit{dg}\,\widetilde{\mathcal{C}^\perp}$ 에 속하는 커널을 가지는 전사 사상으로 정의하기. 적절한 클래스 $\mathcal{C}$ 를 사용한다.
• 각 열린 아핀 $v$ 에서의 절단 클래스 $S_v$ 가 $\mathscr{R}(v)$ 위의 평탄 모듈이면서 텐서곱에 대해 닫혀 있음을 요구함으로써 모나드성을 확보하기.
• 직접 극한 닫힘에 의존하지 않는 새로운 필터 기법을 사용하여 이전 방법보다 더 넓은 적용 가능성을 확보하기.
• 이 구성 방법을 통해 평탄성 및 벡터 번들의 모형 구조에 대한 기존 결과를 특수한 경우로 복원하기.
• 무제한 평탄 Mittag-Leffler 준가역층에 대해 $\aleph_1$-자유군을 포함하는 호환성에 기반한 호몰로지적 장벽 증거를 통해 모형 구조의 부재를 증명하기.

실험 결과

연구 질문

• RQ1 직접 극한 닫힘을 가정하지 않고 $\mathbb{C}(\mathfrak{Qco}(X))$ 위에 모형 범주 구조를 구성할 수 있는가?
• RQ2 드린펠트 벡터 번들의 클래스가 $\mathbb{C}(\mathfrak{Qco}(X))$ 위에 모나드 모형 구조를 유도하는 조건은 무엇인가?
• RQ3 무제한 평탄 Mittag-Leffler 준가역층의 클래스는 아벨 구조와 호환되는 모형 범주 구조를 가질 수 있는가?
• RQ4 유도 범주 $\mathbb{D}(\mathfrak{Qco}(X))$ 와 그 사상들은 $\mathbb{C}(\mathfrak{Qco}(X))$ 위의 다양한 모형 구조와 어떻게 관련이 있는가?
• RQ5 무제한 평탄 Mittag-Leffler 클래스가 코프로젝티브 모형 구조를 유도하지 못하게 하는 호몰로지적 장애는 무엇인가?

주요 결과

• 반분리된 스킴에 대해 호환 가능한 절단 필터를 사용함으로써 직접 극한 닫힘을 요구하지 않는 $\mathbb{C}(\mathfrak{Qco}(X))$ 위의 일반적인 모형 범주 구조 구성이 성립한다.
• 이 구성은 준콤팩트이고 반분리된 스킴에 대해 $\mathbb{C}(\mathfrak{Qco}(X))$ 위의 모나드 평탄 모형 구조를 특수한 경우로 복원한다.
• 스킴 $X$ 가 충분한 무한 차원 벡터 번들을 지닌다면, $X$ 위의 무한 차원 벡터 번들의 클래스는 $\mathbb{C}(\mathfrak{Qco}(X))$ 위에 모나드 모형 구조를 유도한다.
• 일반적으로 무제한 평탄 Mittag-Leffler 준가역층의 클래스는 $\mathbb{C}(\mathfrak{Qco}(X))$ 위에 모형 범주 구조를 유도하지 않는다.
• 모든 $\aleph_1$-자유 아벨 군의 클래스는 $\mathrm{Mod}$-$\mathbb{Z}$ 에서 전복류 클래스를 가지지 않으며, 이는 코프로젝티브 모형 구조를 유도할 수 없음을 의미한다.
• 구성된 무한 랭크의 $\aleph_1$-자유 군 $G_{\mu^+}$ 에 대해 $\mathrm{Hom}_{\mathbb{Z}}(G_{\mu^+}, B) = 0$ 이라는 사실을 보여, $\mathbb{Q}$ 의 $\mathcal{D}$-전복류의 존재와 모순됨을 유도함으로써 모순을 도출한다.