[논문 리뷰] Rosenberg's Reconstruction Theorem (after Gabber)

Martin Brandenburg|arXiv (Cornell University)|2013. 10. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 5

한 줄 요약

이 논문은 쿼어티-세퍼레이티드 스킴이 그들의 쿼티-코herent 층의 범주에 의해 유일하게 결정됨을 보여주는 로젠버그 재구성 정리의 상세하고 자가 포함된 증명을 제공한다. AB5 조건을 만족하는 아벨 범주에 대해 가브너의 수정된 스펙트럼 구성법을 사용하여, Qcoh(X)의 스펙트럼이 자연스럽게 X와 동형임을 증명하고, 스킴의 동형과 선다발을 통한 이러한 범주들 사이의 동치를 분류한다.

ABSTRACT

Alexander L. Rosenberg has constructed a spectrum for abelian categories which is able to reconstruct a quasi-separated scheme from its abelian category of quasi-coherent sheaves. In this note we present a detailed proof of this result which is due to Ofer Gabber.

연구 동기 및 목표

• 쿼어티-세퍼레이티드 스킴에 대한 재구성 정리에 대한 완전하고 엄밀한 증명을 제공하여, 이전 로젠버그의 증명에서 인식된 격차를 메운다.
• 가브너의 아벨 범주에 대한 스펙트럼 구성법에 핵심적인 통찰을 명확히 하고 형식화한다. 특히 M ≺ N 관계에서 무한 직합의 사용에 중점을 둔다.
• 쿼어티-세퍼레이티드 스킴 위의 쿼티-코herent 층의 범주들 사이의 동치를 스킴의 동형과 선다발을 통해 분류한다.
• Qcoh(X)에 대한 스펙트럼 구성법이 원래 스킴 X를 링드 스페이스로서 회복함으로써, 비가환 대수기하학의 비전을 실현한다.

제안 방법

• 무한 직합의 복수를 포함할 수 있는 N의 부분몫이 M일 때 M ≺ N가 성립하는 로젠버그의 스펙트럼 구성법의 수정된 버전을 채택한다.
• 모든 0이 아닌 부분대상 N ⊆ M에 대해 M ≺ N가 성립하는 0이 아닌 대상 M을 스펙트럼 대상으로 정의하고, ≈ 관계에 대한 동치류 [M]의 집합으로 스펙트럼을 구성한다.
• 대상의 소멸자에 의해 닫힌 집합을 정의하고, 곱셈 체계에 대한 국소화를 통해 스펙트럼 위에 자리지 토폴로지를 구성한다.
• 공연속 정확한 함자와 아이レン버그-워츠 정리를 사용하여 Qcoh 범주 간의 함자들과 당김 및 선다발과의 텐서곱 간의 관계를 규명한다.
• 모든 동치 F: Qcoh(X) → Qcoh(Y)는 어떤 스킴 동형 f: Y → X와 Y 위의 선다발 L에 대해 f* ⊗ L 와 동형임을 증명한다.
• 스펙트럼 구성법이 X와 동형인 링드 스페이스를 제공함으로써 재구성 정리를 증명한다.

실험 결과

연구 질문

• RQ1 쿼어티-세퍼레이티드 스킴 위의 쿼티-코herent 층의 범주는 원래 스킴을 완전히 재구성할 수 있는가?
• RQ2 다른 스킴 위의 쿼티-코herent 층의 범주들 사이의 동치는 어떻게 분류할 수 있는가?
• RQ3 무한 직합은 아벨 범주에 대한 스펙트럼 구성법에서 어떤 역할을 하는가?
• RQ4 스펙트럼 구성법은 쿼티-코herent 층의 텐서 구조에 얼마나 의존하는가?
• RQ5 재구성 정리는 알제브라 스택이나 비가환 스킴과 같은 더 일반적인 기하 대상으로 확장될 수 있는가?

주요 결과

• 쿼어티-세퍼레이티드 스킴 X에 대해 Qcoh(X)의 스펙트럼은 링드 스페이스로서 자연스럽게 X와 동형이다.
• 쿼어티-세퍼레이티드 스킴 X와 Y에 대해 Qcoh(X)와 Qcoh(Y) 사이의 모든 동치는 스킴 동형 f: Y → X와 Y 위의 선다발 L로부터 유도된다.
• 동치의 분류는 (f, L) 쌍의 군량군으로 주어지며, 여기서 f는 동형이고 L은 선다발이며, 선다발의 동형사상이 사상으로 주어진다.
• Qcoh(X)의 자동형태류 군은 Aut(X) ⋉ Pic(X)의 준직접곱과 동형이며, 자동형태가 피카르 군에 자연스럽게 작용한다.
• 쿼어티-콤팩트 쿼어티-세퍼레이티드 스킴에 대해, f ↦ f* 는 Y → X 의 사상들과 Qcoh(X) → Qcoh(Y) 의 공연속 대칭 모노이드 함자들 사이의 동치를 유도한다. 이는 함자론적 재구성의 실현이다.