Finitely $C^\infty$-generated associative and Hopf algebras

Oleg Aristov
2024-10-02
Abstract:We introduce finitely $C^\infty$-generated algebras, which can be treated as `algebras of functions' on non-commutative $C^\infty$-differentiable spaces. Our approach is based on the category of algebras that are projective limits of real Banach algebras of polynomial growth. We prove the existence of some universal constructions in this and some similar categories. By analogy with holomorphically finitely generated algebras of Pirkovskii, a finitely $C^\infty$-generated algebra is defined as a quotient of a finite-rank algebra of `free $C^\infty$-functions'. The latter notion was introduced in a previous article of the author. We prove in a full generality a structure result for `free $C^\infty$-functions', which was announced in that article and proved in dimension at most $2$. The central result asserts that the projective tensor product of a finite tuple of finitely $C^\infty$-generated algebras is finitely $C^\infty$-generated. In particular, this makes it natural to consider $C^\infty$-finitely generated topological Hopf algebras. Furthermore, a construction called `envelope' provides a functor from the category of affine real Hopf algebras to the category of $C^\infty$-finitely generated Hopf algebras.
Functional Analysis
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the combination of non - commutative differential geometry and algebraic structures. Specifically: 1. **Define and study finitely - generated \(C^\infty\)-algebras**: The author introduced the concept of "finitely - generated \(C^\infty\)-algebras". These algebras can be regarded as function algebras on non - commutative \(C^\infty\)-differentiable manifolds. Such algebras are defined by the quotient of free \(C^\infty\)-function algebras of finite rank. 2. **Prove the structure theorem**: The author proved the structure theorem of finitely - generated \(C^\infty\)-algebras under certain conditions, especially for the case of a finite number of generators. This result was announced in the previous article, but a complete proof is given in this paper. 3. **Explore the properties of tensor products**: A central result of the paper is to prove that the projective tensor product of finitely - generated \(C^\infty\)-algebras is still a finitely - generated \(C^\infty\)-algebra. This property makes it possible to consider \(C^\infty\)-finitely - generated topological Hopf algebras. 4. **Construct the enveloping functor**: The author defined a functor from the category of affine real Hopf algebras to the category of \(C^\infty\)-finitely - generated Hopf algebras, called "enveloping". This enveloping functor preserves the structure of Hopf algebras. 5. **The relationship with non - commutative differential geometry**: The paper discussed the relationship between \(C^\infty\)-finitely - generated algebras and non - commutative differential geometry. Although it is not yet clear how these algebras are related to Connes' non - commutative differential geometry theory, both use \(C^\infty\) function calculus. 6. **Specific examples**: The paper also provides some specific examples, including the \(C^\infty\)-deformation of the two - dimensional non - Abelian real Lie algebra \(\mathfrak{af}_1\). Overall, this paper aims to provide new algebraic tools for non - commutative differential geometry by introducing and studying finitely - generated \(C^\infty\)-algebras, and to explore the applications of these tools in Hopf algebras and other related fields.