Homotopy BV-algebra structure on the double cobar construction

DOI10.1016/J.JPAA.2015.10.010MaRDI QIDQ899570zbMATH OpenOpenAlexFDO

Publication date 30 December 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.3150

Hopf algebras and their applications (16T05) Loop space machines and operads in algebraic topology (55P48) Simplicial sets and complexes in algebraic topology (55U10)

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.

Review text

The double loop space \(\Omega^2 X\) inherits a circle action by rotating the equator. This turns the homology \(H_\ast(\Omega^2 X)\) into a Batalin-Vilkovisky (BV) algebra. Since the cobar construction \(\Omega C_\ast(X)\) models the chain complex of the loop space \(\Omega X\), one expects the double cobar construction to be a BV algebra up to homotopy. In this paper, the author verifies this for simplicial sets \(X\) in two instances: either \(X\) is a double suspension, or \(X\) is \(2\)-reduced and the coefficient ring contains \(\mathbb Q\). Due to work of \textit{H. J. Baues} [Compos. Math. 43, 331--341 (1981; Zbl 0478.57027)] \(\Omega C_\ast(X)\) is a differential graded bialgebra and determines the antipode \(S:\Omega C_\ast(X)\to \Omega C_\ast(X)\). On the other hand, \textit{T. Kadeishvili} [Homology Homotopy Appl. 7, No. 2, 109--122 (2005; Zbl 1081.55009)] had shown that \(\Omega^2 C_\ast(X)\) is a homotopy G-algebra. The Connes-Moscovici operator [\textit{A. Connes} and \textit{H. Moscovici}, Lett. Math. Phys. 52, No. 1, 1--28 (2000; Zbl 0974.58006)] then defines a BV operator on double cobar if the antipode \(S\) is involutive. The author defines a family of obstructions to analyze when \(S^2=\mathrm{id}\). For the two cases mentioned before, these obstructions are shown to vanish.

Recommendations

Cites work

Cited in

(4)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q899570)