Showing 1–50 of 61 results for author: Dotsenko, V

Distributive lattices of varieties of Novikov algebras

Authors: Vladimir Dotsenko, Bekzat Zhakhayev

Abstract: We prove that a variety of Novikov algebras has a distributive lattice of subvarieties if and only if the lattice of its subvarieties defined by identities of degree three is distributive, thus answering, in the case of Novikov algebras, a question of Bokut from about fifty years ago. As a byproduct, we classify all Koszul operads with one binary generator of which the Novikov operad is a quotient… ▽ More We prove that a variety of Novikov algebras has a distributive lattice of subvarieties if and only if the lattice of its subvarieties defined by identities of degree three is distributive, thus answering, in the case of Novikov algebras, a question of Bokut from about fifty years ago. As a byproduct, we classify all Koszul operads with one binary generator of which the Novikov operad is a quotient. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: 32 pages, comments are welcome

Chain rule symmetry for singular SPDEs

Authors: Yvain Bruned, Vladimir Dotsenko

Abstract: We characterise the chain rule symmetry for the geometric stochastic heat equations in the full subcritical regime for Gaussian and non-Gaussian noises. We show that the renormalised counter-terms that give a solution invariant under changes of coordinates are generated by iterations of covariant derivatives. The result was known only for space-time white noises, with a very specific proof that so… ▽ More We characterise the chain rule symmetry for the geometric stochastic heat equations in the full subcritical regime for Gaussian and non-Gaussian noises. We show that the renormalised counter-terms that give a solution invariant under changes of coordinates are generated by iterations of covariant derivatives. The result was known only for space-time white noises, with a very specific proof that so far could not be extended to the general case. The key idea of the present paper is to change the perspective on several levels and to use ideas coming from operad theory and homological algebra. Concretely, we introduce the operad of Christoffel trees that captures the counter-terms of the renormalised equation; our main new insight is to describe the space of invariant terms homologically, using a suitable perturbation of the differential of the operadic twisting of that operad. As a consequence, we obtain the correct renormalisation for the quasi-linear KPZ equation in the subcritical regime completing the programme started by Hairer and Gerencser. Previously, the main algebraic tool used in the study of singular SPDEs were Hopf algebras of decorated trees; our work shows that operad theory and homological algebra add new powerful tools with immediate applications to open problems that were out of reach by other methods. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: 42 pages

Categorification of quiver diagonalization and Koszul algebras

Authors: Vladimir Dotsenko, Evgeny Feigin, Piotr Kucharski, Markus Reineke

Abstract: In earlier work of three of the authors of the present paper, a supercommutative quadratic algebra was associated to each symmetric quiver, and a new proof of positivity of motivic Donaldson-Thomas invariants of symmetric quivers was given using the so called numerical Koszul property of these algebras. It was furthermore conjectured that for each symmetric quiver such an algebra is Koszul. In thi… ▽ More In earlier work of three of the authors of the present paper, a supercommutative quadratic algebra was associated to each symmetric quiver, and a new proof of positivity of motivic Donaldson-Thomas invariants of symmetric quivers was given using the so called numerical Koszul property of these algebras. It was furthermore conjectured that for each symmetric quiver such an algebra is Koszul. In this work, we lift the linking and unlinking operations on symmetric quivers of Ekholm, Longhi and the third author to the level of quadratic algebras, and use those lifts to prove the Koszulness conjecture. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Comments: 11 pages, comments are welcome

Stable homology of Lie algebras of derivations and homotopy invariants of wheeled operads

Authors: Vladimir Dotsenko

Abstract: We prove a theorem that computes, for any augmented operad $\mathcal{O}$, the stable homology of the Lie algebra of derivations of the free algebra $\mathcal{O}(V)$ with twisted bivariant coefficients (which can be used to prove uniform mixed representation stability for the homology with constant coefficients of the positive part of that Lie algebra) out of the homology of wheeled bar constructio… ▽ More We prove a theorem that computes, for any augmented operad $\mathcal{O}$, the stable homology of the Lie algebra of derivations of the free algebra $\mathcal{O}(V)$ with twisted bivariant coefficients (which can be used to prove uniform mixed representation stability for the homology with constant coefficients of the positive part of that Lie algebra) out of the homology of wheeled bar construction of $\mathcal{O}$. This generalizes both the Loday-Quillen-Tsygan theorem on the homology of the Lie algebra of infinite matrices and the Fuchs stability theorem for the homology of the Lie algebra of vector fields. We also prove analogous theorems for the Lie algebras of derivations with constant and zero divergence, in which case one has to consider the wheeled bar construction of the wheeled completion of $\mathcal{O}$. Similarly to how cyclic homology of an algebra $A$ may be viewed as an additive version of the algebraic $K$-theory of $A$, our results hint at the additive $K$-theoretic nature of the wheeled bar construction. △ Less

Submitted 19 December, 2023; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: 43 pages

Novikov algebras and multi-indices in regularity structures

Authors: Yvain Bruned, Vladimir Dotsenko

Abstract: In this work, we introduce multi-Novikov algebras, a generalisation of Novikov algebras with several binary operations indexed by a given set, and show that the multi-indices recently introduced in the context of singular stochastic partial differential equations can be interpreted as free multi-Novikov algebras. This is parallel to the fact that decorated rooted trees arising in the context of re… ▽ More In this work, we introduce multi-Novikov algebras, a generalisation of Novikov algebras with several binary operations indexed by a given set, and show that the multi-indices recently introduced in the context of singular stochastic partial differential equations can be interpreted as free multi-Novikov algebras. This is parallel to the fact that decorated rooted trees arising in the context of regularity structures are related to free multi-pre-Lie algebras. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 23 pages

The three graces in the Tits--Kantor--Koecher category

Authors: Vladimir Dotsenko, Iryna Kashuba

Abstract: A metaphor of Jean-Louis Loday describes Lie, associative, and commutative associative algebras as ``the three graces'' of the operad theory. In this article, we study the three graces in the category of $\mathfrak{sl}_2$-modules that are sums of copies of the trivial and the adjoint representation. That category is not symmetric monoidal, and so one cannot apply the wealth of results available fo… ▽ More A metaphor of Jean-Louis Loday describes Lie, associative, and commutative associative algebras as ``the three graces'' of the operad theory. In this article, we study the three graces in the category of $\mathfrak{sl}_2$-modules that are sums of copies of the trivial and the adjoint representation. That category is not symmetric monoidal, and so one cannot apply the wealth of results available for algebras over operads. Motivated by a recent conjecture of the second author and Mathieu, we embark on the exploration of the extent to which that category ``pretends'' to be symmetric monoidal. To that end, we examine various homological properties of free associative algebras and free associative commutative algebras, and study the Lie subalgebra generated by the generators of the free associative algebra. △ Less

Submitted 31 October, 2023; originally announced October 2023.

Comments: 17 pages, comments are welcome

Nilpotence, weak nilpotence, and the nil property in the nonassociative world: computations and conjectures

Authors: Vladimir Dotsenko

Abstract: We present some results, both rigorously mathematical and computational, showing unexpected relations between different identities expressing nilpotence in nonassociative algebras, and formulate a number of conjectural generalizations and related questions. We present some results, both rigorously mathematical and computational, showing unexpected relations between different identities expressing nilpotence in nonassociative algebras, and formulate a number of conjectural generalizations and related questions. △ Less

