[논문 리뷰] Grothendieck topologies and ideal closure operations

Holger Brenner|ArXiv.org|2006. 12. 16.

Commutative Algebra and Its Applications참고 문헌 36인용 수 6

한 줄 요약

이 논문은 교환 대수학에서 이상과 부분모듈에 대한 닫힘 연산과 아핀 스킴 위의 그로텐디크 위상간의 범주적 동치를 수립한다. 각 닫힘 연산—예를 들어 근기, 정수적 닫힘, 프로베누스 닫힘, 플러스 닫힘—이 각각 해당 그로텐디크 위상에서의 층화 과정으로 자연스럽게 유도됨을 보이며, 이로써 층 이론과 전역 단면을 통해 이러한 대수적 구성에 코homological 및 기하학적 구조를 부여한다.

ABSTRACT

We relate closure operations for ideals and for submodules to non-flat Grothendieck topologies. We show how a Grothendieck topology on an affine scheme induces a closure operation in a natural way, and how to construct for a given closure operation fulfilling certain properties a Grothendieck topology which induces this operation. In this way we relate the radical to the surjective topology and the constructible topology, the integral closure to the submersive topology, to the proper topology and to Voevodsky's h-topology, the Frobenius closure to the Frobenius topology and the plus closure to the finite topology. The topologies which are induced by a Zariski filter yield the closure operations which are studied under the name of hereditary torsion theories. The Grothendieck topologies enrich the corresponding closure operation by providing cohomology theories, rings of global sections, concepts of exactness and of stalks.

연구 동기 및 목표

• 교환 대수학에서 다양한 닫힘 연산—예를 들어 근기, 정수적 닫힘, 프로베누스 닫힘, 플러스 닫힘—을 그로텐디크 위상에 의한 공통 기하학적 프레임워크 아래 통합한다.
• 특정 공리들을 만족하는 모든 닫힘 연산이 유일하게 관련된 Spec(R) 위의 그로텐디크 위상에서의 층화 과정으로 유도됨을 보인다.
• 전통적인 닫힘 개념을 코homological 도구, 전역 단면의 링, 그리고 정확성과 스톡과 같은 층 이론적 개념을 포함하여 풍부하게 한다.
• 기존의 닫힘 연산을 기존의 위상과 연결한다: 예를 들어 정수적 닫힘은 부분매립 위상과 h-위상과 관련되며, 프로베누스 닫힘은 프로베누스 위상과 관련되고, 근기는 사상 위상과 구조적 위상과 관련된다.
• 자리스키 필터와 곱셈적 닫힘 집합에 의한 코필터링 시스템을 통해 토르션 이론과 닫힘 구성의 일반화를 그로텐디크 위상의 맥락으로 확장하여, 대수적 닫힘과 층 이론적 포화를 연결한다.

제안 방법

• X = Spec(R) 위의 그로텐디크 위상에서 이상 또는 부분모듈에 대한 닫힘 연산을 층화 과정으로 정의한다. 여기서 s ∈ M 이 N 의 닫힘에 속하는 것은 θ(s) 가 층화된 부분모듈의 전역 단면에 속할 때이다.
• 주어진 닫힘 연산으로부터 그로텐디크 위상을 구성한다. 이때 국소적으로 부분모듈에 속하는 원소가 닫힘에 전역적으로 속하도록 커버를 정의한다.
• 기존의 닫힘 연산에 특정 위상을 연결한다: 예를 들어 정수적 닫힘은 부분매립 위상과 관련되고, 플러스 닫힘은 h-위상과 관련되고, 프로베누스 닫힘은 프로베누스 위상과 관련된다.
• 곱셈적 닫힘 집합 △의 이상에 대해 절대 필터와 코필터링 시스템 이론을 사용하여 △-위상을 정의하고, 그 전역 단면이 R 의 △-닫힘을 유도함을 보인다.
• 역전이 확장에 대한 직접 극한을 통해 △-위상에서의 구조 층의 전역 단면의 링이 R△, 즉 R 의 △-닫힘과 동형임을 증명한다.
• 충실하게 평탄한 사상은 순수하고, 평탄한 층화 과정은 이미 층이므로, 자주 쓰이는 위상—예를 들어 자리스키 위상과 에탈 위상—은 닫힘 연산에 영향을 주지 않음을 활용한다.

실험 결과

연구 질문

• RQ1 교환 대수학에서의 닫힘 연산은 아핀 스킴 위의 그로텐디크 위상으로부터 체계적으로 유도될 수 있는가?
• RQ2 어떤 그로텐디크 위상들이 근기, 정수적 닫힘, 프로베누스 닫힘, 플러스 닫힘과 같은 고전적 닫힘 연산을 유도하는가?
• RQ3 닫힘 연산의 구성은 층화 과정으로 재구성될 수 있으며, 이는 어떤 기하학적 및 코homological 구조를 부여하는가?
• RQ4 환 R 의 △-닫힘과 △-위상에서의 구조 층의 전역 단면 사이의 관계는 무엇인가?
• RQ5 자리스키 필터와 이상의 코필터링 시스템은 어떤 방식으로 유도된 hereditary 토르션 이론을 실현하는 그로텐디크 위상을 만들어내는가?

주요 결과

• 이상의 근기는 사상 위상과 구조적 위상에서의 층화로 나타나며, 이는 대수적 영함수의 성질이 위상적 커버링과 연결됨을 보여준다.
• 정수적 닫힘은 부분매립 위상, 적절한 위상, 보에보드스키의 h-위상과 관련되며, 이는 그 깊은 기하학적 의의를 드러낸다.
• 프로베누스 닫힘은 프로베누스 위상에 의해 유도되며, 플러스 닫힘은 유한 위상에 의해 유도되며, 후자는 엄밀히는 타이트 닫힘과 동일할 것으로 추측된다.
• 곱셈적 닫힘 집합 △의 이상에 대해 노에테르 링 R 의 △-닫힘은 △-위상에서의 구조 층의 전역 단면의 링과 동형이다.
• 비영 제약원소를 포함하는 곱셈적 닫힘 집합 △에 대해, △-위상의 전역 단면은 H ∈ △ 에 대한 lim→Γ(XH, O) 의 직접 극한으로 주어지며, 이는 R△ 와 같다.
• 이 구성은 △ 내 모든 이상이 S 에서 역전이 이상이 되는 임의의 링 S 로의 자연스러운 링 준동형을 유도하며, 이는 유일성 성질을 갖는다.