# SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

Size: px
Start display at page:

Download "SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction"

Transcription

1 SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces to symplectic manifolds. In case the manifold is equipped with the Hamiltonian action of a Lie group G the Hilbert space one obtains by quantization should be a unitary representation of G. The notion of geometric quantization was shown to be a powerful representation-theoretic tool when Kostant and Kirillov initiated an orbit method of classifying the irreducible unitary representations of simply-connected solvable Lie groups. This was a generalization of the Borel-Weil theorem to certain classes of noncompact groups. All attempts to generalize this method to arbitrary groups, however, have failed. But in spite of this the orbit method and geometric quantization in general still have important roles to play in representation theory. This paper attempts to give the definitions and main results of geometric quantization. In the first section we briefly develop the theory of Hamiltonian actions on symplectic manifolds following mainly [2]. The last section deals with geometric quantization itself and is drawn mostly from [5] and [6]. The middle section is a digression on Hamiltonian torus actions culminating in a statement of the celebrated Atiyah [1] and Guillemin-Sternberg [4] convexity theorem. 2. Symplectic and Hamiltonian Actions Let G be a Lie group with Lie algebra g and let G act on the symplectic manifold (W, ω). A vector field ξ on W is said to be symplectic if L ξ ω = 0. Since L ξ = di ξ + i ξ d this is equivalent to requiring that the 1-form i ξ ω be closed. A vector field ξ on W is Hamiltonian if i ξ ω is exact. Now if ξ and η are symplectic vector fields on W then since i [ξ,η] = [L ξ, i η ] we have (1) i [ξ,η] ω = L ξ i η ω i η L ξ ω = (di ξ + i ξ d)i η ω i η (di ξ + i ξ d)ω = di ξ i η ω so that [ξ, η] is a Hamiltonian vector field. Associated to any left invariant vector field X g is a vector field X on W defined by X p φ = d dt (e tx φ)(p) = d t=0 dt φ(e tx p). t=0 The map X X is a Lie algebra homomorphism which we call the infinitesimal action of G on W. The vector fields X are called the fundamental vector fields associated to the G-action. Notice that g X = Ad gx for all g G. The G-action is said to be symplectic if g ω = ω for all g G. If G is connected then this is equivalent to the condition that all fundamental fields are symplectic. Since the symplectic form ω is nondegenerate it provides an identification of Vect(W ) with Ω 1 (W ) by ξ i ξ ω. So if f C (W ) is any smooth function on W there is a unique Hamiltonian vector field ξ f, called the symplectic gradient of f, such that i ξf ω = df. If we define a Poisson Date: March

2 bracket bracket on W by {f, g} = ξ f g then by (1) we see that that d{f, g} = d(ξ f g) = d(dg(ξ f )) = d(i ξf i ξg ω) = i [ξf,ξ g]ω so that ξ {f,g} = [ξ f, ξ g ]. Thus the map f ξ f is a Lie algebra map. A symplectic G-action is said to be Hamiltonian if there exists a Lie algebra map µ: g C (W ) such that the following diagram commutes (2) C (W ) Vect(W ). µ g That is, d µ X = i X ω and µ [X,Y ] = { µ X, µ Y }. The map µ is called a comoment map for the Hamiltonian G-action. A moment map µ: W g for the G-action is given in terms of the comoment map by µ(p), X = µ X (p). Example 1. Consider the coadjoint action of G on g. Let O be an orbit. The tangent space of O is generated by the fundamental vector fields. By definition these fields are given by X α = ad X(α). Because of this, the form ω on O given by ω α (X α, Y α ) = α, [Y, X] is well defined and nondegenerate. Because g X = Ad gx it is clear that the G action on O preserves ω. If we consider g C (g ) via the identification g = g then we have (dx) α Y α = Y α, X = α, [Y, X] = ω α (X α, Y α ) so that i X ω = dx. Thus, i X dω = i X dω + di X ω = L X ω = 0 for all X g. Therefore, ω is a symplectic form and the G-action is Hamiltonian with moment map O g given by inclusion. It is clear by the definition that any two moment maps differ by an element α g such that α [g,g] = 0. In particular, the moment map is unique for semisimple groups. Moreover, the following theorem due to Kostant [6] shows that for semisimple groups there is no distinction between symplectic and Hamiltonian actions. Theorem 2. Any symplectic action of a semisimple Lie group G is Hamiltonian. Proof. By (1) and the fact that [g, g] = g we know that the fundamental vector fields are Hamiltonian. We can therefore chose an arbitrary lift λ: g C (W ) such that dλ X = i X ω. This lift can then be made into a Lie algebra homomorphism by adding a suitable element of g. Another fact that follows easily from definitions is that the induced map µ : T W g is the transpose of the map g T W given by X i X ω. Thus, ker µ is the ω-orthogonal of the tangent space to the G-orbit. Hence, the rank of µ at p W is equal to the dimension of G p. Since dim G p = dim G dim G p we see that µ is a submersion at p W if and only if G p is discrete. Moreover, it follows that µ has zero rank at all fixed points of G. If the group is connected then the moment map is G-equivariant with respect to the coadjoint action of G on g. This follows from the fact that the respective fundamental vector fields are µ-related. 3. Torus Actions By the previous discussion we know that the fixed points of a Hamiltonian action correspond to certain critical points of the moment map. Furthermore, the equivariant tubular neighborhood theorem tells us that this set of fixed points is a submanifold of W. These two facts suggest that Morse theory might have a role to play in analyzing Hamiltonian torus actions. 2

