[論文レビュー] Computing connections on modules

Eivind Eriksen, Trond Stølen Gustavsen|arXiv (Cornell University)|Feb 27, 2006

Algebraic structures and combinatorial models参考文献 3被引用数 2

ひとこと要約

この論文は、Singular 3.0 を用いた計算フレームワークを提示し、Grobner 基底と自由分解を用いて、可換環上の加群の接続を計算する。Hochschild コホロジーを用いて障害計算を実施する。主な貢献は、n ≤ 50 である単純な3次元超曲面特異点 A_n、D_n、E_n に対して、接続を許容するのは自由な最大コhen-Macaulay 加群のみであることを証明することにある。

ABSTRACT

We consider the notion of a connection on a module over a commutative ring, and recall the obstruction calculus for such connections. The obstruction calculus is defined using Hochschild cohomology. However, in order to compute with Grobner bases, we need the conversion to a description using free resolutions. We describe our implementation in Singular 3.0, available as the library conn.lib. Finally, we use the library to verify some known results and to obtain a new theorem for maximal Cohen-Macaulay (MCM) modules on isolated singularities. For a simple hypersurface singularity of dimension one or two, it is known that all MCM modules admit connections. We prove that for a simple threefold hypersurface singularity of type A_n, D_n or E_n, only the free MCM modules admit connections if n is at most 50.

研究の動機と目的

• Grobner 基底を用いた可換環上の加群の接続の計算手法を開発すること。
• Hochschild コホロジーに基づく障害計算と、自由分解による有効な計算を結びつけること。
• 実用的用途を想定し、Singular 3.0 ライブラリ conn.lib にこの手法を実装すること。
• 最大コhen-Macaulay 加群に対する既知の接続の結果を検証すること。
• 特に3次元において、孤立特異点上での最大コhen-Macaulay 加群のうち、どの加群が接続を許容するかを特定すること。

提案手法

• 加群の接続の存在に対する障害を記述するために Hochschild コホロジーを用いる。
• 障害計算を、アルゴリズム的計算に適した自由分解形式に変換する。
• Singular 3.0 ライブラリ conn.lib にアルゴリズムを実装し、記号計算を可能にする。
• 多項式環において接続と障害を計算するために Grobner 基底技術を用いる。
• 特異環上の非自由加群を扱うために、分解に基づく手法を採用する。
• 既知の例で結果を検証し、3次元特異点に関する新しい定理に拡張する。

実験結果

リサーチクエスチョン

• RQ1 孤立特異点上の最大コhen-Macaulay 加群のうち、どの加群が接続を許容するか？
• RQ2 Grobner 基底を用いて、接続の障害計算を有効に計算できるか？
• RQ3 単純な3次元超曲面特異点 A_n、D_n、E_n に対して、どの MCM 加群が接続を支持するか？
• RQ4 MCM 加群の自由性は、高次元特異点における接続の存在とどのように関係するか？
• RQ5 分解に基づく手法は、非自由加群上の接続計算において果たす役割は何か？

主な発見

• conn.lib における実装は、最大コhen-Macaulay 加群に対する既知の接続の結果を正常に検証した。
• n ≤ 50 である単純な3次元超曲面特異点 A_n、D_n、E_n に対して、接続を許容するのは自由な MCM 加群のみである。
• 自由分解と Grobner 基底を用いて、障害計算が有効に計算可能な形に変換された。
• この手法により、特異な設定下での非自由 MCM 加群に対する接続の非存在が検出可能となった。
• フレームワークは、高次元特異点において接続の存在が極めて制限されていることを確認した。
• 本研究の結果は、低nの3次元特異点における接続存在の制限を明確に示すことで、既存知識を拡張した。