[論文レビュー] Grothendieck topologies and ideal closure operations

Holger Brenner|ArXiv.org|Dec 16, 2006

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 ザリスキのフィルターおよびイデアルの逆極限系は、遺伝的タービュランス理論を実現するグロテンディエック位相をどのように導くか？

主な発見

• イデアルのルートは、全射位相および構成可能位相における層化として生じ、代数的零点集合が位相的カバーと関連づけられる。
• 整閉包は、準屈曲位相、固有位相、ヴォエバドスキーのh-位相に対応し、深い幾何的意味を持つことが示される。
• フロベニウス閉包はフロベニウス位相によって誘導され、プラス閉包は有限位相によって誘導され、後者はおそらくタイト閉包に等しいと予想される。
• 乗法的閉じたイデアルの集合△に対してノエター環Rの△-閉包は、△-位相における構造層の全体切断環と同型である。
• 非零因子を含む乗法的閉じたイデアルの集合△に対して、△-位相の全体切断は、H ∈ △ における直接極限 lim→Γ(XH, O) で与えられ、これはR△に等しい。
• この構成により、△-位相の全体切断から、△のすべてのイデアルがSにおいて可逆イデアルに拡張される任意の環Sへの自然な環準同型が得られ、普遍性が保証される。