arXiv subjects

Slava Pimenov

Publications and source records attributed to Slava Pimenov.

8 recordsLinked to original sources

arXiv2026

Towards Koszulity for categorical structures: category of 2-nets

Recently Batanin and Markl developed a theory of Koszul duality for operads over a general operadic category in the spirit of Ginzburg-Kapranov. However, their approach doesn't apply directly to the operadic category of n-trees, which are used to describe categorical structures. In this paper we present a category of (locally constant) 2-nets which addresses the main difficulty of extending their theory to the case of 2-trees. Specifically, our category of 2-nets is an operadic category containing 2-trees as a full subcategory, and every map between 2-nets admits a factorization into a chain of elementary maps.

math.CT↗

arXiv2026

L-manifolds

The notion of a Frobenius manifold appears in relation to various topics in algebraic and analytic geometry, such and quantum cohomology, deformation of meromorphic connections, unfolding of singularities and others. In the local setting the structure of a Frobenius manifold admits two other equivalent descriptions, either as an algebra over a cyclic operad Com-infinity, or alternatively as a (genus zero) cohomological field theory. In this paper we make the first steps towards outlining the parallel theory, when one starts with the cyclic Lie-infinity algebras instead of Com-infinity, and highlight the striking similarities between the two pictures.

math.AG↗

arXiv2025

Tensor-Hochschild complex

Let $(\mathcal{C}, \otimes)$ be a monoidal dg-category. We construct a complex controlling the deformation of the monoidal structure on $\mathcal{C}$ together with the deformation of the underlying dg-category itself. We show that in the case of a semisimple category $\mathcal{C}$ it reduces to the Davydov-Yetter complex. Furthermore, we study this complex in several special cases, in particular, in the case of the category of $A$-modules over a commutative algebra $A$ we obtain a complex computing operadic $E_2$-cohomology of $A$. And in the case of the category of representations of an associative bialgebra we recover the Gerstenhaber-Schack complex. In the latter case our construction can be considered as a generalization of the Gerstenhaber-Schack complex to quasi-bialgebras.

math.AG↗

arXiv2024

Gelfand-Fuchs cohomology for affine superspaces A^(m,n)

We study the cohomology of Lie superalgebra of vector fields on affine super-spaces $\mathbb{A}^{m,n}$ with trivial coefficients. In this paper we extend the methodology developed in the previous paper (arXiv:2210.16585) to perform the calculation for arbitrary dimensions $(m, n)$ with $m \geq n$. This combined with previously known results for other dimensions $(m, n)$ fully settles the local problem of Gelfand-Fuchs cohomology with trivial coefficients for super-manifolds. As part of the proof we also compute the cohomology of Lie superalgebras $\mathfrak{gl}(m,n)$ with coefficients given by Schur functors of the standard representation.

math.AG↗

arXiv2022

Gelfand-Fuchs cohomology for affine superspaces A^(n,1)

We study the cohomology of Lie superalgebra of vector fields on affine super-spaces $\mathbb{A}^{m,n}$ with trivial coefficients. Previously known results covered the classical case $\mathbb{A}^m = \mathbb{A}^{m,0}$ as well as the case $\mathbb{A}^{m,n}$ with $m \leq n$. In this paper we perform the computation for super-spaces $\mathbb{A}^{m,1}$.

math.AG↗

arXiv2022

Planar Prop of Differential Operators

We propose a definition of differential operators of an associative algebra $A$ in the spirit of Hochschild cohomology. Specifically we define $D(A)$ as the zero cohomology of a certain bicomplex formed by Hom-spaces $\mathrm{Hom}(A^{\otimes q}, A^{\otimes p})$. We show that it has a structure of a planar prop, i.e. each differential operator has multiple inputs and outputs and they can be composed along planar graphs. Furthermore, for a formally smooth algebra we have the surjective symbol map from $D(A)$ to the space of poly-derivations. We also consider another planar prop $E(A)$ generated by automorphisms of the trivial associative deformation of $A$ over the completion of a free associative algebra. We construct a natural map from $E(A)$ to $D(A)$ and identify its image.

math.AG↗

arXiv2021

Monadicity of localization for Lie super-algebras $\mathfrak{gl}(m, n)$

We study the localization functor from the category of representation of Lie super-algebra $\mathfrak{g} = \mathfrak{gl}(m, n)$ into monodromic D-modules on the flag manifold $X = G/B$. We show that the right localization is monadic in a suitable sense, which identifies the coderived category of $\mathfrak{g}$-modules with the ind-completion of compactly generated $W$-modules for some algebra $W$ in monodromic $D_X$-bimodules.

math.RT↗

arXiv2015

Shifted Poisson and Batalin-Vilkovisky structures on the derived variety of complexes

We study the shifted Poisson structure on the cochain complex C*(g) of a graded Lie algebra arising from shifted Lie bialgebra structure on g. We apply this to construct a 1-shifted Poisson structures on an infinitesimal quotient of the derived variety of complexes RCom(V) by a subgroup of the automorphisms of V, and a non-shifted Poisson structure on an appropriately defined derived variety of 1-periodic complexes, extending the standard Kirillov-Kostant Poisson structure on gl*_n. We also show that in the case of RCom(V) the 1-shifted structure is up to homotopy a Batalin-Vilkovisky algebra structure.

math.AG↗