A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a $\mathcal{P}$-algebra to be viewed as an $\mathcal{O}$-algebra. We show that the $\mathcal{O}$-algebra (co)homology of a $\mathcal{P}$-algebra may be represented by a certain operadic comodule. Thus filtrations of this comodule result in spectral sequences computing the (co)homology. As a demonstration we study operads with a filtered distributive law; for th…
We will consider P-graph complexes, where P is a cyclic operad. P-graph complexes are natural generalizations of Kontsevich's graph complexes -- for P = the operad for associative algebras it is the complex of ribbon graphs, for P = the operad for commutative associative algebras, the complex of all graphs. We construct a `universal class' in the cohomology of the graph complex with coefficients in a theory. The Kontsevich-type invariant is then an evaluation, on a concrete cyclic algebra, of this class. We also explain some results of M. Penkava and A. Schwarz on the construction of an invari…
We prove that the homology of the Swiss-cheese operad is a Koszul operad. As a consequence, we obtain that the spectral sequence associated to the stratification of the compactification of points on the upper half plane collapses at the second stage, proving a conjecture by A. Voronov. However, we prove that the operad obtained at the second stage differs from the homology of the Swiss-cheese operad.
This paper is a little more detailed version of math-QA/0010017 "Sur l'homologie des espaces de nœuds non-compacts", where the first term of the Vassiliev spectral sequence (computing the homology of the space of long knots in ${\mathbb R}^d$, $d\ge 3$) was described in terms of the Hochschild homology of the Poisson algebras operad for $d$ odd, and of the Gerstenhaber algebras operad for $d$ even. In particular, the bialgebra of chord diagrams arises as some subspace of this homology. The homology in question is the space of characteristic classes for Hochschild cohomology of Poisson (resp. G…
This paper shows that the operad encoding modular operads is Koszul. Using this result we construct higher composition operations on (hairy) graph homology which characterize its rational homotopy type.
First we argue that many BV and homotopy BV structures, including both familiar and new examples, arise from a common underlying construction. The input of this construction is a cyclic operad along with a cyclically invariant Maurer-Cartan element in an associated Lie algebra. Using this result we introduce and study the operad of cyclically invariant operations, with instances arising in cyclic cohomology and $S^1$ equivariant homology. We compute the homology of the cyclically invariant operations; the result being the homology operad of $\mathcal{M}_{0,n+1}$, the uncompactified moduli spac…
The framed n-discs operad fD_n is studied as semidirect product of SO(n) and the little n-discs operad. Our equivariant recognition principle says that a grouplike space acted on by fD_n is equivalent to the n-fold loop space on a SO(n)-space. Examples of fD_2-spaces are nerves of ribbon braided monoidal categories. We compute the rational homology of fD_n. Koszul duality for semidirect product operads of chain complexes is defined and applied to compute the double loop space homology as BV-algebra.
The mapping spaces of the $r$-truncated versions of the $E_n$ operads appear as the $r$-th stage of the Taylor tower for long embedding spaces. It has been shown that their rational homotopy groups can be expressed through graph homology in the limit $r\to \infty$. For finite $r$ only a part of the graph homology appears in the homotopy groups of the Taylor tower at this stage, possibly along with some additional unstable homotopy groups. In this paper we study the convergence properties in some more detail. In particular, we provide bounds for the stage $r$ at which the various graph homology…
Quiver varieties have recently appeared in various different areas of Mathematics such as representation theory of Kac-Moody algebras and quantum groups, instantons on 4-manifolds, and resolutions Kleinian singularities. In this paper, we show that many important affine quiver varieties, e.g., the Calogero-Moser space, can be imbedded as coadjoint orbits in the dual of an appropriate infinite dimensional Lie algebra. In particular, there is an infinitesimally transitive action of the Lie algebra in question on the quiver variety. Our construction is based on an extension of Kontsevich's formal…
We determine the rational homology of the space of long knots in R^d for $d\geq4$. Our main result is that the Vassiliev spectral sequence computing this rational homology collapses at the E^1 page. As a corollary we get that the homology of long knots (modulo immersions) is the Hochschild homology of the Poisson algebras operad with a bracket of degree d-1, which can be obtained as the homology of an explicit graph complex and is in theory completely computable. Our proof is a combination of a relative version of Kontsevich's formality of the little d-disks operad and of Sinha's cosimplicial …
We study a family of Lie algebras {hO} which are defined for cyclic operads O. Using his graph homology theory, Kontsevich identified the homology of two of these Lie algebras (corresponding to the Lie and associative operads) with the cohomology of outer automorphism groups of free groups and mapping class groups of punctured surfaces, respectively. In this paper we introduce a hairy graph homology theory for O. We show that the homology of hO embeds in hairy graph homology via a trace map which generalizes the trace map defined by S. Morita. For the Lie operad we use the trace map to find la…
We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We approach this using the theory of modular operads by introducing a new operad governing associative algebras with involution. This operad is Koszul and we identify the dual dg operad governing A-infinity algebras with involution in terms of Mobius graphs which are a generalisation of ribbon graphs. We then generalise open topological conformal field theories to open Klein topological conformal field theories and give a generat…
The purpose of this paper is to explain and to generalize, in a homotopical way, the result of Barannikov-Kontsevich and Manin which states that the underlying homology groups of some Batalin-Vilkovisky algebras carry a Frobenius manifold structure. To this extent, we first make the minimal model for the operad encoding BV-algebras explicit. Then we prove a homotopy transfer theorem for the associated notion of homotopy BV-algebra. The final result provides an extension of the action of the homology of the Deligne-Mumford-Knudsen moduli space of genus 0 curves on the homology of some BV-algebr…
In two seminal papers M. Kontsevich introduced graph homology as a tool to compute the homology of three infinite dimensional Lie algebras, associated to the three operads `commutative,' `associative' and `Lie.' We generalize his theorem to all cyclic operads, in the process giving a more careful treatment of the construction than in Kontsevich's original papers. We also give a more explicit treatment of the isomorphisms of graph homologies with the homology of moduli space and Out(F_r) outlined by Kontsevich. In [`Infinitesimal operations on chain complexes of graphs', Mathematische Annalen, …
We further study the symplectic Khovanov homology of Seidel and Smith and its generalization to even tangles. This homology theory is a conjectural geometric model for Khovanov homology. In this paper we uncover structures on symplectic Khovanov homology which have analogues in Khovanov homology. To each elementary (as well as minimal) cobordism between two tangles we associate a homomorphism between the symplectic Khovanov homology groups of the two tangles. We define the symplectic analogues $H_{s}^m$ of Khovanov's arc algebras and equip the symplectic Khovanov homology of an $(m,n)$-tangle …
The spectral sequence constructed by V.A.Vassiliev computes the homology of the spaces of non-compact knots in ${\bf R}^d$, $d\ge 3$. In this work the first term of this spectral sequence is described in terms of the homology of the Hochschild complex for the Poisson algebras operad, if d is odd (resp. for the Gerstenhaber algebras operads, if d is even). In particular the bialgebra of chord diagrams arises as some subspace of this homology (in this case d=3). Also a simplification for the calculation of the Vassiliev spectral sequence in the first term is provided.
In this paper we study the homology of 2 versions of the swiss-cheese operad. We prove that the zeroth homology of these two versions are Koszul operads and relate this to strong homotopy Lebiniz pairs and OCHA, defined by Kajiura and Stasheff.
This paper gives a systematic study of matching dialgebras corresponding to the operad $As^{(2)}$ in \cite{Zi} as the only Koszul self dual operad there other than the operads of associative algebras and Poisson algebras. The close relationship of matching dialgebras with semi-homomorphisms and matched pairs of associative algebras are established. By anti-symmetrizing, matching dialgerbas are also shown to give compatible Lie algebras, pre-Lie algebras and PostLie algebras. By the rewriting method, the operad of matching dialgebras is shown to be Koszul and the free objects are constructed in…
The goal of this article is to relate recent developments in cyclic homology theory with the theory of operads and homotopical algebra, and hence to provide a general framework to define and study operations in cyclic homology theory.
Seidel-Smith and Manolescu constructed knot homology theories using symplectic fibrations whose total spaces were certain varieties of matrices. These knot homology theories were associated to $SL(n) $ and tensor products of the standard and dual representations. In this paper, we place their geometric setups in a natural, general framework. For any complex reductive group and any sequence of minuscule dominant weights, we construct a fibration of affine varieties over a configuration space. The middle cohomology of these varieties is isomorphic to the space of invariants in the corresponding …
We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to Koszul operads corresponds to Koszul duality of operads. This in particular gives a conceptual explanation of the appearance of graph cohomology of both the commutative and Lie types in computations of the cohomology of the outer automorphism group of a free group. Another consequence is an explicit computation of dualizing sheaves on spaces of metric graphs, thus characterizing to which extent these spaces are different from oriented orbifolds. We also provide a relation between the cohomology of the…
The goal of this article is to make explicit a structured complex whose homology computes the cohomology of the p-profinite completion of the n-fold loop space of a sphere of dimension d=n-m<n. This complex is defined purely algebraically, in terms of characteristic structures of E_n-operads. Our construction involves: the free complete algebra in one variable associated to any E_n-operad; and an element in this free complete algebra, which is associated to a morphism from the operad of L-infinity algebras to an operadic suspension of our E_n-operad. We deduce our main theorem from: a connecti…
This is a copy of the article published in IMRN (2007). I describe the noncommutative Batalin-Vilkovisky geometry associated naturally with arbitrary modular operad. The classical limit of this geometry is the noncommutative symplectic geometry of the corresponding tree-level cyclic operad. I show, in particular, that the algebras over the Feynman transform of a twisted modular operad P are in one-to-one correspondence with solutions to quantum master equation of Batalin-Vilkovisky geometry on the affine P-manifolds. As an application I give a construction of characteristic classes with values…
The classical Hochschild--Kostant--Rosenberg (HKR) theorem computes the Hochschild homology and cohomology of smooth commutative algebras. In this paper, we generalise this result to other kinds of algebraic structures. Our main insight is that producing HKR isomorphisms for other types of algebras is directly related to computing quasi-free resolutions in the category of left modules over an operad; we establish that an HKR-type result follows as soon as this resolution is diagonally pure. As examples we obtain a permutative and a pre-Lie HKR theorem for smooth commutative and smooth brace al…
We give an explicit formula for a quasi-isomorphism between the operads Hycomm (the homology of the moduli space of stable genus 0 curves) and BV/$Δ$ (the homotopy quotient of Batalin-Vilkovisky operad by the BV-operator). In other words we derive an equivalence of Hycomm-algebras and BV-algebras enhanced with a homotopy that trivializes the BV-operator. These formulas are given in terms of the Givental graphs, and are proved in two different ways. One proof uses the Givental group action, and the other proof goes through a chain of explicit formulas on resolutions of Hycomm and BV. The second…
