Using technique of wheeled props we establish a correspondence between the homotopy theory of unimodular Lie 1-bialgebras and the famous Batalin-Vilkovisky formalism. Solutions of the so called quantum master equation satisfying certain boundary conditions are proven to be in 1-1 correspondence with representations of a wheeled dg prop which, on the one hand, is isomorphic to the cobar construction of the prop of unimodular Lie 1-bialgebras and, on the other hand, is quasi-isomorphic to the dg wheeled prop of unimodular Poisson structures. These results allow us to apply properadic methods for computing formulae for a homotopy transfer of a unimodular Lie 1-bialgebra structure on an arbitrary complex to the associated quantum master function on its cohomology. It is proven that in the category of quantum BV manifolds associated with the homotopy theory of unimodular Lie 1-bialgebras quasi-isomorphisms are equivalence relations.
It is shown that Losev-Mnev's BF theory for unimodular Lie algebras can be naturally extended to the case of unimodular Lie 1-bialgebras (and, eventually, to the case of unimodular Poisson structures). Using a finite-dimensional version of the Batalin-Vilkovisky quantization formalism it is rigorously proven that the Feynman integrals computing the effective action of this new BF theory describe precisely homotopy transfer formulae obtained within the wheeled properadic approach to the quantum master equation. Quantum corrections (which are present in our BF model to all orders of the Planck constant) correspond precisely to what are often called "higher Massey products" in the homological algebra.
The action of Batalin-Vilkovisky Delta-operator on semidensities in an odd symplectic superspace is defined. This is used for the construction of integral invariants on surfaces embedded in an odd symplectic superspace and for more clear interpretation of the Batalin-Vilkovisky formalism geometry.
In the Batalin-Vilkovisky formalism, gauge conditions are expressed as Lagrangian submanifolds in the space of fields and antifields. We discuss a way of patching together gauge conditions over different parts of the space of fields, and apply this method to extend the light-cone gauge for the superparticle to a conic neighbourhood of the forward light-cone in momentum space.
We define a jet-space analog of the BV-Laplacian, avoiding delta-functions and infinite constants; instead we show that the main properties of the BV-Laplacian and its relation to the Schouten bracket originate from the underlying jet-space geometry.
We study the ``twisted" Poincaré duality of smooth Poisson manifolds, and show that, if the modular vector field is diagonalizable, then there is a mixed complex associated to the Poisson complex, which, combining with the twisted Poincaré duality, gives a Batalin-Vilkovisky algebra structure on the Poisson cohomology. This generalizes the previous results obtained by Xu for unimodular Poisson manifolds. We also show that the Batalin-Vilkovisky algebra structure is preserved under Kontsevich's deformation quantization, and in the case of polynomial algebras it is also preserved by Koszul duali…
Given a smooth family of massless free fermions parametrized by a base manifold $B$, we show that the (mathematically rigorous) Batalin-Vilkovisky quantization of the observables of this family gives rise to the determinant line bundle for the corresponding family of Dirac operators.
We extend the notion of a Thomas projective connection (a projective equivalence class of linear connections) for supermanifolds. As a by-product, we arrive at a generalisation of the multidimensional Schwarzian derivative for the super case which was previously unknown. This is combined with our previous construction of a Laplacian on the algebra of densities for a projectively connected manifold and allows us to study Batalin-Vilkovisky type operators and the relation between projective connections and odd Poisson structures.
This paper analyzes in details the Batalin-Vilkovisky quantization procedure for BF theories on n-dimensional manifolds and describes a suitable superformalism to deal with the master equation and the search of observables. In particular, generalized Wilson loops for BF theories with additional polynomial B-interactions are discussed in any dimensions. The paper also contains the explicit proofs to the Theorems stated in math.QA/0003073.
The geometry of supermanifolds provided with $Q$-structure (i.e. with odd vector field $Q$ satisfying $\{ Q,Q\} =0$), $P$-structure (odd symplectic structure ) and $S$-structure (volume element) or with various combinations of these structures is studied. The results are applied to the analysis of Batalin-Vilkovisky approach to the quantization of gauge theories. In particular the semiclassical approximation in this approach is expressed in terms of Reidemeister torsion.
This is a paper about geometry of (iterated) variations. We explain why no sources of divergence are built into the Batalin-Vilkovisky (BV) Laplacian, whence there is no need to postulate any ad hoc conventions such as "$δ(0)=0$" and "$\logδ(0)=0$" within BV-approach to quantisation of gauge systems. Remarkably, the geometry of iterated variations does not refer at all to the construction of Dirac's $δ$-function as a limit of smooth kernels. We illustrate the reasoning by re-deriving - but not just "formally postulating" - the standard properties of BV-Laplacian and Schouten bracket and by ver…
Batalin-Vilkovisky algebras from Ševera bicomplexes
Mathematical Institute, Faculty of Mathematics and Physics, Charles University（查理大学数学物理学院数学研究所）；Dipartimento di Matematica “Guido Castelnuovo” – Sapienza Università di Roma（罗马智慧大学“圭多·卡斯特尔努沃”数学系）
Into a geometric setting, we import the physical interpretation of index theorems via semi-classical analysis in topological quantum field theory. We develop a direct relationship between Fedosov's deformation quantization of a symplectic manifold X and the BV quantization of a one-dimensional sigma model with target X. This model is a quantum field theory of AKSZ type and is quantized rigorously using Costello's homotopic theory of effective renormalization. We show that Fedosov's Abelian connections on the Weyl bundle produce solutions to the effective quantum master equation. Moreover, BV i…
For a Lie-Rinehart algebra (A,L) such that, as an A-module, L is finitely generated and projective of finite constant rank, the relationship between generators of the Gerstenhaber bracket and connections on the highest A-exterior power of L given in an earlier paper arises from the canonical pairing between the exterior A-powers of L. Thus, given an exact generator for the corresponding Gerstenhaber algebra, the chain complex underlying the resulting Batalin-Vilkovisky algebra coincides with the Rinehart complex computing the corresponding Lie-Rinehart homology.
We introduce a formal $\hbar$-differential operator $Δ$ that generates higher Koszul brackets on the algebra of (pseudo)differential forms on a $P_{\infty}$-manifold. Such an operator was first mentioned by Khudaverdian and Voronov in \texttt{arXiv:1808.10049}. (This operator is an analogue of the Koszul--Brylinski boundary operator $\partial_P$ which defines Poisson homology for an ordinary Poisson structure.) Here we introduce $Δ=Δ_P$ by a different method and establish its properties. We show that this BV type operator generating higher Koszul brackets can be included in a one-parameter fam…
Higher homotopy generalizations of Lie-Rinehart algebras, Gerstenhaber-, and Batalin-Vilkovisky algebras are explored. These are defined in terms of various antisymmetric bilinear operations satisfying weakened versions of the Jacobi identity, as well as in terms of operations involving more than two variables of the Lie triple systems kind. A basic tool is the Maurer-Cartan algebra-the algebra of alternating forms on a vector space so that Lie brackets correspond to square zero derivations of this algebra-and multialgebra generalizations thereof. The higher homotopies are phrased in terms of …
Twilled L(ie-)R(inehart)-algebras generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an "almost twilled pre-LR algebra", which is a true twilled LR-algebra iff the almost complex structure is integrable. We characterize twilled LR structures in terms of certain associated differential (bi)graded Lie and G(erstenhaber)-algebras; in particular the G-algebra arising from an almost complex structure is a d(ifferential) G-algebra iff the almost complex structure is integrable. Such G-algebras, endowed with a generator turning them …
We consider semidensities on a supermanifold E with an odd symplectic structure. We define a new $Δ$-operator action on semidensities as the proper framework for Batalin-Vilkovisky formalism. We establish relations between semidensities on E and differential forms on Lagrangian surfaces. We apply these results to Batalin-Vilkovisky geometry. Another application is to (1.1)-codimensional surfaces in E. We construct a kind of pull-back of semidensities to such surfaces. This operation and the $Δ$-operator are used for obtaining integral invariants for (1.1)-codimensional surfaces.
Twilled L(ie)-R(inehart) algebas generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an almost twilled pre-LR algebra, which is a true twilled LR-algebra iff the almost complex structure is integrable. We characterize twilled LR-structures in terms of certain associated differential (bi)graded Lie and G(erstenhaber)-algebras; in particular, the G-algebra arising from an almost complex structure is a d(ifferential) G-algebra iff the almost complex structure is integrable. Such G-algebras, endowed with a generator turning them in…
A general construction of an sh Lie algebra from a homological resolution of a Lie algebra is given. It is applied to the space of local functionals equipped with a Poisson bracket, induced by a bracket for local functions along the lines suggested by Gel'fand, Dickey and Dorfman. In this way, higher order maps are constructed which combine to form an sh Lie algebra on the graded differential algebra of horizontal forms. The same construction applies for graded brackets in field theory such as the Batalin-Fradkin-Vilkovisky bracket of the Hamiltonian BRST theory or the Batalin-Vilkovisky antib…
We construct a differential Gerstenhaber-Batalin-Vilkovisky algebra from Dolbeault complex of any close Kaehler manifold, and a Frobenius manifold structure on Dolbeault cohomology.