3 Let (W, ω) be a symplectic manifold endowed with a Hamiltonian action of a torus T with moment map µ: W t. Let X t generate T in the sense that e tx is dense in T. Let H : W (RX) = R be defined by H = i µ where i: RX t is inclusion. It follows by definition that H = µ X so that X is the Hamiltonian field associated to H. That is, i X ω = dh so that the critical points of H are the zeros of X or, as X generates T, the fixed points of T. The function H is called an almost periodic Hamiltonian. With the help of a Riemannian metric one derives a calibrated almost complex structure J and a hermitian metric. Of course the T -action is symplectic so if the Riemannian metric is chosen to be T -invariant then T will preserve J and the Hermitian form. Thus if z W is a fixed point of T we see that T acts unitarily on the complex vector space T z W, that is to say, as a subgroup of U(n). Notice that all these transformations are diagonalizable: the exponential map t T is onto and t sits inside u(n) (the skew-hermitian matrices). So as T is commutative there is a basis of T z W in which all the elements of T are diagonalizable. This allows us to give an eigenspace decomposition (3) T z W = V 0 V 1 V k where V 0 is the subspace of fixed points of T. Since the Riemannian metric is T -invariant the map exp z : T z W W is equivariant. Thus if Z is the submanifold of fixed points we see that T z Z = V 0. We have therefore proven Theorem 3. The set of fixed points Z of a Hamiltonian torus action is a symplectic submanifold of (W, ω). Proof. Indeed, we have shown that Z is an almost complex submanifold of W. Thus, for any ξ T p Z we have Jξ T p Z so that ω(ξ, Jξ) 0 since the almost complex structure is ω-calibrated. Since X H t u(n) we see that e X H acts on V j by multiplication by some scalar e iλ j for λ j R. Further, since X H generates T we have that λ j is nonzero for j 0. If v0, 1..., v0, r v 1,..., v k are local coordinates corresponding to the decomposition (3) and if v j = p j + iq j then as ξ H = X H we have that k (4) ξ H = λ j (q j p j ) p j q j j=1 in these coordinates. With the help of the equivariant Darboux theorem there is a neighborhood U of 0 T z W and an equivariant map φ : U W such that φ ω is the constant form dp j dq j. So from (4) it follows that dh = k j=1 λ j(p j dp j + q j dq j ) so that H = H(z) k j=1 λ j(p 2 j + q2 j ) in these coordinates. From this local formula for H it follows that its second derivative H is diagonal with each λ j occurring twice so that it is nondegenerate on V 1 V k (i.e., transverse to Z) and its index (the number of negative diagonal entries), is even. Thus, we have shown Theorem 4. An almost periodic Hamiltonian H associated to a Hamiltonian torus action is a Morse-Bott function all the critical submanifolds of which have even index. Knowing this we can apply the standard techniques of Morse theory to analyze Hamiltonian torus actions. For instance, we can show fairly easily one of the key results of [1]: Theorem 5. If H is an almost periodic Hamiltonian associated to a torus action on a compact symplectic manifold (W, ω), then H has a unique locally minimal submanifold and a unique locally maximal submanifold; moreover, all of its nonempty levels H 1 (t) are connected. 3

