[论文解读] Higher homotopies and Golod rings

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

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

一句话总结

本文提出了一种新框架，利用 Q-投影化解的 A∞-结构，为戈洛德环上的模构造极小 R-投影化解的 bar 解析。证明了模是戈洛德的充要条件是其极小 Q-投影化解允许极小 A∞-代数结构，并表明戈洛德性可通过前 dim Q + 1 个度数内高阶同伦的消失来检测，从而提供了一个新的、精确的戈洛德性判别准则，适用于解析极小化与谱序列计算。

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.

研究动机与目标

• 开发一种使用 Q-投影化解上的 A∞-结构的同伦框架，以构造局部环上模的极小 R-投影化解。
• 通过 Q-投影化解上 A∞-结构的极小性，刻画局部环 R = Q/I 上的戈洛德模。
• 基于解析前 dim Q + 1 个度数，提供一个新且可有限验证的戈洛德性判别准则。
• 给出一种构造戈洛德环上任意有限生成模的极小自由解析的可构造方法。

提出的方法

• 利用 R-投影化解的 bar 解析，通过 R 和 M 的 Q-投影化解 A 上的 A∞-结构来构造 M 的 R-投影化解。
• 利用 A 上的 A∞-代数结构和 G 上的 A∞-模结构来定义 bar 解析中的微分。
• 利用正则局部环中的度数约束，证明非零高阶同伦必须出现在前 dim Q + 1 个度数中。
• 证明 bar 解析的极小性等价于 A 和 G 上 A∞-结构的极小性。
• 应用该理论表明，若戈洛德界在前 dim Q + 1 个度数中取等，则 M 是戈洛德模。
• 利用该构造给出一个有限步长算法，以计算戈洛德环上任意模的极小自由解析。

实验结果

研究问题

• RQ1 Q-投影化解的 R 是否允许极小 A∞-代数结构？这与由此产生的 M 的 R-投影化解 bar 解析的极小性有何关系？
• RQ2 能否通过其极小 Q-投影化解前 dim Q + 1 个度数内高阶同伦的消失来检测 R = Q/I 上模 M 的戈洛德性？
• RQ3 是否存在一个有限算法，利用 A∞-结构构造戈洛德环上任意有限生成模的极小自由解析？
• RQ4 解析上的 A∞-结构如何与阿夫拉莫夫对 dg-模结构存在性的障碍相关？
• RQ5 R 的 Koszul 同调上的平凡乘法与所有高阶 A∞-运算消失之间有何关系？

主要发现

• R = Q/I 上的模 M 是戈洛德模，当且仅当其极小 Q-投影化解允许极小 A∞-代数结构。
• 若戈洛德界在前 dim Q + 1 个度数中取等，则 M 是戈洛德模，从而提供了一个新的、精确的戈洛德性判别准则。
• M 的极小 R-投影化解 bar 解析由 R 和 M 的极小 Q-投影化解上的 A∞-结构构造而成。
• 该构造给出一个有限步长算法，可计算戈洛德环上任意有限生成模的极小自由解析。
• bar 解析的极小性仅依赖于 A∞-结构的极小性，而不依赖于高阶同伦的选择。
• 该理论恢复并给出了勒斯科特结果的新、更简短的证明：戈洛德环上任意模的 (dim Q + 1) 阶挠元均为戈洛德模。