[논문 리뷰] Completing perfect complexes

Tobias Barthel, Bernhard Keller외 1명|arXiv (Cornell University)|2018. 05. 28.

Algebraic structures and combinatorial models참고 문헌 27인용 수 8

한 줄 요약

이 논문은 코시 수열을 이용한 삼각 범주에 대한 새로운 완비화 방법을 제안하며, 오른쪽 협응하는 링 위의 유한 생성 모듈의 유계 유도 범주가 그의 완전 복합체의 완비화임을 증명한다. 핵심 결과는 완전 복합체 범주의 완비화와 유한 생성 모듈의 유계 유도 범주 사이의 자연스러운 삼각 동치이며, 이는 노에테리안 스킴으로까지 확장되어 싱귤라리티 범주의 직접적인 구성이 가능하게 한다.

ABSTRACT

This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented modules over a right coherent ring is the completion of the category of perfect complexes. The result extends to non-affine noetherian schemes and gives rise to a direct construction of the singularity category. The parallel theory of completion for abelian categories is compatible with the completion of derived categories. There are three appendices. The first one by Tobias Barthel discusses the completion of perfect complexes for ring spectra. The second one by Tobias Barthel and Henning Krause refines for a separated noetherian scheme the description of the bounded derived category of coherent sheaves as a completion. The final appendix by Bernhard Keller introduces the concept of a morphic enhancement for triangulated categories and provides a proper foundation for completing a triangulated category.

연구 동기 및 목표

• 유리수에서 실수를 구성하는 것과 유사하게, 코시 수열을 이용한 삼각 범주의 범주론적 완비화 방법을 개발하는 것.
• 오른쪽 협응하는 링 Λ에 대해, 유계 유도 범주 D^b(mod Λ)가 완전 복합체 범주 D^per(Λ)의 완비화로 나타남을 보이는 것.
• 비아핀 노에테리안 스킴로의 완비화 구성법을 확장하여, 싱귤라리티 범주를 완비화된 완전 복합체 범주의 범주론적 몫으로 직접 기술하는 것.
• 아벨 범주(예: 유한 길이 모듈)의 완비화와 그에 대응하는 삼각 범주의 유도 완비화 사이의 호환성을 확립하는 것.
• 특히 링 스펙트럼과 노에테리안 스킴의 맥락에서, 형태적 강화와 에피발런트 타워가 완비화 과정에서 수행하는 역할을 탐색하는 것.

제안 방법

• 삼각 범주 C의 순차적 완비화  를, 인드-완비화의 전체 부분범주로서 코시 수열의 코일리미트로 구성된 것으로 정의한다.
• 형광 사상과 밀너의 정확수열을 이용하여, 범주가 형광 없음 조건을 만족할 경우 완비화가 삼각 구조를 유지함을 보장한다.
• 코시 수열을 그 호모토피 코일리미트로 보내는 완전 임베딩 삼각 함자  를, 환경의 컴act하게 생성된 삼각 범주 T로 구성한다.
• 형태적 강화 개념을 활용하여, 완비화 과정을 삼각 범주의 계층적 계층을 통해 승계적으로 이행시키며, 에피발런트 타워를 통한 반복적 완비화를 가능하게 한다.
• 마틀리 쌍대성을 적용하여, 유한 길이 모듈의 완비화가 유도 범주의 쌍대성과 연결되며, 삼각 동치를 도출한다.
• 분리된 노에테리안 스킴 위에서 완전 복합체 범주의 완비화가 유계 코herent sheaf 유도 범주를 복원함을 검증한다.

실험 결과

연구 질문

• RQ1 오른쪽 협응하는 링 위에서 유한 생성 모듈의 유계 유도 범주는 코시 수열을 통한 완전 복합체 범주의 완비화로 표현될 수 있는가?
• RQ2 노에테리안 스킴 위에서 완전 복합체 범주의 완비화가 코herent sheaf 유도 범주로 복원되는가? 그리고 싱귤라리티 범주는 이 완비화의 몫으로 직접 구성될 수 있는가?
• RQ3 삼각 범주의 완비화가 정확한 삼각형의 코일리미트를 통해 삼각 구조를 유지하는 조건은 무엇인가? 특히, 코일리미트를 통한 완비화의 맥락에서.
• RQ4 아벨 범주(예: 유한 길이 모듈)의 완비화는 그에 대응하는 삼각 범주의 유도 완비화와 어떻게 관련이 있는가?
• RQ5 형태적 강화와 에피발런트 타워를 통해 완비화 과정을 반복적으로 적용할 수 있으며, 특히 링 스펙트럼과 노에테리안 스킴의 맥락에서 그러한 반복적 완비화가 가능할까?

주요 결과

• 모든 오른쪽 협응하는 링 Λ에 대해, D^per(Λ)의 완비화와 D^b(mod Λ) 사이에 자연스러운 삼각 동치가 존재하며, 완비화 함자는 코시 수열을 그 코일리미트로 보낸다.
• 노에테리안 스킴 X 위의 코herent sheaf 유도 범주는 X 위의 완전 복합체 범주의 완비화와 동형이며, 이는 직접적인 범주론적 구성법을 제공한다.
• 노에테리안 스킴 X의 싱귤라리티 범주는 완비화된 완전 복합체 범주를 원래의 완전 복합체 범주로 나눈 베르드리어 몫으로서 자연스럽게 실현된다.
• 완비 국소 링 위의 노에테리안 대수 Λ에 대해, 유한 길이 Λ-모듈의 범주 완비화는 아르틴ian Λ-모듈의 범주와 일치한다.
• 마틀리 쌍대성을 이용하여, D^b(mod Λ)^op, D^b(ĥfl Γ), 그리고 D^b(fl Γ)의 완비화 사이에 삼각 동치를 확립하며, 쌍대성과 완비화를 연결한다.
• 오른쪽 협응하는 링 Λ의 완전 유도 범주를 유계 코시 수열을 통해 완비화하면 유계 유도 범주 D^b(mod Λ)로 복원되며, 이 과정은 형태적 강화와 에피발런트 타워를 통해 링 스펙트럼과 노에테리안 스킴로까지 확장된다.