On every split supermanifold equipped with the Rothstein even super-Poisson bracket we construct a deformation quantization by means of a Fedosov-type procedure. In other words, the supercommutative algebra of all smooth sections of the dual Grassmann algebra bundle of an arbitrarily given vector bundle E (equipped with a fibre metric) over a symplectic manifold M will be deformed by a series of bidifferential operators having first order supercommutator proportional to the Rothstein superbracket. Moreover, we discuss two constructions related to the above result, namely the quantized BRST-cohomology for a locally free Hamiltonian Lie group action (together with H.-C.Herbig and S.Waldmann) and the classical BRST cohomology in the general coistropic (or reducible) case without using a `ghosts of ghosts' scheme (together with H.-C.Herbig).
We consider a class of \textit{factorizable} Poisson brackets which includes almost all reasonable Poisson structures. A particular case of the factorizable brackets are those associated with symplectic Lie algebroids. The BRST theory is applied to describe the geometry underlying these brackets as well as to develop a deformation quantization procedure in this particular case. This can be viewed as an extension of the Fedosov deformation quantization to a wide class of \textit{irregular} Poisson structures. In a more general case, the factorizable Poisson brackets are shown to be closely conn…
Constrained hamiltonian structure of noncommutative gauge theory for the gauge group U(1) is discussed. Constraints are shown to be first class, although, they do not give an Abelian algebra in terms of Poisson brackets. The related BFV-BRST charge gives a vanishing generalized Poisson bracket by itself due to the associativity of *-product. Equivalence of noncommutative and ordinary gauge theories is formulated in generalized phase space by using BFV-BRST charge and a solution is obtained. Gauge fixing is discussed.
In this article we consider quantum phase space reduction when zero is a regular value of the momentum map. By analogy with the classical case we define the BRST cohomology in the framework of deformation quantization. We compute the quantum BRST cohomology in terms of a `quantum' Chevalley-Eilenberg cohomology of the Lie algebra on the constraint surface. To prove this result, we construct an explicit chain homotopy, both in the classical and quantum case, which is constructed out of a prolongation of functions on the constraint surface. We have observed the phenomenon that the quantum BRST c…
Some general theorems are established on the local BRST cohomology for not necessarily Lagrangian gauge theories. Particular attention is given to the BRST groups with direct physical interpretation. Among other things, the groups of rigid symmetries and conservation laws are shown to be still connected, though less tightly than in the Lagrangian theory. The connection is provided by the elements of another local BRST cohomology group whose elements are identified with Lagrange structures. This extends the cohomological formulation of the Noether theorem beyond the scope of Lagrangian dynamics…
We propose an explicit construction of the deformation quantization of the general second-class constrained system, which is covariant with respect to local coordinates on the phase space. The approach is based on constructing the effective first-class constraint (gauge) system equivalent to the original second-class one and can also be understood as a far-going generalization of the Fedosov quantization. The effective gauge system is quantized by the BFV-BRST procedure. The star product for the Dirac bracket is explicitly constructed as the quantum multiplication of BRST observables. We intro…
We construct the Gerstenhaber bracket on Hochschild cohomology of a twisted tensor product of algebras, and, as examples, compute Gerstenhaber brackets for some quantum complete intersections arising in work of Buchweitz, Green, Madsen, and Solberg. We prove that a subalgebra of the Hochschild cohomology ring of a twisted tensor product, on which the twisting is trivial, is isomorphic, as Gerstenhaber algebras, to the tensor product of the respective subalgebras of the Hochschild cohomology rings of the factors.
By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution using Volkov's homotopy liftings as generalized to some exact monoidal categories. This is a special case of our more general result that a bracket operation on cohomology is preserved under exact mono…
We construct chain maps between the bar and Koszul resolutions for a quantum symmetric algebra (skew polynomial ring). This construction uses a recursive technique involving explicit formulae for contracting homotopies. We use these chain maps to compute the Gerstenhaber bracket, obtaining a quantum version of the Schouten-Nijenhuis bracket on a symmetric algebra (polynomial ring). We compute brackets also in some cases for skew group algebras arising as group extensions of quantum symmetric algebras.
We define Gerstenhaber's graded Lie bracket directly on complexes other than the bar complex, under some conditions. The Koszul complex of a Koszul algebra in particular satisfies our conditions. As examples we recover the Schouten-Nijenhuis bracket for a polynomial ring and the Gerstenhaber bracket for a group algebra of a cyclic group of prime order.
We study the cohomology arising in the BRST formulation of G/H gauged WZNW models, i.e. in which the states of the gauged theory are projected out from the ungauged one by means of a BRST condition. We will derive for a general simple group $H$ with arbitrary level, conditions for which the cohomology is non-trivial. We show, by introducing a small perturbation due to Jantzen, in the highest weights of the representations, how states in the cohomology, "singlet pairs", arise from unphysical states, "Kugo-Ojima quartets", as the perturbation is set to zero. This will enable us to identify and c…
We study in detail the semi-infinite or BRST cohomology of general affine Lie algebras. This cohomology is relevant in the BRST approach to gauged WZNW models. We prove the existence of an infinite sequence of elements in the cohomology for non-zero ghost numbers. This will imply that the BRST approach to topological WZNW model admits many more states than a conventional coset construction. This conclusion also applies to some non-topological models. Our work will also contain results on the structure of Verma modules over affine Lie algebras. In particular, we generalize the results of Verma …
Newly introduced generalized Poisson structures based on suitable skew-symmetric contravariant tensors of even order are discussed in terms of the Schouten-Nijenhuis bracket. The associated `Jacobi identities' are expressed as conditions on these tensors, the cohomological contents of which is given. In particular, we determine the linear generalized Poisson structures which can be constructed on the dual spaces of simple Lie algebras.
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 calculate the Gerstenhaber bracket on Hopf algebra and Hochschild cohomologies of the Taft algebra $T_p$ for any integer $p>2$ which is a nonquasi-triangular Hopf algebra. We show that the bracket is indeed zero on Hopf algebra cohomology of $T_p$, as in all known quasi-triangular Hopf algebras. This example is the first known bracket computation for a nonquasi-triangular algebra. Also, we find a general formula for the bracket on Hopf algebra cohomology of any Hopf algebra with bijective antipode on the bar resolution that is reminiscent of Gerstenhaber's original formula for Hochschild co…
The goal of this article is to compute the Gerstenhaber bracket of the Hochschild cohomology of the Fomin-Kirillov algebra on three generators over a field of characteristic different from $2$ and $3$. This is in part based on a general method we introduce to easily compute the Gerstenhaber bracket between elements of $\operatorname{HH}^{0}(A)$ and elements of $\operatorname{HH}^{n}(A)$ for $n \in \mathbb{N}_{0}$, the method by M. Suárez-Álvarez to calculate the Gerstenhaber bracket between elements of $\operatorname{HH}^{1}(A)$ and elements of $\operatorname{HH}^{n}(A)$ for any $n \in \mathbb…
In this paper we investigate the compatibility of the BRST reduction procedure with the Hermiticity of star products. First, we introduce the generalized notion of abstract BRST algebras with corresponding involutions. In this setting we define adjoint BRST differentials and as a consequence one gets new BRST quotients. Passing to the quantum BRST setting we show that for compact Lie groups the new quantum BRST quotient and the quantum BRST cohomology are isomorphic in zero degree implying that reduction is compatible with Hermiticity.
The purpose of this article is to embed the string topology bracket developed by Chas-Sullivan and Menichi on negative cyclic cohomology groups as well as the dual bracket found by de Thanhoffer de Voelcsey-Van den Bergh on negative cyclic homology groups into the global picture of a noncommutative differential (or Cartan) calculus up to homotopy on the (co)cyclic bicomplex in general, in case a certain Poincare' duality is given. For negative cyclic cohomology, this in particular leads to a Batalin-Vilkovisky algebra structure on the underlying Hochschild cohomology. In the special case in wh…
Let $M$ be any compact simply-connected $d$-dimensional smooth manifold and let $\mathbb{F}$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$, $HH^*(S^*(M);S^*(M))$, extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjecturated to exist and is expected to be isomorphic to the Batalin-Vilkovisky algebra on the free loop space homology on $M$, $H_{*+d}(LM)$ introduced by Chas and Sullivan. We also show that the negative cyclic cohomology $HC^*_-(S^*(M))$ has a Lie bracket. Such Lie bracket is e…
We consider a generic gauge system, whose physical degrees of freedom are obtained by restriction on a constraint surface followed by factorization with respect to the action of gauge transformations; in so doing, no Hamiltonian structure or action principle is supposed to exist. For such a generic gauge system we construct a consistent BRST formulation, which includes the conventional BV Lagrangian and BFV Hamiltonian schemes as particular cases. If the original manifold carries a weak Poisson structure (a bivector field giving rise to a Poisson bracket on the space of physical observables) t…
The noncritical $D=4$ $W_3$ string is a model of $W_3$ gravity coupled to two free scalar fields. In this paper we discuss its BRST quantization in direct analogy with that of the $D=2$ (Virasoro) string. In particular, we calculate the physical spectrum as a problem in BRST cohomology. The corresponding operator cohomology forms a BV-algebra. We model this BV-algebra on that of the polyderivations of a commutative ring on six variables with a quadratic constraint, or, equivalently, on the BV-algebra of (polynomial) polyvector fields on the base affine space of $SL(3,C)$. In this paper we atte…
