Related papers: Formality of the chain operad of framed little dis…

It is shown that every algebra over the chain operad of the little disks operad gives naturally rise to a Hertling-Manin's F-manifold, that is a smooth manifold equipped with an integrable graded commutative associative product on the…

We use Galois group actions on \'etale cohomology to prove results of formality for dg-operads and dg-algebras with torsion coefficients. Our theory applies, among other related constructions, to the dg-operad of singular chains on the…

The suggested operator manifold formalism enables to develop an approach to the unification of the geometry and the field theory. We also elaborate the formalism of operator multimanifold yielding the multiworld geometry involving the…

We study configuration spaces of framed points on oriented closed smooth manifolds. Such configuration spaces admit natural actions of the framed little discs operads, that play an important role in the study of embedding spaces of…

We prove Kontsevich's cyclic formality conjecture.

We present a Coq formalisation of the small-step operational semantics of Jafun, a small Java-like language with classes. This format of semantics makes it possible to naturally specify and prove invariants that should hold at each…

We give a popular introduction to formality theorems for Hochschild complexes and their applications. We review some of the recent results and prove that the truncated Hochschild cochain complex of a polynomial algebra is non-formal.

We show that the little discs operad $D_2$ is not formal over $\mathbb{F}_2$ as a planar (or non-symmetric) operad. We compute explicitly the homological obstruction using as chain model the cells of the spineless cacti operad

We propose a $\lambda$-calculus-style formal language, called the $\mu$-syntax, as a lightweight representation of the structure of cyclic operads. We illustrate the rewriting methods behind the formalism by giving a complete step-by-step…

We introduce a notion of oriented dialgebra and develop a cohomology theory for oriented dialgebras based on the possibility to mix the standard chain complexes computing group cohomology and associative dialgebra cohomology. We also…

This is a revision of a paper first posted June 4, 2001. It will appear in the Journal of the AMS. In this paper we construct a small $E_\infty$ chain operad $\S$ which acts naturally on the normalized cochains $S^*X$ of a topological…

We construct a model for the (non-unital) S^1-framed little 2d-dimensional disks operad for any positive integer d using logarithmic geometry. We also show that the unframed little 2d-dimensional disks operad has a model which can be…

Let O be a cyclic topological operad with multiplication. In the framework of the cosimplicial machinery by McClure and Smith, we prove that the totalization of the cosimplicial space associated to O has an action of an operad equivalent to…

We define a canonical form for piecewise defined functions. We show that this has a wider range of application as well as better complexity properties than previous work.

This paper proves Koszul duality for coloured operads and uses it to introduce strongly homotopy operads as a suitable homotopy invariant version of operads. It shows that rational chains on configuration spaces of points in the plane form…

We develop a natural generalization of vector-valued frame theory, we term operator-valued frame theory, using operator-algebraic methods. This extends work of the second author and D. Han which can be viewed as the multiplicity one case…

Let $\mathsf P$ be an operad acted upon by a group $G$, and let $\mathsf Q=\mathsf P\rtimes G$ be the corresponding framed operad. We relate the homotopy automorphism groups of $\mathsf P$ and $\mathsf Q$. We apply the result to compute the…

This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic geometry. As a consequence of our…

We describe a canonical form for linear differential operators that are formally self-adjoint or formally skew-adjoint.

We state the analogs of Kontsevich's formality conjecture for Hochschild and cyclic chains, as well as their