[论文解读] A comparison of deformations and geometric study of associative algebras varieties

Abdenacer Makhlouf|ArXiv.org|Jan 31, 2006

Advanced Topics in Algebra参考文献 20被引用 7

一句话总结

本文比较了结合代数的多种形变理论——形式形变、非交换形变、整体形变和微扰理论——并将其与代数簇 $\mathrm{Alg}_n$ 的几何研究相联系。研究证明，刚性代数对应于开轨道，其扎里斯基闭包定义了不可约分支，且刚性代数的数量为不可约分支数量提供了下界，该结论通过维数至6的分类得到验证。

ABSTRACT

The aim of this paper is to give an overview and to compare the different deformation theories of algebraic structures. We describe in each case the corresponding notions of degeneration and rigidity. We illustrate these notions with examples and give some general properties. The last part of this work shows how these notions help in the study of associative algebras varieties. The first and popular deformation approach was introduced by M. Gerstenhaber for rings and algebras using formal power series. A noncommutative version was given by Pinczon and generalized by F. Nadaud. A more general approach called global deformation follows from a general theory of Schlessinger and was developed by A. Fialowski in order to deform infinite dimensional nilpotent Lie algebras. In a Nonstandard framework, M.Goze introduced the notion of perturbation for studying the rigidity of finite dimensional complex Lie algebras. All these approaches has in common the fact that we make an "extension" of the field. These theories may be applied to any multilinear structure. We shall be concerned in this paper with the category of associative algebras.

研究动机与目标

• 比较和对比结合代数的多种形变理论——形式形变、非交换形变、整体形变和微扰理论。
• 研究这些形变框架如何揭示结合代数 $n$-维代数簇 $\mathrm{Alg}_n$ 的几何结构。
• 建立刚性、退化与 $\mathrm{Alg}_n$ 中不可约分支之间的联系。
• 提供一种基于幂等不变量的计算框架，用于分类不可约分支并识别刚性代数。

提出的方法

• 使用形式形变（通过幂级数）与霍赫希尔德上同调分析无穷小形变。
• 应用整体形变理论（基于施莱辛格框架）构造普遍形变并研究模空间。
• 在非标准框架中应用微扰理论，利用无穷小元素研究有限维代数的刚性。
• 利用 $GL(n,\mathbb{K})$ 在 $\mathrm{Alg}_n$ 上的作用定义同构类与轨道。
• 应用线性无关幂等元的不变量，通过微扰不变性检测不可约分支。
• 采用格尔斯滕哈伯-贾奎蒂诺相容条件：若形变位于同一分支，则 $[F,H]_G$ 必须是上边界。

实验结果

研究问题

• RQ1 不同形变理论（形式、非交换、整体、微扰）在描述 $\mathrm{Alg}_n$ 几何结构方面的能力有何异同？
• RQ2 代数的刚性与其在 $\mathrm{Alg}_n$ 中轨道结构之间存在何种关系？
• RQ3 如何利用退化与微扰识别 $\mathrm{Alg}_n$ 的不可约分支？
• RQ4 幂等元在通过微扰不变性区分不可约分支中起什么作用？
• RQ5 在何种条件下可认为两个代数的形变是相容的？这与共享不可约分支有何关联？

主要发现

• 维数为 $n$ 的结合代数中，刚性代数的数量为 $\mathrm{Alg}_n$ 的不可约分支数量提供了下界。
• 在维数 2 到 6 时，不可约分支的数量分别为 1、2、5、10 和大于 21，其中维数 6 时有 21 个刚性代数。
• 线性无关幂等元数量的不变量在微扰下保持不变，从而可实现不可约分支的算法检测。
• 格尔斯滕哈伯-贾奎蒂诺相容条件——即 $[F,H]_G$ 为上边界——是两个形变位于同一不可约分支的必要条件。
• 定义 $\mathrm{Alg}_n$ 的渐近参数数量为 $\frac{4n^3}{27} + O(n^{8/3})$，且对大 $n$，不可约分支数量满足 $\exp(n) < \mathrm{alg}_n < \exp(n^4)$。
• 一种基于从 $p = n$ 递减至 $p = 1$ 计数幂等元的计算机辅助程序，成功计算出了 $\mathrm{Alg}_n$ 的所有不可约分支。