[논문 리뷰] A strictly-functorial and small dg-enhancement of the derived category of perfect complexes

Emanuel Rodríguez Cirone|arXiv (Cornell University)|2015. 02. 23.

Algebraic structures and combinatorial models참고 문헌 2인용 수 3

한 줄 요약

이 논문은 Noetherian 환 k 위의 유한형 스킴에 대한 완전 복합체의 도파일 카테고리의 엄밀한 함자적이고 소형의 dg-강화를 구축한다. 확장-제로 모듈을 사용하여 소형 dg-카테고리의 프레시피를 명시적으로 정의하고, 직접 합을 통한 복합체의 해소를 통해, dg-카테고리의 제로번째 코homology가 완전 복합체의 도파일 카테고리로 복원되며, 당연한 함자적 사상으로서의 당연한 인버스 이미지 사상이 구현됨을 보장한다.

ABSTRACT

Let k be a commutative noetherian ring. We construct a strictly-functorial presheaf of small dg-categories over k on the category of k-schemes of finite type, which gives dg-enhancements of the derived categories of perfect complexes.

연구 동기 및 목표

• k-스킴의 유한형에 대해 완전 복합체의 도파일 카테고리의 엄밀한 함자적 dg-강화를 상세하고 명시적으로 구축하는 것.
• 그러한 dg-카테고리들이 그로텐디크의 유니버스에 의존하지 않고 소형임을 보장하여 문헌에서의 기초적 빈자리 메우기.
• 생성 집합의 모듈에 대한 정규화를 통한 명시적 구성으로 유도된 인버스 이미지 사상 Lf*를 엄밀한 함자적 dg-사상으로 실현하는 것.
• 구축된 dg-카테고리의 제로번째 코homology가 고전적 도파일 카테고리 D_perf(𝔖)와 자연스럽게 동치임을 확립하는 것.

제안 방법

• 각 열린 부분집합 V ⊆ 𝔖에 대해, O_𝔖,V := (i_V)! O_V 라 정의하여 V의 기저층의 확장-제로를 정의한다.
• 모듈의 전체 부분카테고리 𝔉_𝔖에 대해, f^⋆O_𝔖,V := O_𝔗,f⁻¹V 라 정의하고 자연동형사상 θ_f,V 를 통한 사상 맵을 정의함으로써, 엄밀한 함자적 인버스 이미지 사상 f^⋆ 를 정의한다.
• f^⋆ 을 직접 합의 O_𝔖,V 의 유한 복합체 전반에 대해 정의함으로써 dg-카테고리 전체로 확장하고, hom-집합과 직접 합의 관계를 보장하는 교환 다이어그램을 통해 호환성을 확보한다.
• Perf_𝔖 를 O_𝔖,V 의 직접 합으로 구성된 유계 위로 복합체 중에서 코homology 가 국소적으로 유한형인 것들의 전부를 포함하고, 사영 콘의 닫힘을 갖는 전부의 부분카테고리로 정의한다.
• 구성의 복합성 조건을 검증: g^⋆ ∘ f^⋆ = (fg)^⋆ 이며, 이는 프레시피 𝔖 ↦ Perf_𝔖 가 엄밀한 함자임을 보장한다.
• dg-사상 f^⋆ 가 약한 복합체를 보존함을 증명함으로써, H⁰(Perf_𝔖) ≅ D_perf(𝔖) 의 몫카테고리 위에 dg-사상으로 내림내림됨을 보장한다.

실험 결과

연구 질문

• RQ1 Noetherian 환 k 위의 유한형 k-스킴에 대해, D_perf(𝔖) 의 엄밀한 함자적이고 소형의 dg-강화를 명시적으로 구축할 수 있는가?
• RQ2 그로텐디크의 유니버스에 의존하지 않고, 도파일 인버스 이미지 사상 Lf* 를 엄밀한 함자적 dg-사상으로 어떻게 실현할 수 있는가?
• RQ3 구성 가능한 dg-강화를 가능하게 하는 자연스럽고 소형의 생성 집합의 모듈은 무엇인가?
• RQ4 이 구성이 dg-카테고리의 제로번째 코homology 가 고전적 완전 복합체의 도파일 카테고리와 자연스럽게 동치임을 보장하는가?
• RQ5 모듈 해소의 정규 선택을 통해 인버스 이미지 사상이 엄밀한 결합법칙을 만족하도록 만들 수 있는가?

주요 결과

• 구성은 Sch_k^op 위에 엄밀한 함자적 소형 dg-카테고리 프레시피 𝔖 ↦ Perf_𝔖 를 제공하며, H⁰(Perf_𝔖) 는 D_perf(𝔖) 와 자연스럽게 동치이다.
• 인버스 이미지 사상 f^⋆: Perf_𝔖 → Perf_𝔗 는 g^⋆ ∘ f^⋆ = (fg)^⋆ 를 만족하여, 도파일 인버스 이미지 사상의 조화 문제를 해결한다.
• dg-사상 f^⋆: Perf_𝔖 → Perf_𝔗 는 제로번째 코homology 에서 고전적 왼쪽 유도된 인버스 이미지 사상 Lf^*: D_perf(𝔖) → D_perf(𝔗) 를 유도한다.
• 그로텐디크의 유니버스를 피하기 위해, 오직 소형으로 명시적으로 정의된 모듈 O_𝔖,V 와 그 직접 합만을 사용한다.
• 코homology 가 국소적으로 유한형이고 유계 위로인 복합체의 카테고리 𝔛_𝔖 는 사영 콘에 대해 닫혀 있으며, 모든 완전 복합체를 포함한다.
• 핵심 동형사상 θ_f,V: f^*O_𝔖,V → O_𝔗,f⁻¹V 는 f^⋆ 이 생성 모듈에서 f^* 와 일치함을 보장하며, 이 일치는 dg-카테고리 전체로 엄밀하게 확장된다.