Let M be a manifold endowed with a symmetric affine connection $Γ.$ The aim of this paper is to describe a quantization map between the space of second-order polynomials on the cotangent bundle T^{*} M and the space of second-order linear differential operators, both viewed as modules over the group of diffeomorphisms and the Lie algebra of vector fields on M. This map is an isomorphism, for almost all values of certain constants, and it depend only on the projective class of the affine connection $Γ.$
In this paper we define strongly projectively flatness of holomorphic maps into the complex Grassmannian manifold, which is a kind of generalization of holomorphic maps into the complex projective space and prove a rigidity of equivariant strongly projectively flat maps of compact simply connected homogeneous Kähler manifolds.
In [3], the authors showed the existence and the uniqueness of a sl(m+1,\R)-equivariant quantization in the non-critical situations. The curved generalization of the sl(m+1,\R)-equivariant quantization is the natural and projectively equivariant quantization. In [1] and [7], the existence of such a quantization was proved in two different ways. In this paper, we show that this quantization is not unique.
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 \sl(m+1,\R)-equivariant quantization exists in the flat situation in the sense of [18], thus solving one of the problems left open by M. Bordemann.
We study the existence of natural and projectively equivariant quantizations for differential operators acting between order 1 vector bundles over a smooth manifold M. To that aim, we make use of the Thomas-Whitehead approach of projective structures and construct a Casimir operator depending on a projective Cartan connection. We attach a scalar parameter to every space of differential operators, and prove the existence of a quantization except when this parameter belongs to a discrete set of resonant values.
In this paper, we analyse the question of existence of a natural and projectively equivariant symbol calculus, using the theory of projective Cartan connections. We establish a close relationship between the existence of such a natural symbol calculus and the existence of an \sl(m+1,\R)-equivariant calculus over \R^{m} in the sense of [15,1]. Moreover we show that the formulae that hold in the non-critical situations over \R^{m} for the \sl(m+1,\R)-equivariant calculus can be directly generalized to an arbitrary manifold by simply replacing the partial derivatives by invariant differentiations…
We investigate the concept of projectively equivariant quantization in the framework of super projective geometry. When the projective superalgebra pgl(p+1|q) is simple, our result is similar to the classical one in the purely even case: we prove the existence and uniqueness of the quantization except in some critical situations. When the projective superalgebra is not simple (i.e. in the case of pgl(n|n)\not\cong sl(n|n)), we show the existence of a one-parameter family of equivariant quantizations. We also provide explicit formulas in terms of a generalized divergence operator acting on supe…
In [8], P. Lecomte conjectured the existence of a natural and projectively equivariant quantization. In [1], M. Bordemann proved this existence using the framework of Thomas-Whitehead connections. In [9], 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 [9]. This explicit formula constitutes the generalization to any order of the formulae at second and third orders soon published by Bouarroudj in [2] and [3]…
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^3$.
We give an explicit formula for the projectively invariant quantization map between the space of symbols of degree three and the space of third-order linear differential operators, both viewed as modules over the group of diffeomorphisms and the Lie algebra of vector fields on a manifold.
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 $R^n$ and that of their symbols, when both are considered as modules over an imbedding of $sl(n+1,\R)$ 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 de…
The spaces of higher-order differential operators (in Dimension 1|2), which are modules over the stringy Lie superalgebra K(2), are isomorphic to the corresponding spaces of symbols as orthosymplectic modules in non resonant cases. Such an osp (2|2)-equivariant quantization, which has been given in second-order differential operators case, keeps existing and unique. We calculate its explicit formula that provides extension in particular order cases.
The spaces of linear differential operators on ${\mathbb{R}}^n$ acting on tensor densities of degree $λ$ and the space of functions on $T^*{\mathbb{R}}^n$ which are polynomial on the fibers are not isomorphic as modules over the Lie algebra $\Vect({\mathbb{R}}^n)$ of vector fields on ${\mathbb{R}}^n$. However, these modules are isomorphic as $sl(n+1,{\mathbb{R}})$-modules where $sl(n+1,{\mathbb{R}})\subset \Vect({\mathbb{R}}^n)$ is the Lie algebra of infinitesimal projective transformations. In addition, such an $sl_{n+1}$-equivariant bijection is unique (up to normalization). This leads to a …
The existence of a natural and projectively invariant quantization in the sense of P. Lecomte [Progr. Theoret. Phys. Suppl. (2001), no. 144, 125-132] was proved by M. Bordemann [math.DG/0208171], using the framework of Thomas-Whitehead connections. We extend the problem to the context of supermanifolds and adapt M. Bordemann's method in order to solve it. The obtained quantization appears as the natural globalization of the $\mathfrak{pgl}({n+1|m})$-equivariant quantization on ${\mathbb{R}}^{n|m}$ constructed by P. Mathonet and F. Radoux in [arXiv:1003.3320]. Our quantization is also a prolong…
We construct an explicit scheme to associate to any potential symbol an operator acting between sections of natural bundles (associated to irreducible representations) for a so-called AHS-structure. Outside of a finite set of critical (or resonant) weights, this procedure gives rise to a quantization, which is intrinsic to this geometric structure. In particular, this provides projectively and conformally equivariant quantizations for arbitrary symbols on general (curved) projective and conformal structures.
We use contact geometry to describe the monoid of projectively equivariant meromorphic differential operators on a complex curve, quantization of which generalizes known constructions of classical equivariants to non-commutative function algebras in several variables.
We define the unique (up to normalization) symbol map from the space of linear differential operators on $R^n$ to the space of polynomial on fibers functions on $T^* R^n$, equivariant with respect to the Lie algebra of projective transformations $sl_{n+1}\subset\Vect(R^n)$. We apply the constructed $sl_{n+1}$-invariant symbol to studying of the natural one-parameter family of $\Vect(M)$-modules on the space of linear differential operators on an arbitrary manifold M. Each of the $\Vect(M)$-action from this family can be interpreted as a deformation of the standard $\Vect(M)$-module $S(M)$ of s…
In this paper, we generalize the known results on the super circles $S^{1|1}$ and $S^{1|2}$. We construct the fine equivariant quantization on the super circle $S^{1|n}$ for $n\geqslant 3$. The equivariant Lie superalgebra is $\spo(2|n)$ which is constituted of the contact projective vector fields on $S^{1|n}$. In order to construct the fine equivariant quantization on $S^{1|n}$, we use the model developed, in the purely even case, by Charles H. Conley and Valentin Ovsienko in \textit{[Linear Differential Operators on Contact manifolds, http://www.arxiv:math-Ph/1205.6562v1,24p, 2012]}. We also…
Conformally equivariant quantization is a peculiar map between symbols of real weight $δ$ and differential operators acting on tensor densities, whose real weights are designed by $λ$ and $λ+δ$. The existence and uniqueness of such a map has been proved by Duval, Lecomte and Ovsienko for a generic weight $δ$. Later, Silhan has determined the critical values of $δ$ for which unique existence is lost, and conjectured that for those values of $δ$ existence is lost for a generic weight $λ$. We fully determine the cases of existence and uniqueness of the conformally equivariant quantization in term…
We investigate the concept of equivariant quantization over the superspace R^{p+q|2r}, with respect to the orthosymplectic algebra osp(p+1,q+1|2r). Our methods and results vary upon the superdimension p+q-2r. When the superdimension is nonzero, we manage to obtain a result which is similar to the classical theorem of Duval, Lecomte and Ovsienko: we prove the existence and uniqueness of the equivariant quantization except in some resonant situations. To do so, we have to adapt their methods to take into account the fact that the Casimir operator of the orthosymplectic algebra on supersymmetric …
The concept of conformally equivariant quantizations was introduced by Duval, Lecomte and Ovsienko in \cite{DLO} for manifolds endowed with flat conformal structures. They obtained results of existence and uniqueness (up to normalization) of such a quantization procedure. A natural generalization of this concept is to seek for a quantization procedure, over a manifold $M$, that depends on a pseudo-Riemannian metric, is natural and is invariant with respect to a conformal change of the metric. The existence of such a procedure was conjectured by P. Lecomte in \cite{Leconj} and proved by C. Duva…
We are interested in the study of the space of $n$-ary differential operators denoted by $\mathfrak{D}_{\underlineł,μ}$ where $\underlineł=(ł_{1},...,ł_{n})$ acting on weighted densities from $\frak F_{ł_1}\otimes\frak F_{ł_2}\otimes...\otimes\frak F_{ł_n}$ to $\frak F_μ$ as a module over the orthosymplectic superalgebra $\mathfrak{osp}(1|2)$. As a consequence, we prove the existence and the uniqueness of a canonical conformally equivariant symbol map from $\mathfrak{D}_{\underlineλ,μ}^k$ to the corresponding space of symbols as well for the explicit expression of the associated quantization m…
We prove the existence and uniqueness of a projectively equivariant symbol map (in the sense of Lecomte and Ovsienko) for the spaces $D_p$ of differential operators transforming p-forms into functions. These results hold over a smooth manifold endowed with a flat projective structure. As an application, we classify the Vect(M)-equivariant maps from $D_p$ to $D_q$ over any manifold M, recovering and improving earlier results by N. Poncin. This provides the complete answer to a question raised by P. Lecomte about the extension of a certain intrinsic homotopy operator.
We consider the space of differential operators $\mathcal{D}_{λμ}$ acting between $λ$- and $μ$-densities defined on $S^{1|2}$ endowed with its standard contact structure. This contact structure allows one to define a filtration on $\mathcal{D}_{λμ}$ which is finer than the classical one, obtained by writting a differential operator in terms of the partial derivatives with respect to the different coordinates. The space $\mathcal{D}_{λμ}$ and the associated graded space of symbols $\mathcal{S}_δ$ ($δ=μ-λ$) can be considered as $\mathfrak{spo}(2|2)$-modules, where $\mathfrak{spo}(2|2)$ is the Li…
A G-equivariant spin^c structure on a manifold gives rise to a virtual representation of the group G, called the spin^c quantization of the manifold. We present a cutting construction for S^1-equivariant spin^c manifolds, and show that the quantization of the original manifold is isomorphic to the direct sum of the quantizations of the cut spaces. Our proof uses Kostant-type formulas, which express the quantization in terms of local data around the fixed point set of the S^1-action.
By computing certain cohomology of Vect(M) of smooth vector fields we prove that on 1-dimensional manifolds M there is no quantization map intertwining the action of non-projective embeddings of the Lie algebra sl(2) into the Lie algebra Vect(M). Contrariwise, for projective embeddings sl(2)-equivariant quantization exists.
This article is a survey of recent work of the authors developing a new approach to quantization based on the equivariance with respect to some Lie group of symmetries. Examples are provided by conformal and projective differential geometry: given a smooth manifold M endowed with a flat conformal/projective structure, we establish a canonical isomorphism between the space of symmetric contravariant tensor fields on M and the space of differential operators on M. This leads to a notion of conformally/projectively invariant star-product on $T^*M$.
Equivariant quantization is a new theory that highlights the role of symmetries in the relationship between classical and quantum dynamical systems. These symmetries are also one of the reasons for the recent interest in quantization of singular spaces, orbifolds, stratified spaces... In this work, we prove existence of an equivariant quantization for orbifolds. Our construction combines an appropriate desingularization of any Riemannian orbifold by a foliated smooth manifold, with the foliated equivariant quantization that we built in \cite{PoRaWo}. Further, we suggest definitions of the comm…
We prove the existence and the uniqueness of a conformally equivariant symbol calculus and quantization on any conformally flat pseudo-Riemannian manifold $(M,\rg)$. In other words, we establish a canonical isomorphism between the spaces of polynomials on $T^*M$ and of differential operators on tensor densities over $M$, both viewed as modules over the Lie algebra $\so(p+1,q+1)$ where $p+q=\dim(M)$. This quantization exists for generic values of the weights of the tensor densities and compute the critical values of the weights yielding obstructions to the existence of such an isomorphism. In t…
The elaboration of new quantization methods has recently developed the interest in the study of subalgebras of the Lie algebra of polynomial vector fields over a Euclidean space. In this framework, these subalgebras define maximal equivariance conditions that one can impose on a linear bijection between observables that are polynomial in the momenta and differential operators.Here, we determine which finite dimensional graded Lie subalgebras are maximal. In order to characterize these, we make use of results of Guillemin, Singer and Sternberg and Kobayashi and Nagano.
Let $(M,g)$ be a pseudo-Riemannian manifold and $F_λ(M)$ the space of densities of degree $λ$ on $M$. We study the space $D^2_{λ,μ}(M)$ of second-order differential operators from $F_λ(M)$ to $F_μ(M)$. If $(M,g)$ is conformally flat with signature $p-q$, then $D^2_{λ,μ}(M)$ is viewed as a module over the group of conformal transformations of $M$. We prove that, for almost all values of $μ-λ$, the $O(p+1,q+1)$-modules $D^2_{λ,μ}(M)$ and the space of symbols (i.e., of second-order polynomials on $T^*M$) are canonically isomorphic. This yields a conformally equivariant quantization for quadratic …
A geometric quantization of a Kähler manifold, viewed as a symplectic manifold, depends on the complex structure compatible with the symplectic form. The quantizations form a vector bundle over the space of such complex structures. Having a canonical quantization would amount to finding a natural (projectively) flat connection on this vector bundle. We prove that for a broad class of manifolds, including symplectic homogeneous spaces (e.g., the sphere), such connection does not exist. This is a consequence of a ``no go'' theorem claiming that the entire Lie algebra of smooth functions on a com…
We show that the Korevaar-Schoen limit of the sequence of equivariant harmonic maps corresponding to a sequence of irreducible $SL_2({\mathbb C})$ representations of the fundamental group of a compact Riemannian manifold is an equivariant harmonic map to an ${\mathbb R}$-tree which is minimal and whose length function is projectively equivalent to the Morgan-Shalen limit of the sequence of representations. We then examine the implications of the existence of a harmonic map when the action on the tree fixes an end.
In order to understand the structure of the cohomologies involved in the study of projectively equivariant quantizations, we introduce a notion of affine representation of a Lie algebra.We show how it is related to linear representations and 1-cohomology classes of the algebra. We classify the affine representations of the Lie algebra of vector fields of a smooth manifold associated to its action on symmetric tensor fields of type (1,2). Among them, we recover the space of symmetric affine linear connections and that of projective structures of the manifold. We compute some of the associated c…
Let G be a compact, simply connected Lie group. We develop a `quantization functor' from pre-quantized quasi-Hamiltonian G-spaces at level k to the fusion ring (Verlinde algebra) R_k(G). The quantization Q(M) is defined as a push-forward in twisted equivariant K-homology. It may be computed by a fixed point formula, similar to the equivariant index theorem for Spin_c-Dirac operators. Using the formula, we calculate Q(M) in several examples.
This work takes place over a conformally flat spin manifold (M,g). We prove existence and uniqueness of the conformally equivariant quantization valued in spinor differential operators, and provide an explicit formula for it when restricted to first order operators. The Poisson algebra of symbols is realized as a space of functions on the supercotangent bundle, endowed with a symplectic form depending on the metric g. It admits two different actions of the conformal Lie algebra, one tensorial and one Hamiltonian. They are intertwined by the uniquely defined conformally equivariant superization…
Let G be a compact, simple, simply connected Lie group. A theorem of Freed-Hopkins-Teleman identifies the level k fusion ring R_k(G) of G with the twisted equivariant K-homology at level k+h, where h is the dual Coxeter number. In this paper, we review this result using the language of Dixmier-Douady bundles. We show that the additive generators of the group R_k(G) are obtained as K-homology push-forwards of the fundamental classes of conjugacy classes in G.
Consider a compact prequantizable symplectic manifold M on which a compact Lie group G acts in a Hamiltonian fashion. The ``quantization commutes with reduction'' theorem asserts that the G-invariant part of the equivariant index of M is equal to the Riemann-Roch number of the symplectic quotient of M, provided the quotient is nonsingular. We extend this result to singular symplectic quotients, using partial desingularizations of the symplectic quotient to define its Riemann-Roch number. By similar methods we also compute multiplicities for the equivariant index of the dual of a prequantum bun…
Let $G$ be a compact connected Lie group acting on a stable complex manifold $M$ with equivariant vector bundle $E$. Besides, suppose $ϕ$ is an equivariant map from $M$ to the Lie algebra $\mathfrak{g}$. We can define some equivalence relation on the triples $(M, E, ϕ)$ such that the set of equivalence classes form an abelian group. In this paper, we will show that this group is isomorphic to a completion of character ring $R(G)$. In this framework, we provide a geometric proof to the "Quantization Commutes with Reduction" conjecture in the non-compact setting.
Consider $E$ a holomorphic vector bundle over a projective manifold $X$ polarized by an ample line bundle $L$. Fix $k$ large enough, the holomorphic sections $H^0(E\otimes L^k)$ provide embeddings of $X$ in a Grassmanian space. We define the \textit{balancing flow for bundles} as a flow on the space of projectively equivalent embeddings of $X$. This flow can be seen as a flow of algebraic type hermitian metrics on $E$. At the quantum limit $k\to \infty$, we prove the convergence of the balancing flow towards the Donaldson heat flow, up to a conformal change. As a by-product, we obtain a numeri…
We establish that Hitchin's connection exist for any rigid holomorphic family of Kahler structures on any compact pre-quantizable symplectic manifold which satisfies certain simple topological constraints. Using Toeplitz operators we prove that Hitchin's connection induces a unique formal connection on smooth functions on the symplectic manifold. Parallel transport of this formal connection produces equivalences between the corresponding Berezin-Toeplitz deformation quantizations. - In the cases where the Hitchin connection is projectively flat, the formal connections will be flat and we get a…
If ω is a closed G-invariant 2-form and μ a moment map, then we obtain necessary and sufficient conditions for equivariant pre-quantizability that can be computed in terms of the moment map μ. We also compute the obstructions to lift the action of G to a pre-quantization bundle of ω. Our results are valid for any compact and connected Lie group G.
We prove the equivariant holomorphic Morse inequalities for a holomorphic torus action on a holomorphic vector bundle over a compact Kahler manifold when the fixed-point set is not necessarily discrete. Such inequalities bound the twisted Dolbeault cohomologies of the Kahler manifold in terms of those of the fixed-point set. We apply the inequalities to obtain relations of Hodge numbers of the connected components of the fixed-point set and the whole manifold. We also investigate the consequences in geometric quantization, especially in the context of symplectic cutting.
In order to facilitate the comparison of Riemannian homogeneous spaces of compact Lie groups with noncommutative geometries ("quantizations") that approximate them, we develop here the basic facts concerning equivariant vector bundles and Dirac operators over them in a way that uses only global constructions and arguments. Our approach is quite algebraic, using primarily the modules of cross-sections of vector bundles. We carry the development through the construction of Hodge--Dirac operators. The inducing construction is ubiquitous.
We formulate a quantization commutes with reduction principle in the setting where the Lie group $G$, the symplectic manifold it acts on, and the orbit space of the action may all be noncompact. It is assumed that the action is proper, and the zero set of a deformation vector field, associated to the momentum map and an equivariant family of inner products on the Lie algebra $\mathfrak{g}$ of $G$, is $G$-cocompact. The central result establishes an asymptotic version of this quantization commutes with reduction principle. Using an equivariant family of inner products on $\mathfrak{g}$ instead …
A symplectic fibration is a fibre bundle in the symplectic category. We find the relation between deformation quantization of the base and the fibre, and the total space. We use the weak coupling form of Guillemin, Lerman, Sternberg and find the characteristic class of deformation of symplectic fibration. We also prove that the classical moment map could be quantized if there exists an equivariant connection. Along the way we touch upon the general question of quantization with values in a bundle of algebras. We consider Fedosov's construction of deformation quantization in general. In the App…
Suppose that $(M,E)$ is a compact contact manifold, and that a compact Lie group $G$ acts on $M$ transverse to the contact distribution $E$. In an earlier paper, we defined a $G$-transversally elliptic Dirac operator $\dirac$, constructed using a Hermitian metric $h$ and connection $\nabla$ on the symplectic vector bundle $E\rightarrow M$, whose equivariant index is well-defined as a generalized function on $G$, and gave a formula for its index. By analogy with the geometric quantization of symplectic manifolds, the $\mathbb{Z}_2$-graded Hilbert space $Q(M)=\ker \dirac \oplus \ker \dirac^{*}$ …
We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is that it is based on the use of covariant tensors unlike Kontsevich's original proof, which is based on $\infty$-jets of polydifferential operators and polyvector fields. Using our construction we prove that if a group G acts smoothly on a manifold M and M admits a G-invariant affine connection then there exists a G-equivariant quasi-isomorphism of formality…
Many mathematical models of physical phenomena that have been proposed in recent years require more general spaces than manifolds. When taking into account the symmetry group of the model, we get a reduced model on the (singular) orbit space of the symmetry group action. We investigate quantization of singular spaces obtained as leaf closure spaces of regular Riemannian foliations on compact manifolds. These contain the orbit spaces of compact group actions and orbifolds. Our method uses foliation theory as a desingularization technique for such singular spaces. A quantization procedure on the…
In this short note we prove an equivariant version of the formality of multidiffirential operators for a proper Lie group action. More precisely, we show that the equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism between the cohomology of the equivariant multidifferential operators and the complex of equivariant multivector fields extends to an $L_\infty$-quasi-isomorphism. We construct this $L_\infty$-quasi-isomorphism using the $G$-invariant formality constructed by Dolgushev. This result has immediate consequences in deformation quantization, since it allows to obtain a quantum mom…
We construct a dynamical quantization for contact manifolds in terms of a flat connection acting on a Hilbert tractor bundle. We show that this contact quantization, which is independent of the choice of contact form, can be obtained by quantizing the Reeb dynamics of an ambient strict contact manifold equivariantly with respect to an R+-action. The contact quantization further determines a certain contact tractor connection whose parallel sections determine a distinguished choice of Reeb dynamics and their quantization. This relationship relies on tractor constructions from parabolic geometri…
We give a formulation of a deformation of Dirac operator along orbits of a group action on a possibly non-compact manifold to get an equivariant index and a K-homology cycle representing the index. We apply this framework to non-compact Hamiltonian torus manifolds to define geometric quantization from the view point of index theory. We give two applications. The first one is a proof of a [Q,R]=0 type theorem, which can be regarded as a proof of the Vergne conjecture for Abelian case. The other is a Danilov-type formula for toric case in the non-compact setting, which shows that this geometric …
For an $S^{1}$-manifold with boundary, we prove a localization formula applying to any equivariant cohomology theory satisfying a certain algebraic condition. We show how the localization result of Kalkman and a case of the quantization commutes with reduction theorem follow easily from the localization formula.
