相关论文: PROPped up graph cohomology
We compute numerically the homology of several graph complexes in low loop orders, extending previous results.
We extend the Koszul duality theory of associative algebras to algebras over an operad. Recall that in the classical case, this Koszul duality theory relies on an important chain complex: the Koszul complex. We show that the cotangent…
The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of…
The mapping class group of a closed surface of genus $g$ is an extension of the Torelli group by the symplectic group. This leads to two natural problems: (a) compute (stably) the symplectic decomposition of the lower central series of the…
The deformation complex of an algebra over a colored PROP P is defined in terms of a minimal (or, more generally, cofibrant) model of P. It is shown that it carries the structure of an L_\infty-algebra which induces a graded Lie bracket on…
We establish a new and surprisingly strong link between two previously unrelated theories: the theory of moduli spaces of curves ${\mathcal M}_{g,n}$ (which, according to Penner, is controlled by the ribbon graph complex) and the homotopy…
In this thesis, we generalize the Koszul duality for associative algebras and operads to PROPs. The operads are algebraic objects that represent the operations with multiple inputs but only one output acting on a certain type of algebras. A…
In this short note, we show that the cohomology of an algebra entwined with a coalgebra as defined by T. Brzezi\'nski (J. Algebra 235 (2001), no. 1, 176--202; arXiv:math.RA/9909108) computes the Hochschild cohomology of the subalgebra of…
The purpose of this paper is to show how Positselski's relative nonhomogeneous Koszul duality theory applies when studying the linear category underlying the PROP associated to a (non-augmented) operad of a certain form, in particular…
The dual Kontsevich cycles in the double dual of associative graph homology correspond to polynomials in the Miller-Morita-Mumford classes in the integral cohomology of mapping class groups. I explain how the coefficients of these…
The algebras $A(\Gamma)$, where $\Gamma$ is a directed layered graph, were first constructed by I. Gelfand, S. Serconek, V. Retakh and R. Wilson. These algebras are generalizations of the algebras $Q_n$, which are related to factorizations…
The Hom-complexes were introduced by Lovasz to study topological obstructions to graph colorings. It was conjectured by Babson and Kozlov, and proved by Cukic and Kozlov, that Hom(G,K_n) is (n-d-2)-connected, where d is the maximal degree…
We establish an isomorphism between the Grothendieck-Teichm\"uller Lie algebra $\mathfrak{grt}_1$ in depth two modulo higher depth and the cohomology of the two-loop part of the graph complex of internally connected graphs…
The main result of this paper is a proof of the following conjecture of Babson & Kozlov: Theorem. Let G be a graph of maximal valency d, then the complex Hom(G,K_n) is at least (n-d-2)-connected. Here Hom(-,-) denotes the polyhedral complex…
The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute…
Aguiar and Mahajan introduced a cohomology theory for the twisted coalgebras of Joyal, with particular interest in the computation of their second cohomology group, which gives rise to their deformations. We use the Koszul duality theory…
In this paper we consider the classification of minimal cellular structures of spaces of topological complexity two under some hypotheses on there graded cohomological algebra. This continues the method used by M.Grant et al. in [1].
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,…
We give a conceptual formulation of Kontsevich's `dual construction' producing graph cohomology classes from a differential graded Frobenius algebra with an odd scalar product. Our construction -- whilst equivalent to the original one -- is…
The neighborhood complex of a graph was introduced by Lov\'asz to provide topological lower bounds on chromatic number. More general homomorphism complexes of graphs were further studied by Babson and Kozlov. Such `Hom complexes' are also…