4 Proof. The key step in the proof is to show that all of the subsets W a = {p W H(p) a} are connected. If some W a is not connected then in order to connect all the pieces (as W is connected) we must pass through a critical level for which the sphere bundle of the negative normal bundle is disconnected. This can only happen if the index of the critical level is 1, which it cannot be. Because of the local description of the action given above in (3) we see that the connected components of the fixed submanifold must be separated. Thus, if W is compact there can be only finitely many such components. Since the moment map has rank zero on the fixed set we know that the images of these components under the moment map must be single points. Tying this all together is the convexity theorem of Atiyah [1] and Guillemin-Sternberg [4]. Theorem 6. Let (W, ω) be a compact symplectic manifold with Hamiltonian torus action. Let Z 1,..., Z m be the connected components of the fixed submanifold and let µ(z j ) = c j t. The image of the moment map is the convex hull of the points c 1,..., c m. 4. Geometric Quantization The theory of Hamiltonian actions plays an important role in the theory of unitary representations of Lie groups. In this section, as usual, we let (W, ω) be a symplectic manifold with Hamiltonian action of a connected Lie group G. If ω is a symplectic form on W then it defines a DeRham cohomology class [ω] in H 2 (W ). The form is said to be integral if [ω] is in the image of the Weil homomorphism Ȟ2 (W, Z) H 2 (W ). Kostant shows in [6] that ω is integral if and only if there exists a complex line bundle L over W with connection and -invariant Hermitian structure h such that ω = curv (L). Moreover, the number of such bundles, up to equivalence, is classified by the character group of π 1 (W ). The data (L,, h) are called prequantum data on W. There is a canonical representation of g on smooth sections of L given by (5) X s = X s + 2πi µ X s. The prequantum data is said to be G-invariant if there is a lifting of the G-action to L such that the induced action on sections is given by (5). A theorem of Palais [7] shows that such a lifting always exists if G is simply connected. In order to pass from prequantization to quantization one needs the concept of polarization. Definition 7. A polarization of a symplectic manifold (W, ω) is an integrable complex Lagrangian subbundle F of the complexified tangent bundle T W C. The polarization is said to be positivedefinite if the Hermitian form iω(v, w) is positive definite on each fiber F p. Now if a symplectic manifold (W, ω) is equipped with G-invariant prequantum data (L,, h) and a polarization F we say that a smooth section s: W L is holomorphic if ζ s = 0 for all vector fields ζ taking values in the conjugate bundle F. Our use of the word holomorphic is not coincidental as the following theorem shows. Theorem 8. Any symplectic manifold possessing a positive-definite polarization is Kähler. Proof. Since the form iω(v, w) is positive-definite on F it follows that F F = 0. Because of this fact we can define an almost complex structure J on W such that F p = {v ijv v T p W }: just set Jv = w whenever v iw F p. Since F is Lagrangian we have ω p (v ijv, w ijw) = 0 for all v, w T p W. Evaluating the real and imaginary parts of this equation we see that J preserves the symplectic form and that the bilinear form ω p (Jv, w) is symmetric. Since iω(u, ū) = 2ω(Jv, v) for 4