Submitted 20 June, 2023; originally announced June 2023.

Comments: 12 pages, comments are welcome

Fine structures inside the PreLie operad revisited

Authors: Vladimir Dotsenko

Abstract: We prove a conjecture of Chapoton from 2010 stating that the pre-Lie operad, as a Lie algebra in the symmetric monoidal category of linear species, is freely generated by the free operad on the species of cyclic Lie elements. We prove a conjecture of Chapoton from 2010 stating that the pre-Lie operad, as a Lie algebra in the symmetric monoidal category of linear species, is freely generated by the free operad on the species of cyclic Lie elements. △ Less

Submitted 5 May, 2024; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 8 pages

Identities for deformation quantizations of almost Poisson algebras

Authors: Vladimir Dotsenko

Abstract: We propose an algebraic viewpoint of the problem of deformation quantization of the so called almost Poisson algebras, which are algebras with a commutative associative product and an antisymmetric bracket which is a bi-derivation but does not necessarily satisfy the Jacobi identity. From that viewpoint, the main result of the paper asserts that, by contrast with Poisson algebras, the only reasona… ▽ More We propose an algebraic viewpoint of the problem of deformation quantization of the so called almost Poisson algebras, which are algebras with a commutative associative product and an antisymmetric bracket which is a bi-derivation but does not necessarily satisfy the Jacobi identity. From that viewpoint, the main result of the paper asserts that, by contrast with Poisson algebras, the only reasonable category of algebras in which almost Poisson algebras can be quantized is isomorphic to the category of almost Poisson algebras itself, and the trivial two-term quantization formula already gives a solution to the quantization problem. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 11 pages, comments are welcome

Maurer-Cartan methods in deformation theory: the twisting procedure

Authors: Vladimir Dotsenko, Sergey Shadrin, Bruno Vallette

