[論文レビュー] Higher homotopies and Golod rings

Jesse Burke|arXiv (Cornell University)|Aug 16, 2015

Algebraic structures and combinatorial models参考文献 18被引用数 4

ひとこと要約

本稿は、Golod環上の加群の最小R-射影的バー分解を構成するために、Q-射影的分解におけるA∞-構造を用いる新しい枠組みを導入する。モジュールがGolodであることは、その最小Q-射影的分解が最小A∞-代数構造を備えることと同値であり、Golod性は次元dim Q + 1までの高次のホモトピーの消滅によって検出されることを証明する。これにより、分解の最小性やスペクトル系列の計算への応用を含め、Golod性に対する新たな鋭い判定基準が得られる。

ABSTRACT

We study the homological algebra of an R = Q/I module M using A-infinity structures on Q-projective resolutions of R and M. We use these higher homotopies to construct an R-projective bar resolution of M, Q-projective resolutions for all R-syzygies of M, and describe the differentials in the Avramov spectral sequence for M. These techniques apply particularly well to Golod modules over local rings. We characterize R-modules that are Golod over Q as those with minimal A-infinity structures. This gives a construction of the minimal resolution of every module over a Golod ring, and it also follows that if the inequality traditionally used to define Golod modules is an equality in the first dim Q+1 degrees, then the module is Golod, where no bound was previously known. We also relate A-infinity structures on resolutions to Avramov's obstructions to the existence of a dg-module structure. Along the way we give new, shorter, proofs of several classical results about Golod modules.

研究の動機と目的

• 局所環上の加群の最小R-射影的バー分解を構成するために、Q-射影的分解におけるA∞-構造を用いたホモトピカルな枠組みを構築すること。
• 局所環R = Q/I上のGolodモジュールを、Q-射影的分解におけるA∞-構造の最小性によって特徴づけること。
• 分解の最初のdim Q + 1次元における情報に基づく、有限に検証可能なGolod性の新しい基準を提供すること。
• Golod環上の任意の有限生成加群の最小自由分解を計算するための構成的技法を提示すること。

提案手法

• RとMのQ-射影的分解AとGにおけるA∞-構造を用いて、MのR-射影的バー分解を構成する。
• AにおけるA∞-代数構造とGにおけるA∞-加群構造を用いて、バー分解における微分を定義する。
• 正則局所環における次数制約を活用し、非消滅の高次のホモトピーが最初のdim Q + 1次元に現れることを示す。
• バー分解の最小性が、AとGにおけるA∞-構造の最小性と同値であることを証明する。
• Golodの境界が最初のdim Q + 1次元で等号となるならば、MはGolodであることを理論的に応用する。
• この構成を用いて、Golod環上での任意の有限生成加群の最小自由分解を計算する有限ステップのアルゴリズムを提示する。

実験結果

リサーチクエスチョン

• RQ1 RのQ-射影的分解が最小A∞-代数構造を備えるのはいつか？ そして、これにより得られるMの最小R-射影的バー分解の最小性とはどのように関係するか？
• RQ2 R = Q/I上の加群Mの最小Q-射影的分解の最初のdim Q + 1次元における高次のホモトピーの消滅によって、MのGolod性を検出できるか？
• RQ3 A∞-構造を用いて、Golod環上の任意の有限生成加群の最小自由分解を有限ステップで構成するアルゴリズムは存在するか？
• RQ4 分解におけるA∞-構造は、dg加群構造の存在に関するAvramovの障害とどのように関係するか？
• RQ5 Rのコークルツホモロジーにおける自明な乗法的構造と、すべての高次のA∞-作用の消滅との関係は何か？

主な発見

• R = Q/I上の加群Mは、その最小Q-射影的分解が最小A∞-代数構造を備えることと同値にGolodである。
• Golodの境界が最初のdim Q + 1次元で等号となるならば、MはGolodである。これにより、Golod性に対する新たな鋭い判定基準が得られる。
• Mの最小R-射影的バー分解は、RとMの最小Q-射影的分解におけるA∞-構造から構成される。
• この構成により、Golod環上の任意の有限生成加群の最小自由分解を計算する有限アルゴリズムが得られる。
• バー分解の最小性は、高次のホモトピーの選択とは無関係に、A∞-構造の最小性にのみ依存する。
• 理論により、Golod環上の任意の加群の(dim Q + 1)番目のサジージーがGolodであるというLescotの結果が再現され、より短い新しい証明が与えられる。