DOCSLIB.ORG

Arxiv:2010.14339V1 [Math.DG]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2010.14339V1 [Math.DG] GEOMETRIC QUANTIZATION AND QUANTUM MOMENT MAPS ON COADJOINT ORBITS AND KAHLER-EINSTEIN¨ MANIFOLDS NAICHUNG CONAN LEUNG, QIN LI, AND ZIMING NIKOLAS MA Abstract. Deformation quantization and geometric quantization on K¨ahler 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¨ahler manifold, there are associated symmetries on both the quantum algebra and representation aspects. We show that in nice cases of coadjoint orbits and K¨ahler-Einstein manifolds, these symmetries are strictly compatible (not only asymptotically). 1. Introduction ∗ n j Quantizing a classical mechanical system on X = T R ,ω = dx ∧ dpj is amount to treating j j j ℏP∂ 2 Rn position x and moment pj as operatorsx ˆ = x · andp ˆj = i ∂xj on L ( ) respectively, thus realizing the uncertainty principle xˆj, pˆ = iℏδj . In fact, this gives an action of C∞ (X) [[ℏ]] on k k L2 (Rn) with a non-commutative algebra structure ⋆ℏ on C∞ (X) [[ℏ]]. L2 (Rn) can also be realized 2 as ΓL2 (X,L) ∩ Ker (∇PR ), the space of L -sections of the trivial line bundle L, equipped with a unitary connection ∇ with curvature −iω, over X which are constant along the real polarization ∂ PR = ’s , namely those sections which are independent of p ’s. D ∂pj E j Quantizing a physical system should be independent of the choice of polarizations. If we use the ∂ n j complex polarization PC = ’s on X = C with zj = x + ipj, then D ∂z¯j E ¯ 0 ΓL2 (X,L) ∩ Ker (∇PC )=ΓL2 (X,L) ∩ Ker(∂)= HL2 (X,L) is the space of L2-holomorphic sections of the trivial line bundle L. This is a representation of polynomials on X = Cn under the Wick product. Explicitly, z andz ¯ act as operators z · and ℏ ∂ j j j ∂zj respectively. This action can also be obtained via the Toeplitz operators arXiv:2010.14339v1 [math.DG] 27 Oct 2020 ∞ 0 T : C (X) → End H 2 (X,L) L f 7→ Tf = Π ◦ Mf , which is given by the multiplication Mf followed by the orthogonal projection Π : ΓL2 (X,L) → 0 n −|z|2/ℏ 1 1 n n Cn ℏ HL2 (X,L) with respect to the volume form i · e dz dz¯ · · · dz dz¯ on . By turning to a formal variable, we obtain the star product for smooth functions on Cn. This construction can be generalized to quantization of K¨ahler manifolds. In the rest of this paper, we will let (X,ω,J) denote a compact K¨ahler manifold with prequantum line bundle (L, ∇) satisfying ∇2 = −iω. The Hilbert spaces are holomorphic sections H0(X,Lm) of positive tensor powers of L. ∞ 2 m 2 m Given f ∈ C (X), one can take multiplication operator Mf : L (X,L ) → L (X,L ) giving a representation of commutative algebra C∞(X) on L2(X,Lm). To obtain an action on H0(X,Lm) one takes the projections to define Toeplitz operator T (m) : C∞(X) → End(H0(X,Lm)) as (m) (m) (1.1) Tf := T (f) := Π ◦ Mf , 1 2 LEUNG, LI, AND MA where Π : L2(X,Lm) → H0(X,Lm) denotes the orthogonal projection to holomorphic sections. The ℏ 1 Toeplitz operators is closed under composition only in the asymptotic sense as = m → 0. By the ∞ ∞ ∞ result of [5], there is a sequence of bidifferential operators Cl : C (X) × C (X) → C (X) such that for any f, g ∈ C∞(X) there is an asymptotic expansion as m →∞ (1.2) T (m) ◦ T (m) ∼ T (m) m−l, f g X Cl(f,g) l≥0 with C0 = f · g the ordinary product and C1(f, g) − C1(g,f) = {f, g} the Poisson bracket ([20, Theorem 4.5.]). Furthermore, these operators Cl’s can be put together into an associative ⋆-product via the formula (1.3) f ⋆ g := ℏl · C (f, g), X l l as a deformation quantization (C∞(X)[[ℏ]], ⋆) which is known as the Berezin-Toeplitz star product. ∞ 0 m The non-commutative algebra (C (X) [[ℏ]], ⋆), the Hilbert space Hm = H (X,L ) and the oper- (m) ators Tf ’s are called the deformation quantization, geometric quantization and Berezin-Toeplitz quantization respectively. The quantization of X is a much more complicated, but important question, especially in repre- sentation theory. As when (X,ω,J) has a Hamiltonian G-symmetry with moment map µ : X → g∗, then its geometric quantization H := H0(X,L) would be a G-representation G → GL (H). This representation is itself very important, a closely related question is the Guillemin-Sternberg conjec- ture on symmetry commutes with geometric quantization, which there has been extensive studies, e.g. [12, 17,21, 23]. The associated Lie algebra representation is denoted as (1.4) β : g → gl(H). And one expects most interesting representations should come from such a quantization process. By pulling back linear functions on g via µ, we have µ∗ : g → C∞ (X) . Composing with the Toeplitz operator T : C∞ (X) → gl (H), we obtain a map −iT ◦ µ∗ : g → gl (H) . It is natural to compare this with the representation β. It turns out that they do not agree with each other even in the case of X being coadjoint orbits, unless we replace µ by the Karabegov moment mapµ ˜. Definition 1.1. A map µ˜ : X → g∗ is called a Karabegov moment map if it is the moment map associated to the 2-form ω˜ given by (1.5)ω ˜ := ω + i · RicX , ∗ 1 i.e. µ˜ is G-equivariant and satisfies ιvω˜ = dµ˜ (v) for all v ∈ g . The main result of this paper is that in nice cases such as coadjoint orbits or Hamiltonian K¨ahler- Einstein manifolds the representation β can be obtained via the composition of the Toeplitz quan- tization T = T (1) with Karabegov moment mapµ ˜. Theorem 1.2 (= Theorem 2.4). If X = Oξ is an integral coadjoint orbit of G, then −iT ◦ µ˜∗ = β. 1We use the same notation for an element in g and its associated vector field on X. TOEPLITZQUANTIZATIONOFCOADJOINTORBITS 3 We show that this is also true for any K¨ahler-Einstein manifolds with G-symmetry. Theorem 1.3 (=Theorem 2.2). If X is a compact K¨ahler-Einstein manifold with G-symmetry, then −iT ◦ µ˜∗ = β. Remark 1.4. The above assumption implies that the Einstein constant is positive and the G- symmetry is Hamiltonian. Our main theorems say the following diagram commutes: (1.6) C∞(X) ; ❏ ∗ ①; ❏❏ −i·µ˜ ①① ❏❏T ①① ❏❏ ①① ❏❏ ①① % g / gl(H), β which means the compatibility between the quantum symmetries. The map β describes the infinites- imal quantum symmetry on H. The left arrow describes the “quantum symmetry” on the algebra of observables. The quantum moment mapµ ˜∗ has close relation with the Fedosov quantization scheme will be explained in details in §3. Acknowledgement N. C. Leung was supported by grants of the Hong Kong Research Grants Council (Project No. CUHK14301117 & CUHK14303518) and direct grants from CUHK. Q. Li was supported by Guang- dong Basic and Applied Basic Research Foundation (Project No. 2020A1515011220) and National Science Foundation of China (Project No. 12071204). 2. Main theorems In this section, we prove our theorems by differential geometric and Lie theoretic computations. We take the following convention: For every smooth function f on X, the Hamiltonian vector field Xf is defined by ιXf (ω)= df, and there is {f, g} := ω(Xg, Xf ). This convention guarantees that the map f 7→ Xf is a Lie algebra homomorphism: X{f,g} = [Xf , Xg]. 2.1. Hamiltonian K¨ahler-Einstein manifold. When (X,ω,J) is K¨ahler-Einstein with iRicX = λω, Karabegov moment map is given byµ ˜ = (1+ λ)µ. Lemma 2.1 (Tuynman [22], see also [4, Proposition 4.1.]). Let (X,ω,J,L) be K¨ahler manifold with a pre-quantium line bundle, then we have i Π ◦∇ = Π ◦ T Xf 2 ∆(f) acting on holomorphic sections H0(X,L), where ∆ is the Laplacian with respect to the K¨ahler metric. Theorem 2.2. Let (X,ω,J,L) be K¨ahler manifold with a pre-quantium line bundle together with a G-symmetry. Suppose further that X is K¨ahler-Einstein, then we have β = −iT ◦ µ˜∗. 4 LEUNG, LI, AND MA Proof. For any w ∈ g, let fw := hµ, wi denote the pullback of w via the moment map µ. JXfw = ∇fw is a holomorphic Killing vector field on (X,ω,J), and using the theorem by Matsushima (see e.g. [2, Theorem 6.16.]) there is a bijection between eigenspace E2λ of ∆ and space of holomorphic Killing vector fields by taking their gradient vector fields. That is ∆fw = −2λfw. Notice hµ,˜ wi = (1+ λ)fw, and therefore using the Lemma 2.1 we have 1 −iT ◦ µ˜∗ = −iT f − ∆(f ) = Q , w 2 w f where Qf = Π ◦ (∇Xf − if). Finally we have [Qfw ,Qfv ]= Q{fw,fv} = Qf[w,v] due to the fact that the vector field Xfv comes from the G-action which preserves the K¨ahler structure (ω, J), and therefore 0 we obtain the representation β of g on H (X,L) by sending w 7→ Qfw . 2.2. Coadjoint orbits. In this section, we recall the notions and results for coadjoint orbits that are necessary for the proof of our second main theorem. 2.2.1. Coadjoint orbits as symplectic manifolds. We consider a compact connected Lie group G with a fixed choice of maximal torus T .
Load more

