[论文解读] Envelopes and imprints in categories

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

Advanced Topics in Algebra被引用 3

一句话总结

本文将包络与精化作为经典构造（如Stone-Cech紧化、普遍包络代数和bornologification）的范畴推广。它建立了这些构造作为函子存在的条件，为非交换群的对偶理论提供了基础框架，其中群代数自然成为霍普夫代数，而经典变换则被重新解释为包络。

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 如何将石通-蔡普紧化或普遍包络代数等经典构造统一于单一范畴框架下？
• RQ3 对偶在通过包络构造非交换群理论中起什么作用？
• RQ4 在该范畴设定下，霍普夫代数如何作为群代数的类比出现？
• RQ5 在何种意义上，傅里叶变换与盖尔范德变换可被理解为相对于特定代数类的包络？

主要发现

• 包络与精化通过普遍性质在一般范畴中定义，推广了完备化与饱和化操作。
• 包络与精化作为函子存在的条件，由态射类的合适闭包与扩张条件刻画。
• 该框架实现了对非交换群对偶理论的统一处理，其中群代数自然成为霍普夫代数。
• 经典变换（如傅里叶变换与盖尔范德变换）被证明是相对于预设代数类的包络。
• 范畴方法揭示了泛分析、拓扑学与李理论中看似不同的构造之间的结构相似性。