5 u = v ijv F we see that the form ω p (Jv, w) is positive-definite. That is, J is calibrated to ω. Because F is integrable we see that the almost complex structure is actually complex. This theorem shows that a positive-definite polarization F equips W with a complex structure for which the vectors in F are the holomorphic tangent vectors. Because of this we sometimes say that a polarization F is Kähler if F F = 0. Let S denote the space of all sections of L and let S F denote the space of all holomorphic sections. The G-action on S is given by gs(p) = g(s(g 1 p)). Theorem 9. If the polarization F is G-invariant then the G-action preserves S F. Proof. Since the G-action on L is connection preserving we know ([6], Lemma ) that for any section s and any ξ T p W C we have ξ (gs) = g( g 1 ξs). The result follows from this formula and the fact that F (and therefore F ) is G-invariant. Hence, we obtain a representation of G on the space of all holomorphic sections. If W is compact then by using the hermitian form h on L and the Liouville measure on W we obtain a Hilbert space structure on S F by (6) s 2 = s, s 2. W As h is G-invariant this representation is seen to be unitary. In case W is noncompact we cannot simply use the Liouville measure to give S F a Hilbert space structure, but must instead use halfdensities. This method of associating of a unitary representation to a Hamiltonian action which we have just described is what we call geometric quantization. When the Lie group is compact and the symplectic manifolds under consideration are the coadjoint orbits then geometric quantization is the same as the Borel-Weil theory. In particular, all irreducible unitary representations of G in this case arise by quantizing coadjoint orbits. It was the insight of Kirillov and Kostant to apply geometric quantization to the noncompact case. This approach led to the following theorem of Auslander and Kostant [3]. Theorem 10. Let G be a simply-connected solvable Lie group and O an integral coadjoint orbit (so that O possesses a G-invariant prequantization). Then this orbit can be quantized to obtain an irreducible unitary representation of G. Moreover, if G is of Type I then any irreducible unitary representation can be obtained in this way. References [1] M. Atiyah, Convexity and Commuting Hamiltonians, Bull. London Math. Soc. 23 (1982), [2] M. Audin, The Topology of Torus Actions on Symplectic Manifolds, Birkhauser, Berlin (1991), Progress in Mathematics, vol. 93. [3] L. Auslander, B. Kostant, Polarization and Unitary Representations of Solvable Lie Groups, Invent. math. 14 (1971), [4] V. Guillemin, S. Sternberg, Convexity properties of the moment mapping, I, Invent. Math 67 (1982), [5] V. Guillemin, S. Sternberg, Geometric Quantization and Multiplicities of Group Representations, Invent. Math. 67 (1982), [6] B. Kostant, Quantization and Unitary Representations I: Prequantization, Lectures in Modern Analysis and Applications III, Springer (1970), Lecture Notes in Mathematics, vol. 170, [7] R. Palais, Lie Theory of Transformation Groups, Memoirs of the Amer. Math. Soc. 22 (1952). 5

### LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory

### An Invitation to Geometric Quantization

An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to

### A LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM CONTENTS

A LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM TIMOTHY E. GOLDBERG ABSTRACT. This is a handout for a talk given at Bard College on Tuesday, 1 May 2007 by the author. It gives careful versions

### A little taste of symplectic geometry

A little taste of symplectic geometry Timothy Goldberg Thursday, October 4, 2007 Olivetti Club Talk Cornell University 1 2 What is symplectic geometry? Symplectic geometry is the study of the geometry

### SYMPLECTIC GEOMETRY: LECTURE 5

SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The

### 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

### A Convexity Theorem For Isoparametric Submanifolds

A Convexity Theorem For Isoparametric Submanifolds Marco Zambon January 18, 2001 1 Introduction. The main objective of this paper is to discuss a convexity theorem for a certain class of Riemannian manifolds,

### LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.

### LECTURE 1: LINEAR SYMPLECTIC GEOMETRY

LECTURE 1: LINEAR SYMPLECTIC GEOMETRY Contents 1. Linear symplectic structure 3 2. Distinguished subspaces 5 3. Linear complex structure 7 4. The symplectic group 10 *********************************************************************************

### LECTURE 4: SYMPLECTIC GROUP ACTIONS

LECTURE 4: SYMPLECTIC GROUP ACTIONS WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic circle actions We set S 1 = R/2πZ throughout. Let (M, ω) be a symplectic manifold. A symplectic S 1 -action on (M, ω) is

### Cohomology of the Mumford Quotient

Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten

### Hamiltonian Systems of Negative Curvature are Hyperbolic

Hamiltonian Systems of Negative Curvature are Hyperbolic A. A. Agrachev N. N. Chtcherbakova Abstract The curvature and the reduced curvature are basic differential invariants of the pair: Hamiltonian system,