Recommended publications
  • Strocchi's Quantum Mechanics
    Strocchi’s Quantum Mechanics: An alternative formulation to the dominant one? Antonino Drago ‒ Formerly at Naples University “Federico II”, Italy ‒ drago@un ina.it Abstract: At first glance, Strocchi’s formulation presents several characteri- stic features of a theory whose two choices are the alternative ones to the choices of the paradigmatic formulation: i) Its organization starts from not axioms, but an operative basis and it is aimed to solve a problem (i.e. the indeterminacy); moreover, it argues through both doubly negated proposi- tions and an ad absurdum proof; ii) It put, before the geometry, a polyno- mial algebra of bounded operators; which may pertain to constructive Mathematics. Eventually, it obtains the symmetries. However one has to solve several problems in order to accurately re-construct this formulation according to the two alternative choices. I conclude that rather than an al- ternative to the paradigmatic formulation, Strocchi’s represents a very inter- esting divergence from it. Keywords: Quantum Mechanics, C*-algebra approach, Strocchi’s formula- tion, Two dichotomies, Constructive Mathematics, Non-classical Logic 1. Strocchi’s Axiomatic of the paradigmatic formulation and his criticisms to it Segal (1947) has suggested a foundation of Quantum Mechanics (QM) on an algebraic approach of functional analysis; it is independent from the space-time variables or any other geometrical representation, as instead a Hilbert space is. By defining an algebra of the observables, it exploits Gelfand-Naimark theorem in order to faithfully represent this algebra into Hilbert space and hence to obtain the Schrödinger representation of QM. In the 70’s Emch (1984) has reiterated this formulation and improved it.
    [Show full text]
  • Geometric Quantization of Chern Simons Gauge Theory
    J. DIFFERENTIAL GEOMETRY 33(1991) 787 902 GEOMETRIC QUANTIZATION OF CHERN SIMONS GAUGE THEORY SCOTT AXELROD, STEVE DELLA PIETRA & EDWARD WITTEN Abstract We present a new construction of the quantum Hubert space of Chern Simons gauge theory using methods which are natural from the three dimensional point of view. To show that the quantum Hubert space associated to a Riemann surface Σ is independent of the choice of com plex structure on Σ, we construct a natural projectively flat connection on the quantum Hubert bundle over Teichmuller space. This connec tion has been previously constructed in the context of two dimensional conformal field theory where it is interpreted as the stress energy tensor. Our construction thus gives a (2 + 1 ) dimensional derivation of the basic properties of (1 + 1) dimensional current algebra. To construct the con nection we show generally that for affine symplectic quotients the natural projectively flat connection on the quantum Hubert bundle may be ex pressed purely in terms of the intrinsic Kahler geometry of the quotient and the Quillen connection on a certain determinant line bundle. The proof of most of the properties of the connection we construct follows surprisingly simply from the index theorem identities for the curvature of the Quillen connection. As an example, we treat the case when Σ has genus one explicitly. We also make some preliminary comments con cern ing the Hubert space structure. Introduction Several years ago, in examining the proof of a rather surprising result about von Neumann algebras, V. F. R. Jones [20] was led to the discovery of some unusual representations of the braid group from which invariants of links in S3 can be constructed.
    [Show full text]
  • Geometric Quantization
    GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical example of this is the cotangent bundle of a manifold. The manifold is the configuration space (ie set of positions), and the tangent bundle fibers are the momentum vectors. The solutions to Hamilton's equations (this is where the symplectic structure comes in) are the equations of motion of the physical system. The input is the total energy (the Hamiltonian function on the phase space), and the output is the Hamiltonian vector field, whose flow gives the time evolution of the system, say the motion of a particle acted on by certain forces. The Hamiltonian formalism also allows one to easily compute the values of any physical quantities (observables, functions on the phase space such as the Hamiltonian or the formula for angular momentum) using the Hamiltonian function and the symplectic structure. It turns out that various experiments showed that the Hamiltonian formalism of mechanics is sometimes inadequate, and the highly counter-intuitive quantum mechanical model turned out to produce more correct answers. Quantum mechanics is totally different from classical mechanics. In this model of reality, the position (or momentum) of a particle is an element of a Hilbert space, and an observable is an operator acting on the Hilbert space. The inner product on the Hilbert space provides structure that allows computations to be made, similar to the way the symplectic structure is a computational tool in Hamiltonian mechanics.
    [Show full text]
  • Some Background on Geometric Quantization
    SOME BACKGROUND ON GEOMETRIC QUANTIZATION NILAY KUMAR Contents 1. Introduction1 2. Classical versus quantum2 3. Geometric quantization4 References6 1. Introduction Let M be a compact oriented 3-manifold. Chern-Simons theory with gauge group G (that we will take to be compact, connected, and simply-connected) on M is the data of a principal G-bundle π : P ! M together with a Lagrangian density L : A ! Ω3(P ) on the space of connections A on P given by 2 LCS(A) = hA ^ F i + hA ^ [A ^ A]i: 3 Let us detail the notation used here. Recall first that a connection A 2 A is 1 ∗ a G-invariant g-valued one-form, i.e. A 2 Ω (P ; g) such that RgA = Adg−1 A, satisfying the additional condition that if ξ 2 g then A(ξP ) = ξ if ξP is the vector field associated to ξ. Notice that A , though not a vector space, is an affine space 1 modelled on Ω (M; P ×G g). The curvature F of a connection A is is the g-valued two-form given by F (v; w) = dA(vh; wh), where •h denotes projection onto the 1 horizontal distribution ker π∗. Finally, by h−; −i we denote an ad-invariant inner product on g. The Chern-Simons action is now given Z SSC(A) = LSC(A) M and the quantities of interest are expectation values of observables O : A ! R Z hOi = O(A)eiSSC(A)=~: A =G Here G is the group of automorphisms of P ! Σ, which acts by pullback on A { the physical states are unaffected by these gauge transformations, so we integrate over the quotient A =G to eliminate the redundancy.
    [Show full text]
  • Geometric Quantization
    June 16, 2016 BSC THESIS IN PHYSICS, 15 HP Geometric quantization Author: Fredrik Gardell Supervisor: Luigi Tizzano Subject evaluator: Maxim Zabzine Uppsala University, Department of Physics and Astronomy E-mail: [email protected] Abstract In this project we introduce the general idea of geometric quantization and demonstrate how to apply the process on a few examples. We discuss how to construct a line bundle over the symplectic manifold with Dirac’s quantization conditions and how to determine if we are able to quantize a system with the help of Weil’s integrability condition. To reduce the prequantum line bundle we employ real polarization such that the system does not break Heisenberg’s uncertainty principle anymore. From the prequantum bundle and the polarization we construct the sought after Hilbert space. Sammanfattning I detta arbete introducerar vi geometrisk kvantisering och demonstrerar hur man utför denna metod på några exempel. Sen diskuterar vi hur man konstruerar ett linjeknippe med hjälp av Diracs kvantiseringskrav och hur man bedömer om ett system är kvantiserbart med hjälp av Weils integrarbarhetskrav. För att reducera linjeknippet så att Heisenbergs osäkerhetsrelation inte bryts, använder vi oss av reell polarisering. Med det polariserade linjeknippet och det ursprungliga linjeknippet kan vi konstruera det eftersökta Hilbert rummet. Innehåll 1 Introduction2 2 Symplectic Geometry3 2.1 Symplectic vector space3 2.2 Symplectic manifolds4 2.3 Cotangent bundles and Canonical coordinates5 2.4 Hamiltonian vector
    [Show full text]
  • Turbulence, Entropy and Dynamics
    TURBULENCE, ENTROPY AND DYNAMICS Lecture Notes, UPC 2014 Jose M. Redondo Contents 1 Turbulence 1 1.1 Features ................................................ 2 1.2 Examples of turbulence ........................................ 3 1.3 Heat and momentum transfer ..................................... 4 1.4 Kolmogorov’s theory of 1941 ..................................... 4 1.5 See also ................................................ 6 1.6 References and notes ......................................... 6 1.7 Further reading ............................................ 7 1.7.1 General ............................................ 7 1.7.2 Original scientific research papers and classic monographs .................. 7 1.8 External links ............................................. 7 2 Turbulence modeling 8 2.1 Closure problem ............................................ 8 2.2 Eddy viscosity ............................................. 8 2.3 Prandtl’s mixing-length concept .................................... 8 2.4 Smagorinsky model for the sub-grid scale eddy viscosity ....................... 8 2.5 Spalart–Allmaras, k–ε and k–ω models ................................ 9 2.6 Common models ........................................... 9 2.7 References ............................................... 9 2.7.1 Notes ............................................. 9 2.7.2 Other ............................................. 9 3 Reynolds stress equation model 10 3.1 Production term ............................................ 10 3.2 Pressure-strain interactions
    [Show full text]
  • Geometric Quantization
    Geometric Quantization JProf Gabriele Benedetti, Johanna Bimmermann, Davide Legacci, Steffen Schmidt Summer Term 2021 \Quantization is an art, not a functor." { Folklore Organization of the seminar When: Thursdays at 2:00 pm sharp (First talk on 15.4.) Where: Online Language: English Presentation: Participants will give a 90-minutes talk (including 10 minutes of time for questions) Online talk: Write on a tablet in real time (preferred option) or prepare slides using Latex beamer - if you need help with this, ask us. We will also reserve a room in the Mathematikon if the speaker wants to give the talk from there. Evaluation: Give a presentation, write notes or slides of the talk that will be uploaded to the homepage of the seminar, actively participate during the seminar talks. Meet us: 1 or 2 weeks before your talk to discuss your plan and to clarify questions. Please contact the respective organiser of the talk via mail. E-mail adresses: Davide : [email protected] Gabriele : [email protected] Johanna : [email protected] Steffen : Schmidt-Steff[email protected] 1 List of Topics Topic 1: The Mathematical Model of Classical Mechanics (Davide) We introduce symplectic manifolds (M; !), the natural setting where classical Hamil- tonian systems induced by a smooth function H : M ! R can be defined. Beyond symplectic vector spaces, the main examples we will consider are cotangent bundles T ∗Q of a configuration manifold Q and K¨ahlermanifolds such as S2 and, more in general, CPn. The symplectic structure induces a Poisson bracket on the space of ob- servables C1(M) satisfying crucial algebraic properties and determining the dynamics of Hamiltonian systems.
    [Show full text]
  • Holomorphic Factorization for a Quantum Tetrahedron
    Holomorphic Factorization for a Quantum Tetrahedron Laurent Freidel,1 Kirill Krasnov,2 and Etera R. Livine3 1Perimeter Institute for Theoretical Physics, Waterloo N2L 2Y5, Ontario, Canada. 2 School of Mathematical Sciences, University of Nottingham, Nottingham NG7 2RD, UK. 3Laboratoire de Physique, ENS Lyon, CNRS-UMR 5672, 46 All´ee d’Italie, Lyon 69007, France. (Dated: v2: December 2009) We provide a holomorphic description of the Hilbert space j1,...,jn of SU(2)-invariant ten- sors (intertwiners) and establish a holomorphically factorizedH formula for the decomposition of identity in j1,...,jn . Interestingly, the integration kernel that appears in the decomposi- tion formula turnsH out to be the n-point function of bulk/boundary dualities of string theory. Our results provide a new interpretation for this quantity as being, in the limit of large con- formal dimensions, the exponential of the K¨ahler potential of the symplectic manifold whose quantization gives j1,...,jn . For the case n=4, the symplectic manifold in question has the interpretation of theH space of “shapes” of a geometric tetrahedron with fixed face areas, and our results provide a description for the quantum tetrahedron in terms of holomorphic coher- ent states. We describe how the holomorphic intertwiners are related to the usual real ones by computing their overlap. The semi-classical analysis of these overlap coefficients in the case of large spins allows us to obtain an explicit relation between the real and holomorphic description of the space of shapes of the tetrahedron. Our results are of direct relevance for the subjects of loop quantum gravity and spin foams, but also add an interesting new twist to the story of the bulk/boundary correspondence.
    [Show full text]
  • Tautological Tuning of the Kostant-Souriau Quantization Map 2
    Tautological Tuning of the Kostant-Souriau Quantization Map with Differential Geometric Structures T. McClain ∗ Abstract For decades, mathematical physicists have searched for a coordinate independent quan- tization procedure to replace the ad hoc process of canonical quantization. This ef- fort has largely coalesced into two distinct research programs: geometric quantization and deformation quantization. Though both of these programs can claim numerous successes, neither has found mainstream acceptance within the more experimentally minded quantum physics community, owing both to their mathematical complexities and their practical failures as empirical models. This paper introduces an alternative approach to coordinate-independent quantization called tautologically tuned quanti- zation. This approach uses only differential geometric structures from symplectic and Riemannian geometry, especially the tautological one form and vector field (hence the name). In its focus on physically important functions, tautologically tuned quantiza- tion hews much more closely to the ad hoc approach of canonical quantization than ei- ther traditional geometric quantization or deformation quantization and thereby avoid some of the mathematical challenges faced by those methods. Given its focus on stan- dard differential geometric structures, tautologically tuned quantization is also a better candidate than either traditional geometric or deformation quantization for applica- tion to covariant Hamiltonian field theories, and therefore may pave the way for the
    [Show full text]
  • Complexified Symplectomorphisms and Geometric Quantization Master
    Complexified Symplectomorphisms and Geometric Quantization Miguel Barbosa Pereira Thesis to obtain the Master of Science Degree in Master in Mathematics and Applications Supervisor(s): Prof. João Luís Pimentel Nunes Examination Committee Chairperson: Prof. Miguel Tribolet de Abreu Supervisor: Prof. João Pimentel Nunes Member of the Committee: Prof. José Manuel Vergueiro Monteiro Cidade Mourão Member of the Committee: Prof. Sílvia Nogueira da Rocha Ravasco dos Anjos November 2017 ii This thesis is dedicated to my parents and to my brother. iii iv Acknowledgments I would like to thank my advisor, Prof. Joao˜ Nunes, for all the time he took helping me, from my first semester as a mathematics student in Riemannian geometry, up to now in my thesis. He was always available for help and was always extremely patient. I also want to express my gratitude to all the teachers of the courses I took during these last two years, for all the knowledge they gave me in class, and for helping me when I had questions about the material outside of the class. This thesis started as a project for the Centre for Mathematical Analysis, Geometry, and Dynamical Systems, that awarded me a scholarship one year and a half ago. So I would like to thank CAMGSD for this opportunity to learn and do math in a way that is closer to the professional level. I also want to thank the members of the Examination Committee, Prof. Miguel Abreu, Prof. Jose´ Mourao,˜ and Prof. S´ılvia Anjos for their time reading and evaluating my thesis, and for their helpful corrections.
    [Show full text]
  • GEOMETRIC QUANTIZATION Contents 1. Introduction 1 2
    GEOMETRIC QUANTIZATION ZIHNI KAAN BAYKARA Abstract. Geometric Quantization (GQ) is a program for obtaining a quan- tum mechanical system given a classical mechanical system. The object of quantization need not be a physically feasible mechanical system, symplectic manifolds (with sufficiently nice properties) are also quantizable. For exam- ple, the quantization procedure for attaining spin originates from the 2-sphere, and not a cotangent bundle of some phase space. However, quantization is not a categorical functor between symplectic manifolds and quantum mechanical spaces, therefore this procedure may not seem completely natural. This ex- pository paper assumes little background in differential geometry, and some familiarity with analytical mechanics, and quantum mechanics. Contents 1. Introduction 1 2. Classical Mechanics 2 3. Quantum Mechanics 6 4. Quantization 7 5. Prequantization 8 6. Polarization 11 6.1. Problem with Prequantization 11 6.2. Distribution and Polarization 12 6.3. K¨ahlerPolarizations 14 7. Half-form Correction 16 Acknowledgments 20 References 20 1. Introduction Geometric Quantization aims to answer the question "What is the correspond- ing quantum mechanical system for a given classical system?" mathematically. We won't have a correspondence between the states of a classical system (points of a manifold) and the states of a quantum system (complex square integrable func- tions). The objects of interest to the observer are, as the name suggests, observables, and not states. States are simply the mathematical objects from which the observ- ables, the relevant variables for physics, are derived from. For a physical theory, as long as the observables are consistent with experiment, the rest of the objects of the theory can be seen as appendices, which can later be related mathematically to other theories.
    [Show full text]
  • Angular Momentum Coupling, Dirac Oscillators, and Quantum Band Rearrangements in the Presence of Momentum Reversal Symmetries
    JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2020021 c American Institute of Mathematical Sciences Volume 12, Number 3, September 2020 pp. 455{505 ANGULAR MOMENTUM COUPLING, DIRAC OSCILLATORS, AND QUANTUM BAND REARRANGEMENTS IN THE PRESENCE OF MOMENTUM REVERSAL SYMMETRIES Toshihiro Iwai Department of Applied Mathematics and Physics Kyoto University Kyoto 606, Japan Dmitri´ı A. Sadovski´ı and Boris I. Zhilinski´ı∗ Department of Physics Universit´edu Littoral|C^oted'Opale 59140 Dunkerque, France Dedicated to James Montaldi Abstract. We investigate the elementary rearrangements of energy bands in slow-fast one-parameter families of systems whose fast subsystem possesses a half-integer spin. Beginning with a simple case without any time-reversal symmetries, we analyze and compare increasingly sophisticated model Hamil- tonians with these symmetries. The models are inspired by the time-reversal modification of the Berry phase setup which uses a family of quadratic spin- quadrupole Hamiltonians of Mead [Phys. Rev. Lett. 59, 161{164 (1987)] and Avron et al [Commun. Math. Phys. 124(4), 595{627 (1989)]. An explicit cor- respondence between the typical quantum energy level patterns in the energy band rearrangements of the finite particle systems with compact slow phase space and those of the Dirac oscillator is found in the limit of linearization near the conical degeneracy point of the semi-quantum eigenvalues. 1. Introduction. The interest in the geometric and topological properties of para- metric families of quantum Hamiltonians was largely stimulated by the seminal pa- per of Michael Berry [10], who analyzed the evolution of the spin states with spin 1 S = 2 ≈ kSk in the presence of the magnetic field B.
    [Show full text]