Abstract: This monograph provides an overview on the Maurer-Cartan methods in algebra, geometry, topology, and mathematical physics. It offers a conceptual, exhaustive and gentle treatment of the twisting procedure, which functorially creates new differential graded Lie algebras, associative algebras or operads (as well as their homotopy versions) from a Maurer-Cartan element. The twisting procedure for (ho… ▽ More This monograph provides an overview on the Maurer-Cartan methods in algebra, geometry, topology, and mathematical physics. It offers a conceptual, exhaustive and gentle treatment of the twisting procedure, which functorially creates new differential graded Lie algebras, associative algebras or operads (as well as their homotopy versions) from a Maurer-Cartan element. The twisting procedure for (homotopy) associative algebras or (homotopy) Lie algebras is described by means of the action of the biggest deformation gauge group ever considered. We give a criterion on quadratic operads for the existence of a meaningful twisting procedure of their associated categories of algebras. And, we introduce the twisting procedure for operads à la Willwacher using a new and simpler presentation, which provides us with a wide source of motivating examples related to graph homology, both recovering known graph complexes (due to Kontsevich) and introducing some new ones. This book starts with elementary surveys on gauge theory and deformation theory using differential graded Lie algebras in order to ease the way to the theory. It finishes with concise surveys on the fundamental theorem of deformation theory, higher Lie theory, rational homotopy theory, simplicial theory of homotopy algebras, and the Floer cohomology of Lagrangian submanifolds, to illustrate deep examples of applications. △ Less

Submitted 23 February, 2023; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: 183 pages, supersedes the very preliminary version arXiv:1810.02941, final author version before copyediting; will be published by Cambridge University Press & Assessment as 'Maurer-Cartan Methods in Deformation Theory: the twisting procedure' by Vladimir Dotsenko, Sergey Shadrin and Bruno Vallette

Journal ref: London Math. Soc. Lecture Note Ser., 488 Cambridge University Press, Cambridge, 2024, viii+177 pp

Reconnectads

Authors: Vladimir Dotsenko, Adam Keilthy, Denis Lyskov

Abstract: We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of the reconnected complement of a subgraph. The prototypical example of a reconnectad is given by the collection of toric varieties of graph associahedra of Carr… ▽ More We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of the reconnected complement of a subgraph. The prototypical example of a reconnectad is given by the collection of toric varieties of graph associahedra of Carr and Devadoss, with the structure operations given by inclusions of orbits closures. We develop the general theory of reconnectads, and use it to study the ``wonderful reconnectad'' assembled from homology groups of complex toric varieties of graph associahedra. △ Less

Submitted 17 January, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 44 pages, submitted version

A characterisation of Lie algebras using ideals and subalgebras

Authors: Vladimir Dotsenko, Xabier García-Martínez

Abstract: We prove that if, for a nontrivial variety of non-associative algebras, every subalgebra of every free algebra is free and $I^2$ is an ideal whenever $I$ is an ideal, then this variety coincides with the variety of all Lie algebras. We prove that if, for a nontrivial variety of non-associative algebras, every subalgebra of every free algebra is free and $I^2$ is an ideal whenever $I$ is an ideal, then this variety coincides with the variety of all Lie algebras. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Comments: 15 pages, comments are welcome. arXiv admin note: substantial text overlap with arXiv:2205.05364

Polynomial identities in Novikov algebras

Authors: Vladimir Dotsenko, Nurlan Ismailov, Ualbai Umirbaev

Abstract: In this paper, we study Novikov algebras satisfying nontrivial identities. We show that a Novikov algebra over a field of zero characteristic that satisfies a nontrivial identity satisfies some unexpected "universal" identities, in particular, right associator nilpotence, and right nilpotence of the commutator ideal. This, in particular, implies that a Novikov algebra over a field of zero characte… ▽ More In this paper, we study Novikov algebras satisfying nontrivial identities. We show that a Novikov algebra over a field of zero characteristic that satisfies a nontrivial identity satisfies some unexpected "universal" identities, in particular, right associator nilpotence, and right nilpotence of the commutator ideal. This, in particular, implies that a Novikov algebra over a field of zero characteristic satisfies a nontrivial identity if and only if it is Lie-solvable. We also establish that any system of identities of Novikov algebras over a field of zero characteristic follows from finitely many of them, and that the same holds over any field for multilinear Novikov identities. Some analogous simpler statements are also proved for commutative differential algebras. △ Less

Submitted 20 January, 2023; v1 submitted 27 September, 2022; originally announced September 2022.

Comments: 15 pages, to appear in Math. Z

Report number: MPIM-Bonn-2022 MSC Class: Primary 13N15; Secondary 16R50; 17D99; 18M70

An effective criterion for Nielsen-Schreier varieties

Authors: Vladimir Dotsenko, Ualbai Umirbaev

Abstract: All algebras of a certain type are said to form a Nielsen-Schreier variety if every subalgebra of a free algebra is free. This property has been perceived as extremely rare; in particular, only six Nielsen-Schreier varieties of algebras with one binary operation have been discovered in prior work on this topic. We propose an effective combinatorial criterion for the Nielsen-Schreier property in th… ▽ More All algebras of a certain type are said to form a Nielsen-Schreier variety if every subalgebra of a free algebra is free. This property has been perceived as extremely rare; in particular, only six Nielsen-Schreier varieties of algebras with one binary operation have been discovered in prior work on this topic. We propose an effective combinatorial criterion for the Nielsen-Schreier property in the case of algebras over a field of zero characteristic; in our approach, operads play a crucial role. Using this criterion, we show that the well known varieties of all pre-Lie algebras and of all Lie-admissible algebras are Nielsen-Schreier, and, quite surprisingly, that there are already infinitely many non-equivalent Nielsen-Schreier varieties of algebras with one binary operation and identities of degree four. △ Less

Submitted 29 March, 2023; v1 submitted 11 May, 2022; originally announced May 2022.

Comments: 35 pages, to appear in IMRN

Report number: MPIM-Bonn-2022 MSC Class: 17A50 (Primary); 08B20; 16S10; 18M70; 18M80 (Secondary)

Associator dependent algebras and Koszul duality

Authors: Murray Bremner, Vladimir Dotsenko

Abstract: We resolve a ten year old open question of Loday of describing Koszul operads that act on the algebra of octonions. In fact, we obtain the answer by solving a more general classification problem: we find all Koszul operads among those encoding associator dependent algebras. We resolve a ten year old open question of Loday of describing Koszul operads that act on the algebra of octonions. In fact, we obtain the answer by solving a more general classification problem: we find all Koszul operads among those encoding associator dependent algebras. △ Less

Submitted 23 September, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

Comments: 21 pages

Report number: MPIM-Bonn-2022 MSC Class: 18M70 (Primary); 16R10; 17A30 (Secondary)

Generalized cohomological field theories in the higher order formalism

Authors: Vladimir Dotsenko, Sergey Shadrin, Pedro Tamaroff

Abstract: In the classical Batalin--Vilkovisky formalism, the BV operator $Δ$ is a differential operator of order two with respect to the commutative product. In the differential graded setting, it is known that if the BV operator is homotopically trivial, then there is a tree level cohomological field theory induced on the homology; this is a manifestation of the fact that the homotopy quotient of the oper… ▽ More In the classical Batalin--Vilkovisky formalism, the BV operator $Δ$ is a differential operator of order two with respect to the commutative product. In the differential graded setting, it is known that if the BV operator is homotopically trivial, then there is a tree level cohomological field theory induced on the homology; this is a manifestation of the fact that the homotopy quotient of the operad of BV algebras by $Δ$ is represented by the operad of hypercommutative algebras. In this paper, we study generalized Batalin--Vilkovisky algebras where the operator $Δ$ is of the given finite order. In that case, we unravel a new interesting algebraic structure on the homology whenever $Δ$ is homotopically trivial. We also suggest that the sequence of algebraic structures arising in the higher order formalism is a part of a "trinity" of remarkable mathematical objects, fitting the philosophy proposed by Arnold in the 1990s. △ Less

Submitted 24 January, 2022; v1 submitted 11 December, 2021; originally announced December 2021.

Comments: v3: further minor changes (several formulas corrected, the explanation of acyclicity of a Koszul-type complex made more precise)

Journal ref: Comm. Math. Phys. 399.3 (2023), 1439-1500

Koszul algebras and Donaldson-Thomas invariants

Authors: Vladimir Dotsenko, Evgeny Feigin, Markus Reineke

Abstract: For a given symmetric quiver $Q$, we define a supercommutative quadratic algebra $\mathcal{A}_Q$ whose Poincaré series is related to the motivic generating function of $Q$ by a simple change of variables. The Koszul duality between supercommutative algebras and Lie superalgebras assigns to the algebra $\mathcal{A}_Q$ its Koszul dual Lie superalgebra $\mathfrak{g}_Q$. We prove that the motivic Dona… ▽ More For a given symmetric quiver $Q$, we define a supercommutative quadratic algebra $\mathcal{A}_Q$ whose Poincaré series is related to the motivic generating function of $Q$ by a simple change of variables. The Koszul duality between supercommutative algebras and Lie superalgebras assigns to the algebra $\mathcal{A}_Q$ its Koszul dual Lie superalgebra $\mathfrak{g}_Q$. We prove that the motivic Donaldson-Thomas invariants of the quiver $Q$ may be computed using the Poincaré series of a certain Lie subalgebra of $\mathfrak{g}_Q$ that can be described, using an action of the first Weyl algebra on $\mathfrak{g}_Q$, as the kernel of the operator $\partial_t$. This gives a new proof of positivity for motivic Donaldson--Thomas invariants. In addition, we prove that the algebra $\mathcal{A}_Q$ is numerically Koszul for every symmetric quiver $Q$ and conjecture that it is in fact Koszul; we also prove this conjecture for quivers of a certain class. △ Less

Submitted 26 November, 2021; v1 submitted 15 November, 2021; originally announced November 2021.

Comments: 25 pages, the main result on DT invariants of symmetric quivers is now not conditional on Koszulness

DT invariants from vertex algebras

Authors: Vladimir Dotsenko, Sergey Mozgovoy

Abstract: We obtain a new interpretation of the cohomological Hall algebra $\mathcal{H}_Q$ of a symmetric quiver $Q$ in the context of the theory of vertex algebras. Namely, we show that the graded dual of $\mathcal{H}_Q$ is naturally identified with the underlying vector space of the principal free vertex algebra associated to the Euler form of $Q$. Properties of that vertex algebra are shown to account fo… ▽ More We obtain a new interpretation of the cohomological Hall algebra $\mathcal{H}_Q$ of a symmetric quiver $Q$ in the context of the theory of vertex algebras. Namely, we show that the graded dual of $\mathcal{H}_Q$ is naturally identified with the underlying vector space of the principal free vertex algebra associated to the Euler form of $Q$. Properties of that vertex algebra are shown to account for the key results about $\mathcal{H}_Q$. In particular, it has a natural structure of a vertex bialgebra, leading to a new interpretation of the product of $\mathcal{H}_Q$. Moreover, it is isomorphic to the universal envelo** vertex algebra of a certain vertex Lie algebra, which leads to a new interpretation of Donaldson--Thomas invariants of $Q$ (and, in particular, re-proves their positivity). Finally, it is possible to use that vertex algebra to give a new interpretation of CoHA modules made of cohomologies of non-commutative Hilbert schemes. △ Less

Submitted 30 November, 2021; v1 submitted 23 August, 2021; originally announced August 2021.

Comments: 43 pages

Tangent complexes and the Diamond Lemma

Authors: Vladimir Dotsenko, Pedro Tamaroff

Abstract: The celebrated Diamond Lemma of Bergman gives an effectively verifiable criterion of uniqueness of normal forms for term rewriting in associative algebras. We present a new way to interpret and prove this result from the viewpoint of homotopical algebra. Our main result states that every multiplicative free resolution of an algebra with monomial relations gives rise to its own Diamond Lemma, so th… ▽ More The celebrated Diamond Lemma of Bergman gives an effectively verifiable criterion of uniqueness of normal forms for term rewriting in associative algebras. We present a new way to interpret and prove this result from the viewpoint of homotopical algebra. Our main result states that every multiplicative free resolution of an algebra with monomial relations gives rise to its own Diamond Lemma, so that Bergman's condition of "resolvable ambiguities" becomes the first non-trivial component of the Maurer--Cartan equation in the corresponding tangent complex. The same approach works for many other algebraic structures, emphasizing the relevance of computing multiplicative free resolutions of algebras with monomial relations. △ Less

Submitted 28 October, 2020; originally announced October 2020.

Comments: 28 pages, comments are welcome

Deformation theory of Cohomological Field Theories

Authors: Vladimir Dotsenko, Sergey Shadrin, Arkady Vaintrob, Bruno Vallette

Abstract: We develop the deformation theory of cohomological field theories (CohFTs), which is done as a special case of a general deformation theory of morphisms of modular operads. This leads us to introduce two new natural extensions of the notion of a CohFT: homotopical (necessary to structure chain-level Gromov--Witten invariants) and quantum (with examples found in the works of Buryak--Rossi on integr… ▽ More We develop the deformation theory of cohomological field theories (CohFTs), which is done as a special case of a general deformation theory of morphisms of modular operads. This leads us to introduce two new natural extensions of the notion of a CohFT: homotopical (necessary to structure chain-level Gromov--Witten invariants) and quantum (with examples found in the works of Buryak--Rossi on integrable systems). We introduce a new version of Kontsevich's graph complex, enriched with tautological classes on the moduli spaces of stable curves. We use it to study a new universal deformation group which acts naturally on the moduli spaces of quantum homotopy CohFTs, by methods due to Merkulov--Willwacher. This group is shown to contain both the prounipotent Grothendieck--Teichmüller group and the Givental group. △ Less

Submitted 25 October, 2022; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: submitted version, 57 pages, abstract and introduction rewritten

MSC Class: 18M85; 18G85; 18M70; 53D55; 14H10; 53D45

Journal ref: J. Reine Angew. Math. 809 (2024), 91-157

Homotopical rigidity of the pre-Lie operad

Authors: Vladimir Dotsenko, Anton Khoroshkin

Abstract: We show that the celebrated operad of pre-Lie algebras is very rigid: it has no "non-obvious" degrees of freedom from either of the three points of view: deformations of maps to and from the "three graces of operad theory", homotopy automorphisms, and operadic twisting. Examining the latter, it is possible to answer two questions of Markl from 2005, including a Lie-theoretic version of the Deligne… ▽ More We show that the celebrated operad of pre-Lie algebras is very rigid: it has no "non-obvious" degrees of freedom from either of the three points of view: deformations of maps to and from the "three graces of operad theory", homotopy automorphisms, and operadic twisting. Examining the latter, it is possible to answer two questions of Markl from 2005, including a Lie-theoretic version of the Deligne conjecture. △ Less

Submitted 1 April, 2021; v1 submitted 28 February, 2020; originally announced February 2020.

Comments: 15 pages, final version, to appear in Proceedings of the AMS

Enriched pre-Lie operads and freeness theorems

Authors: Vladimir Dotsenko, Loïc Foissy

Abstract: In this paper, we study the C-enriched pre-Lie operad defined by Calaque and Willwacher for any Hopf cooperad C to produce conceptual constructions of the operads acting on various deformation complexes. Maps between Hopf cooperads lead to maps between the corresponding enriched pre-Lie operads; we prove criteria for the module action of the domain on the codomain to be free, on the left and on th… ▽ More In this paper, we study the C-enriched pre-Lie operad defined by Calaque and Willwacher for any Hopf cooperad C to produce conceptual constructions of the operads acting on various deformation complexes. Maps between Hopf cooperads lead to maps between the corresponding enriched pre-Lie operads; we prove criteria for the module action of the domain on the codomain to be free, on the left and on the right. In particular, this implies a new functorial Poincaré--Birkhoff--Witt type theorem for universal envelo** brace algebras of pre-Lie algebras. △ Less

Submitted 23 June, 2021; v1 submitted 24 February, 2020; originally announced February 2020.

Comments: final version

MSC Class: 18D50 (Primary); 05C05; 16D40; 17B35 (Secondary)

Three Schur functors related to pre-Lie algebras

Authors: Vladimir Dotsenko, Oisín Flynn-Connolly

Abstract: We give explicit combinatorial descriptions of three Schur functors arising in the theory of pre-Lie algebras. The first of them leads to a functorial description of the underlying vector space of the universal envelo** pre-Lie algebra of a given Lie algebra, strengthening the PBW theorem of Segal. The two other Schur functors provide functorial descriptions of the underlying vector spaces of th… ▽ More We give explicit combinatorial descriptions of three Schur functors arising in the theory of pre-Lie algebras. The first of them leads to a functorial description of the underlying vector space of the universal envelo** pre-Lie algebra of a given Lie algebra, strengthening the PBW theorem of Segal. The two other Schur functors provide functorial descriptions of the underlying vector spaces of the universal multiplicative envelo** algebra and of the module of Kähler differentials of a given pre-Lie algebra. An important consequence of such descriptions is an interpretation of the cohomology of a pre-Lie algebra with coefficients in a module as a derived functor for the category of modules over the universal multiplicative envelo** algebra. △ Less

Submitted 29 June, 2022; v1 submitted 3 January, 2020; originally announced January 2020.

Comments: 15 pages, substantially revised version including a general PBW type criterion for modules of Kähler differentials

Distributive laws between the operads Lie and Com

Authors: Murray Bremner, Vladimir Dotsenko

Abstract: Using methods of computer algebra, especially Gröbner bases for submodules of free modules over polynomial rings, we solve a classification problem in theory of algebraic operads: we show that the only nontrivial (possibly inhomogeneous) distributive law between the operad of Lie algebras and the operad of commutative associative algebras is given by the Livernet-Loday formula deforming the Poisso… ▽ More Using methods of computer algebra, especially Gröbner bases for submodules of free modules over polynomial rings, we solve a classification problem in theory of algebraic operads: we show that the only nontrivial (possibly inhomogeneous) distributive law between the operad of Lie algebras and the operad of commutative associative algebras is given by the Livernet-Loday formula deforming the Poisson operad into the associative operad. △ Less

Submitted 11 December, 2019; originally announced December 2019.

Comments: 8 pages

MSC Class: Primary 18D50. Secondary 13C10; 13N15; 13P10; 15A54; 15A69; 17A30; 17A50; 17B60; 17B63; 68W30

Finite generation for Hochschild cohomology of Gorenstein monomial algebras

Authors: Vladimir Dotsenko, Vincent Gélinas, Pedro Tamaroff

Abstract: We show that a finite dimensional monomial algebra satisfies the finite generation conditions of Snashall-Solberg for Hochschild cohomology if and only if it is Gorenstein. This gives, in the case of monomial algebras, the converse to a theorem of Erdmann-Holloway-Snashall-Solberg-Taillefer. We also give a necessary and sufficient combinatorial criterion for finite generation. We show that a finite dimensional monomial algebra satisfies the finite generation conditions of Snashall-Solberg for Hochschild cohomology if and only if it is Gorenstein. This gives, in the case of monomial algebras, the converse to a theorem of Erdmann-Holloway-Snashall-Solberg-Taillefer. We also give a necessary and sufficient combinatorial criterion for finite generation. △ Less

Submitted 1 September, 2019; originally announced September 2019.

Comments: 38 pages, comments are welcome

MSC Class: 16E65 (Primary); 16E05; 16E40; 68R15 (Secondary)

Word operads and admissible orderings

Authors: Vladimir Dotsenko

Abstract: We use Giraudo's construction of combinatorial operads from monoids to offer a conceptual explanation of the origins of Hoffbeck's path sequences of shuffle trees, and use it to define new monomial orders of shuffle trees. One such order is utilised to exhibit a quadratic Gröbner basis of the Poisson operad. We use Giraudo's construction of combinatorial operads from monoids to offer a conceptual explanation of the origins of Hoffbeck's path sequences of shuffle trees, and use it to define new monomial orders of shuffle trees. One such order is utilised to exhibit a quadratic Gröbner basis of the Poisson operad. △ Less

Submitted 9 July, 2019; originally announced July 2019.

Comments: 5 pages

MSC Class: 18D50 (Primary); 06F05; 68R15 (Secondary)

Functorial PBW theorems for post-Lie algebras

Authors: Vladimir Dotsenko

Abstract: Using the categorical approach to Poincaré-Birkhoff-Witt type theorems from our previous work with Tamaroff, we prove three such theorems: for universal envelo** Rota-Baxter algebras of tridendriform algebras, for universal envelo** Rota--Baxter Lie algebras of post-Lie algebras, and for universal envelo** tridendriform algebras of post-Lie algebras. Similar results, though without functoria… ▽ More Using the categorical approach to Poincaré-Birkhoff-Witt type theorems from our previous work with Tamaroff, we prove three such theorems: for universal envelo** Rota-Baxter algebras of tridendriform algebras, for universal envelo** Rota--Baxter Lie algebras of post-Lie algebras, and for universal envelo** tridendriform algebras of post-Lie algebras. Similar results, though without functoriality of the PBW isomorphisms, were recently obtained by Gubarev. Our methods are completely different and mainly rely on methods of rewriting theory for shuffle operads. △ Less

Submitted 11 March, 2019; originally announced March 2019.

Comments: 8 pages, comments are welcome

MSC Class: 17B35 (Primary); 16B50; 18D50; 68Q42 (Secondary)

Homotopy invariants for $\overline{\mathcal{M}}_{0,n}$ via Koszul duality

Authors: Vladimir Dotsenko

Abstract: We show that the integral cohomology rings of the moduli spaces of stable rational marked curves are Koszul. This answers an open question of Manin. Using the machinery of Koszul spaces developed by Berglund, we compute the rational homotopy Lie algebras of those spaces, and obtain some estimates for Betti numbers of their free loop spaces in case of torsion coefficients. We also prove and conject… ▽ More We show that the integral cohomology rings of the moduli spaces of stable rational marked curves are Koszul. This answers an open question of Manin. Using the machinery of Koszul spaces developed by Berglund, we compute the rational homotopy Lie algebras of those spaces, and obtain some estimates for Betti numbers of their free loop spaces in case of torsion coefficients. We also prove and conjecture some generalisations of our main result. △ Less

Submitted 15 October, 2020; v1 submitted 17 February, 2019; originally announced February 2019.

Comments: 26 pages, much more detailed version, (most) misprints corrected

MSC Class: 16S37 (Primary); 14H10; 14M25; 17B35; 55P50; 55P62; 55Q52 (Secondary)

Journal ref: Inventiones math. vol. 228, pages 77-106 (2022)

The twisting procedure

Authors: Vladimir Dotsenko, Sergey Shadrin, Bruno Vallette

Abstract: This paper provides a conceptual study of the twisting procedure, which amounts to create functorially new differential graded Lie algebras, associative algebras or operads (as well as their homotopy versions) from a Maurer--Cartan element. On the way, we settle the integration theory of complete pre-Lie algebras in order to describe this twisting procedure in terms of gauge group action. We give… ▽ More This paper provides a conceptual study of the twisting procedure, which amounts to create functorially new differential graded Lie algebras, associative algebras or operads (as well as their homotopy versions) from a Maurer--Cartan element. On the way, we settle the integration theory of complete pre-Lie algebras in order to describe this twisting procedure in terms of gauge group action. We give a criterion on quadratic operads for the existence of a meaningful twisting procedure of their associated categories of (homotopy) algebras. We also give a new presentation of the twisting procedure for operads à la Willwacher and we perform new homology computations of graph complexes. △ Less

Submitted 28 February, 2019; v1 submitted 6 October, 2018; originally announced October 2018.

Comments: New format (short monography), 93 pages, minor corrections, submitted version

MSC Class: 18D50; 13D10; 17B55; 16W60

Endofunctors and Poincaré-Birkhoff-Witt theorems

Authors: Vladimir Dotsenko, Pedro Tamaroff

Abstract: We determine what appears to be the bare-bones categorical framework for Poincaré-Birkhoff-Witt type theorems about universal envelo** algebras of various algebraic structures. Our language is that of endofunctors; we establish that a natural transformation of monads enjoys a Poincaré-Birkhoff-Witt property only if that transformation makes its codomain a free right module over its domain. We co… ▽ More We determine what appears to be the bare-bones categorical framework for Poincaré-Birkhoff-Witt type theorems about universal envelo** algebras of various algebraic structures. Our language is that of endofunctors; we establish that a natural transformation of monads enjoys a Poincaré-Birkhoff-Witt property only if that transformation makes its codomain a free right module over its domain. We conclude with a number of applications to show how this unified approach proves various old and new Poincaré-Birkhoff-Witt type theorems. In particular, we prove a PBW type result for universal envelo** dendriform algebras of pre-Lie algebras, answering a question of Loday. △ Less

Submitted 17 December, 2019; v1 submitted 17 April, 2018; originally announced April 2018.

Comments: 18 pages, final version before submission for peer review, to appear in IMRN

MSC Class: 16D90 (Primary); 16S30; 17B35; 18D50 (Secondary)

Journal ref: International Mathematics Research Notices, article ID rnz369, 2020

Algebraic structures of $F$-manifolds via pre-Lie algebras

Authors: Vladimir Dotsenko

Abstract: We relate the operad FMan controlling the algebraic structure on the tangent sheaf of an $F$-manifold (weak Frobenius manifold) defined by Hertling and Manin to the operad PreLie of pre-Lie algebras: for the filtration of PreLie by powers of the ideal generated by the Lie bracket, the associated graded object is FMan. We relate the operad FMan controlling the algebraic structure on the tangent sheaf of an $F$-manifold (weak Frobenius manifold) defined by Hertling and Manin to the operad PreLie of pre-Lie algebras: for the filtration of PreLie by powers of the ideal generated by the Lie bracket, the associated graded object is FMan. △ Less

Submitted 17 July, 2017; v1 submitted 22 June, 2017; originally announced June 2017.

Comments: 7 pages, comments are welcome

MSC Class: 18D50 (Primary); 18G55; 53D45; 68Q42 (Secondary)

Veronese powers of operads and pure homotopy algebras

Authors: Vladimir Dotsenko, Martin Markl, Elisabeth Remm

Abstract: We define the $m$th Veronese power of a weight graded operad $\mathcal{P}$ to be its suboperad $\mathcal{P}^{[m]}$ generated by operations of weight $m$. It turns out that, unlike Veronese powers of associative algebras, homological properties of operads are, in general, not improved by this construction. However, under some technical conditions, Veronese powers of quadratic Koszul operads are mea… ▽ More We define the $m$th Veronese power of a weight graded operad $\mathcal{P}$ to be its suboperad $\mathcal{P}^{[m]}$ generated by operations of weight $m$. It turns out that, unlike Veronese powers of associative algebras, homological properties of operads are, in general, not improved by this construction. However, under some technical conditions, Veronese powers of quadratic Koszul operads are meaningful in the context of the Koszul duality theory. Indeed, we show that in many important cases the operads $\mathcal{P}^{[m]}$ are related by Koszul duality to operads describing strongly homotopy algebras with only one nontrivial operation. Our theory has immediate applications to objects as Lie $k$-algebras and Lie triple systems. In the case of Lie $k$-algebras, we also discuss a similarly looking ungraded construction which is frequently used in the literature. We establish that the corresponding operad does not possess good homotopy properties, and that it leads to a very simple example of a non-Koszul quadratic operad for which the Ginzburg--Kapranov power series test is inconclusive. △ Less

Submitted 7 July, 2017; v1 submitted 15 June, 2017; originally announced June 2017.

Comments: 21 pages, comments are welcome

MSC Class: 18D50 (Primary); 18G55; 33F10; 55P48 (Secondary)

Boardman--Vogt tensor products of absolutely free operads

Authors: Murray Bremner, Vladimir Dotsenko

Abstract: We establish a combinatorial model for the Boardman--Vogt tensor product of several absolutely free operads, that is free symmetric operads that are also free as $\mathbb{S}$-modules. Our results imply that such a tensor product is always a free $\mathbb{S}$-module, in contrast with the results of Kock and Bremner--Madariaga on hidden commutativity for the Boardman--Vogt tensor square of the opera… ▽ More We establish a combinatorial model for the Boardman--Vogt tensor product of several absolutely free operads, that is free symmetric operads that are also free as $\mathbb{S}$-modules. Our results imply that such a tensor product is always a free $\mathbb{S}$-module, in contrast with the results of Kock and Bremner--Madariaga on hidden commutativity for the Boardman--Vogt tensor square of the operad of non-unital associative algebras. △ Less

Submitted 12 May, 2017; originally announced May 2017.

Comments: 15 pages, comments are welcome

MSC Class: 18D50 (Primary); 05A15; 05E15; 18D05; 18G10; 52C22 (Secondary)

A Quillen adjunction between algebras and operads, Koszul duality, and the Lagrange inversion formula

Authors: Vladimir Dotsenko

Abstract: We define, for a somewhat standard forgetful functor from nonsymmetric operads to weight graded associative algebras, two functorial "envelo** operad" functors, the right inverse and the left adjoint of the forgetful functor. Those functors turn out to be related by operadic Koszul duality, and that relationship can be utilised to provide examples showing limitations of two standard tools of the… ▽ More We define, for a somewhat standard forgetful functor from nonsymmetric operads to weight graded associative algebras, two functorial "envelo** operad" functors, the right inverse and the left adjoint of the forgetful functor. Those functors turn out to be related by operadic Koszul duality, and that relationship can be utilised to provide examples showing limitations of two standard tools of the Koszul duality theory. We also apply these functors to get a homotopical algebra proof of the Lagrange inversion formula. △ Less

Submitted 27 June, 2016; originally announced June 2016.

Comments: 11 pages, comments are welcome

MSC Class: 18D50 (Primary); 18G55; 55P48 (Secondary)

Anick resolution and Koszul algebras of finite global dimension

Authors: Vladimir Dotsenko, Soutrik Roy Chowdhury

Abstract: We show how to study a certain associative algebra recently discovered by Iyudu and Shkarin using the Anick resolution. This algebra is a counterexample to the conjecture of Positselski on Koszul algebras of finite global dimension. We show how to study a certain associative algebra recently discovered by Iyudu and Shkarin using the Anick resolution. This algebra is a counterexample to the conjecture of Positselski on Koszul algebras of finite global dimension. △ Less

Submitted 23 May, 2016; originally announced May 2016.

Comments: 4 pages

MSC Class: 16S37 (Primary); 13P10; 16E05; 16Z05; 18G10 (Secondary)

Non-Koszulness of operads and positivity of Poincaré series

Authors: Vladimir Dotsenko, Martin Markl, Elisabeth Remm

Abstract: We prove that the operad of mock partially associative $n$-ary algebras is not Koszul, as conjectured by the second and the third author in 2009, and utilise the Zeilberger's algorithm for hypergeometric summation to demonstrate that non-Koszulness of that operad cannot be established by hunting for negative coefficients in the inverse of its Poincaré series. We prove that the operad of mock partially associative $n$-ary algebras is not Koszul, as conjectured by the second and the third author in 2009, and utilise the Zeilberger's algorithm for hypergeometric summation to demonstrate that non-Koszulness of that operad cannot be established by hunting for negative coefficients in the inverse of its Poincaré series. △ Less

Submitted 26 July, 2019; v1 submitted 28 April, 2016; originally announced April 2016.

Comments: 13 pages. arXiv admin note: text overlap with arXiv:1706.04893

MSC Class: 18D50 (Primary); 18G55; 33F10; 55P48 (Secondary)

Toric varieties of Loday's associahedra and noncommutative cohomological field theories

Authors: Vladimir Dotsenko, Sergey Shadrin, Bruno Vallette

Abstract: We introduce and study several new topological operads that should be regarded as nonsymmetric analogues of the operads of little 2-disks, framed little 2-disks, and Deligne-Mumford compactifications of moduli spaces of genus zero curves with marked points. These operads exhibit all the remarkable algebraic and geometric features that their classical analogues possess; in particular, it is possibl… ▽ More We introduce and study several new topological operads that should be regarded as nonsymmetric analogues of the operads of little 2-disks, framed little 2-disks, and Deligne-Mumford compactifications of moduli spaces of genus zero curves with marked points. These operads exhibit all the remarkable algebraic and geometric features that their classical analogues possess; in particular, it is possible to define a noncommutative analogue of the notion of cohomological field theory with similar Givental-type symmetries. This relies on rich geometry of the analogues of the Deligne-Mumford spaces, coming from the fact that they admit several equivalent interpretations: as the toric varieties of Loday's realisations of the associahedra, as the brick manifolds recently defined by Escobar, and as the De Concini-Procesi wonderful models for certain subspace arrangements. △ Less

Submitted 24 October, 2018; v1 submitted 12 October, 2015; originally announced October 2015.

Comments: 70 pages, main changes concern title/abstract/introduction, a construction of two maps of "forgetting points", and a new formality result

MSC Class: Primary 18D50; Secondary 14M25; 53D45; 81T45

Journal ref: J. Topol. 12 (2019), no. 2, 463-535

Classification of regular parametrized one-relation operads

Authors: Murray Bremner, Vladimir Dotsenko

Abstract: Jean-Louis Loday introduced a class of symmetric operads generated by one bilinear operation subject to one relation making each left-normed product of three elements equal to a linear combination of right-normed products: \[ (a_1a_2)a_3=\sum_{σ\in S_3}x_σ\, a_{σ(1)}(a_{σ(2)}a_{σ(3)})\ ; \] such an operad is called a parametrized one-relation operad. For a particular choice of parameters… ▽ More Jean-Louis Loday introduced a class of symmetric operads generated by one bilinear operation subject to one relation making each left-normed product of three elements equal to a linear combination of right-normed products: \[ (a_1a_2)a_3=\sum_{σ\in S_3}x_σ\, a_{σ(1)}(a_{σ(2)}a_{σ(3)})\ ; \] such an operad is called a parametrized one-relation operad. For a particular choice of parameters $\{x_σ\}$, this operad is said to be regular if each of its components is the regular representation of the symmetric group; equivalently, the corresponding free algebra on a vector space $V$ is, as a graded vector space, isomorphic to the tensor algebra of $V$. We classify, over an algebraically closed field of characteristic zero, all regular parametrized one-relation operads. In fact, we prove that each such operad is isomorphic to one of the following five operads: the left-nilpotent operad defined by the identity $((a_1a_2)a_3)=0$, the associative operad, the Leibniz operad, the dual Leibniz (Zinbiel) operad, and the Poisson operad. Our computational methods combine linear algebra over polynomial rings, representation theory of the symmetric group, and Gröbner bases for determinantal ideals and their radicals. △ Less

Submitted 24 May, 2017; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: 31 pages, final version, accepted for publication in Canadian Journal of Mathematics

MSC Class: Primary 18D50; Secondary 13B25; 13P10; 13P15; 15A54; 17-04; 17A30; 17A50; 20C30; 68W30

Journal ref: Can. J. Math.-J. Can. Math. 69 (2017) 992-1035

Pre-Lie deformation theory

Authors: Vladimir Dotsenko, Sergey Shadrin, Bruno Vallette

Abstract: In this paper, we develop the deformation theory controlled by pre-Lie algebras; the main tool is a new integration theory for pre-Lie algebras. The main field of application lies in homotopy algebra structures over a Koszul operad; in this case, we provide a homotopical description of the associated Deligne groupoid. This permits us to give a conceptual proof, with complete formulae, of the Homot… ▽ More In this paper, we develop the deformation theory controlled by pre-Lie algebras; the main tool is a new integration theory for pre-Lie algebras. The main field of application lies in homotopy algebra structures over a Koszul operad; in this case, we provide a homotopical description of the associated Deligne groupoid. This permits us to give a conceptual proof, with complete formulae, of the Homotopy Transfer Theorem by means of gauge action. We provide a clear explanation of this latter ubiquitous result: there are two gauge elements whose action on the original structure restrict its inputs and respectively its output to the homotopy equivalent space. This implies that a homotopy algebra structure transfers uniformly to a trivial structure on its underlying homology if and only if it is gauge trivial; this is the ultimate generalization of the $dd^c$-lemma. △ Less

Submitted 27 March, 2016; v1 submitted 11 February, 2015; originally announced February 2015.

Comments: Final version. Minor corrections. To appear in the Moscow Mathematical Journal

MSC Class: 18G55; 13D10; 17B60; 18D50

Journal ref: Mosc. Math. J. 16 (2016), no. 3, 505-543

Givental Action and Trivialisation of Circle Action

Authors: Vladimir Dotsenko, Sergey Shadrin, Bruno Vallette

Abstract: In this paper, we show that the Givental group action on genus zero cohomological field theories, also known as formal Frobenius manifolds or hypercommutative algebras, naturally arises in the deformation theory of Batalin--Vilkovisky algebras. We prove that the Givental action is equal to an action of the trivialisations of the trivial circle action. This result relies on the equality of two Lie… ▽ More In this paper, we show that the Givental group action on genus zero cohomological field theories, also known as formal Frobenius manifolds or hypercommutative algebras, naturally arises in the deformation theory of Batalin--Vilkovisky algebras. We prove that the Givental action is equal to an action of the trivialisations of the trivial circle action. This result relies on the equality of two Lie algebra actions coming from two apparently remote domains: geometry and homotopical algebra. △ Less

Submitted 9 June, 2014; v1 submitted 11 April, 2013; originally announced April 2013.

Comments: 26 pages. Substantially changed version containing an extra section

MSC Class: Primary 18G55; Secondary 18D50; 53D45

Journal ref: J. Éc. polytech. Math. 2 (2015), 213-246

A tale of three homotopies

Authors: Vladimir Dotsenko, Norbert Poncin

Abstract: For a Koszul operad $\mathcal{P}$, there are several existing approaches to the notion of a homotopy between homotopy morphisms of homotopy $\mathcal{P}$-algebras. Some of those approaches are known to give rise to the same notions. We exhibit the missing links between those notions, thus putting them all into the same framework. The main nontrivial ingredient in establishing this relationship is… ▽ More For a Koszul operad $\mathcal{P}$, there are several existing approaches to the notion of a homotopy between homotopy morphisms of homotopy $\mathcal{P}$-algebras. Some of those approaches are known to give rise to the same notions. We exhibit the missing links between those notions, thus putting them all into the same framework. The main nontrivial ingredient in establishing this relationship is the homotopy transfer theorem for homotopy cooperads due to Drummond-Cole and Vallette. △ Less

Submitted 13 July, 2015; v1 submitted 23 August, 2012; originally announced August 2012.

Comments: 22 pages, final version

MSC Class: 18G55; 18D50

De Rham cohomology and homotopy Frobenius manifolds

Authors: Vladimir Dotsenko, Sergey Shadrin, Bruno Vallette

Abstract: We endow the de Rham cohomology of any Poisson or Jacobi manifold with a natural homotopy Frobenius manifold structure. This result relies on a minimal model theorem for multicomplexes and a new kind of a Hodge degeneration condition. We endow the de Rham cohomology of any Poisson or Jacobi manifold with a natural homotopy Frobenius manifold structure. This result relies on a minimal model theorem for multicomplexes and a new kind of a Hodge degeneration condition. △ Less

Submitted 25 May, 2012; v1 submitted 22 March, 2012; originally announced March 2012.

Comments: 11 pages, v2: added some references

MSC Class: 58A12 (Primary) 14F40; 53D17; 53D45; 18G55 (Secondary)

Journal ref: J. Eur. Math. Soc. (JEMS) 17 (2015), no. 3, 535-547

Quillen homology for operads via Gröbner bases

Authors: Vladimir Dotsenko, Anton Khoroshkin

Abstract: The main goal of this paper is to present a way to compute Quillen homology of operads. The key idea is to use the notion of a shuffle operad we introduced earlier; this allows to compute, for a symmetric operad, the homology classes and the shape of the differential in its minimal model, although does not give an insight on the symmetric groups action on the homology. Our approach goes in several… ▽ More The main goal of this paper is to present a way to compute Quillen homology of operads. The key idea is to use the notion of a shuffle operad we introduced earlier; this allows to compute, for a symmetric operad, the homology classes and the shape of the differential in its minimal model, although does not give an insight on the symmetric groups action on the homology. Our approach goes in several steps. First, we regard our symmetric operad as a shuffle operad, which allows to compute its Gröbner basis. Next, we define a combinatorial resolution for the "monomial replacement" of each shuffle operad (provided by the Gröbner bases theory). Finally, we explain how to "deform" the differential to handle every operad with a Gröbner basis, and find explicit representatives of Quillen homology classes for a large class of operads. We also present various applications, including a new proof of Hoffbeck's PBW criterion, a proof of Koszulness for a class of operads coming from commutative algebras, and a homology computation for the operads of Batalin-Vilkovisky algebras and of Rota-Baxter algebras. △ Less

Submitted 10 June, 2013; v1 submitted 22 March, 2012; originally announced March 2012.

Comments: 41 pages, this paper supersedes our previous preprint arXiv:0912.4895. Final version, to appear in Documenta Math

MSC Class: 18G10 (Primary) 13P10; 16E05; 18D50; 18G55 (Secondary)

Journal ref: Documenta Mathematica 18 (2013) 707--747

Higher Koszul duality for associative algebras

Authors: Vladimir Dotsenko, Bruno Vallette

Abstract: We present a unifying framework for the key concepts and results of higher Koszul duality theory for N-homogeneous algebras: the Koszul complex, the candidate for the space of syzygies, and the higher operations on the Yoneda algebra. We give a universal description of the Koszul dual algebra under a new algebraic structure. For that we introduce a general notion: Gröbner bases for algebras over n… ▽ More We present a unifying framework for the key concepts and results of higher Koszul duality theory for N-homogeneous algebras: the Koszul complex, the candidate for the space of syzygies, and the higher operations on the Yoneda algebra. We give a universal description of the Koszul dual algebra under a new algebraic structure. For that we introduce a general notion: Gröbner bases for algebras over non-symmetric operads. △ Less

Submitted 24 April, 2013; v1 submitted 31 January, 2012; originally announced January 2012.

Comments: 16 pages, final version, to appear in Glasgow Mathematical Journal

Givental group action on Topological Field Theories and homotopy Batalin--Vilkovisky algebras

Authors: Vladimir Dotsenko, Sergey Shadrin, Bruno Vallette

Abstract: In this paper, we initiate the study of the Givental group action on Cohomological Field Theories in terms of homotopical algebra. More precisely, we show that the stabilisers of Topological Field Theories in genus 0 (respectively in genera 0 and 1) are in one-to-one correspondence with commutative homotopy Batalin--Vilkovisky algebras (respectively wheeled commutative homotopy BV-algebras). In this paper, we initiate the study of the Givental group action on Cohomological Field Theories in terms of homotopical algebra. More precisely, we show that the stabilisers of Topological Field Theories in genus 0 (respectively in genera 0 and 1) are in one-to-one correspondence with commutative homotopy Batalin--Vilkovisky algebras (respectively wheeled commutative homotopy BV-algebras). △ Less

Submitted 14 January, 2013; v1 submitted 6 December, 2011; originally announced December 2011.

Comments: 30 pages, final version, to appear in Advances in Mathematics

Journal ref: Advances in Mathematics, Volume 236, 20 March 2013, Pages 224-256

Dual alternative algebras in characteristic three

Authors: Vladimir Dotsenko

Abstract: We prove that the dimension of the arity $n$ component of the operad of dual alternative algebras over a field of characteristic three is equal to $2^n-n$, and describe the structure of the corresponding $S_n$-module. We prove that the dimension of the arity $n$ component of the operad of dual alternative algebras over a field of characteristic three is equal to $2^n-n$, and describe the structure of the corresponding $S_n$-module. △ Less

Submitted 13 November, 2012; v1 submitted 9 November, 2011; originally announced November 2011.

Comments: 7 pages, to appear in Communications in Algebra

MSC Class: 18D50; 20C20

Pattern avoidance in labelled trees

Authors: Vladimir Dotsenko

Abstract: We discuss a new notion of pattern avoidance motivated by the operad theory: pattern avoidance in planar labelled trees. It is a generalisation of various types of consecutive pattern avoidance studied before: consecutive patterns in words, permutations, coloured permutations etc. The notion of Wilf equivalence for patterns in permutations admits a straightforward generalisation for (sets of) tree… ▽ More We discuss a new notion of pattern avoidance motivated by the operad theory: pattern avoidance in planar labelled trees. It is a generalisation of various types of consecutive pattern avoidance studied before: consecutive patterns in words, permutations, coloured permutations etc. The notion of Wilf equivalence for patterns in permutations admits a straightforward generalisation for (sets of) tree patterns; we describe classes for trees with small numbers of leaves, and give several bijections between trees avoiding pattern sets from the same class. We also explain a few general results for tree pattern avoidance, both for the exact and the asymptotic enumeration. △ Less

Submitted 13 January, 2012; v1 submitted 4 October, 2011; originally announced October 2011.

Comments: 27 pages, corrected various misprints, added an appendix explaining the operadic context

MSC Class: 05C05 (Primary) 05A15; 05A16; 18D50 (Secondary)

Journal ref: Séminaire Lotharingien de Combinatoire, B67b (2012), 27 pp

Cacti and filtered distributive laws

Authors: Vladimir Dotsenko, James Griffin

Abstract: Motivated by the second author's construction of a classifying space for the group of pure symmetric automorphisms of a free product, we introduce and study a family of topological operads, the operads of based cacti, defined for every pointed topological space $(Y,\bullet)$. These operads also admit linear versions, which are defined for every augmented graded cocommutative coalgebra $C$. We show… ▽ More Motivated by the second author's construction of a classifying space for the group of pure symmetric automorphisms of a free product, we introduce and study a family of topological operads, the operads of based cacti, defined for every pointed topological space $(Y,\bullet)$. These operads also admit linear versions, which are defined for every augmented graded cocommutative coalgebra $C$. We show that the homology of the topological operad of based $Y$-cacti is the linear operad of based $H_*(Y)$-cacti. In addition, we show that for every coalgebra $C$ the operad of based $C$-cacti is Koszul. To prove the latter result, we use the criterion of Koszulness for operads due to the first author, utilising the notion of a filtered distributive law between two quadratic operads. We also present a new proof of that criterion which works over the ground field of arbitrary characteristic. △ Less

Submitted 25 September, 2011; originally announced September 2011.

Comments: 30 pages

MSC Class: 55P48 (Primary); 16S15; 18D50; 20L05 (Secondary)

Journal ref: Algebr. Geom. Topol. 14 (2014) 3185-3225

Shuffle algebras, homology, and consecutive pattern avoidance

Authors: Vladimir Dotsenko, Anton Khoroshkin

Abstract: Shuffle algebras are monoids for an unconvential monoidal category structure on graded vector spaces. We present two homological results on shuffle algebras with monomial relations, and use them to prove exact and asymptotic results on consecutive pattern avoidance in permutations. Shuffle algebras are monoids for an unconvential monoidal category structure on graded vector spaces. We present two homological results on shuffle algebras with monomial relations, and use them to prove exact and asymptotic results on consecutive pattern avoidance in permutations. △ Less

Submitted 10 April, 2012; v1 submitted 13 September, 2011; originally announced September 2011.

Comments: 24 pages. This paper supersedes the paper arxiv:1002.2761

MSC Class: 05E15 (Primary); 05A05; 05A15; 05A16; 16E05; 18G10 (Secondary)

Journal ref: Algebra & Number theory, Vol. 7 (2013), No. 3, 673-700

Anick-type resolutions and consecutive pattern avoidance

Authors: Vladimir Dotsenko, Anton Khoroshkin

Abstract: For permutations avoiding consecutive patterns from a given set, we present a combinatorial formula for the multiplicative inverse of the corresponding exponential generating function. The formula comes from homological algebra considerations in the same sense as the corresponding inversion formula for avoiding word patterns comes from the well known Anick's resolution. For permutations avoiding consecutive patterns from a given set, we present a combinatorial formula for the multiplicative inverse of the corresponding exponential generating function. The formula comes from homological algebra considerations in the same sense as the corresponding inversion formula for avoiding word patterns comes from the well known Anick's resolution. △ Less

Submitted 15 February, 2010; originally announced February 2010.

Comments: 16 pages. Preliminary version, comments are welcome

MSC Class: 05A15; 05A05; 05E15; 18G10