### Geometry of the momentum map

Geometry of the momentum map Gert Heckman Peter Hochs February 18, 2005 Contents 1 The momentum map 1 1.1 Definition of the momentum map.................. 2 1.2 Examples of Hamiltonian actions..................

### EXPLICIT QUANTIZATION OF THE KEPLER MANIFOLD

proceedings of the american mathematical Volume 77, Number 1, October 1979 society EXPLICIT QUANTIZATION OF THE KEPLER MANIFOLD ROBERT J. BLATTNER1 AND JOSEPH A. WOLF2 Abstract. Any representation ir of

### Action-angle coordinates and geometric quantization. Eva Miranda. Barcelona (EPSEB,UPC) STS Integrable Systems

Action-angle coordinates and geometric quantization Eva Miranda Barcelona (EPSEB,UPC) STS Integrable Systems Eva Miranda (UPC) 6ecm July 3, 2012 1 / 30 Outline 1 Quantization: The general picture 2 Bohr-Sommerfeld

### A DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX

A DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX HAJIME FUJITA Abstract. We give a direct geometric proof of a Danilov-type formula for toric origami manifolds by using the

### A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS

A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS FRANCESCO BOTTACIN Abstract. In this paper we prove an analogue of the Marsden Weinstein reduction theorem for presymplectic actions of

### Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1

Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines

### 12 Geometric quantization

12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped

### Topics in Representation Theory: Cultural Background

Topics in Representation Theory: Cultural Background This semester we will be covering various topics in representation theory, see the separate syllabus for a detailed list of topics, including some that

### Hyperkähler geometry lecture 3

Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843

### k=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula

20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim

### Many of the exercises are taken from the books referred at the end of the document.

Exercises in Geometry I University of Bonn, Winter semester 2014/15 Prof. Christian Blohmann Assistant: Néstor León Delgado The collection of exercises here presented corresponds to the exercises for the

### Minimal surfaces in quaternionic symmetric spaces

From: "Geometry of low-dimensional manifolds: 1", C.U.P. (1990), pp. 231--235 Minimal surfaces in quaternionic symmetric spaces F.E. BURSTALL University of Bath We describe some birational correspondences

### Bredon, Introduction to compact transformation groups, Academic Press

1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions

### Hamiltonian flows, cotangent lifts, and momentum maps

Hamiltonian flows, cotangent lifts, and momentum maps Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Symplectic manifolds Let (M, ω) and (N, η) be symplectic

### ON NEARLY SEMIFREE CIRCLE ACTIONS

ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)

### Nicholas Proudfoot Department of Mathematics, University of Oregon, Eugene, OR 97403

Symplectic Geometry Nicholas Proudfoot Department of Mathematics, University of Oregon, Eugene, OR 97403 These notes are written for a ten week graduate class on symplectic geometry. Most of the material

### PREQUANTIZATION OF SYMPLECTIC SUPERMANIFOLDS

Ninth International Conference on Geometry, Integrability and Quantization June 8 13, 2007, Varna, Bulgaria Ivaïlo M. Mladenov, Editor SOFTEX, Sofia 2008, pp 301 307 Geometry, Integrability and Quantization

### Complex manifolds, Kahler metrics, differential and harmonic forms

Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on

### Hamiltonian Toric Manifolds

Hamiltonian Toric Manifolds JWR (following Guillemin) August 26, 2001 1 Notation Throughout T is a torus, T C is its complexification, V = L(T ) is its Lie algebra, and Λ V is the kernel of the exponential

### Symplectic geometry of deformation spaces

July 15, 2010 Outline What is a symplectic structure? What is a symplectic structure? Denition A symplectic structure on a (smooth) manifold M is a closed nondegenerate 2-form ω. Examples Darboux coordinates

### Representation Theory and Orbital Varieties. Thomas Pietraho Bowdoin College

Representation Theory and Orbital Varieties Thomas Pietraho Bowdoin College 1 Unitary Dual Problem Definition. A representation (π, V ) of a group G is a homomorphism ρ from G to GL(V ), the set of invertible

