DOCSLIB.ORG

An Introduction to Geometric Quantization and Witten's Quantum

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
An Introduction to Geometric Quantization and Witten's Quantum An Introduction to Geometric Quantization and Witten’s Quantum Invariant Kadri İlker Berktav ∗ Department of Mathematics, Middle East Technical University, 06800 Ankara, Turkey Abstract This note, in a rather expository manner, serves as a conceptional introduction to the certain underlying mathematical structures encoding the geometric quantization formalism and the construction of Witten’s quantum invariants, which is in fact organized in the language topological quantum field theory. Contents 1 Introduction 1 2 Quantization in What Sense and GQ Formalism2 3 The Construction of Prequantization4 4 A Review on Chern-Simons Theory6 5 TQFT and Category Theory8 6 The Path Integral Formalism 10 7 The Construction of Witten’s Quantum Invariants 12 1 Introduction A number of remarkable techniques arising from particular gauge theories in physics have long been incarnated into different branches of mathematics. They have been notably employed to study low dimensional topology and geometry in a rather sophisticated way, such as Donaldson theory on four-manifolds [6], the work of Floer on the topology of 3-manifolds and Yang-Mills instantons that serves as a Morse-theoretic interpretation of Chern-Simons gauge theory (and hence an infinite-dimensional counterpart of the classical smooth Morse theory [8], [7], [12]), and Witten’s knot invariants [13] arising from a certain three-dimensional Chern-Simons theory. Main arXiv:1902.10813v1 [math-ph] 26 Feb 2019 motivations of this current discussion are as follows: (i) to provide a brief introduction to the notion of quantization, (ii) to introduce the geometric quantization formalism (GQ) and try to understand how the notion of quantization boils down to the study of representation theory of classical observables in the sense that one can construct the quantum Hilbert space H and a certain Lie algebra homomorphism, and (iii) to elaborate in a rather intuitive manner the quantization of Chern-Simons theory together with a brief discussion of a TQFT in the sense of Atiyah [1] and the language of category theory (cf. [16], [17]) that manifestly captures the essence of TQFT. With this formalism in hand, we shall investigate Witten’s construction of quantum invariants [13] in three-dimensions, and where geometric quantization formalism comes into play. Acknowledgments. This is an extended version of the talk given by the author at the Workshop on Mathematical Topics in Quantization, Galatasaray University, Istanbul, Turkey in 2018. The shorter version, on the other hand, will appear in the proceedings of this workshop. This note con- sists of introductory materials to the notion of geometric quantization based on a series of lectures, ∗E-mail: [email protected] 1 namely Geometric Quantization and Its Applications, delivered by the author as a weekly semi- nar/lecture at theoretical physics group meetings organized by Bayram Tekin at the Department of Physics, METU, Spring 2016-2017. Throughout the note, we do not intend to provide neither original nor new results related to subject that are not known to the experts. The references, on the other hand, are not meant to be complete either. But we hope that the material we present herein provides a brief introduction and a naïve guideline to the existing literature for non-experts who may wish to learn the subject. For a quick and accessible treatment to the geometric quan- tization formalism, including a short introduction to symplectic geometry, see [3], [4] or [10]. [5], on the other hand, provides pedagogically-oriented complete treatment to symplectic geometry. The full story with a more systematic formulation is available in [14] and [9]. Finally, I’d like to thank Özgür Kişisel and Bayram Tekin for their comments and corrections on this note and I am also very grateful to them for their enlightening, fruitful and enjoyable conversations during our regular research meetings. Also, I would like to thank organizers and all people who make the event possible and give me such an opportunity to be the part of it. 2 Quantization in What Sense and GQ Formalism We would like to elaborate the notion of geometric quantization in the case of quantization of classical mechanics. Recall that observables in classical mechanics with a phase space (X; !), a finite dimensional symplectic manifold, form a Poisson algebra with respect to the Poisson bracket {·; ·} on C1(X) given by 1 ff; gg := −w(Xf ;Xg) = Xf (g) for all f; g 2 C (X); (2.1) where Xf is the Hamiltonian vector field associated to f defined implicitly as {Xf ! = df: (2.2) Here, {Xf ! denotes the contraction of a 2-form ! with the vector field Xf in the sense that {Xf ! (·) := !(Xf ; ·): (2.3) Employing canonical/geometric quantization formalism (cf. [10], [3], [14], [9]), the notion of quan- tization boils down to the study of representation theory of classical observables in the sense that one can construct the quantum Hilbert space H and a Lie algebra homomorphism 1 1 Q : C (X); {·; ·} −! End(H); [·; ·] (2.4) together with the Dirac’s quantum condition: 8 f; g 2 C1(X) we have [Q(f); Q(g)] = −i~Q ff; gg (2.5) where [·; ·] denotes the usual commutator on End(H). A primary motivation of this part is to understand how to associate manifestly a suitable Hilbert space H to a given symplectic manifold (M; !) of dimension 2n together with its Poisson algebra 1 C (M); {·; ·} in accordance with a certain set of quantization axioms given as follows: Definition 2.1. (cf. [3], [4]) Let (M; !) be the classical phase space and A a subalgebra 1 1 of C (M). The quantum system H; Q associated to M; C (M) consists of the following data: 1. A complex separable Hilbert space H where its elements are called the quantum wave functions and the rays fλψ : λ 2 Cg are the quantum states. 2. For each f 2 A, Q(f) is a self-adjoint C-linear map on H such that Q sends the function f = 1 to the identity operator idH 2 End(H): 3. The quantum condition 2.5 for f; g 2 A. 1 A Lie algebra homomorphism β : g ! h is a linear map of vector spaces such that β([X; Y ]g) = [β(X); β(Y )]h. Keep in mind that, one can easily suppress the constant "-i~" in 2.5 into the definition of Q such that the quantum condition 2.5 becomes the usual compatibility condition that a Lie algebra homomorphism satisfies. 2 4. The irreducibility condition: If ff1; :::; fng is a complete set of observables in A, i.e. a function g 2 A commuting with all fi’s must be constant: fg; fig = 0 for all i , g = c for some c 2 C; (2.6) then so is the set fQ(f1); :::; Q(fn)g of corresponding operators. Geometric quantization (GQ) is a formalism that encodes the construction of the assignment H; Q in a well-established manner (cf. [3], [4], [14], [9]). In that respects, it enjoys the following properties: 1. GQ is available for any finite dimensional symplectic manifold (M; !). 2. If (M; !; G; µ) is a Hamiltonian G-space with the gauge group G and the moment map µ (cf. [5] ch.22), then GQ remembers the symmetries of classical system in the sense that the corresponding quantum states form an irreducible representation of G (this is in fact the representation-theoretic interpretation [15] of so-called the irreducibility condition stated above). GQ is a two-step process: (i) Pre-quantization, and (ii) the polarization. The fist step involves the construction of so-called a prequantum line bundle L on (M; !), the description of a pre-quantum Hilbert space Hpre as the space Γ(M; L) of smooth square-integrable sections of L , and a (pre-) assignment Qpre as a certain differential operator acting on such sections of L (cf. Theorem 3.1 and Definition 3.1). Note that even if the first step captures almost all necessary constructions related to the axioms in Definition 2.1, it satisfies all but one: the irreducibility condition. This is where the second step comes into play: In order to circumvent such a pathological assignment, which fails to satisfy the irreducibility condition, we need to restrict the space of smooth functions to be quantized in a certain subalgebra A that the irreducibility condition holds as well. This corresponds to a particular choice of a certain Lagrangian n-subbundle P of TM, called the polarization, and hence it leads to define the quantum Hilbert space H as the space ΓP (M; L) of sections of L which are covariantly constant along P ⊂ TM (aka the space of P-polarized sections of L). That is, ΓP (M; L) = fs 2 Γ(M; L): rX s = 0;X 2 Γ(M; P) ⊂ Γ(M; T M)g: (2.7) A motivational example. This example motivates the notion of polarization in a particular case without providing the formal definition of a polarization (for more detail see [9], [3]): Every Kähler manifold (M; !; J), where for all p 2 M, J : p 7! Jp 2 End(TpM) is an integrable almost complex structure compatible with the sypmlectic structure !, gives rise to a holomorphic Kähler polarization associated to (M; !) by setting P := T (0;1)(M), the (−i)-eigenspace subbundle of the complexified tangent bundle TM ⊗ C. Indeed, since the complex structure J is diagonizable, it defines the splitting of the complexified tangent bundle TM ⊗ C as follows: For each p 2 M, (0;1) (1;0) TpM ⊗ C = Tp (M) ⊕ Tp (M) (2.8) (1;0) (0;1) where Tp (M) = fv 2 TpM⊗C : Jv = ivg and Tp (M) = fv 2 TpM⊗C : Jv = −ivg, which are called J-holomorphic (anti-holomorphic resp.) tangent spaces of M; are both Lagrangian subspaces (0;1) (1;0) TpM ⊗ Tp (M)\Tp (M) = f0g (U; z1; z2; :::; zdim M ) of C such that .
Load more

