We first introduce an invariant index for G-equivariant elliptic differential operators on a locally compact manifold M admitting a proper cocompact action of a locally compact group G. It generalizes the Kawasaki index for orbifolds to the case of proper cocompact actions. Our invariant index is used to show that an analog of the Guillemin-Sternberg geometric quantization conjecture holds if M is symplectic with a Hamiltonian action of G that is proper and cocompact. This essentially solves a conjecture of Hochs and Landsman.
We study a notion of pre-quantization for $b$-symplectic manifolds. We use it to construct a formal geometric quantization of $b$-symplectic manifolds equipped with Hamiltonian torus actions with nonzero modular weight. We show that these quantizations are finite dimensional $T$-modules.
In this paper, we study quantization on a compact integral symplectic manifold $X$ with transversal real polarizations. In the case of complex polarizations, namely $X$ is Kähler equipped with transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$, geometric quantization gives $H^0(X, L^{\otimes k})$'s. They are acted upon by $\mathcal{C}^\infty(X, \mathbb{C})$ via Toeplitz operators as $\hbar = \tfrac{1}{k} \to 0^+$, determining a deformation quantization $(\mathcal{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ of $X$.\par We investigate the real analogue to these, comparing deformation quanti…
An analogue of geometric quantization of Poisson algebras obtained by algebraic reduction of symmetries is developed. Interpretation of the obtained results and their application to the problem of commutativity of quantization and reduction are given
Using geometric quantization procedure, the quantization of algebra of observables for physical system with Ricci-flat phase space is obtained. In the classical case the appointed physical system is reduced to harmonic oscillator when the one real parameter is vanished.
Geometric quantization of a Poisson manifold need not imply quantization of its symplectic leaves. We provide the leafwise geometric quantization of a Poisson manifold, seen as a foliated one, whose quantum algebra restricted to each leaf is quantized.
In this article we develop tools to compute the Geometric Quantization of a symplectic manifold with respect to a regular Lagrangian foliation via sheaf cohomology and obtain important new applications in the case of real polarizations. The starting point is the definition of representation spaces due to Kostant. Besides the classical examples of Gelfand-Cetlin systems due to Guillemin and Sternberg very few examples of explicit computations of real polarizations are known. The computation of Geometric Quantization for Gelfand-Cetlin systems is based on a theorem due to Śniatycki for fibration…
In this paper we pursue the study of formal geometric quantization of non-compact Hamiltonian manifolds. Our main result is the proof that two quantization process coincide. This fact was obtained by Ma and Zhang in the preprint arXiv:0812.3989 by completely different means.
Adler had shown in 1979 that the Toda system can be given a coad- joint orbit description. We quantize the Toda system by viewing it as a single orbit of a multiplicative group of lower triangular matrices of determinant one with pos- itive diagonal entries. We get a unitary representation of the group with square integrable polarized sections of the quantization as the module . We find the Rawnsley coherent states after a completion of the above space of sections. We also find non-unitary finite dimensional quantum Hilbert spaces for the system.
The paper presents an extension of the geometric quantization procedure to integrable, big-isotropic structures. We obtain a generalization of the cohomology integrality condition, we discuss geometric structures on the total space of the corresponding principal circle bundle and we extend the notion of a polarization.
We introduce geometric quantization for constant rank presymplectic structures with Riemannian null foliation and compact leaf closure space. We prove a quantization-commutes-with-reduction theorem in this context. Examples related to symplectic toric quasi-folds, suspensions of isometric actions of discrete groups, and K-contact manifolds are discussed.
In this paper, Hamiltonian monodromy is studied from the point of view of geometric quantization abd theta functions, and various differential geometric aspects thereof are dealt with, all related to holonomies of suitable flat connections.
For a real symmetric domain $G_{\mathbb R}/K_{\mathbb R}$, with complexification $G_{\mathbb C}/K_{\mathbb C}$, we introduce the concept of "star-restriction" (a real analogue of the "star-products" for quantization of Kähler manifolds) and give a geometric construction of the $G_{\mathbb R}$-invariant differential operators yielding its asymptotic expansion.
We use the theory of Berezin-Toeplitz operators of Ma and Marinescu to study the quantum Hamiltonian dynamics associated with classical Hamiltonian flows over closed prequantized symplectic manifolds in the context of geometric quantization of Kostant and Souriau. We express the associated evolution operators via parallel transport in the quantum spaces over the induced path of almost complex structures, and we establish various semi-classical estimates. In particular, we establish a Gutzwiller trace formula for the Kostant-Souriau operator and compute explicitly the leading term. We then desc…
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 construct Hermitian representations of Lie algebroids and associated unitary representations of Lie groupoids by a geometric quantization procedure. For this purpose we introduce a new notion of Hamiltonian Lie algebroid actions. The first step of our procedure consists of the construction of a prequantization line bundle. Next, we discuss a version of Kähler quantization suitable for this setting. We proceed by defining a Marsden-Weinstein quotient for our setting and prove a ``quantization commutes with reduction'' theorem. We explain how our geometric quantization procedure relates to a …
We establish a geometric quantization formula for a Hamiltonian action of a compact Lie group acting on a noncompact symplectic manifold with proper moment map.
In the framework of geometric quantization we extend the Bohr-Sommerfeld rules to a full quantization theory which resembles Heisenberg's matrix theory. This extension is possible because Bohr-Sommerfeld rules not only provide an orthogonal basis in the space of quantum states, but also give a lattice structure to this basis. This permits the definition of appropriate shifting operators. As examples, we discuss the 1-dimensional harmonic oscillator and the coadjoint orbits of the rotation group.
We use the theory of Berezin-Toeplitz operators of Ma and Marinescu to study the spaces of holomorphic sections of a prequantizing line bundle over compact Kähler manifolds under deformations of the complex structure. We show that the parallel transport in the induced vector bundle over the deformation space behaves like a Toeplitz operator, and compute its first coefficient. We then use this result to establish a semi-classical trace formula for the induced quantization of symplectic maps, and give an application to Witten's asymptotic expansion conjecture for the quantum representations of t…
For the cotangent bundle $T^{*}K$ of a compact Lie group $K$, we study the complex-time evolution of the vertical tangent bundle and the associated geometric quantization Hilbert space $L^{2}(K)$ under an infinite-dimensional family of Hamiltonian flows. For each such flow, we construct a generalized coherent state transform (CST), which is a unitary isomorphism between $L^{2}(K)$ and a certain weighted $L^{2}$-space of holomorphic functions. For a particular set of choices, we show that this isomorphism is naturally decomposed as a product of a Heisenberg-type evolution (for complex time $-τ$…
We study the geometric quantization process for twisted Poisson manifolds. First, we introduce the notion of Lichnerowicz-twisted Poisson cohomology for twisted Poisson manifolds and we use it in order to characterize their prequantization bundles and to establish their prequantization condition. Next, we introduce a polarization and we discuss the quantization problem. In each step, several examples are presented.
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…
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 …
In this paper we first show that on projective manifolds (M, ω), there are holomorphic determinant bundles (in the sense of Knusden-Mumford used by Bismut, Gillet, Soule) which play the role of the geometric quantum bundle, namely one for each input data of a Hermitian holomorphic line bundle L of non-trivial Chern class on a compact Kahler manifold Z (with Todd genus non-zero) and a choice of a geometric quantization of (M, ω). Next we further study the generalization of the vortex equations on Kahler 4-manifold which has been studied earlier by Bradlow. We show that when the Kahler 4-manifol…
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.
In this paper, we show the spectral convergence result of $\overline{\partial}$-Laplacians when $(X,ω)$ is a compact toric symplectic manifold equipped with the natural prequantum line bundle $L$. We consider a family $\{ J_s\}_s$ of $ω$-compatible complex structures tending to the large complex structure limit, and obtain the spectral convergence of $\overline{\partial}$-Laplacians acting on $L^k$.
We study two quantization schemes for compact symplectic manifolds with almost complex structures. The first of these is the Spin-c quantization. We prove the analog of Kodaira vanishing for the Spin-c Dirac operator, which shows that the index space of this operator provides an honest (not virtual) vector space semiclassically. We also introduce a new quantization scheme, based on a rescaled Laplacian, for which we are able to prove strong semiclassical properties. The two quantizations are shown to be close semiclassically.
We describe three perspectives on higher quantization, using the example of magnetic Poisson structures which embody recent discussions of nonassociativity in quantum mechanics with magnetic monopoles and string theory with non-geometric fluxes. We survey approaches based on deformation quantization of twisted Poisson structures, symplectic realization of almost symplectic structures, and geometric quantization using 2-Hilbert spaces of sections of suitable bundle gerbes. We compare and contrast these perspectives, describing their advantages and shortcomings in each case, and mention many ope…
Based on work done by Bonechi, Cattaneo, Felder and Zabzine on Poisson sigma models, we formally show that Kontsevich's star product can be obtained from the twisted convolution algebra of the geometric quantization of a Lie 2-groupoid, one which integrates the Poisson structure. We show that there is an analogue of the Poisson sigma model which is valued in Lie 1-groupoids and which can often be defined non-perturbatively; it can be obtained by symplectic reduction using the quantization of the Lie 2-groupoid. We call these groupoid-valued sigma models and we argue that, when they exist, they…
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…
Deformation quantization and geometric quantization on Kähler manifolds give the mathematical description of the algebra of quantum observables and the Hilbert spaces respectively, where the later forms a representation of quantum observables asymptotically via Toeplitz operators. When there is a Hamiltonian $G$-action on a Kähler manifold, there are associated symmetries on both the quantum algebra and representation aspects. We show that in nice cases of coadjoint orbits and Kähler-Einstein manifolds, these symmetries are strictly compatible (not only asymptotically).
Some natural hidden symmetries in the Verma modules over the Virasoro algebra are constructed in terms of geometric quantization. Their differential geometric meaning is established and their expression via $q_R$-conformal symmetries in the Verma modules over the Lie algebra $sl(2,C)$ is found. The analysis and the unraveling of the algebraic structure of these families of hidden symmetries are performed.
This paper is about geometric quantization of the Hitchin system. We quantize a Kahler form on the Hitchin moduli space (which is half the first Kahler form defined by Hitchin) by considering the Quillen bundle as the prequantum line bundle and modifying the Quillen metric using the Higgs field so that the curvature is proportional to the Kahler form. We show that this Kahler form is integral and the Quillen bundle descends as a prequantum line bundle on the moduli space. It is holomorphic and hence one can take holomorphic square integrable sections as the Hilbert space of quantization of the…
Let $X$ be a compact connected orientable CR manifold with the action of a connected compact Lie group $G$. Under natural pseudoconvexity assumptions we show that the CR Guillemin-Strernberg map is Fredholm at the level of Sobolev spaces of CR functions. As application we study this map for holomorphic line bundles which are positive near the inverse image of $0$ by the momentum map. We also show that "quantization commutes with reduction" for Sasakian manifolds.
By the quantization condition compact quantizable Kaehler manifolds can be embedded into projective space. In this way they become projective varieties. The quantum Hilbert space of the Berezin-Toeplitz quantization (and of the geometric quantization) is the projective coordinate ring of the embedded manifold. This allows for generalization to the case of singular varieties. The set-up is explained in the first part of the contribution. The second part of the contribution is of tutorial nature. Necessary notions, concepts, and results of algebraic geometry appearing in this approach to quantiz…
For a Kähler manifold $X$ equipped with a prequantum line bundle $L$, we give a geometric construction of a family of representations of the Berezin-Toeplitz deformation quantization algebra $(C^\infty(X)[[\hbar]],\star_{BT})$ parametrized by points $z_0 \in X$. The key idea is to use peak sections to suitably localize the Hilbert spaces $H^{0}\left(X,L^{\otimes m}\right)$ around $z_{0}$ in the large volume limit.
In this note we quantize the usual symplectic (Kähler) form on the vortex moduli space by modifying the Quillen metric of the Quillen determinant line bundle.
We study the quantization of coupled Kähler-Einstein (CKE) metrics, namely we approximate CKE metrics by means of the canonical Bergman metrics, so called the ``balanced metrics''. We prove the existence and weak convergence of balanced metrics for the negative first Chern class, while for the positive first Chern class, we introduce some algebro-geometric obstruction which interpolates between the Donaldson-Futaki invariant and Chow weight. Then we show the existence and weak convergence of balanced metrics on CKE manifolds under the vanishing of this obstruction. Moreover, restricted to the …
A unified approach to geometric, symbol and deformation quantizations on a generalized flag manifold endowed with an invariant pseudo-Kaehler structure is proposed. The Hilbert space of states is realized via the Bott-Borel-Weil theorem in the sheaf cohomology of the geometric quantization line bundle. The corresponding deformation quantization is a quantization with separation of variables. In particular cases we arrive at Berezin's quantization via covariant and contravariant symbols.