### From action-angle coordinates to geometric quantization: a 30-minute round-trip. Eva Miranda

From action-angle coordinates to geometric quantization: a 30-minute round-trip Eva Miranda Barcelona (UPC) Geometric Quantization in the non-compact setting Eva Miranda (UPC) MFO, 2011 18 February, 2011

### HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY

HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY TIMOTHY E. GOLDBERG These are notes for a talk given in the Lie Groups Seminar at Cornell University on Friday, September 25, 2009. In retrospect, perhaps

### Branching rules of unitary representations: Examples and applications to automorphic forms.

Branching rules of unitary representations: Examples and applications to automorphic forms. Basic Notions: Jerusalem, March 2010 Birgit Speh Cornell University 1 Let G be a group and V a vector space.

### Geometry and Dynamics of singular symplectic manifolds. Session 9: Some applications of the path method in b-symplectic geometry

Geometry and Dynamics of singular symplectic manifolds Session 9: Some applications of the path method in b-symplectic geometry Eva Miranda (UPC-CEREMADE-IMCCE-IMJ) Fondation Sciences Mathématiques de

### LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

LECTURE 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

### BRST 2006 (jmf) 7. g X (M) X ξ X. X η = [ξ X,η]. (X θ)(η) := X θ(η) θ(x η) = ξ X θ(η) θ([ξ X,η]).

BRST 2006 (jmf) 7 Lecture 2: Symplectic reduction In this lecture we discuss group actions on symplectic manifolds and symplectic reduction. We start with some generalities about group actions on manifolds.

### B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

### Deformations of coisotropic submanifolds in symplectic geometry

Deformations of coisotropic submanifolds in symplectic geometry Marco Zambon IAP annual meeting 2015 Symplectic manifolds Definition Let M be a manifold. A symplectic form is a two-form ω Ω 2 (M) which

### Lectures on the Orbit Method

Lectures on the Orbit Method A. A. Kirillov Graduate Studies in Mathematics Volume 64 American Mathematical Society Providence, Rhode Island Preface Introduction xv xvii Chapter 1. Geometry of Coadjoint

### EXERCISES IN POISSON GEOMETRY

EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible

### BRST and Dirac Cohomology

BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation

### IGA Lecture I: Introduction to G-valued moment maps

IGA Lecture I: Introduction to G-valued moment maps Adelaide, September 5, 2011 Review: Hamiltonian G-spaces Let G a Lie group, g = Lie(G), g with co-adjoint G-action denoted Ad. Definition A Hamiltonian

### Higgs Bundles and Character Varieties

Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character

### Symplectic and Poisson Manifolds

Symplectic and Poisson Manifolds Harry Smith In this survey we look at the basic definitions relating to symplectic manifolds and Poisson manifolds and consider different examples of these. We go on to

### 1 Smooth manifolds and Lie groups

An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely

### LECTURE 26: THE CHERN-WEIL THEORY

LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if

### Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By

### Marsden-Weinstein Reductions for Kähler, Hyperkähler and Quaternionic Kähler Manifolds

Marsden-Weinstein Reductions for Kähler, Hyperkähler and Quaternionic Kähler Manifolds Chenchang Zhu Nov, 29th 2000 1 Introduction If a Lie group G acts on a symplectic manifold (M, ω) and preserves the

### Morse theory and stable pairs

Richard A. SCGAS 2010 Joint with Introduction Georgios Daskalopoulos (Brown University) Jonathan Weitsman (Northeastern University) Graeme Wilkin (University of Colorado) Outline Introduction 1 Introduction

### REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

### Geometric Quantization

math-ph/0208008 Geometric Quantization arxiv:math-ph/0208008v3 4 Sep 2002 William Gordon Ritter Jefferson Physical Laboratory, Harvard University Cambridge, MA 02138, USA February 3, 2008 Abstract We review

### HYPERKÄHLER MANIFOLDS

HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly

### arxiv: v1 [math.sg] 6 Nov 2015

A CHIANG-TYPE LAGRANGIAN IN CP ANA CANNAS DA SILVA Abstract. We analyse a simple Chiang-type lagrangian in CP which is topologically an RP but exhibits a distinguishing behaviour under reduction by one

