[論文レビュー] On classification of finite dimensional algebras

Ural Bekbaev|arXiv (Cornell University)|Apr 6, 2015

Advanced Topics in Algebra参考文献 1被引用数 5

ひとこと要約

本稿では、構造定数を用いた、基底に依存する有限次元代数の構成的分類を提示する。構造定数の空間における開かつ稠密な $ G $-不変部分集合を定義し、有理不変量の体の完全な基底を写像 $ P $ を用いて構成する。この手法により、可換および反可換代数の分類が、$ P(\mathbf{x})\mathbf{x}(P(\mathbf{x})^{-1} \otimes P(\mathbf{x})^{-1}) $ から得られる不変量を用いて可能となり、明示的な超越次元が与えられる。

ABSTRACT

Classification and invariants, with respect to basis changes, of finite dimensional algebras are considered. An invariant open, dense (in the Zariscki topology) subset of the space of structural constants is defined. The algebras with structural constants from this set are classified and a basis to the field of invariant rational functions of structural constants is provided.

研究の動機と目的

• 構造定数を用いた基底に依存する、有限次元代数の構成的分類を提供すること。
• 分類が可能な、構造定数の空間における開かつ稠密な $ G $-不変部分集合を定義すること。
• 構造定数の $ G $-不変有理関数の体の基底を構成すること。
• 群作用と有理不変量を用いて、可換および反可換代数への分類を一般化すること。

提案手法

• 構造定数の空間に $ GL(m,F) $ の群作用をテンソル変換を介して導入する。
• 写像 $ P: V_0 \to G $ を定義し、$ P(\tau(g,\mathbf{v})) = P(\mathbf{v})g^{-1} $ を満たすようにし、軌道の分類を可能にする。
• $ G $-軌道の分離不変量系として、系 $ \tau(P(\mathbf{x}), \mathbf{x}) $ を用いる。
• 有理写像 $ P(\mathbf{x})\mathbf{x}(P(\mathbf{x})^{-1} \otimes P(\mathbf{x})^{-1}) $ を用いて不変量の体を生成する。
• $ \mathbf{x}^{\otimes k} $ の縮約を用いて、正則行列 $ Q(\mathbf{x}) $ を構成し、$ V_0 $ 上で $ \det(Q(\mathbf{x})) \neq 0 $ であることを保証する。
• 不変量の体 $ F(\mathbf{x})^G $ を $ F(P(\mathbf{x})\mathbf{x}(P(\mathbf{x})^{-1} \otimes P(\mathbf{x})^{-1})) $ として導出し、純超越であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限次元代数は、基底に依存する構造定数を用いて、どのように構成的に分類可能か？
• RQ2 $ GL(m,F) $ の作用下での構造定数の空間における有理不変量の体の構造はいかなるものか？
• RQ3 可換および反可換代数に対して、有理不変量の体の完全な基底を明示的に構成可能か？
• RQ4 このような代数の不変量体の超越次元は何か？また、拡張は純超越的か？

主な発見

• $ G $-不変有理関数の体 $ F(\mathbf{x})^G $ は、$ P(\mathbf{x})\mathbf{x}(P(\mathbf{x})^{-1} \otimes P(\mathbf{x})^{-1}) $ の成分によって生成され、完全な不変量系を提供する。
• 可換代数に対しては、$ F(\mathbf{x})^G $ の $ F $ への超越次元は $ \frac{m^2(m-1)}{2} $ であり、拡張は純超越的である。
• $ m \geq 3 $ である反可換代数に対しては、超越次元は $ \frac{m^2(m-3)}{2} $ であり、拡張は依然として純超越的である。
• 分類が完全に有効である、開かつ稠密な $ G $-不変部分集合 $ V_0 = \{ A \in V : \det(P(A))\det(Q(A)) \neq 0 \} $ が定義される。
• 構造定数が $ V_0 $ に属する二つの代数は、$ P(A)A(P(A)^{-1} \otimes P(A)^{-1}) = P(B)B(P(B)^{-1} \otimes P(B)^{-1}) $ であるためかつその場合に限り同型である。
• 本手法により、$ G \times V_{00} $ と $ V_0 $ の間の双正則同型写像が構成され、ここで $ V_{00} = \{ v \in V_0 : P(v) = I_m \} $ である。この写像により、軌道の再構成が可能となる。