[논문 리뷰] Non-exactness of direct products of quasi-coherent sheaves

Ryo Kanda|arXiv (Cornell University)|2018. 10. 20.

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

한 줄 요약

이 논문은 Noether 스킴에서 약한 가역층의 가족이 존재하는 경우(즉, 분할 스킴인 경우), 준가역층의 범주가 정확한 직접곱을 갖는다는 것은 스킴가 아핀임과 동치임을 증명한다. 이 결과는 사영선과 구멍 뚫린 스펙트럼에 대한 기존의 정확하지 않은 결과를 일반화하며, Gabriel-Popescu 임bedding과 Grothendieck 범주에서 Ab6 및 Ab4* 조건을 만족하는 특성화를 사용한다. 주요 기여는 이 넓은 스킴의 범주에서 직접곱의 정확성과 아핀성 간의 동치 관계를 확립하는 데 있다.

ABSTRACT

For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all quasi-projective schemes over commutative noetherian rings. The main tools of the proof are the Gabriel-Popescu embedding and Roos' characterization of Grothendieck categories satisfying Ab6 and Ab4*.

연구 동기 및 목표

• Noether 스킴에서 준가역층의 범주에서 직접곱이 언제 정확한지 규명하는 것.
• 사영선과 구멍 뚫린 스펙트럼에 대한 기존의 정확하지 않은 결과를 더 넓은 스킴의 범주로 일반화하는 것.
• QCoh(X)가 Grothendieck의 Ab4* 조건을 만족하는 경우의 구조적 특성화를 설정하는 것.
• 범주론적 도구를 사용하여 Ab4* 정확성이 divisorial Noether 스킴에서 아핀성을 이끌어내는 것.

제안 방법

• 준가역층의 범주를 링 위의 모듈러 범주로 임베딩하기 위해 Gabriel-Popescu 정리를 활용한다.
• Ab6 및 Ab4* 조건을 모두 만족하는 Grothendieck 범주에 대한 Roos의 특성화를 적용하여 곱의 정확성을 분석한다.
• 이중국소화된 부분범주와 몫범주 개념을 사용하여 모듈러 범주를 분해하고 부분대상을 분석한다.
• Noether 스킴에 약한 가역층의 가족이 존재하면 분할 스킴가 되며, 이는 Serre의 아핀성 기준의 적용을 가능하게 한다.
• 닫힌 포함에 따른 완전충실한 당김 함자르를 적용하여 QCoh(X)의 정확성과 닫힌 부분스킴 Y에 대한 QCoh(Y)의 정확성 간의 관계를 규명한다.
• Grothendieck 범주에서 Ab4*와 충분한 프로젝티브 대체물의 존재 간의 동치를 활용하여 정확성과 충분한 프로젝티브의 존재를 연결한다.

실험 결과

연구 질문

• RQ1 Noether 스킴에서 준가역층의 범주가 정확한 직접곱을 갖는 조건은 무엇인가?
• RQ2 분할 Noether 스킴에 대해 QCoh(X)에서 직접곱의 정확성이 스킴 X가 아phin임과 동치인가?
• RQ3 비아핀 스킴에서 직접곱의 정확하지 않은 성질은 사영선이나 구멍 뚫린 스펙트럼 같은 구체적 예외를 넘어선 일반화가 가능한가?
• RQ4 준가역층의 범주에서 Grothendieck 범주 공리 Ab4*와 Ab6는 어떻게 상호작용하는가?
• RQ5 약한 가역층의 가족의 존재가 QCoh(X)에서 직접곱의 정확성에 어떤 역할을 하는가?

주요 결과

• 분할 Noether 스킴 X에 대해, QCoh(X)에서의 직접곱은 정확한데, X가 아phin일 때에만 성립한다.
• 범주 QCoh(X)가 충분한 프로젝티브를 갖는 것은 Ab4* 조건을 만족할 때에만 성립하며, 이는 호모로지적 성질과 기하학적 구조 사이의 강력한 연결 고리를 나타낸다.
• X가 비아phin인 분할 Noether 닫힌 부분스킴을 포함하고 있다면, QCoh(X)는 Ab4*를 만족하지 않는다.
• Gabriel-Popescu 임베딩을 통한 동치 QCoh(X) ≅ Mod^I S는 정확성 성질을 모듈러 범주에서 군집 범주로 이전시키는 데 기여한다.
• O_X가 QCoh(X)에서 프로젝티브일 때이고, 오직 그 때에만 X가 아phin이며, 이는 d ≥ 1에 대해 H^d(X, -)의 고차 코homology 군이 0이 됨을 의미한다.
• Serre의 아phin성 기준을 적용하여 고차 코homology의 소멸이 아phin성을 이끌어내며, 이는 주요 정리의 증명을 완성한다.