Related papers: The Strong Homotopy Structure of BRST Reduction
We show that an $L_\infty$-algebra can be extended to a graded Hopf algebra with a codifferential. Then we twist this extended $L_\infty$-algebra with a Drinfel'd twist, simultaneously twisting its modules. Taking the $L_\infty$-algebra as…
A relative Rota-Baxter algebra is a triple $(A, M, T)$ consisting of an algebra $A$, an $A$-bimodule $M$, and a relative Rota-Baxter operator $T$. Using Voronov's derived bracket and a recent work of Lazarev et al., we construct an…
We introduce the notion of homotopy inner products for any cyclic quadratic Koszul operad $\mathcal O$, generalizing the construction already known for the associative operad. This is done by defining a colored operad $\hat{\mathcal O}$,…
We extend M. Kontsevich's formality morphism to a homotopy braces morphism and to a homotopy Gerstenhaber morphism. We show that this morphism is homotopic to D. Tamarkin's formality morphism, obtained using formality of the little disks…
We give a new short proof that the wheeled operad of unimodular Lie algebras is Koszul and use this to explicitly construct its minimal resolution. A representation of this resolution in a finite dimensional vector space V we call a…
In this paper, we derived Lorentz covariant quantum Liouville equation for the density operator which describes the relativistic quantum information processing from Tomonaga-Schwinger equation and an exact formal solution for the…
We develop an approach to the deformation quantization on the real plane with an arbitrary Poisson structure which based on Weyl symmetrically ordered operator products. By using a polydifferential representation for deformed coordinates…
Using the BV-formalism of mathematical physics an explicit construction for the minimal model of a quantum L-infinity-algebra is given as a formal super integral. The approach taken herein to these formal integrals is axiomatic; they can be…
The resonance varieties are cohomological invariants that are studied in a variety of topological, combinatorial, and geometric contexts. We discuss their scheme structure in a general algebraic setting and introduce various properties that…
Working from first principles, quantization of a class of Hamiltonian systems with reducible symmetry is carried out by constructing first the appropriate reduced phase space and then the BRST cohomology. The constraints of this system…
The goal of this paper is to complete Getzler-Jones' proof of Deligne's Conjecture, thereby establishing an explicit relationship between the geometry of configurations of points in the plane and the Hochschild complex of an associative…
We introduce a new type of algebra, which is called a Lie-Leibniz algebra. This concept is an abstraction of derived bracket construction. It will be proved that the operad of Lie-Leibniz algebras is Koszul. The strong homotopy version of…
We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting…
This paper proves a Koszul duality result between weighted $\mathcal{A}_{\infty}$-algebras constructed in the author's previous work. In the process, we construct a new box tensor product for weighted $\mathcal{A}_{\infty}$ bimodules, and…
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…
Let $I: L' \to L$ be a morphism of $L_\infty$-algebras. The goal of this paper is to describe restriction of scalars in the setting of $L_\infty$-modules and prove that it defines a functor $I^*: L\text{-mod} \to L'\text{-mod}$. A more…
We show that the Hochschild cohomology of the algebra obtained by formal deformation quantization on a symplectic manifold is isomorphic to the formal series with coefficients in the de Rham cohomology of the manifold. The cohomology class…
The construction of stable, conservative, and accurate volume dissipation is extended to discretizations that possess a generalized summation-by-parts (SBP) property within a tensor-product framework. The dissipation operators can be…
For a system of non-homogeneous polynomials it was constructed explicit complex morphism of a dual complex to the Koszul complex into the Koszul complex. If the ideal of these polynomials is 0-dimensional, then this mapping is a homotopic…
We study the deformation theory of pre-symplectic structures, i.e. closed two-forms of fixed rank. The main result is a parametrization of nearby deformations of a given pre-symplectic structure in terms of an $L_\infty$-algebra, which we…