Homotopy BV-algebra structure on the double cobar construction

Publication date 30 December 2015

Abstract: We show that the double cobar construction,

O m e g a^{2} C_{*} (X)

, of a simplicial set

X

is a homotopy BV-algebra if

X

is a double suspension, or if

X

is 2-reduced and the coefficient ring contains the ring of rational numbers

m a t h b b Q

. Indeed, the Connes-Moscovici operator defines the desired homotopy BV-algebra structure on

O m e g a^{2} C_{*} (X)

when the antipode

S : O m e g a C_{*} (X) o O m e g a C_{*} (X)

is involutive. We proceed by defining a family of obstructions

O_{n} : w i d e t i l d e C_{*} (X) o w i d e t i l d e C_{*} (X)^{o t i m e s n}

,

n g e q 2

measuring the difference

S^{2} - I d

. When

X

is a suspension, the only obstruction remaining is

O_{2} := E^{1, 1} - a u E^{1, 1}

where

E^{1, 1}

is the dual of the

s m i l e_{1}

-product. When

X

is a double suspension the obstructions vanish.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Homotopy BV-algebra structure on the double cobar construction