### Notation. For any Lie group G, we set G 0 to be the connected component of the identity.

Notation. For any Lie group G, we set G 0 to be the connected component of the identity. Problem 1 Prove that GL(n, R) is homotopic to O(n, R). (Hint: Gram-Schmidt Orthogonalization.) Here is a sequence

### LECTURE 8: THE MOMENT MAP

LECTURE 8: THE MOMENT MAP Contents 1. Properties of the moment map 1 2. Existence and Uniqueness of the moment map 4 3. Examples/Exercises of moment maps 7 4. Moment map in gauge theory 9 1. Properties

### Intersection of stable and unstable manifolds for invariant Morse functions

Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and

### fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical

### Complexification of real manifolds and complex Hamiltonians

Complexification of real manifolds and complex Hamiltonians Dan Burns University of Michigan Complex Geometry, Dynamical Systems and Foliation Theory Institute of Mathematical Sciences, National University

### Introduction to Index Theory. Elmar Schrohe Institut für Analysis

Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a

### LECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8

LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9

### LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in

### LECTURE 2: SYMPLECTIC VECTOR BUNDLES

LECTURE 2: SYMPLECTIC VECTOR BUNDLES WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic Vector Spaces Definition 1.1. A symplectic vector space is a pair (V, ω) where V is a finite dimensional vector space (over

### Hodge theory for bundles over C algebras

Hodge theory for bundles over C algebras Svatopluk Krýsl Mathematical Institute, Charles University in Prague Varna, June 2013 Symplectic linear algebra Symplectic vector space (V, ω 0 ) - real/complex

### The Based Loop Group of SU(2) Lisa Jeffrey. Department of Mathematics University of Toronto. Joint work with Megumi Harada and Paul Selick

The Based Loop Group of SU(2) Lisa Jeffrey Department of Mathematics University of Toronto Joint work with Megumi Harada and Paul Selick I. The based loop group ΩG Let G = SU(2) and let T be its maximal

### AN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY

1 AN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY Andrew Ranicki and Daniele Sepe (Edinburgh) http://www.maths.ed.ac.uk/ aar Maslov index seminar, 9 November 2009 The 1-dimensional Lagrangians

### Ruijsenaars type deformation of hyperbolic BC n Sutherland m

Ruijsenaars type deformation of hyperbolic BC n Sutherland model March 2015 History 1. Olshanetsky and Perelomov discovered the hyperbolic BC n Sutherland model by a reduction/projection procedure, but

### Tesi di Laurea Magistrale in Matematica presentata da. Claudia Dennetta. Symplectic Geometry. Il Relatore. Prof. Massimiliano Pontecorvo

UNIVERSITÀ DEGLI STUDI ROMA TRE FACOLTÀ DI SCIENZE M.F.N. Tesi di Laurea Magistrale in Matematica presentata da Claudia Dennetta Symplectic Geometry Relatore Prof. Massimiliano Pontecorvo Il Candidato

### Delzant s Garden. A one-hour tour to symplectic toric geometry

Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem

### THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

### MANIN PAIRS AND MOMENT MAPS

MANIN PAIRS AND MOMENT MAPS ANTON ALEKSEEV AND YVETTE KOSMANN-SCHWARZBACH Abstract. A Lie group G in a group pair (D, G), integrating the Lie algebra g in a Manin pair (d, g), has a quasi-poisson structure.

### RIEMANNIAN MANIFOLDS WITH INTEGRABLE GEODESIC FLOWS

RIEMANNIAN MANIFOLDS WITH INTEGRABLE GEODESIC FLOWS ANDREW MILLER 1. Introduction In this paper we will survey some recent results on the Hamiltonian dynamics of the geodesic flow of a Riemannian manifold.

### BACKGROUND IN SYMPLECTIC GEOMETRY

BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations

### Symmetric Spaces Toolkit

Symmetric Spaces Toolkit SFB/TR12 Langeoog, Nov. 1st 7th 2007 H. Sebert, S. Mandt Contents 1 Lie Groups and Lie Algebras 2 1.1 Matrix Lie Groups........................ 2 1.2 Lie Group Homomorphisms...................

### Res + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X

Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).

