[論文レビュー] Inverse-syst.lib, Singular library for computing Macaulay's inverse systems

Juan Elías|arXiv (Cornell University)|Jan 8, 2015

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

ひとこと要約

この論文では、マコーレイの逆系を用いたアーティンGorensteinおよびレベル環における双対性の計算を可能にするSingularライブラリInverse-syst.libを提示する。Matlis双対性を用いて、形式的べき級数環上のイデアルの annihilator やモジュール構造、逆系の記号的計算が可能となり、ヒルベルト関数および楕円曲線の不変量を用いた局所Gorenstein代数の分類に応用可能である。

ABSTRACT

In this note we review the Singular library Inverse-syst.lib that implements Macaulay's correspondence and other related constructions for local rings.

研究の動機と目的

• 形式的べき級数環におけるアーティンGorensteinイデアルと多項式環における多項式との間のマコーレイの対応を実装すること。
• 局所環におけるMatlis双対性および逆系を研究するためのSingularにおける計算ツールを提供すること。
• 指定されたヒルベルト関数を用いたアーティンGorenstein代数の分類を逆系計算により可能にすること。
• 特徴が正のときには収縮作用、特徴が0のときには微分を用いて、正の特性における計算を支援すること。
• 楕円曲線の不変量（例：j不変量）を逆系枠組みに統合し、Gorensteinイデアルを構成すること。

提案手法

• べき級数環R上のネーター的およびアーティン的モジュールの間の反変同値をMatlis双対性により定義する。
• 多項式環Sに2つのR加群構造を実装する：特性0では微分、任意の特性では収縮；特性0では自然な同型が存在する。
• 逆系構成を用いる：理想I ⊂ Rに対して、逆系はI⊥ = {g ∈ S | I ∘ g = 0}で定義され、∘は微分または収縮作用を表す。
• イデアルの逆系（invSyst, invSystG）、 annihilator（idealAnn, idealAnnG）、モジュールの属するかの判定（memberIH, subModIH）を計算するコマンドを提供する。
• 楕円曲線専用関数を導入する：weierstrassj(t)はj不変量c(1)を持つワイエルシュトラス方程式を生成し、idealwj(t)は対応するイデアルの逆系を返す。
• Singularにおける除法アルゴリズムを用いて、与えられたイデアルが最大イデアルの4乗を含むかどうかをテストし、アーティン構造を確認する。

実験結果

リサーチクエスチョン

• RQ1 局所アーティン環におけるマコーレイの逆系対応を、計算代数システムで効果的に実装する方法は何か？
• RQ2 ヒルベルト関数{1,3,3,1}のような指定されたヒルベルト関数を持つアーティンGorenstein環を分類するために必要な計算ツールは何か？
• RQ3 逆系法を、j不変量などの楕円曲線不変量を含めるように拡張できるか？
• RQ4 多項式環Sにおける微分および収縮作用が、正の特性および0特性における注入包E_R(k)とどのように関係するか？
• RQ5 ワイエルシュトラス方程式は、対称的ヒルベルト関数をもつGorensteinイデアルの逆系構成において果たす役割は何か？

主な発見

• ライブラリは、アーティンGorensteinイデアルの逆系を正常に計算でき、IがGorensteinの場合、isAG(I)がそのソクル次数を返す。
• I = ⟨x₁² + x₂³, x₂⁴ + x₁², x₃² + x₁x₂⟩に対して、関数isAG(I)は4を返し、これはソクル次数4のアーティンGorensteinであることを確認する。
• R/IのソクルはSにおけるイデアルとして計算され、cmType(I)は3を返し、これはコhen-Macaulay型が3であることを示す。
• division(maxideal(4), q)コマンドにより、3つの二次形式からなるイデアルqがm⁴に含まれることが確認され、アーティン性が検証される。
• j ≠ 0, 1728のとき、3つの同次二次形式からなるイデアルI(j)は完全交差であり、したがってGorensteinであり、ヒルベルト関数{1,3,3,1}をもつ。
• j不変量c(1)を持つワイエルシュトラス方程式の逆系はidealwj(t)により計算され、対応するイデアルが対称的ヒルベルト関数をもつGorensteinであることが示された。