Related papers: Universal operations in Hochschild homology
We discuss the role of formal deformation theory in quantum field theories and present various ``higher operations'' which control their deformations, (generalized) OPEs, and anomalies. Particular attention is paid to…
We develop a theory of operations on the twisted homology of $E_{\infty}$-algebras, generalizing a classical theory developed by J.P. May. First we describe a framework suitable for discussing twisted coefficients, which requires working…
In this paper we compute the total power operation for the Morava $E$-theory of any finite group up to torsion. Our formula is stated in terms of the $GL_n(Q_p)$-action on the Drinfeld ring of full level structures on the formal group…
We first discuss how open/closed chord diagrams, both with and without marked points, act on appropriate Hochschild complexes possibly coupled with the two-sided cobar complex. Then, in the main part of the paper, we introduce the notion of…
We analyze the algebraic structures of G--Frobenius algebras which are the algebras associated to global group quotient objects. Here G is any finite group. These algebras turn out to be modules over the Drinfeld double of the group ring…
Let $A$ be a commutative algebra over the field ${\mathbb F}_2 = {\mathbb Z}/2$. We show that there is a natural algebra homomorphism $\ell (A) \to HC^-_*(A)$ which is an isomorphism when $A$ is a smooth algebra. Thus, the functor $\ell$…
We prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains…
We construct a 2-colored operad G^+ which, on the one hand, extends the operad G governing homotopy Gerstenhaber algebras and, on the other hand, extends the 2-colored operad governing open-closed homotopy algebras (OCHA). We show that…
We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial…
We show that the topological Hochschild homology THH(R of an E_n-ring spectrum R is an E_{n-1}-ring spectrum. The proof is based on the fact that the tensor product of the operad Ass for monoid structures and the the little n-cubes operad…
Generalizing work of Doi and of Idrissi, we define a coHochschild homology theory for chain coalgebras over any commutative ring and prove its naturality with respect to morphisms of chain coalgebras up to strong homotopy. As a consequence…
In this paper we prove that, in the category of chain complexes, partial algebras can be functorially replaced by quasi-isomorphic algebras. In particular, partial algebras contain all of the important homological and homotopical…
Operadic tangent cohomology generalizes the existing cohomology theories of Chevalley--Eilenberg, Hochschild, and Harrison to address the deformation theory of general types of algebras through gadgets known as deformation complexes. The…
We introduce a notion of $n$-commutativity ($0\le n\le \infty$) for cosimplicial monoids in a symmetric monoidal category ${\bf V}$, where $n=0$ corresponds to just cosimplicial monoids in ${\bf V,}$ while $n=\infty$ corresponds to…
In his seminal paper "Formality conjecture", M. Kontsevich introduced a graph complex $GC_{1ve}$ closely connected with the problem of constructing a formality quasi-isomorphism for Hochschild cochains. In this paper, we express the…
We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us minimal models for their deformation…
For any $E_\infty$ ring spectrum $E$, we show that there is an algebra $\mathrm{Pow}(E)$ of stable power operations that acts naturally on the underlying spectrum of any $E$-algebra. Further, we show that there are maps of rings $E \to…
We consider a family of norms (called operator E-norms) on the algebra $B(H)$ of all bounded operators on a separable Hilbert space $H$ induced by a positive densely defined operator $G$ on $H$. Each norm of this family produces the same…
We construct a PROP which encodes 2D-TQFTs with a grading. This defines a graded Frobenius algebra as algebras over this PROP. We also give a description of graded Frobenius algebras in terms of maps and relations. This structure naturally…
Let $A$ be a unital associative algebra over a field $k$, $E$ a vector space and $\pi : E \to A$ a surjective linear map with $V = {\rm Ker} (\pi)$. All algebra structures on $E$ such that $\pi : E \to A$ becomes an algebra map are…