Projectively Equivariant Symbol Calculus

The spaces of linear differential operators acting on -densities on and the space of functions on which are polynomial on the fibers are not isomorphic as modules over the Lie algebra Vect (ⁿ) of vector fields of ⁿ. However, these modules are isomorphic as sl(n + 1,)-modules where is the Lie algebra of infinitesimal projective transformations. In addition, such an -equivariant bijection is unique (up to normalization). This leads to a notion of projectively equivariant quantization and symbol calculus for a manifold endowed with a (flat) projective structure. We apply the -equivariant symbol map to study the of kth-order linear differential operators acting on -densities, for an arbitrary manifold M and classify the quotient-modules .     

Projectively Equivariant Quantization and Symbol Calculus: Noncommutative Hypergeometric Functions

We extend projectively equivariant quantization and symbol calculus to symbols of pseudo-differential operators. An explicit expression in terms of hypergeometric functions with noncommutative arguments is given. Some examples are worked out, one of them yielding a quantum length element on S ³.     

Projectively Equivariant Quantization for Differential Operators Acting on Forms

In this Letter, we show the existence of a natural and projectively equivariant quantization map depending on a linear torsion-free connection for the spaces of differential operators mapping p-forms into functions on an arbitrary smooth manifold M. We show how this result implies the existence over of an sl _m+1-equivariant quantization for the spaces .This revised version was published online in March 2005 with corrections to the cover date.     

Natural and Projectively Equivariant Quantizations by means of Cartan Connections

The existence of a natural and projectively equivariant quantization in the sense of Lecomte [20] was proved recently by M. Bordemann [4], using the framework of Thomas–Whitehead connections. We give a new proof of existence using the notion of Cartan projective connections and we obtain an explicit formula in terms of these connections. Our method yields the existence of a projectively equivariant quantization if and only if an -equivariant quantization exists in the flat situation in the sense of [18], thus solving one of the problems left open by M. Bordemann.Mathematics Subject Classification (2000). 53B05, 53B10, 53D50, 53C10     

Equivariant Symbol Calculus for Differential Operators Acting on Forms

We prove the existence and uniqueness of a projectively equivariant symbol map (in the sense of Lecomte and Ovsienko) for the spaces of differential operators transforming p-forms into functions, over . As an application, we classify the Vect(M)-equivariant maps from to over a smooth manifold M, recovering and improving earlier results of N.Poncin. This provides the complete answer to a question raised by P. Lecomte about the extension of a certain intrinsic homotopy operator.     

Projectively Equivariant Symbol Calculus for Bidifferential Operators

We prove the existence and uniqueness of a projectively equivariant symbol map, which is an isomorphism between the space of bidifferential operators acting on tensor densities over ⁿ and that of their symbols, when both are considered as modules over an imbedding of sl(n+1, ) into polynomial vector fields. The coefficients of the bidifferential operators are densities of an arbitrary weight. We obtain the result for all values of this weight, except for a set of critical ones which does not contain 0. In the case of second-order operators, we give explicit formulas and examine in detail the critical values.     

Explicit Formula for the Natural and Projectively Equivariant Quantization

In [Prog Theor Phys Suppl 49(3):173–196, 1999], Lecome conjectured the existence of a natural and projectively equivariant quantization. In [math.DG/0208171, Submitted], Bordemann proved this existence using the framework of Thomas–Whitehead connections. In [Lett Math Phys 72(3):183–196, 2005], we gave a new proof of the same theorem thanks to the Cartan connections. After these works, there was no explicit formula for the quantization. In this paper, we give this formula using the formula in terms of Cartan connections given in [Lett Math Phys 72(3):183–196, 2005]. This explicit formula constitutes the generalization to any order of the formulae at second and third orders soon published by Bouarroudj in [Lett Math Phys 51(4):265–274, 2000] and [C R Acad Sci Paris Sér I Math 333(4):343–346, 2001].     

Projective Structure,Symplectic Connection and Quantization

Let X be a connected Riemann surface equipped with a projective structure . Let E be a holomorphic symplectic vector bundle over X equipped with a flat connection. There is a holomorphic symplectic structure on the total space of the pullback of E to the space of all nonzero holomorphic cotangent vectors on X. Using , this symplectic form is quantized. A moduli space of Higgs bundles on a compact Riemann surface has a natural holomorphic symplectic structure. Using , a quantization of this symplectic form over a Zariski open subset of the moduli space of Higgs bundles is constructed.     

Generalized Transvectants-Rankin–Cohen Brackets

We introduce o(p+1q+1)-invariant bilinear differential operators on the space of tensor densities on Rⁿ generalizing the well-known bilinear sl₂-invariant differential operators in the one-dimensional case, called Transvectants or Rankin–Cohen brackets. We also consider already known linear o(p+1q+1)-invariant differential operators given by powers of the Laplacian.     

