Universal Coacting Hopf Algebra of a finite-dimensional Algebra over an Operad

TL;DR

This paper constructs a universal coacting Hopf algebra for finite-dimensional algebras over symmetric operads, generalizing previous cases and enabling new algebraic and operadic applications.

Contribution

It introduces a universal coacting Hopf algebra construction for any finite-dimensional algebra over a symmetric operad, extending existing frameworks to graded and $k$-ary quadratic algebras.

Findings

Constructed a universal algebra $\\mathcal{C}(\mathfrak{a})$ for finite-dimensional $\mathcal{P}$-algebras.

Established a universal coacting bialgebra and Hopf algebra structure on $\mathcal{C}(\mathfrak{a})$.

Characterized automorphisms and gradings of $\mathcal{P}$-algebras in terms of the universal algebra.

Abstract

A. L. Agore and G. Militaru constructed a new invariant (a ``universal coacting Hopf algebra") for some finite-dimensional binary quadratic algebras such as Lie/Leibniz algebras, associative algebras, and Poisson algebras with prominent applications. In this paper, we give a construction of universal coacting bi/Hopf algebra for any finite-dimensional algebra over a symmetric operad $\mathcal{P}$. Precisely, we construct a universal algebra $\mathcal{C}(\mathfrak{a})$ for a finite-dimensional $\mathcal{P}$-algebra $\mathfrak{a}$. Furthermore, we show that the category of finite dimensional $\mathcal{P}$-algebras is enriched over the dual category of commutative algebras. This enrichment gives a unique bialgebra structure on the universal algebra $\mathcal{C}(\mathfrak{a})$, making it a universal coacting bialgebra of the $\mathcal{P}$-algebra $\mathfrak{a}$. Subsequently, we obtain a universal coacting Hopf algebra of the $\mathcal{P}$-algebra $\mathfrak{a}$. We also show that universal coacting Hopf algebra constructed here coincides with the existing cases of Lie/Leibniz, Poisson, and associative algebras. Furthermore, our operadic approach helps us construct a universal coacting algebra for algebras over a graded symmetric operad (graded algebras with finite-dimensional homogeneous components). This allows us to discuss the universal constructions for $k$-ary quadratic algebras and graded algebras like graded Leibniz, graded Poisson algebras, Gerstenhaber algebras, BV algebras, etc. In the end, we characterize $\mathcal{P}$-algebra automorphisms in terms of the invertible group-like elements of the finite dual bialgebra $\mathcal{C}(\mathfrak{a})$. We also give a characterization of the abelian group gradings of finite dimensional $\mathcal{P}$-algebras.