Recommended publications
  • Density of Thin Film Billiard Reflection Pseudogroup in Hamiltonian Symplectomorphism Pseudogroup Alexey Glutsyuk
    Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomorphism pseudogroup Alexey Glutsyuk To cite this version: Alexey Glutsyuk. Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomor- phism pseudogroup. 2020. hal-03026432v2 HAL Id: hal-03026432 https://hal.archives-ouvertes.fr/hal-03026432v2 Preprint submitted on 6 Dec 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomorphism pseudogroup Alexey Glutsyuk∗yzx December 3, 2020 Abstract Reflections from hypersurfaces act by symplectomorphisms on the space of oriented lines with respect to the canonical symplectic form. We consider an arbitrary C1-smooth hypersurface γ ⊂ Rn+1 that is either a global strictly convex closed hypersurface, or a germ of hy- persurface. We deal with the pseudogroup generated by compositional ratios of reflections from γ and of reflections from its small deforma- tions. In the case, when γ is a global convex hypersurface, we show that the latter pseudogroup is dense in the pseudogroup of Hamiltonian diffeomorphisms between subdomains of the phase cylinder: the space of oriented lines intersecting γ transversally. We prove an analogous local result in the case, when γ is a germ.
    [Show full text]
  • 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]
  • Symplectic Structures on Gauge Theory?
    Commun. Math. Phys. 193, 47 – 67 (1998) Communications in Mathematical Physics c Springer-Verlag 1998 Symplectic Structures on Gauge Theory? Nai-Chung Conan Leung School of Mathematics, 127 Vincent Hall, University of Minnesota, Minneapolis, MN 55455, USA Received: 27 February 1996 / Accepted: 7 July 1997 [ ] Abstract: We study certain natural differential forms ∗ and their equivariant ex- tensions on the space of connections. These forms are defined usingG the family local index theorem. When the base manifold is symplectic, they define a family of sym- plectic forms on the space of connections. We will explain their relationships with the Einstein metric and the stability of vector bundles. These forms also determine primary and secondary characteristic forms (and their higher level generalizations). Contents 1 Introduction ............................................... 47 2 Higher Index of the Universal Family ........................... 49 2.1 Dirac operators ............................................. 50 2.2 ∂-operator ................................................ 52 3 Moment Map and Stable Bundles .............................. 53 4 Space of Generalized Connections ............................. 58 5 Higer Level Chern–Simons Forms ............................. 60 [ ] 6 Equivariant Extensions of ∗ ................................ 63 1. Introduction In this paper, we study natural differential forms [2k] on the space of connections on a vector bundle E over X, A i [2k] FA (A)(B1,B2,...,B2 )= Tr[e 2π B1B2 B2 ] Aˆ(X). k ··· k sym ZX They are invariant closed differential forms on . They are introduced as the family local indexG for universal family of operators. A ? This research is supported by NSF grant number: DMS-9114456 48 N-C. C. Leung We use them to define higher Chern-Simons forms of E: [ ] ch(E; A0,...,A )=∗ L(A0,...,A ), l l ◦ l l and discuss their properties.
    [Show full text]
  • Lecture 1: Basic Concepts, Problems, and Examples
    LECTURE 1: BASIC CONCEPTS, PROBLEMS, AND EXAMPLES WEIMIN CHEN, UMASS, SPRING 07 In this lecture we give a general introduction to the basic concepts and some of the fundamental problems in symplectic geometry/topology, where along the way various examples are also given for the purpose of illustration. We will often give statements without proofs, which means that their proof is either beyond the scope of this course or will be treated more systematically in later lectures. 1. Symplectic Manifolds Throughout we will assume that M is a C1-smooth manifold without boundary (unless specific mention is made to the contrary). Very often, M will also be closed (i.e., compact). Definition 1.1. A symplectic structure on a smooth manifold M is a 2-form ! 2 Ω2(M), which is (1) nondegenerate, and (2) closed (i.e. d! = 0). (Recall that a 2-form ! 2 Ω2(M) is said to be nondegenerate if for every point p 2 M, !(u; v) = 0 for all u 2 TpM implies v 2 TpM equals 0.) The pair (M; !) is called a symplectic manifold. Before we discuss examples of symplectic manifolds, we shall first derive some im- mediate consequences of a symplectic structure. (1) The nondegeneracy condition on ! is equivalent to the condition that M has an even dimension 2n and the top wedge product !n ≡ ! ^ ! · · · ^ ! is nowhere vanishing on M, i.e., !n is a volume form. In particular, M must be orientable, and is canonically oriented by !n. The nondegeneracy condition is also equivalent to the condition that M is almost complex, i.e., there exists an endomorphism J of TM such that J 2 = −Id.
    [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]
  • Symplectic Topology Math 705 Notes by Patrick Lei, Spring 2020
    Symplectic Topology Math 705 Notes by Patrick Lei, Spring 2020 Lectures by R. Inanç˙ Baykur University of Massachusetts Amherst Disclaimer These notes were taken during lecture using the vimtex package of the editor neovim. Any errors are mine and not the instructor’s. In addition, my notes are picture-free (but will include commutative diagrams) and are a mix of my mathematical style (omit lengthy computations, use category theory) and that of the instructor. If you find any errors, please contact me at [email protected]. Contents Contents • 2 1 January 21 • 5 1.1 Course Description • 5 1.2 Organization • 5 1.2.1 Notational conventions•5 1.3 Basic Notions • 5 1.4 Symplectic Linear Algebra • 6 2 January 23 • 8 2.1 More Basic Linear Algebra • 8 2.2 Compatible Complex Structures and Inner Products • 9 3 January 28 • 10 3.1 A Big Theorem • 10 3.2 More Compatibility • 11 4 January 30 • 13 4.1 Homework Exercises • 13 4.2 Subspaces of Symplectic Vector Spaces • 14 5 February 4 • 16 5.1 Linear Algebra, Conclusion • 16 5.2 Symplectic Vector Bundles • 16 6 February 6 • 18 6.1 Proof of Theorem 5.11 • 18 6.2 Vector Bundles, Continued • 18 6.3 Compatible Triples on Manifolds • 19 7 February 11 • 21 7.1 Obtaining Compatible Triples • 21 7.2 Complex Structures • 21 8 February 13 • 23 2 3 8.1 Kähler Forms Continued • 23 8.2 Some Algebraic Geometry • 24 8.3 Stein Manifolds • 25 9 February 20 • 26 9.1 Stein Manifolds Continued • 26 9.2 Topological Properties of Kähler Manifolds • 26 9.3 Complex and Symplectic Structures on 4-Manifolds • 27 10 February 25
    [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]
  • Hamiltonian and Symplectic Symmetries: an Introduction
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 54, Number 3, July 2017, Pages 383–436 http://dx.doi.org/10.1090/bull/1572 Article electronically published on March 6, 2017 HAMILTONIAN AND SYMPLECTIC SYMMETRIES: AN INTRODUCTION ALVARO´ PELAYO In memory of Professor J.J. Duistermaat (1942–2010) Abstract. Classical mechanical systems are modeled by a symplectic mani- fold (M,ω), and their symmetries are encoded in the action of a Lie group G on M by diffeomorphisms which preserve ω. These actions, which are called sym- plectic, have been studied in the past forty years, following the works of Atiyah, Delzant, Duistermaat, Guillemin, Heckman, Kostant, Souriau, and Sternberg in the 1970s and 1980s on symplectic actions of compact Abelian Lie groups that are, in addition, of Hamiltonian type, i.e., they also satisfy Hamilton’s equations. Since then a number of connections with combinatorics, finite- dimensional integrable Hamiltonian systems, more general symplectic actions, and topology have flourished. In this paper we review classical and recent re- sults on Hamiltonian and non-Hamiltonian symplectic group actions roughly starting from the results of these authors. This paper also serves as a quick introduction to the basics of symplectic geometry. 1. Introduction Symplectic geometry is concerned with the study of a notion of signed area, rather than length, distance, or volume. It can be, as we will see, less intuitive than Euclidean or metric geometry and it is taking mathematicians many years to understand its intricacies (which is work in progress). The word “symplectic” goes back to the 1946 book [164] by Hermann Weyl (1885–1955) on classical groups.
    [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]