[論文レビュー] Hopf algebras of endomorphisms of Hopf algebras

Michiel Hazewinkel|ArXiv.org|Oct 16, 2004

Advanced Combinatorial Mathematics参考文献 14被引用数 8

ひとこと要約

この論文は、非可換対称関数の一般化、特にMalvenuto-Poirier-Reutenauer (MPR) 量子代数を理解するための統一的枠組みとして、量子代数の自己準同型の量子代数を導入する。MPRを自己準同型の量子代数として解釈することにより、その自己双対性と奇妙な構造が明確になり、NSymm から MPR への代数的再び、および MPR から QSymm への再びが調査される。

ABSTRACT

In the last decennia two generalizations of the Hopf algebra of symmetric functions have appeared and shown themselves important, the Hopf algebra of noncommutative symmetric functions NSymm and the Hopf algebra of quasisymmetric functions QSymm. It has also become clear that it is important to understand the noncommutative versions of such important structures as Symm the Hopf algebra of symmetric functions. Not least because the right noncommmutative versions are often more beautiful than the commutaive ones (not all cluttered up with counting coefficients). NSymm and QSymm are not truly the full noncommutative generalizations. One is maximally noncommutative but cocommutative, the other is maximally non cocommutative but commutative. There is a common, selfdual generalization, the Hopf algebra of permutations of Malvenuto, Poirier, and Reutenauer (MPR). This one is, I feel, best understood as a Hopf algebra of endomorphisms. In any case, this point of view suggests vast generalizations leading to the Hopf algebras of endomorphisms and word Hopf algebras with which this paper is concerned. This point of view also sheds light on the somewhat mysterious formulas of MPR and on the question where all the extra structure (such as autoduality) comes from. The paper concludes with a few sections on the structure of MPR and the question of algebra retractions of the natural inclusion of Hopf algebras of NSymm into MPR and section of the naural projection of MPR onto QSymm.

研究の動機と目的

• NSymm や QSymm を超える非可換対称関数の一般化を理解するための概念的枠組みを構築すること。
• MPR 量子代数の自己双対性と極めて構造的な性質を、自己準同型の量子代数としての実現によって説明すること。
• MPR に見られる豊かな代数的構造、特に自己双対性と組合せ的公式の起源を明確にすること。
• NSymm → MPR の自然な包含写像と、MPR → QSymm の自然な射影写像に対する代数的再びを調査すること。
• 自己準同型の量子代数と語の量子代数をより広範な一般化として提示し、今後の研究の基盤とすること。

提案手法

• 与えられた量子代数の自己準同型の量子代数の構成を、普遍的性質と函手的構成を用いて形式化する。
• MPR 量子代数を、量子代数の圏における特定の自由対象の自己準同型の量子代数として分析する。
• 自己準同型代数の視点を応用して、MPR の組合せ的公式と自己双対性を説明する。
• カテゴリカルおよび代数的技法を用いて、NSymm、MPR、QSymm 間の包含写像と射影写像を研究する。
• 語の量子代数の理論を、自己準同型構成の一般化として用い、非可換対称性を捉える。
• ホモロジー論的および表現論的技法を用いて、自己準同型の量子代数の文脈における再びと代数的構造を調査する。

実験結果

リサーチクエスチョン

• RQ1 Malvenuto-Poirier-Reutenauer (MPR) 量子代数は、どのように自然に自己準同型の量子代数として解釈できるか？
• RQ2 自己準同型の視点から、MPR 量子代数の自己双対性と豊かな組合せ的構造はどのように説明できるか？
• RQ3 NSymm から MPR への包含写像の代数的性質は何か？また、これは再びを許すか？
• RQ4 MPR から QSymm への自然な射影写像は、代数的写像としてのセクションまたは再びを許すか？
• RQ5 自己準同型の量子代数と語の量子代数の概念は、非可換設定における対称関数理論をどのように一般化するか？

主な発見

• MPR 量子代数は、1生成子の自由量子代数の自己準同型の量子代数として自然に実現され、その自己双対性と普遍的性質が説明される。
• 自己準同型代数の視点により、MPR に見られる奇妙な組合せ的公式の起源が明確になり、特に置換とその双対に関する公式が解明される。
• NSymm から MPR への包含写像は、ホップ代数の再びを許さないため、両者の間には深い構造的差異があることが示される。
• MPR から QSymm への射影写像についても、ホップ代数のセクションを許さないため、QSymm はホップ代数の圏において MPR の直接和成分ではないことが示唆される。
• 自己準同型の量子代数の枠組みは、NSymm、QSymm、MPR を統一的に理解する視点を提供し、MPR は自己双対的で、非可換かつ非ココムタティブ性が最大限に発現した一般化である。
• 語の量子代数の理論は、自己準同型の量子代数の自然な一般化として現れ、非可換代数的構造の広範なクラスを捉えるためのスコープを拡張する。