Searcharxiv⌕ Search

arXiv subjects

Vladimir Dotsenko

Publications and source records attributed to Vladimir Dotsenko.

At least 37 records · Page 2Linked to original sources
arXiv2024

Categorification of quiver diagonalization and Koszul algebras

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.

math.RT↗
arXiv2023

Identities for deformation quantizations of almost Poisson algebras

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.

math.QA↗
arXiv2023

An effective criterion for Nielsen-Schreier varieties

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.

math.RA↗
arXiv2023

Maurer-Cartan methods in deformation theory: the twisting procedure

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.

math.QA↗
arXiv2023

Polynomial identities in Novikov algebras

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.

math.RA↗
arXiv2023

Reconnectads

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.

math.CT↗
arXiv2022

Deformation theory of Cohomological Field Theories

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.

math.AG↗
arXiv2022

Associator dependent algebras and Koszul duality

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.

math.RA↗
arXiv2022

Three Schur functors related to pre-Lie algebras

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 enveloping 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 enveloping 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 enveloping algebra.

math.RA↗
arXiv2022

Generalized cohomological field theories in the higher order formalism

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.

math.KT↗
arXiv2021

DT invariants from vertex algebras

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 enveloping 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.

math.AG↗
arXiv2021

Koszul algebras and Donaldson-Thomas invariants

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.

math.RT↗
arXiv2021

Enriched pre-Lie operads and freeness theorems

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 enveloping brace algebras of pre-Lie algebras.

math.CT↗
arXiv2021

Homotopical rigidity of the pre-Lie operad

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.

math.KT↗
arXiv2020

Tangent complexes and the Diamond Lemma

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.

math.RA↗
arXiv2020

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

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.

math.AT↗