Explicit Equivariant Quantization on Coadjoint Orbits of GL(n,C)

We present an explicit U _h (gl(n, C))-equivariant quantization on coadjoint orbits of GL(n, C). It forms a two-parameter family quantizing the Poisson pair of the reflection equation and Kirillov–Kostant–Souriau brackets.     

Re-explanation of Weyl Quantization Scheme via Weyl Ordering Approach

We re-explain the Weyl quantization scheme by virtue of the technique of integration within Weyl ordered product of operators, i.e., the Weyl correspondence rule can be reconstructed by classical functions＇ Fourier transformation followed by an inverse Fourier transformation within Weyl ordering of operators. As an application of this reconstruction, we derive the quantum operator coresponding to the angular spectrum amplitude of a spherical wave.     

Re-explanation of Weyl Quantization Scheme via Weyl Ordering Approach

We re-explain the Weyl quantization scheme by virtue of the technique of integration within Weyl ordered product of operators, i.e., the Weyl correspondence rule can be reconstructed by classical functions' Fourier transformation followed by an inverse Fourier transformation within Weyl ordering of operators. As an application of this reconstruction, we derive the quantum operator coresponding to the angular spectrum amplitude of a spherical wave.     

A Deformation-Theoretical Approach to Weyl Quantization on Riemannian Manifolds

By using a sheaf-theoretical language, we introduce a notion of deformation quantization allowing not only for formal deformation parameters but also for real or complex ones as well. As a model for this approach to deformation quantization, we construct a quantization scheme for cotangent bundles of Riemannian manifolds. Here, we essentially use a complete symbol calculus for pseudodifferential operators on a Riemannian manifold. Depending on a scaling parameter, our quantization scheme corresponds to normally ordered, Weyl or antinormally ordered quantization. Finally, it is shown that our quantization scheme induces a family of pairwise isomorphic strongly closed star products on a cotangent bundle.     

A Ring-Theorist's Description of Fedosov Quantization

We present a formal, algebraic treatment of Fedosov's argument that the coordinate algebra of a symplectic manifold has a deformation quantization. His remarkable formulas are established in the context of affine symplectic algebras.     

A Quantization on Riemann Surfaces with Projective Structure

Let X be a Riemann surface equipped with a projective structure. Let be a square-root of the holomorphic cotangent bundle K _X . Consider the symplectic form on the complement of the zero section of obtained by pulling back the symplectic form on K _X using the map ². We show that this symplectic form admits a natural quantization. This quantization also gives a quantization of the complement of the zero section in K _X equipped with the natural symplectic form.     

Quantization of Poisson Families and of Twisted Poisson Structures

We describe a deformation quantization of a modification of Poisson geometry by a closed 3-form. Under suitable conditions, it gives rise to a stack of algebras. The basic object used for this aim is a kind of families of Poisson structures given by a Maurer–Cartan equation; they are easily quantized using Kontsevich's formality theorem. We conclude with a section on quantization of complex manifolds.     

BRST Extension of Geometric Quantization

Consider a physical system for which a mathematically rigorous geometric quantization procedure exists. Now subject the system to a finite set of irreducible first class (bosonic) constraints. It is shown that there is a mathematically rigorous BRST quantization of the constrained system whose cohomology at ghost number zero recovers the constrained quantum states. Moreover this space of constrained states has a well-defined Hilbert space structure inherited from that of the original system. Treatments of these ideas in the physics literature are more general but suffer from having states with infinite or zero "norms" and thus are not admissible as states. Also BRST operators for many systems require regularization to be well-defined. In our more restricted context, we show that our treatment does not suffer from any of these difficulties.     

Commuting Operators and Separation of Variables for Laplacians of Projectively Equivalent Metrics

Let two Riemannian metrics g and g on one manifold M ⁿ have the same geodesics (considered as unparameterized curves). Then we can construct invariantly n commuting differential operators of second order. The Laplacian _g of the metric g is one of these operators. For any x M ⁿ , consider the linear transformation G of T _x M ⁿ given by the tensor g ^Ig_j . If all eigenvalues of G are different at one point of the manifold then they are different at almost every point; the operators are linearly independent and their symbols are functionally independent. If all eigenvalues of G are different at each point of a closed manifold then it can be covered by the n-torus and we can globally separate the variables in the equation _g f = f on this torus.     

Quantization of reimannian gravity: interaction representation

A Riemann-covariant expression of Schwinger's procedure, leading from a Heisenberg to an interaction representation, completes here our quantization of the coupling of a massive graviton field and a spin-zero Kemmer field.