Deformation Quantization of Poisson Structures Associated to Lie Algebroids

In the present paper we explicitly construct deformation quantizations of certain Poisson structures on E^*, where E -> M is a Lie algebroid. Although the considered Poisson structures in general are far from being regular or even symplectic, our construction gets along without Kontsevich's formality theorem but is based on a generalized Fedosov construction. As the whole construction merely uses geometric structures of E we also succeed in determining the dependence of the resulting star products on these data in finding appropriate equivalence transformations between them. Finally, the concreteness of the construction allows to obtain explicit formulas even for a wide class of derivations and self-equivalences of the products. Moreover, we can show that some of our products are in direct relation to the universal enveloping algebra associated to the Lie algebroid. Finally, we show that for a certain class of star products on E^* the integration with respect to a density with vanishing modular vector field defines a trace functional

Some Remarks on {g\mathfrak g}-invariant Fedosov Star Products and Quantum Momentum Mappings

In these notes we consider the usual Fedosov star product on a symplectic manifold $(M,\omega)$ emanating from the fibrewise Weyl product $\circ$, a symplectic torsion free connection $\nabla$ on M, a formal series $\Omega \in \nu Z^2_{\rm\tiny dR}(M)[[\nu]]$ of closed two-forms on M and a certain formal series s of symmetric contravariant tensor fields on M. For a given symplectic vector field X on M we derive necessary and sufficient conditions for the triple $(\nabla,\Omega,s)$ determining the star product * on which the Lie derivative \Lie_X with respect to X is a derivation of *. Moreover, we also give additional conditions on which \Lie_X is even a quasi-inner derivation. Using these results we find necessary and sufficient criteria for a Fedosov star product to be $\mathfrak g$-invariant and to admit a quantum Hamiltonian. Finally, supposing the existence of a quantum Hamiltonian, we present a cohomological condition on $\Omega$ that is equivalent to the existence of a quantum momentum mapping. In particular, our results show that the existence of a classical momentum mapping in general does not imply the existence of a quantum momentum mapping.Comment: 15 pages, one corollary and one definition added to Section 4, typos remove

Homogeneous Fedosov Star Products on Cotangent Bundles I: Weyl and Standard Ordering with Differential Operator Representation

In this paper we construct homogeneous star products of Weyl type on every cotangent bundle $T^*Q$ by means of the Fedosov procedure using a symplectic torsion-free connection on $T^*Q$ homogeneous of degree zero with respect to the Liouville vector field. By a fibrewise equivalence transformation we construct a homogeneous Fedosov star product of standard ordered type equivalent to the homogeneous Fedosov star product of Weyl type. Representations for both star product algebras by differential operators on functions on $Q$ are constructed leading in the case of the standard ordered product to the usual standard ordering prescription for smooth complex-valued functions on $T^*Q$ polynomial in the momenta (where an arbitrary fixed torsion-free connection $\nabla_0$ on $Q$ is used). Motivated by the flat case $T^* R^n$ another homogeneous star product of Weyl type corresponding to the Weyl ordering prescription is constructed. The example of the cotangent bundle of an arbitrary Lie group is explicitly computed and the star product given by Gutt is rederived in our approach.Comment: 31 pages, LaTeX2e, no picture

Phase Space Reduction of Star Products on Cotangent Bundles

In this paper we construct star products on Marsden-Weinstein reduced spaces in case both the original phase space and the reduced phase space are (symplectomorphic to) cotangent bundles. Under the assumption that the original cotangent bundle $T^*Q$ carries a symplectique structure of form $\omega_{B_0}=\omega_0 + \pi^*B_0$ with $B_0$ a closed two-form on $Q$, is equipped by the cotangent lift of a proper and free Lie group action on $Q$ and by an invariant star product that admits a $G$-equivariant quantum momentum map, we show that the reduced phase space inherits from $T^*Q$ a star product. Moreover, we provide a concrete description of the resulting star product in terms of the initial star product on $T^*Q$ and prove that our reduction scheme is independent of the characteristic class of the initial star product. Unlike other existing reduction schemes we are thus able to reduce not only strongly invariant star products. Furthermore in this article, we establish a relation between the characteristic class of the original star product and the characteristic class of the reduced star product and provide a classification up to $G$-equivalence of those star products on $(T^*Q,\omega_{B_0})$, which are invariant with respect to a lifted Lie group action. Finally, we investigate the question under which circumstances `quantization commutes with reduction' and show that in our examples non-trivial restrictions arise

On representations of star product algebras over cotangent spaces on Hermitian line bundles

For every formal power series $B=B_0 + \lambda B_1 + O(\lambda^2)$ of closed two-forms on a manifold $Q$ and every value of an ordering parameter $\kappa\in [0,1]$ we construct a concrete star product $\star^B_\kappa$ on the cotangent bundle $\pi : T^*Q\to Q$. The star product $\star^B_\kappa$ is associated to the formal symplectic form on $T^*Q$ given by the sum of the canonical symplectic form $\omega$ and the pull-back of $B$ to $T^*Q$. Deligne's characteristic class of $\star^B_\kappa$ is calculated and shown to coincide with the formal de Rham cohomology class of $\pi^*B$ divided by \im\lambda. Therefore, every star product on $T^*Q$ corresponding to the Poisson bracket induced by the symplectic form $\omega + \pi^*B_0$ is equivalent to some $\star^B_kappa$. It turns out that every $\star^B_kappa$ is strongly closed. In this paper we also construct and classify explicitly formal representations of the deformed algebra as well as operator representations given by a certain global symbol calculus for pseudodifferential operators on $Q$. Moreover, we show that the latter operator representations induce the formal representations by a certain Taylor expansion. We thereby obtain a compact formula for the WKB expansion.Comment: LaTeX2e, 38 pages, slight generalization of Theorem 4.4, minor typos correcte