[論文レビュー] Representation of Universal Algebra

Aleks Kleyn|arXiv (Cornell University)|Dec 17, 2009

Advanced Algebra and Logic参考文献 2被引用数 8

ひとこと要約

この論文は、普遍代数の表現に関する包括的な理論を構築し、準同型、生成集合、基底を構造的不変量として導入する。この枠組みを、座標化された写像を備えたネストされた代数系である表現の塔へと拡張し、そのような系が階層的基底を有することを示す。例としてアフィン空間、群代数、代数上の加群が挙げられ、テンソル積構造や圏論的表現への応用が示される。

ABSTRACT

Theory of representations of universal algebra is a natural development of the theory of universal algebra. Morphism of the representation is the map that conserve the structure of the representation. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. In the book I considered the notion of tower of representations of $F_i$-algebras, i=1 ..., n, as the set of coordinated representations of $F_i$-algebras.

研究の動機と目的

• 普遍代数理論の自然な拡張として、普遍代数の表現概念を形式化すること。
• 代数的構造を保存する表現の準同型を定義し、ベクトル空間における線形写像を一般化すること。
• 線形代数の概念に類似した生成集合および基底を表現に導入し、構造的解析を可能にすること。
• 座標化された写像を備えたネストされた代数系（表現の塔）としての表現理論を発展させること。
• 特に、自己同型集合における非結合的ループ構造を含む、表現における不変量および自己同型構造を調査すること。

提案手法

• 普遍代数の表現を、代数から集合の自己準同型代数への準同型として定義する。
• 構造を保存する写像としての表現の準同型を導入し、縮小版および自己同型バージョンを含む。
• 代数の塔 $\overline{A} = (A_1, \dots, A_n)$ 及びその表現写像 $\overline{f} = (f_{12}, \dots, f_{n-1,n})$ を、ベクトルおよび行列記法で表現する。
• タプルにおける成分ごとの演算を用いて、塔における代数的演算を定義し、再帰的な表現の構築を可能にする。
• 階層的分解を通じて基底を構成する：例えば、$A_3$ の $A_1$ 上での基底は、$A_3$ の $A_2$ 上および $A_2$ の $A_1$ 上の基底を介して得られ、$\overline{e}_{31\cdot ij} = \overline{e}_{21\cdot i} \overline{e}_{32\cdot j}$ と表される。
• 圏論的表現として $f_{B,C}: A \to \mathrm{Mor}(B,C)$ を適用し、$\mathrm{Mor}(B,C)$ に $\Omega$-代数構造を備えることで、表現と圏論を結びつける。

実験結果

リサーチクエスチョン

• RQ1 普遍代数における準同型の概念を、表現構造を保存するようにどのように一般化できるか。このような準同型が持つ性質は何か。
• RQ2 生成集合および基底が普遍代数の表現において果たす役割は何か。線形代数の概念にどのように一般化されるか。
• RQ3 普遍代数の表現を階層的システム（塔）として整理できるか。また、レベル間での整合性を保証する条件は何か。
• RQ4 多段階の表現において、テンソルに類似した構造はどのように生じるか。また、基底の構成においてその意義は何か。
• RQ5 表現の圏論的解釈は何か。そして、それが代数的および幾何的構造をどのように統一するか。

主な発見

• 表現の準同型は、普遍代数が底にある集合上に作用するのを保存する写像であり、線形写像を一般化する。
• 表現の正則自己同型の集合は、合成の非結合的性質のため、群ではなくループをなす。
• 表現の生成集合は、代数作用の下で底集合を生成する集合であるが、必ずしも最小または線形独立であるとは限らない。
• 基底は、最小性および独立性条件を満たす生成集合である。例えば、クaternion代数 $H$ の標準基底 $\{1, i, j, k\}$ は $\mathbb{R}$ 上の基底である。
• 表現の塔、例えば体上の代数上の加群において、上位の代数の底の基底は $\overline{e}_{31\cdot ij} = \overline{e}_{21\cdot i} \overline{e}_{32\cdot j}$ を通じて構成され、テンソル積と同型である。
• 普遍代数の圏における表現は、$\mathrm{Mor}(B,C)$ に $\Omega$-代数構造を備えた $f_{B,C}: A \to \mathrm{Mor}(B,C)$ として定義され、バンドルの接続理論との関連を生じる。