Related papers: The Strong Homotopy Structure of BRST Reduction

Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…

In this article, we introduce fundamental notions and results about pullback formalisms, building on work of Drew-Gallauer. Our main application is producing a pullback formalism $\mathbf{SH}^{\mathrm{hol}}$ that encodes a version of…

From the `cofree' cooperad $T'(A[-1])$ on a collection $A$ together with a differential, we construct an $L_\infty$-algebra structure on the total space $\bigoplus_nA(n)$ that descends to coinvariants. We use this construction to define an…

Let $A$ be a monomial associative finite dimensional algebra over a field $\Bbbk$ of characteristic zero. It is well known that the Hochschild cohomology of $A$ can be computed using Bardzell's complex $B(A)$. The aim of this article is to…

We verify a conjecture of Beem and the first author stating that a certain family of physically motivated BRST reductions of beta-gamma systems and free fermions is isomorphic to $L_1(\mathfrak{psl}_{n|n})$, and that its associated variety…

The homotopy groups of the (stabilized) group of invertible pseudodifferential operators of order zero acting on a closed manifold X are computed in terms of the K-theory of the cosphere bundle S*X. At the same time, we show that the…

In this paper we provide concrete combinatorial formal deformation algorithms, namely sequences of elementary collapses and expansions, which relate various previously extensively studied families of combinatorially defined polyhedral…

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

Several spectral sequence techniques are used in order to derive information about the structure of finite free resolutions of graded modules. These results cover estimates of the minimal number of generators of defining ideals of…

We show that the de Rham complex of any almost Hermitian manifold carries a natural commutative $BV_\infty$-algebra structure satisfying the degeneration property. In the almost K\"ahler case, this recovers Koszul's BV-algebra, defined for…

We show that the associative algebra structure can be incorporated in the BRST quantization formalism for gauge theories such that extension from the corresponding Lie algebra to the associative algebra is achieved using operator…

We show how to integrate a weak morphism of Lie algebra crossed-modules to a weak morphism of Lie 2-groups. To do so we develop a theory of butterflies for 2-term L_infty algebras. In particular, we obtain a new description of the…

We deal with smooth real manifolds as well as complex analytic manifolds as well. It is well known that the concept of star product is powerful enough to produce all Poisson structures on real manifolds. According to [BdM] it is not known…

Inspired by the work of Wang and Zhou [4] for Rota-Baxter algebras, we develop a cohomology theory of Rota-Baxter systems and justify it by interpreting the lower degree cohomology groups as formal deformations and as abelian extensions of…

Sophisticated Khovanov-Rozansky (KhR) description of knot invariants in the fundamental representation can be reformulated in terms of bicomplex with a simple physical meaning. Namely, the counterintuitive matrix factorization is…

We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in…

This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to…

We prove that a nilpotent space is both formal and coformal if and only if it is rationally homotopy equivalent to the derived spatial realization of a graded commutative Koszul algebra. We call such spaces Koszul spaces and we show that…

We construct homotopy coherent Gysin pullbacks for weak Borel-Moore theories on smooth schemes, addressing the higher coherence problem for Gysin morphisms associated with closed immersions and lci-type factorizations. The construction uses…

We study a new model theory for formal mathematical systems that we developed in a previous paper. We introduce isomorphic and homomorphic structures for formal languages, present some results and examples and conclude our paper with a…