[論文レビュー] Hom-Hopf algebras

S. Caenepeel, Isar Goyvaerts|arXiv (Cornell University)|Jul 2, 2009

Advanced Topics in Algebra被引用数 12

ひとこと要約

この論文は、ホモ・代数系、ホモ・コ・代数系、ホモ・リー代数系、ホモ・ホップ代数系を、圏論的枠組み内で統一する対称モノイダル圏の枠組みを導入する。これらのホモ構造が自然に代数的構造として生じる圏を構成することで、ホモ構造の整合性と相互関係を普遍的性質によって確立し、ホモ構造の圏論的基盤を提供する。

ABSTRACT

Hom-structures (Lie algebras, algebras, coalgebras, Hopf algebras) have been investigated in the literature recently. We study Hom-structures from the point of view of monoidal categories; in particular, we introduce a symmetric monoidal category such that Hom-algebras coincide with algebras in this monoidal category, and similar properties for coalgebras, Hopf algebras and Lie algebras.

研究の動機と目的

• 対称モノイダル圏を用いてホモ構造の圏論的枠組みを確立すること。
• ホモ代数系がその圏内で内部的に定義される代数として正確に得られるような、対称モノイダル圏を定義すること。
• ホモコ・代数系、ホモ・リー代数系、ホモ・ホップ代数系への圏論的アプローチを拡張すること。
• さまざまなホモ構造を共通の圏論的言語で統一し、体系的な研究と構成を可能にすること。
• モノイダル圏論の理論を活用して、ホモ構造の概念的基盤を提供すること。

提案手法

• ホモ構造のねじれ写像を用いて定義されるテンソル積と単位を備えた対称モノイダル圏を構成すること。
• この対称モノイダル圏におけるモノイドとしてホモ代数系を定義し、標準的な圏論的定義に従う。
• 同じ圏におけるコモノイドとしてホモコ・代数系への構成を拡張すること。
• 同じ圏論的枠組みを用いて、この圏内で内部的に定義されるリー代数構造からホモ・リー代数系を定義すること。
• ホモ・ホップ代数系を、この圏におけるアンチポーダル写像を備えたバイアルゲブラとして定義し、圏論的にホップ代数の公理を満たすようにすること。
• 得られた構造が、文献に記載された標準的定義と一致することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 ホモ代数系はどのようにして、対称モノイダル圏内の代数として特徴付けられるか？
• RQ2 ホモコ・代数系とホモ・リー代数系の整合性を支える圏論的構造は何か？
• RQ3 ホモ・ホップ代数系は、モノイダル圏におけるアンチポーダル写像を備えたバイアルゲブラとして一様に定義可能か？
• RQ4 ねじれ写像は、この圏のモノイダル構造にどのように寄与しているか？
• RQ5 この圏論的枠組みは、さまざまなホモ構造をどのように統一的理論として結びつけるか？

主な発見

• ホモ代数系は、ねじれ写像から構成された対称モノイダル圏におけるモノイドとして正確に特徴付けられる。
• ホモコ・代数系は、同じ対称モノイダル圏におけるコモノイドとして得られる。
• ホモ・リー代数系は、この圏論的枠組み内でのリー代数対象として生じる。
• ホモ・ホップ代数系は、この圏におけるアンチポーダル写像を備えたバイアルゲブラとして定義され、標準的公理が圏論的設定で満たされる。
• このフレームワーク全体が、モノイダル圏論を用いてホモ構造の統一的で概念的な基盤を提供する。