[論文レビュー] Hom-algebras via PROPs

Donald Yau|arXiv (Cornell University)|Mar 28, 2011

Advanced Topics in Algebra参考文献 24被引用数 6

ひとこと要約

本稿では、PROPsを用いた一様な枠組みを導入し、ホム代数の統一的枠組みを提示する。既存の構成を一般化するため、通常のPROPs上のホム代数は、自己準同型によるねじれ操作によって得られることを示している。主な貢献は、既知の結果を回復・拡張する普遍的なねじれ構成法であり、古典的代数から自己準同型による変形によって得られるホム代数について、部分的な分類定理を導出している。

ABSTRACT

Hom-algebras over a PROP are defined and studied. Several twisting constructions for Hom-algebras over a large class of PROPs are proved, generalizing many such results in the literature. Partial classification of Hom-algebras over a PROP is obtained.

研究の動機と目的

• ホム代数の一般な代数的枠組みを確立し、ホムリーやホム結合的、ホム双代数といった多様なタイプを統一すること。
• 文献において繰り返し現れる、古典的代数を自己準同型に沿ってねじることによるホム代数の構成というテーマに対処すること。
• 古典的代数から自己準同型を用いてホム代数を体系的に生成する方法を提供し、既知の結果を一般化すること。
• 特に、ねじれ写像が元の代数的構造の準同型である場合に、このねじれ構成から得られるホム代数の部分的分類をすること。

提案手法

• 本稿は、PROPsの圏論的道具立てを用いて、PROPs上の代数を定義し、古典的代数的構造を一般化する。
• 定義の公理における恒等写像をねじれ写像に置き換えることで、PROPs上のホム代数を導入し、入出力添え字の分割によって選択が制御される。
• 主な構成法は、P代数Vの自己準同型βを用いて、作用にβ⊗q、ねじれ写像にβを適用することで新しいホム-P代数構造を定義すること。
• この枠組みは、ねじれ写像と代数的演算の整合性を保証する「通常のPROPs」の概念に依存している。
• 自由PROPsは生成子と関係式（FX/⟨R⟩）を用いて構成され、代数的構造の体系的定義を可能にする。
• 本稿は、βがP代数の準同型であるとき、ねじれ構成が適切に定義されたホム代数構造をもたらすことを証明し、自己準同型の共轭類による同型条件を確立している。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、ホム代数の多様なタイプを、単一の代数的枠組みに統一的に扱えるか？
• RQ2 古典的代数を自己準同型に沿ってねじったときに、それが有効なホム代数を定めるために必要な条件は何か？
• RQ3 通常のPROPs上での普遍的ねじれ構成が、文献に既に知られている結果を特別な場合として回復できるか？
• RQ4 同一のP代数から得られるホム代数の同型類の範囲はどの程度か？
• RQ5 同じP代数から異なる自己準同型によって得られるホム代数は、同型の意味でどのように分類できるか？

主な発見

• 通常のPROPs上での普遍的ねじれ構成は、任意のP代数と自己準同型βからホム-P代数を生成し、文献に既知の結果を一般化する。
• 与えられたP代数Vと自己準同型βに対して、得られるホム-P代数構造は、作用にβ⊗q、ねじれ写像にβを適用することで一意に定まる。
• βがP代数の自己準同型である場合、対応するホム-P代数の同型類はAutP(V)の共轭類と一対一対応し、特定の古典的代数に対して非可算個の同型でないホム代数が得られる。
• 部分的分類結果（補題5.9）は、βとβ′から得られる2つのホム-P代数が同型であるための必要十分条件が、γ∘β = β′∘γを満たすP代数の同型γが存在することであることを示している。
• この枠組みは、既知の結果を回復・拡張しており、例えば3次元ヘイゼンベルク代数やsl₂に対して、非可算個の同型類のホムリーアルゲブラが存在することを示している。
• この構成は函手的であり、PROPs構造と整合的であり、すべての導出されたホム代数が正しいホム型公理を満たしていることを保証している。