[論文レビュー] Computing Global Extension Modules for Coherent Sheaves on a Projective Scheme

Gregory G. Smith|Jul 29, 1998

Commutative Algebra and Its Applications参考文献 5被引用数 12

ひとこと要約

本稿では、射影的スキーム X 上の coherent sheaf M と N に対して、グレブナー基底とシンゴジー計算を用いて、グローバル拡張モジュール Ext^m(X; M, N) を計算するアルゴリズムを提示する。この手法により、層コホモロジー H^m(X, N) の明示的計算や、Ext^1 クラスから層の構成が可能となり、Macaulay2 に実装されている。代数幾何学および可換代数分野における理論的・実用的意義を有する。

ABSTRACT

Let X be a projective scheme; let M and N be two coherent O_X-modules. Given an integer m, we present an algorithm for computing the global extension module Ext^m(X;M,N). In particular, this allows one to compute the sheaf cohomology H^m(X,N) and to construct the sheaf corresponding to an element of the module Ext^1(X;M,N). This algorithm can be implemented using only the computation of Grobner bases ans syzygies, and it has been implemented in the computer algebra system Macaulay2.

研究の動機と目的

• 射影的スキーム X 上の coherent sheaf に対して、グローバル拡張モジュール Ext^m(X; M, N) を計算するためのアルゴリズムを開発すること。
• 代数的手法を用いて、層コホモロジー群 H^m(X, N) を明示的に計算可能にする。
• アルゴリズム的手法を用いて、Ext^1(X; M, N) の与えられた要素に対応する層を構成すること。
• グレブナー基底理論とシンゴジー計算に基づく実用的な計算フレームワークを提供すること。

提案手法

• アルゴリズムは、X の斉次座標環上の graded free 分解を用いて、層 M と N を分解することで Ext^m(X; M, N) を計算する。
• シンゴジーの計算にグレブナー基底技術を用い、Ext モジュールの有効な計算を可能にする。
• 分解の Hom 複体の m 階コホモロジーと Ext^m(X; M, N) の間の同型を活用する。
• 標準的な同調代数の道具立てを用いて、層論的 Ext を多項式環上のモジュール論的計算に変換する。
• アルゴリズムはコンピュータ代数システム Macaulay2 に実装されており、利用可能性と再現可能性を保証する。
• 幾何的直観を一切用いずに、純粋に代数的計算に依拠するため、記号計算に適している。

実験結果

リサーチクエスチョン

• RQ1 射影的スキーム上の coherent sheaf に対して、グローバル拡張モジュール Ext^m(X; M, N) をどのようにアルゴリズム的に計算できるか。
• RQ2 幾何的または位相的道具ではなく、代数的手法を用いて、層コホモロジー群 H^m(X, N) を効果的に計算できるか。
• RQ3 与えられた Ext^1(X; M, N) の要素から、アルゴリズム的に層を構成することは可能か。
• RQ4 実際の応用において、層コホモロジーや拡張モジュールを実現するために、可換代数からどのような計算技術を用いることができるか。

主な発見

• アルゴリズムは、グレブナー基底とシンゴジー計算のみを用いて、射影的スキーム X 上の任意の coherent sheaf M と N に対して Ext^m(X; M, N) を正しく計算できる。
• この手法により、H^m(X, N) の層コホモロジー群が Ext モジュールの特別な場合として構成可能である。
• アルゴリズムにより、Ext^1(X; M, N) の与えられた拡張クラスに対応する層を明示的に構成できる。
• Macaulay2 への実装により、このアプローチの計算的幾何学への実現可能性と実用性が示された。
• 理論的枠組みは標準的な同調代数に根ざしており、任意のネーター環上での射影的スキームへ拡張可能である。
• このアプローチは完全にアルゴリズム的であり、追加の幾何的仮定や基底体に関する仮定を必要としない。