Connes-Moscovici characteristic map is a Lie algebra morphism

TL;DR

This paper proves that the Connes-Moscovici characteristic map is a Lie algebra morphism and establishes a BV algebra morphism from cotorsion products to Hochschild cohomology, revealing new algebraic structures.

Contribution

It demonstrates the Lie algebra morphism property of the Connes-Moscovici characteristic map and constructs a BV algebra morphism linking cotorsion products to Hochschild cohomology.

Findings

Connes-Moscovici characteristic map is a graded Lie algebra morphism.

Established a BV algebra morphism from cotorsion product to Hochschild cohomology.

Proved injectivity of the BV algebra morphism under certain conditions.

Abstract

Let $H$ be a Hopf algebra with a modular pair in involution $(\Character,1)$. Let $A$ be a (module) algebra over $H$ equipped with a non-degenerated $\Character$-invariant $1$-trace $\tau$. We show that Connes-Moscovici characteristic map $\varphi_\tau:HC^*_{(\Character,1)}(H)\rightarrow HC^*_\lambda(A)$ is a morphism of graded Lie algebras. We also have a morphism $\Phi$ of Batalin-Vilkovisky algebras from the cotorsion product of $H$, $\text{Cotor}_H^*({\Bbbk},{\Bbbk})$, to the Hochschild cohomology of $A$, $HH^*(A,A)$. Let $K$ be both a Hopf algebra and a symmetric Frobenius algebra. Suppose that the square of its antipode is an inner automorphism by a group-like element. Then this morphism of Batalin-Vilkovisky algebras $\Phi:\text{Cotor}_{K^\vee}^*(\mathbb{F},\mathbb{F})\cong \text{Ext}_{K}(\mathbb{F},\mathbb{F}) \hookrightarrow HH^*(K,K)$ is injective.