[논문 리뷰] Thick subcategories of modules over commutative rings

Henning Krause|ArXiv.org|2007. 03. 06.

Rings, Modules, and Algebras참고 문헌 8인용 수 3

한 줄 요약

이 논문은 교차 서브카테고리의 두 가지 기준, 즉 지지 집합 기반 및 관련 소수 기반을 사용하여 교차 서브카테고리의 분류를 수행한다. 이는 특정 부분집합 Φ ⊆ Spec A 가 '일관성 있는'(즉, 교차 서브카테고리를 지지하는) 조건이 되기 위한 필요충분조건으로서, 세 가지 동치 조건을 만족하는 경우임을 증명한다: 복합체와 그 코호몰로지의 지지 집합이 일치하는 것, 확장과 직접합에 대해 닫혀 있는 것, 그리고 관련 소수가 Φ 안에 있는 임의의 임베딩 해상에서의 단순형 해상에 대해 닫혀 있는 것. 주요 결과는 크룰 차원 ≤1 일 때, 일관성 있는 부분집합을 통한 교차 서브카테고리의 완전한 분류이다.

ABSTRACT

For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking kernels, cokernels, and extensions) and closed under taking direct sums.

연구 동기 및 목표

• 공분산 노에터 링 A 위의 모듈러의 교차 서브카테고리 전체를 분류하는 것.
• A-모듈러의 복합체의 지지 집합과 그 코호몰로지의 지지 집합 간의 관계를 명확히 하는 것.
• 지지 집합 조건 Supp X ⊆ Φ ⇔ Supp H*X ⊆ Φ 를 통해 교차 서브카테고리를 유도하는 부분집합 Φ ⊆ Spec A 의 특성화를 제공하는 것.
• 특히 Hovey와 Gabriel의 이전 결과를 수정하고 확장하는 것.
• 임베딩 해상과 관련 소수를 통한 부분집합의 일관성에 대한 기하학적 및 호모로지 기반 기준을 설정하는 것.

제안 방법

• 복합체 X 의 지지 집합을 Supp X = {p ∈ Spec A | X ⊗ᴸ k(p) ≠ 0} 로 정의하고, Supp H* X = ∪i Supp HiX 와 비교한다.
• Φ ⊆ Spec A 가 '일관성 있는' 부분집합이 되기 위한 세 가지 동치 조건을 도입한다: 복합체와 코호몰로지의 지지 집합 일치, 지지 집합이 Φ 안에 있는 모듈러의 교차 연산에 대해 닫혀 있는 것, 그리고 관련 소수가 Φ 안에 있는 임베딩 해상에 대해 닫혀 있는 것.
• 임베딩 모듈러의 구조와 관련 소수를 활용: 모든 불가분 임베딩은 소수 p 와 대응되며, Ass E(M) = Ass M 를 만족한다.
• 크룰 차원에 대한 유도와 소수 피避 정리를 적용하여 깊이가 정해진 모듈러를 구성한다.
• 완비화와 정수 폐쇄 기법을 사용하여 완비 국소 도메인의 경우로 축소하고, Serre 기준을 이용해 코hen-맥컬레이 링을 적용한다.
• 최소 임베딩 해상의 구성으로 반례를 제시하여 크룰 차원 ≥2 일 때 비일관성임을 보인다.

실험 결과

연구 질문

• RQ1 A-모듈러의 복합체의 지지 집합이 그 코호몰로지의 지지 집합과 일치하는가?
• RQ2 어떤 부분집합 Φ ⊆ Spec A 가 지지 집합 조건 Supp X ⊆ Φ ⇔ Supp H*X ⊆ Φ 를 만족할 때 Mod A 의 교차 서브카테고리를 유도하는가?
• RQ3 교차 서브카테고리와 임베딩 모듈러의 관련 소수 간의 관계는 무엇인가?
• RQ4 A 의 크룰 차원은 부분집합 Φ ⊆ Spec A 의 일관성에 어떤 영향을 미치는가?
• RQ5 모든 Mod A 의 교차 서브카테고리는 일관성 있는 부분집합 Φ 의 지지 집합 안에 있는 모듈러의 전체 부분카테고리로 표현될 수 있는가?

주요 결과

• 부분집합 Φ ⊆ Spec A 가 일관성 있는 것은, Supp M ⊆ Φ 를 만족하는 A-모듈러의 전체 부분카테고리가 교차 서브카테고리이자 직접합에 대해 닫혀 있을 때이다.
• 정리 1.1 의 세 조건은 동치이다: 복합체와 코호몰로지의 지지 집합 일치, 서브카테고리가 교차 연산에 대해 닫혀 있는 것, 관련 소수가 Φ 안에 있는 임베딩 해상에 대해 닫혀 있는 것.
• 모든 부분집합 Φ ⊆ Spec A 가 일관성 있는 것은 A 의 크룰 차원이 1 이하일 때에 한하여 성립한다.
• dim A ≥ 2 일 경우, depth ApMp ≥ 2 를 만족하는 모듈러 M 과 소수 p 를 구성함으로써 비일관성 부분집합이 존재함을 보였다.
• 이러한 비일관성 부분집합의 존재는 최소 임베딩 해상으로 증명된다: Ass(Id−2) ∪ Ass(Id−1) = Φ 이지만 p ∈ Ass(Id) ∉ Φ 이면, Φ 는 임베딩 닫힘 조건을 만족하지 못한다.
• 모든 공분산 노에터 링 A 에 대해 dim A ≥ 2 이면, 0ptApMp = max{2, dim A − 1} 를 만족하는 모듈러 M 과 소수 p 가 존재함을 보여, 지지 집합 일치의 실패를 입증한다.