Associative $H$-pseudoalgebras with a semigroup

Abstract

Family algebraic structures indexed by a semigroup arise naturally in renormalizations of quantum field theory. In this paper, we first define the notion of $\hat{I}\text{c◯}$-associative $H$-pseudoalgebra, where the operations are indexed by pairs of elements from a semigroup $\hat{I}\text{c◯}$. Then we construct $\hat{I}\text{c◯}$-associative $H$-pseudoalgebras from associative $H$-pseudoalgebras, $\hat{I}\text{c◯}$-associative algebras, Rota-Baxter family algebras, $\hat{I}\text{c◯}$-type $H$-pseudoalgebras and family-type $H$-pseudoalgebras. Moreover, we investigate the cohomology of $\hat{I}\text{c◯}$-associative $H$-pseudoalgebras and establish that it both induces the cohomology of pseudo-$\mathcal{O}$-operator families and governs the associated formal deformations. As an application, we show that the first-order deformation of a commutative $\hat{I}\text{c◯}$-associative $H$-pseudoalgebra yields an $\hat{I}\text{c◯}$-Poisson $H$-pseudoalgebra.