### The Spinor Representation

The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)

### CALIBRATED FIBRATIONS ON NONCOMPACT MANIFOLDS VIA GROUP ACTIONS

DUKE MATHEMATICAL JOURNAL Vol. 110, No. 2, c 2001 CALIBRATED FIBRATIONS ON NONCOMPACT MANIFOLDS VIA GROUP ACTIONS EDWARD GOLDSTEIN Abstract In this paper we use Lie group actions on noncompact Riemannian

### THE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES

THE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES WILLIAM M. GOLDMAN Abstract. When G is a connected compact Lie group, and π is a closed surface group, then Hom(π, G)/G contains an open

### Modern Geometric Structures and Fields

Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface

### Introduction to the Baum-Connes conjecture

Introduction to the Baum-Connes conjecture Nigel Higson, John Roe PSU NCGOA07 Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 1 / 15 History of the BC conjecture Lecture

### SEMISIMPLE LIE GROUPS

SEMISIMPLE LIE GROUPS BRIAN COLLIER 1. Outiline The goal is to talk about semisimple Lie groups, mainly noncompact real semisimple Lie groups. This is a very broad subject so we will do our best to be

### The Calabi Conjecture

The Calabi Conjecture notes by Aleksander Doan These are notes to the talk given on 9th March 2012 at the Graduate Topology and Geometry Seminar at the University of Warsaw. They are based almost entirely

### Eva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February

From b-poisson manifolds to symplectic mapping torus and back Eva Miranda UPC-Barcelona (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February 8 2011 Eva Miranda (UPC) Poisson Day February

### CHARACTERISTIC CLASSES

1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact

### ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY

ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY DUSA MCDUFF AND DIETMAR A. SALAMON Abstract. These notes correct a few typos and errors in Introduction to Symplectic Topology (2nd edition, OUP 1998, reprinted

### Poisson geometry of b-manifolds. Eva Miranda

Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds

### Dirac Cohomology, Orbit Method and Unipotent Representations

Dirac Cohomology, Orbit Method and Unipotent Representations Dedicated to Bert Kostant with great admiration Jing-Song Huang, HKUST Kostant Conference MIT, May 28 June 1, 2018 coadjoint orbits of reductive

### Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

### A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface

Documenta Math. 111 A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface Indranil Biswas Received: August 8, 2013 Communicated by Edward Frenkel

### LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.

### HARMONIC MAPS INTO GRASSMANNIANS AND A GENERALIZATION OF DO CARMO-WALLACH THEOREM

Proceedings of the 16th OCU International Academic Symposium 2008 OCAMI Studies Volume 3 2009, pp.41 52 HARMONIC MAPS INTO GRASSMANNIANS AND A GENERALIZATION OF DO CARMO-WALLACH THEOREM YASUYUKI NAGATOMO

### B-FIELDS, GERBES AND GENERALIZED GEOMETRY

B-FIELDS, GERBES AND GENERALIZED GEOMETRY Nigel Hitchin (Oxford) Durham Symposium July 29th 2005 1 PART 1 (i) BACKGROUND (ii) GERBES (iii) GENERALIZED COMPLEX STRUCTURES (iv) GENERALIZED KÄHLER STRUCTURES

### Polar orbitopes. Leonardo Biliotti, Alessandro Ghigi and Peter Heinzner. Università di Parma - Università di Milano Bicocca - Ruhr Universität Bochum

Polar orbitopes Leonardo Biliotti, Alessandro Ghigi and Peter Heinzner Università di Parma - Università di Milano Bicocca - Ruhr Universität Bochum Workshop su varietà reali e complesse: geometria, topologia

### Vector fields in the presence of a contact structure

Vector fields in the presence of a contact structure Valentin Ovsienko To cite this version: Valentin Ovsienko. Vector fields in the presence of a contact structure. Preprint ICJ. 10 pages. 2005.

### The Toda Lattice. Chris Elliott. April 9 th, 2014

The Toda Lattice Chris Elliott April 9 th, 2014 In this talk I ll introduce classical integrable systems, and explain how they can arise from the data of solutions to the classical Yang-Baxter equation.