The Poisson Embedding Problem
|
|
- Cynthia Casey
- 5 years ago
- Views:
Transcription
1 The Poisson Embedding Problem Symposium in honor of Alan Weinstein Aaron McMillan Fraenkel Boston College July 2013
2 Notation / Terminology By a Poisson structure on a space X, we mean: A geometric space X with an algebra of functions A over a field F = R or C, and a poisson bracket {, } X on the algebra of functions A. Remark (One advantage to the Poisson point-of-view) One can consider Poisson structures on different categories of geometric spaces: Smooth manifold M, with a bracket on C (M). Complex analytic space X, with a sheaf of poisson algebras (O X, {, } X ) As well as algebraic varieties, schemes, formal schemes... all of which can be singular.
3 The Poisson Embedding Problem Question Given a singular Poisson space (X, {, } X ), when can one realize it as an embedded Poisson subspace of some nonsingular Poisson space (P, {, } P )? We call such a realization a Poisson embedding of (X, {, } X ) into (P, {, } P ). Singular refers to the differentiable structure. Definition (Poisson embedding dimension) Given a Poisson structure (X, {, } X ), the Poisson embedding dimension of X is the number: d = min k N {j : X Pk is a Poisson embedding and dim(p k ) = k} Question For a given X, is the Poisson embedding dimension finite?
4 History of the problem (R. Cushman, R. Sjamaar, E. Lerman 1991) Understanding singular symplectic reduction. Symplectic stratified spaces. Nice examples + a conjecture (A. Weinstein) Poisson embedding may give a nonsingular approximation to a singular symplectic space. (A. Egilsson ) Answered conjecture with counterexample(s) in dissertation. Related the obstruction to embedding to semi-group structures (toric varieties). (B. Davis 2001) Used formal techniques to prove smooth results. Improved Egilsson s result: increased lower bound on Poisson embedding dimension. (AF 2011 ) Related Poisson embedding to lie algebra cohomology. Example of a nontrivial, finite Poisson embedding dimension. Many low dimensional Poisson varieties have Poisson embeddings.
5 Poisson structures for a singular symplectic problem Quotients of Poisson structures are well-behaved: Observation If M is a Poisson manifold and G a compact group action such that φ g {f 1, f 2 } = {φ g f 1, φ g f 2 } for f i C (M) and φ g Diff(M) then M/G has a natural Poisson structure. Remarks: The Poisson bracket {, } restricts to the subalgebra C (M) G C (M). The quotient space doesn t need to be smooth as long as we can make sense of C (M/G).
6 Motivating Problem (Singular Reduction) The following was considered by Cushman and Sjamaar (1990): Let G be a compact group acting on a symplectic manifold M, with equivariant moment map µ : M g. Suppose 0 is a singular value of µ, so that X := µ 1 (0)/G is a singular quotient (and therefore not a symplectic manifold). (Lerman-Sjamaar, 1991) What we do know: The singular quotient X is a symplectic stratified space (and a Poisson space). The large singular quotient M/G is a Poisson space and the strata of X are symplectic leaves of M/G. When is there a Poisson embedding of M/G into R n for some Poisson structure on R n?
7 Motivating Problem An answer to this question may: Give a better understanding of how symplectic leaves fit together near a singular point (or a more complicated singular locus). Relate group-theoretic descriptions of the symplectic strata (e.g. via orbit type) to invariants of the Poisson structure on R n. Enable one to approximate the singular quotient X with a nearby nonsingular symplectic leaf in R n.
8 Focus on Singular Symplectic Spaces Finitely many symplectic leaves. Interesting local structure at finitely many singular points. Simple, but nontrivial! Setup: V a symplectic vector space (over F = R or C) G Sp(V ) a finite group with 0 as an isolated fixed point. The singular point 0 is a 0-dimensional symplectic leaf. V /G is a (semi)-algebraic variety allows one to use algebraic techniques. (G. Schwarz, 75) If G is a compact group acting linearly on V = F n, then there exist polynomials σ 1,..., σ k that generate C (V ) G. That is, every F C (V ) G may be written as F = F (σ 1,..., σ k ) for some F C (F k ).
9 An Example: R 2 /Z 2 Example Let V = R 2 and let Z 2 = {1, 1} act via multiplication. The Poisson algebra is C (R 2 ) with {x, y} = 1. The algebra of invariants C (R 2 ) G is generated by {σ 1, σ 2, σ 3 } = { 1 2 x 2, xy, 1 2 y 2 )}. The generators are subject to the relation σ 1 σ 3 4σ 2 2 = 0. The Poisson brackets on these generators are: {σ 2, σ 3 } = σ 3, {σ 2, σ 1 } = σ 1, {σ 1, σ 3 } = σ 2, Thus F : R 2 /Z 2 R 3 = sl 2 (R) defined by F (x, y) = (σ 1 (x, y), σ 2 (x, y), σ 3 (x, y)) is a realization of the quotient as a Poisson subvariety of the linear Poisson algebra sl 2 (R)
10 The quotient is the union of the half-cone and the origin. Graphic by B. Davis
11 Why did this example work? Reason # 1 C (R 2 ) Z2 is generated by quadratic invariants and the degree of {, } is 2. Example If G Sp(V ) acts on V and the invariants C (V ) G are generated by quadratic elements {σ 1,..., σ l }, then {, } has degree 2 {σi, σ j } is again a quadratic G-invariant function. {σi, σ j } = P k ck ij σ k where cij k F V /G Poisson embeds in g as a cone, where g is the Lie algebra with structure constants cij k.
12 Why did this example work? Reason #2 (R 2 /Z 2 is low dimensional.) 3 variables Jacobi identity is only one equation. Hypersurface X = V (φ). Example (2-dimensional real symplectic orbifolds) Each quotient R 2 /Z n is realizable as a Poisson subspace of R 3. The quotient is (a subset of) the vanishing locus of xy n 2 z n in R 3. The Poisson structure on R 3 is not linear for n > 2: {z, y} = y, {z, x} = x, {x, y} = z n 1, Example (2-dim. holomorphic symplectic orbifolds) The local models for the 2-dimensional holomorphic symplectic orbifolds are C 2 /G, where G = Z n, BD 4n, BT 24, BO 48, BI 120. Each embeds into C 3 as a Poisson subspace.
13 Nonembedding Results The case of quadratic invariants led to the following: Conjecture (Cushman, Sjamaar, 1991) If R 2n /G embeds in R N, then there is a Poisson structure on R N extending the Poisson structure on the quotient. A. Egilsson found a counter-example: Theorem (A. Egilsson,1995) T R 3 /S 1 S 1 acts on T R 3 = C 3 with weights (1, 1, ±2). T R 3 /S 1 algebraically embeds in R 11. T R 3 /S 1 does not Poisson embed in R 11 Extended result to the singular symplectic space µ 1 (0)/S 1 R 10. Partially extended the results to other weights (2000).
14 B. Davis strengthened this counter-example: Theorem (Davis, 2001) While T R 3 /S 1 embeds into R N for N 11, there is no Poisson structure on R N extending the Poisson structure on T R 3 /S 1 for N = 11, 12. There is a dimensional obstruction to extending the Poisson bracket that is purely Poisson theoretic. It is not known if the Poisson embedding dimension of T R 3 /S 1 is finite!
15 Recent Results 4-dimensional symplectic quotients The previous counter-example is typical: Theorem (AF, 2011) The 4-dimensional symplectic quotient R 4 /Z n is realizable as a subvariety of R 2(n+1)+4. However there is no Poisson bracket on R 2(n+1)+4 extending the Poisson bracket on the quotient. In particular, for the n = 3 case: Theorem (AF, 2011) The 4-dimensional symplectic quotient R 4 /Z 3 embeds as an algebraic variety in R 12. There is no Poisson structure on R 12 extending the Poisson bracket on R 4 /Z 3. There is a Poisson structure on R 78 extending the Poisson bracket on R 4 /Z 3. The Poisson embedding dimension is 13 d 78.
16 Question Can this obstruction (and its disappearance) be seen in any known invariants of the quotient X? The proofs of these theorems are technical and unenlightening. Macaulay2 is often used to show properties of the specific examples (Davis, AF). AF uses theory of normal forms (e.g. Levi decomposition) to refine what a potential extension must look like and show such a refined bracket is incompatible with the ideal defining X. For example, the bivector extending the Poisson structure on C 2 /Z 3 to R 78 is given by:
17
18
19
20 Question Is there a more tractable, lower-dimensional example of this same phenomenon? For example, does there exist an embedded singular surface X F 3 and a Poisson bracket {, } X that does not extend to F 3? Theorem (AF 2013) Suppose X = V (φ) F 3 is a 2-dimensional affine Poisson variety with only isolated singularities. There exists a Poisson bracket on F 3 extending the Poisson bracket on X. Moreover, this bracket has the form: {, } π = f φ x y z + f φ y z x + f φ z x y Remark A similar statement for X = V (φ) F 4 is true, with the additional assumption that φ is a weight-homogeneous polynomial.
21 Extending an embedded Poisson hypersurface Suppose (X, {, } X ) is a Poisson variety, where X = V (φ) F n is a hypersurface with isolated singularities. K (φ) : 0 Ω 0 d φ d... φ Ω n 2 d φ Ω n 1 d φ Ω n 0 C (φ) : 0 X n d φ... d φ X 2 d φ X 1 d φ X 0 0 The differentials are given by d φ (α) = α dφ, where α Ω k, dφ (A) = ι dφ A = [A, φ], where A X k. The chain complexes are isomorphic via the standard pairing between Ω and X on F n. K is isomorphic to the Koszul complex of the Jacobian ideal of V (φ) H k (K ) 0 when k n.
22 Extending an embedded Poisson hypersurface If B X 2 extends {, } X, then d φ B = [B, φ] = φa 1, for some vector field A 1 X 1. [B, B] = φa 3, for some trivector field A 3 X 3. Therefore 0 = dφb 2 = d φ (φa 1 ) = φd φ (A 1 ), Since d φ (A 1 ) = 0, exactness A 2 X 2 s.t. A 1 = d φ A 2. d φ B = d φ (φa 2 ) d φ (B φa 2 ) = 0 (B φa 2 ) = d φ A 3, for some A 3 X 3. So any such extension is given by B = d φ A 3 + φa 2. In particular, B = d φ A 3 extends the Poisson structure on X, and in dimension 3, it is a Poisson structure.
On Embedding Singular Poisson Spaces. Aaron Fraenkel McMillan
On Embedding Singular Poisson Spaces by Aaron Fraenkel McMillan A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate
More informationExamples of Singular Reduction
Examples of Singular Reduction Eugene Lerman Richard Montgomery Reyer Sjamaar January 1991 Introduction The construction of the reduced space for a symplectic manifold with symmetry, as formalized by Marsden
More informationA Survey of Singular Reduction
A Survey of Singular Reduction Yusuf Barış Kartal 1 Introduction Reduction of a classical system with symmetries was known even at the times of Euler and Jacobi. However, it had not been formalized before
More informationSheaf cohomology and non-normal varieties
Sheaf cohomology and non-normal varieties Steven Sam Massachusetts Institute of Technology December 11, 2011 1/14 Kempf collapsing We re interested in the following situation (over a field K): V is a vector
More informationMultiplicity One Theorems
Multiplicity One Theorems A. Aizenbud http://www.wisdom.weizmann.ac.il/ aizenr/ Formulation Let F be a local field of characteristic zero. Theorem (Aizenbud-Gourevitch-Rallis-Schiffmann-Sun-Zhu) Every
More informationPoisson 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
More informationHomological mirror symmetry
Homological mirror symmetry HMS (Kontsevich 1994, Hori-Vafa 2000, Kapustin-Li 2002, Katzarkov 2002,... ) relates symplectic and algebraic geometry via their categorical structures. A symplectic manifold
More informationStratified Symplectic Spaces and Reduction
Stratified Symplectic Spaces and Reduction Reyer Sjamaar Eugene Lerman Mathematisch Instituut der Rijksuniversiteit te Utrecht Current addresses: R. Sjamaar, Dept. of Mathematics, MIT, Cambridge, MA 02139
More informationHypertoric varieties and hyperplane arrangements
Hypertoric varieties and hyperplane arrangements Kyoto Univ. June 16, 2018 Motivation - Study of the geometry of symplectic variety Symplectic variety (Y 0, ω) Very special but interesting even dim algebraic
More informationK-stability and Kähler metrics, I
K-stability and Kähler metrics, I Gang Tian Beijing University and Princeton University Let M be a Kähler manifold. This means that M be a complex manifold together with a Kähler metric ω. In local coordinates
More informationBRST 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.
More informationTwisted Poisson manifolds and their almost symplectically complete isotropic realizations
Twisted Poisson manifolds and their almost symplectically complete isotropic realizations Chi-Kwong Fok National Center for Theoretical Sciences Math Division National Tsing Hua University (Joint work
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationIntermediate Jacobians and Abel-Jacobi Maps
Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationEva 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
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationCombinatorics and geometry of E 7
Combinatorics and geometry of E 7 Steven Sam University of California, Berkeley September 19, 2012 1/24 Outline Macdonald representations Vinberg representations Root system Weyl group 7 points in P 2
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationGEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS
GEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS VICTORIA HOSKINS 1. Introduction In this course we study methods for constructing quotients of group actions in algebraic and symplectic geometry and
More informationGEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS
GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action
More informationLIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES
LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES BENJAMIN HOFFMAN 1. Outline Lie algebroids are the infinitesimal counterpart of Lie groupoids, which generalize how we can talk about symmetries
More informationUnipotent groups and some
Unipotent groups and some A 1 -contractible smooth schemes math.ag/0703137 Aravind Asok (joint w/ B.Doran) July 14, 2008 Outline 1. History/Historical Motivation 2. The A 1 -homotopy black box 3. Main
More informationD-manifolds and derived differential geometry
D-manifolds and derived differential geometry Dominic Joyce, Oxford University September 2014 Based on survey paper: arxiv:1206.4207, 44 pages and preliminary version of book which may be downloaded from
More informationSymplectic Geometry versus Riemannian Geometry
Symplectic Geometry versus Riemannian Geometry Inês Cruz, CMUP 2010/10/20 - seminar of PIUDM 1 necessarily very incomplete The aim of this talk is to give an overview of Symplectic Geometry (there is no
More informationABEL S THEOREM BEN DRIBUS
ABEL S THEOREM BEN DRIBUS Abstract. Abel s Theorem is a classical result in the theory of Riemann surfaces. Important in its own right, Abel s Theorem and related ideas generalize to shed light on subjects
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationMonodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.
Monodromy of the Dwork family, following Shepherd-Barron 1. The Dwork family. Consider the equation (f λ ) f λ (X 0, X 1,..., X n ) = λ(x n+1 0 + + X n+1 n ) (n + 1)X 0... X n = 0, where λ is a free parameter.
More informationEigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups
Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue
More informationVanishing theorems and holomorphic forms
Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic one-forms and geometry X compact complex manifold, dim C X = n. Holomorphic one-forms and
More informationAlgebraic geometry over quaternions
Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic
More informationEXERCISES 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
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 16. Symplectic resolutions of µ 1 (0)//G and their deformations 16.1. GIT quotients. We will need to produce a resolution of singularities for C 2n
More informationAnnihilation of Cohomology over Curve Singularities
Annihilation of Cohomology over Curve Singularities Maurice Auslander International Conference Özgür Esentepe University of Toronto April 29, 2018 Özgür Esentepe (University of Toronto) Annihilation of
More informationSymplectic 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
More informationExercises 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
More informationA CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS by J. Szenthe Abstract. In case of Riemannian manifolds isometric actions admitting submanifolds
More informationThe BRST complex for a group action
BRST 2006 (jmf) 23 Lecture 3: The BRST complex for a group action In this lecture we will start our discussion of the homological approach to coisotropic reduction by studying the case where the coisotropic
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationOn the Virtual Fundamental Class
On the Virtual Fundamental Class Kai Behrend The University of British Columbia Seoul, August 14, 2014 http://www.math.ubc.ca/~behrend/talks/seoul14.pdf Overview Donaldson-Thomas theory: counting invariants
More informationLecture VI: Projective varieties
Lecture VI: Projective varieties Jonathan Evans 28th October 2010 Jonathan Evans () Lecture VI: Projective varieties 28th October 2010 1 / 24 I will begin by proving the adjunction formula which we still
More information16.2. Definition. Let N be the set of all nilpotent elements in g. Define N
74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the
More informationSpherical varieties and arc spaces
Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected
More informationThe Maximum Likelihood Degree of Mixtures of Independence Models
SIAM J APPL ALGEBRA GEOMETRY Vol 1, pp 484 506 c 2017 Society for Industrial and Applied Mathematics The Maximum Likelihood Degree of Mixtures of Independence Models Jose Israel Rodriguez and Botong Wang
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationHyperkä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
More informationGroupoids and Orbifold Cohomology, Part 2
Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationContributors. Preface
Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................
More informationCohomology 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
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationarxiv: v4 [math.sg] 22 Jul 2015
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 11 (2015), 055, 37 pages Non-Compact Symplectic Toric Manifolds Yael KARSHON and Eugene LERMAN arxiv:0907.2891v4 [math.sg] 22 Jul 2015
More informationDONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/ v2 [math.ag] 24 Oct 2006
DONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/0607060v2 [math.ag] 24 Oct 2006 DAVID BALDUZZI Abstract. The Donagi-Markman cubic is the differential of the period map for algebraic completely integrable
More informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationOn the Construction and Cohomology of a Self-Dual Perverse Sheaf Motivated by String Theory
On the Construction and Cohomology of a Self-Dual Perverse Sheaf Motivated by String Theory math.at/0704.3298 Abdul Rahman Howard University Acknowledgements Prof. R. MacPherson (IAS) for making the observation
More informationAutomorphisms of varieties and critical density. Jason Bell (U. Michigan)
Automorphisms of varieties and critical density Jason Bell (U. Michigan) belljp@umich.edu 1 Let X be a topological space and let S be an infinite subset of X. We say that S is critically dense if every
More informationLECTURE 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
More informationSymmetries of K3 sigma models
Symmetries of K3 sigma models Matthias Gaberdiel ETH Zürich LMS Symposium New Moonshines, Mock Modular Forms and String Theory Durham, 5 August 2015 K3 sigma models Consider CFT sigma model with target
More informationMirror Symmetry: Introduction to the B Model
Mirror Symmetry: Introduction to the B Model Kyler Siegel February 23, 2014 1 Introduction Recall that mirror symmetry predicts the existence of pairs X, ˇX of Calabi-Yau manifolds whose Hodge diamonds
More informationCalabi-Yau Geometry and Mirror Symmetry Conference. Cheol-Hyun Cho (Seoul National Univ.) (based on a joint work with Hansol Hong and Siu-Cheong Lau)
Calabi-Yau Geometry and Mirror Symmetry Conference Cheol-Hyun Cho (Seoul National Univ.) (based on a joint work with Hansol Hong and Siu-Cheong Lau) Mirror Symmetry between two spaces Mirror symmetry explains
More informationPoisson Manifolds Bihamiltonian Manifolds Bihamiltonian systems as Integrable systems Bihamiltonian structure as tool to find solutions
The Bi hamiltonian Approach to Integrable Systems Paolo Casati Szeged 27 November 2014 1 Poisson Manifolds 2 Bihamiltonian Manifolds 3 Bihamiltonian systems as Integrable systems 4 Bihamiltonian structure
More informationA Gauss-Bonnet theorem for constructible sheaves on reductive groups
A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups.
More informationEquivariant Toeplitz index
CIRM, Septembre 2013 UPMC, F75005, Paris, France - boutet@math.jussieu.fr Introduction. Asymptotic equivariant index In this lecture I wish to describe how the asymptotic equivariant index and how behaves
More informationCOINVARIANTS OF LIE ALGEBRAS OF VECTOR FIELDS ON ALGEBRAIC VARIETIES
COINVARIANTS OF LIE ALGEBRAS OF VECTOR FIELDS ON ALGEBRAIC VARIETIES PAVEL ETINGOF AND TRAVIS SCHEDLER Abstract. We prove that the space of coinvariants of functions on an affine variety by a Lie algebra
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationLECTURE 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
More informationGEOMETRIC 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
More informationAtiyah classes and homotopy algebras
Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten
More informationA 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
More informationAn invitation to log geometry p.1
An invitation to log geometry James M c Kernan UCSB An invitation to log geometry p.1 An easy integral Everyone knows how to evaluate the following integral: 1 0 1 1 x 2 dx. An invitation to log geometry
More informationModel categories and homotopy colimits in toric topology
Model categories and homotopy colimits in toric topology Taras Panov Moscow State University joint work with Nigel Ray 1 1. Motivations. Object of study of toric topology : torus actions on manifolds or
More informationSEMI-GROUP AND BASIC FUNCTIONS
SEMI-GROUP AND BASIC FUNCTIONS 1. Review on reductive semi-groups The reference for this material is the paper Very flat reductive monoids of Rittatore and On reductive algebraic semi-groups of Vinberg.
More informationThe Affine Grassmannian
1 The Affine Grassmannian Chris Elliott March 7, 2013 1 Introduction The affine Grassmannian is an important object that comes up when one studies moduli spaces of the form Bun G (X), where X is an algebraic
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationk k would be reducible. But the zero locus of f in A n+1
Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along
More informationGauged Linear Sigma Model in the Geometric Phase
Gauged Linear Sigma Model in the Geometric Phase Guangbo Xu joint work with Gang Tian Princeton University International Conference on Differential Geometry An Event In Honour of Professor Gang Tian s
More informationLinear connections on Lie groups
Linear connections on Lie groups The affine space of linear connections on a compact Lie group G contains a distinguished line segment with endpoints the connections L and R which make left (resp. right)
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationGeneralized Contact Structures
Generalized Contact Structures Y. S. Poon, UC Riverside June 17, 2009 Kähler and Sasakian Geometry in Rome in collaboration with Aissa Wade Table of Contents 1 Lie bialgebroids and Deformations 2 Generalized
More informationOverview of classical mirror symmetry
Overview of classical mirror symmetry David Cox (notes by Paul Hacking) 9/8/09 () Physics (2) Quintic 3-fold (3) Math String theory is a N = 2 superconformal field theory (SCFT) which models elementary
More informationAbout polynomiality of the Poisson semicentre for parabolic subalgebras
About polynomiality of the Poisson semicentre for parabolic subalgebras University of Saint-Etienne, ICJ, LYON - France The Canicular Days - Haifa - July 2017 - Celebrating A. Joseph s 75th birthday Aim.
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 2.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined
More informationGlobal Lie-Tresse theorem
Global Lie-Tresse theorem Boris Kruglikov University of Tromsø, Norway (in part joint with: V.Lychagin, O. Morozov, E. Ferapontov) Group actions and classical Invariants The classical problem in invariant
More informationLOG-CANONICAL COORDINATES FOR POISSON BRACKETS AND RATIONAL CHANGES OF COORDINATES
LOG-CANONICAL COORDINATES FOR POISSON BRACKETS AND RATIONAL CHANGES OF COORDINATES JOHN MACHACEK AND NICHOLAS OVENHOUSE Abstract. Goodearl and Launois have shown in [GL11] that for a log-canonical Poisson
More informationIC of subvarieties. Logarithmic perversity. Hyperplane complements.
12. Lecture 12: Examples of perverse sheaves 12.1. IC of subvarieties. As above we consider the middle perversity m and a Whitney stratified space of dimension n with even dimensional strata. Let Y denote
More informationTHE MOMENTUM MAP IN POISSON GEOMETRY
THE MOMENTUM MAP IN POISSON GEOMETRY By RUI LOJA FERNANDES, JUAN-PABLO ORTEGA, and TUDOR S. RATIU Abstract. Every action on a Poisson manifold by Poisson diffeomorphisms lifts to a Hamiltonian action on
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationThe Differential Structure of an Orbifold
The Differential Structure of an Orbifold AMS Sectional Meeting 2015 University of Memphis Jordan Watts University of Colorado at Boulder October 18, 2015 Introduction Let G 1 G 0 be a Lie groupoid. Consider
More informationApplications to the Beilinson-Bloch Conjecture
Applications to the Beilinson-Bloch Conjecture Green June 30, 2010 1 Green 1 - Applications to the Beilinson-Bloch Conjecture California is like Italy without the art. - Oscar Wilde Let X be a smooth projective
More informationDelzant 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
More informationAbelian Varieties and Complex Tori: A Tale of Correspondence
Abelian Varieties and Complex Tori: A Tale of Correspondence Nate Bushek March 12, 2012 Introduction: This is an expository presentation on an area of personal interest, not expertise. I will use results
More information