[論文レビュー] 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$ 内の既約成分との間の関係を確立すること。
• 既約成分の分類と可換な代数の同定に役立つ、イデムポテン要素の不変量を用いた計算フレームワークを提供すること。

提案手法

• 形式的変形（べき級を用い、ホッホシャイルドコhomologyを用いて）を用いて、無限小変形を分析する。
• グローバル変形理論（シュレッスラーの枠組みを用い）を適用して、普遍変形を構成し、モジュライ空間を研究する。
• 有限次元代数の可換性を調べるため、非標準的な枠組みで無限小要素を用いた摂動理論を適用する。
• $GL(n,\mathbb{K})$ の $\ mathrm{Alg}_n$ への作用を用いて、同型類と軌道を定義する。
• 摂動の下で不変な線形独立なイデムポテン要素の不変量を用いて、既約成分を検出する。
• ジェルステンハーバー＝ジアキント条件による整合性のある変形を用いる：変形が同じ成分上にあるためには、$[F,H]_G$ がコバウンダリーでなければならない。

実験結果

リサーチクエスチョン

• RQ1 形式的、非可換、グローバル、摂動の各変形理論は、$\ mathrm{Alg}_n$ の幾何学的性質を記述する上で、どのように比較できるか？
• RQ2 代数の可換性と、$\ mathrm{Alg}_n$ 内のその軌道の構造との関係は何か？
• RQ3 退化と摂動を用いて、$\ mathrm{Alg}_n$ の既約成分をどのように特定できるか？
• RQ4 イデムポテン要素は、摂動不変性を用いて、どのように既約成分を区別するか？
• RQ5 2つの代数の変形が、どのような条件下で整合的と見なされ、それが共通の既約成分に関連するか？

主な発見

• 次元 $n$ の結合的代数における可換な代数の数は、$\ mathrm{Alg}_n$ の既約成分の数に対する下界を与える。
• 次元2から6までは、既約成分の数はそれぞれ1, 2, 5, 10, 21より大きい。次元6では21個の可換な代数がある。
• 線形独立なイデムポテン要素の数の不変量は摂動の下で保存され、既約成分のアルゴリズム的検出を可能にする。
• ジェルステンハーバー＝ジアキントの整合性条件—$[F,H]_G$ がコバウンダリーであること—は、2つの変形が同じ既約成分上にあるための必要条件である。
• $\ mathrm{Alg}_n$ を定義するパrameterの漸近的数は $\frac{4n^3}{27} + O(n^{8/3})$ であり、既約成分の数は $\exp(n) < \mathrm{alg}_n < \exp(n^4)$ を満たす。$n$ が十分に大きい場合、この不等式が成り立つ。
• $p = n$ から $p = 1$ までイデムポテン要素の数を数えるコンピュータ支援手順を用いることで、$\ mathrm{Alg}_n$ のすべての既約成分が正しく計算可能である。