[논문 리뷰] Classification of categorical subspaces of locally noetherian schemes

Ryo Kanda|arXiv (Cornell University)|2014. 05. 18.

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

한 줄 요약

이 논문은 구조층의 준층의 국소 필터라는 새로운 개념을 도입하여 국소 노테리안 스킴 위의 준층 코herent sheaf의 prelocalizing, localizing, closed, bilocalizing 부분범주를 분류한다. 핵심 결과는 이러한 부분범주와 특정 유형의 필터 사이의 전단사 관계를 확립하며, 이는 가브리엘의 링에 대한 분류를 아톰 스펙트럼과 그로텐디크 범주 이론을 통해 스킴로 일반화한 것이다.

ABSTRACT

We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The essential part of the argument is given as results on a Grothendieck category with certain properties. We also classify the localizing subcategories, the closed subcategories, and the bilocalizing subcategories in terms of filters.

연구 동기 및 목표

• 모듈러 범주의 부분범주에 대한 가브리엘의 분류를 국소 노테리안 스킴 위의 준층 코herent sheaf의 설정으로 확장하기.
• prelocalizing, localizing, closed, bilocalizing 부분범주를 준층의 필터를 통해 체계적으로 분류하기.
• QCoh(X)의 부분범주와 X 위의 기하학적 구조(예: 닫힌 부분스킴, 열린-닫힘 부분집합) 사이의 범주적 대응을 확립하기.
• 아톰 스펙트럼과 국소 필터의 개념을 도입하고 활용하여 비가환기하학과 대수기하학의 기존 결과를 통합하고 일반화하기.

제안 방법

• OX의 준층 코herent 부분층에 대한 국소 필터의 개념을 도입하며, 이러한 부분범주를 올바르게 분류할 수 있는 적절한 필터의 클래스이다.
• 특히 아톰 스펙트럼 ASpec(A)를 소수 스펙트럼의 기하학적 대체물로 삼는, 충분한 원자들을 지닌 그로텐디크 범주의 이론을 적용한다.
• 그로텐디크 범주의 몫 범주와 국소화 이론에 기반하여 국소화 기법을 활용해 분류 문제를 열린 아핀 부분스킴으로 환원한다.
• 부분범주와 필터 사이의 대응 관계를 사용: Y ↦ {I ⊂ OX | OX/I ∈ Y}로, 국소 필터를 통해 전단사 관계를 수립한다.
• 닫힌 부분범주는 주 필터로, 곱에 대해 닫혀 있는 필터로, bilocalizing 부분범주는 각각 특성화된다.
• bilocalizing 부분범주는 OX의 아이디포텐트 부분대상과의 대응을 통해 정확히 열린-닫힘 부분집합과 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 가우브리엘의 링 위의 모듈러 범주 부분범주 분류를 국소 노테리안 스킴 위의 준층 코herent sheaf로 어떻게 일반화할 수 있는가?
• RQ2 QCoh(X)의 prelocalizing 부분범주를 분류하는 데 적합한 OX 위의 필터의 적절한 개념은 무엇인가?
• RQ3 QCoh(X)의 localizing, closed, bilocalizing 부분범주가 X 위의 기하학적 구조(예: 닫힌 부분스킴, 열린-닫힘 부분집합)와 어떻게 대응되는가?
• RQ4 아톰 스펙트럼은 스킴에서 유래하는 그로텐디크 범주에서 부분범주의 분류에 어떤 역할을 하는가?
• RQ5 국소화 기법을 사용하여 부분범주 분류 문제를 아핀 경우로 환원할 수 있는가?

주요 결과

• QCoh(X)의 prelocalizing 부분범주와 OX의 준층 코herent 부분층에 대한 국소 필터 사이에는 전단사 관계가 존재하며, 이는 Y ↦ {I ⊂ OX | OX/I ∈ Y}로 주어진다.
• localizing 부분범주는 곱에 대해 닫혀 있는 국소 필터와 전단사로 대응된다.
• 닫힌 부분범주는 OX의 준층 코herent 부분층에 대한 주 필터와 전단사로 대응된다.
• bilocalizing 부분범주는 곱에 대해 닫혀 있는 주 필터와 정확히 일치하며, 따라서 X의 열린-닫힘 부분집합과 대응된다.
• QCoh(X)의 bilocalizing 부분범주의 집합은 X의 열린-닫힘 부분집합의 집합과 전단사로 대응되며, OX의 아이디포텐트 부분대상의 집합과도 전단사로 대응된다.
• 대수적으로 닫힌 체 k에 대한 프로젝티브 선 P1k의 경우, prelocalizing, localizing, closed, bilocalizing 부분범주는 특정한 소멸 조건을 갖는 함수 r ∈ ∏x∈Φ(Z≥0 ∪ {∞})로 명시적으로 매개변수화된다.