[論文レビュー] Envelopes and imprints in categories

S. S. Akbarov|arXiv (Cornell University)|Oct 10, 2011

Advanced Topics in Algebra被引用数 3

ひとこと要約

この論文は、Stone-Cechコンパクト化、普遍包あらゆる代数、生来化など古典的構成の圏論的一般化として、エンベロープとリファインメントを導入する。これらの構成が函手として存在するための条件を確立し、非可換群における双対性理論の基礎的枠組みを提供する。その中で群代数はホップ代数となるし、古典的変換はエンベロープとして再解釈される。

ABSTRACT

An envelope in a category is a construction that generalizes the operations of exterior completion, like completion of a locally convex space, or Stone-Cech compactification of a topological space, or universal enveloping algebra of a Lie algebra. Dually, a refinement generalizes operations of interior enrichment, like bornologification (or saturation) of a locally convex space, or simply connected covering of a Lie group. In this paper we define envelopes and refinements in abstract categories and discuss the conditions under which these constructions exist and are functors. The aim of the exposition is to build a fundament for duality theories of non-commutative groups based on the idea of envelope. The advantage of this approach is that in the arising theories the analogs of group algebras are Hopf algebras. At the same time the classical Fourier and Gelfand transforms are interpreted as envelopes with respect to the prearranged classes of algebras.

研究の動機と目的

• 完成および飽和操作の一般化として、エンベロープとリファインメントを圏論的構成として形式化すること。
• 任意の圏においてエンベロープとリファインメントが函手として存在するための条件を同定すること。
• 非可換群の双対性理論の圏論的基礎を確立すること。
• このような理論において、群代数が自然にホップ代数となることの証明。
• フーリエ変換やゲルファンド変換といった古典的変換が、特定の代数クラスに関してエンベロープとして再解釈されることの提示。

提案手法

• 普遍的性質を用いて、抽象圏におけるエンベロープとリファインメントを定義する。
• 適切な準同型類を用いて、エンベロープおよびリファインメントの存在条件を特徴付ける。
• 双対性原理を用いて、エンベロープ（外部的完成）とリファインメント（内部的豊かさ）を関連付ける。
• 局所凸空間、位相空間、リー代数などの既知の数学的対象にこの構成を適用し、一貫性を検証する。
• 双対性理論における得られた構造が、群代数の類似としてホップ代数を生じることを示す。
• 古典的変換を、事前に定められた代数クラスに関してエンベロープとして解釈する。

実験結果

リサーチクエスチョン

• RQ1 どのような圏論的条件下でエンベロープとリファインメントが函手として存在するか？
• RQ2 Stone-Cechコンパクト化や普遍包あらゆる代数といった古典的構成が、同一の圏論的枠組みで統一可能か？
• RQ3 エンベロープを用いた非可換群理論の構築において、双対性の果たす役割は何か？
• RQ4 この圏論的設定において、ホップ代数が群代数の類似としてどのように生じるか？
• RQ5 フーリエ変換やゲルファンド変換が、特定の代数的クラスに関してエンベロープとして理解される、どのような意味でか？

主な発見

• エンベロープとリファインメントは普遍的性質を用いて一般の圏で定義され、完成および飽和操作を一般化する。
• エンベロープおよびリファインメントが函手として存在するための条件は、準同型類の適切な閉包性および拡張条件によって特徴付けられる。
• この枠組みにより、群代数が自然にホップ代数となる非可換群における双対性理論の統一的取り扱いが可能になる。
• フーリエ変換やゲルファンド変換といった古典的変換が、事前に定められた代数クラスに関してエンベロープとして生じることが示された。
• 圏論的アプローチにより、関数解析学、位相幾何学、リー理論における見かけ上異なる構成の間の構造的類似性が明らかになった。