Moment map flows and the Hecke correspondence for quivers
|
|
- Joshua Johnson
- 5 years ago
- Views:
Transcription
1 and the Hecke correspondence for quivers International Workshop on Geometry and Representation Theory Hong Kong University, 6 November 2013
2 The Grassmannian and flag varieties Correspondences in Morse theory Two ways to think of the Grassmannian Gr(k, n) denotes the Grassmannian of k-dimensional planes in C n modulo equivalence. GL(k, C) and U(k) act on Hom(C k, C n ) by g A = Ag 1. { } Gr(k, n) = A Hom(C k, C n ) : A is injective / GL(k, C) { } = A Hom(C k, C n ) : A A = id C k /U(k). The first is a Geometric Invariant Theory (GIT) quotient of Hom(C k, C n ) by GL(k, C) (A injective A stable). The second is a symplectic quotient of Hom(C k, C n ) by U(k) ( 1A A is the moment map for the U(k) action).
3 The Grassmannian and flag varieties Correspondences in Morse theory Irreducible representations of sl(2, C) Recall that sl(2, C) is generated by ( ) ( ) ( ) H =, E =, F = Relations [H, E] = 2E, [H, F] = 2F, [E, F] = H. An irreducible rep. ρ : sl(2, C) End(C n+1 ) defines a decomposition into weight spaces for H C n+1 = n C (2k n), where ρ(h)v = λv for v C (λ). k=0 E : C (λ) C (λ+2) ( raising operator ) F : C (λ) C (λ 2) ( lowering operator )
4 Examples of Correspondence Varieties The Grassmannian and flag varieties Correspondences in Morse theory Representations of sl(2, C) on the cohomology of the Grassmannian Now consider C n+1 = n H top (Gr(k, n)). k=0 H top (Gr(k, n)) will be the weight space for the action of H with weight 2k n. Construct the operators E and F using the flag variety { F(k, k + 1, n) = C k C k+1 n} C /. The flag variety is a correspondence variety for the two Grassmannians. F(k, k + 1, n) p 1 p 2 Gr(k, n) Gr(k + 1, n)
5 Examples of Correspondence Varieties The Grassmannian and flag varieties Correspondences in Morse theory The raising and lowering operators are constructed via pullback and pushforward (in Borel-Moore homology) in the diagram below. T Gr(k, n) T Gr(k + 1, n) π 1 π 2 T Gr(k, n) F(k, k + 1, n) T p 1 p 2 Gr(k + 1, n) Gr(k, n) Gr(k + 1, n) E(ω) = (π 2 ) (π1 (ω) [F(k, k + 1, n)]) F(ω) = (π 1 ) (π2 (ω) [F(k, k + 1, n)]) (ω is the fundamental class of the Grassmannian)
6 Examples of Correspondence Varieties for bundles The Grassmannian and flag varieties Correspondences in Morse theory Let Σ be a compact Riemann surface. Given a holomorphic bundle E Σ, choose p Σ and v p E p. Evaluation E(U) s v p (s(p)) C gives an exact sequence of sheaves 0 E E Cp 0 The pair (E, E ) gives the data of a quasi-parabolic bundle. deg E = d 1. Choose weights to get a parabolic structure. M par (r, d) p 1 p 2 M(r, d 1) M(r, d)
7 Examples of Correspondence Varieties for quivers The Grassmannian and flag varieties Correspondences in Morse theory Motivation: Hecke modifications of bundles on hyperkähler ALE (Asymptotically Locally Euclidean) 4-manifolds Γ a finite subgroup of SU(2). Construct minimal resolution p : C 2 /Γ C 2 /Γ. Exceptional divisor: p 1 (0) = CP 1. Given an instanton E C 2 /Γ, construct Hecke modifications over the exceptional divisor. B k (Q, v, w) p 1 p 2 M HK (Q, v e k, w) M HK (Q, v, w)
8 Flow line correspondence The Grassmannian and flag varieties Correspondences in Morse theory Let M be a manifold and f : M R a smooth function (plus extra conditions, e.g. M compact, f Morse-Bott). Label the critical sets {C j } n j=1. Define the gradient flow γ : M R M γ(x, 0) = x, t γ(x, t) = grad f (x) t=0 Upwards limit: γ(x, ) = lim t γ(x, t) Downwards limit: γ(x, ) = lim t γ(x, t) Given two critical sets C j, C k, define the space of flow lines F(C j, C k ) := {x M γ(x, ) C j, γ(x, ) C k } F(C j, C k ) := F(C j, C k )/R (R-action defined by flow)
9 Flow line correspondence (cont.) The flow defines projection maps C j F(C j, C k ) u l The Grassmannian and flag varieties Correspondences in Morse theory C k When M is compact and f is Morse-Bott-Smale, the projection maps give F the structure of a sphere bundle. Construct a complex MB from H (C j ) for each crit. set C j. The differentials are u l : H (C k ) H λ jk +1 (C j ). Theorem. (Austin-Braam) H (MB ) = H (M). (Cup product has a similar push-pull construction)
10 Morse correspondence The Grassmannian and flag varieties Correspondences in Morse theory Given two critical sets C j, C k, define the Morse correspondence M(C j, C k ) := {(x 1, x 2 ) C j C k x M s.t. γ(x, ) = x 1, γ(x, ) = x 2 } C j M(C j, C k ) u l Goal of the talk. In the setting of Nakajima quiver varieties, the Morse correspondence is homeomorphic to the Hecke correspondence. C k
11 Definition Examples (definition) Let Q be a directed graph ( quiver = bunch of arrows ). Edges E, vertices I, head/tail maps h, t : E I. A framed complex representation of a quiver consists of Complex vector spaces V k and W k at each vertex k I, and C-linear homomorphisms A a : V t(a) V h(a) for each edge a E and i k : V k W k for each k I.
12 Examples of Correspondence Varieties definition (cont.) Definition Examples Define v = (dim C V k ) k I and w = (dim C W k ) k I to be the dimension vectors of the representation. Let Rep(Q, v, w) be the space of all representations with fixed dimension vectors v and w. The groups G v = GL(V k, C) and K v = U(V k ) act on k I k I Rep(Q, v, w). Examples: A V V V1 V2 i i W W W1 W2 i 1 A i 2
13 Definition Examples Hyperkähler quotients (Nakajima quiver varieties) Double the edges of the quiver. Rep(Q, v, w) becomes T Rep(Q, v, w). Induced action of G v and K v. Quaternionic structure on T Rep(Q, v, w). Complex structures I, J, K. There are three moment maps µ I, µ J, µ K for action of K v. Stability parameter α v Z (k v). The Nakajima quiver variety is M HK (Q, v, w) := µ 1 I (α v ) µ 1 J (0) µ 1 K (0)/K v ( ) α stable = µ 1 J (0) µ 1 K (0) /Gv.
14 Definition Examples Energy minimising representations M HK (Q, v, w) := µ 1 I (α v ) µ 1 J (0) µ 1 K (0)/K v. Consider the function f : µ 1 J (0) µ 1 K (0) R given by f (x) = µ I (x) α v 2 Then M HK (Q, v, w) = f 1 (0)/K v. Question. What are the critical sets of f? At a critical point, the representation splits into two subrepresentations x = x + x. v = v + v. x is stable for α v and G v x is closed. Both x and x are energy minimising. Modulo K v we get M HK (Q, v, w) M HK 0 (Q, v, 0).
15
16 Examples of Correspondence Varieties Definition Examples Construction of hyperkähler ALE spaces (Kronheimer) Consider the case where Q has the structure of an affine Dynkin diagram of ADE type and w = 0. v is determined by the kernel of the Cartan matrix C. Γ SU(2) is determined by the McKay correspondence. Example. C C C Theorem (Kronheimer, 1989) Type Â3, Γ = Z/3Z C = M HK (Q, v, 0) is a hyperkähler asymptotically locally Euclidean 4-manifold. Moreover, M HK (Q, v, 0) = C 2 /Γ.
17 Definition Examples Instantons on ALE spaces (Kronheimer & Nakajima) Kronheimer showed that all ALE hyperkähler four manifolds can be constructed in this way. Given a bundle E over an ALE space M HK (Q, v, 0) = C 2 /Γ with a fixed framing at infinity, can construct new dimension vectors v and w determined by the Chern classes of E and the framing at infinity. Theorem (Kronheimer & Nakjima, 1990) M HK (Q, v, w ) is the moduli space of framed instantons on E. (Generalisation of the ADHM construction of instantons on S 4.)
18 Nakajima s constructions Definition Examples Theorem (Nakajima) Let ĝ be an affine Kac-Moody algebra, and let Q be the quiver associated to the Dynkin diagram of ĝ. Then there is a representation of U(ĝ) on H top (M HK (Q, v, w) x ), and this is v the irreducible representation with highest weight w. The representation is constructed via the Hecke correspondence B k (Q, v, w), consisting of pairs (x 1, x 2 ) M HK (Q, v e k, w) M HK (Q, v, w) related by an injective intertwining homomorphism. Later constructions of Nakajima use similar ideas for other algebras (quantum affine algebras, etc.)
19 Examples of Correspondence Varieties Definition Examples example Let Q be the quiver with one vertex and no edges. For k = 1, 2, choose framed representations of Q, consisting of vector spaces V k and W k with homomorphisms i k : V k W k and j k : W k V k. A homomorphism A : V 1 V 2 intertwines the representations if the following diagram commutes. V1 i 1 j 1 W A id V2 i 2 j 2 W Choose dim V 1 = dim V 2 1. The consists of all pairs ((i 1, j 1 ), (i 2, j 2 )) for which there exists such an intertwining homomorphism.
20 Morse theory setup Flow lines/approximate flow lines Critical points for the square of the moment map The critical sets are classified by dimension vectors 0 v v. Modulo K v we have C v := M HK (Q, v, w) M HK 0 (Q, v v, 0). M HK 0 (Q, v v, 0) is contractible. Each critical set deformation retracts onto the subset C 0 v := M HK (Q, v, w) {0}. Questions. What do the spaces of flow lines look like? What about the Morse correspondence? Want to answer these questions for the subset C 0 v C v.
21 Morse theory setup Flow lines/approximate flow lines Algebraic description of gradient flow convergence Theorem (Harada, W., 2011) The downwards gradient flow of µ α 2 converges to a critical point. The limit of the flow is isomorphic to the graded object of the Harder-Narasimhan-Jordan-Hölder filtration of the initial condition. In other words, the limit of the flow is determined (up to isomorphism) by the algebraic geometry of the initial condition. This is an analog of theorems for the Yang-Mills functional (Daskalopoulos 92, Daskalopoulos-Wentworth 04, Sibley 13) and Yang-Mills-Higgs functional (W. 08, Li-Zhang 11).
22 Flow lines for quivers Morse theory setup Flow lines/approximate flow lines Given a critical point x, let Sx denote the exponential image of the negative eigenspace of the Hessian. (S x is the tangent space to the unstable manifold) Definition. Two critical points x 1 and x 2 are connected by an approximate flow line if and only if there exists δx S x 1 such that x 1 + δx flows down to x 2. M(Q, v 1, v 2, v, w) denotes the space of pairs x 1 C 0 v 1 and x 2 C 0 v 2 s.t. x 1 and x 2 are connected by an approximate flow line. (M is the Morse correspondence for this example)
23 Critical points connected by a flow line Flow construction of the Lagrangian subvariety Flow construction of Kashiwara s operators Questions Critical points connected by a flow line Combining this with the earlier theorem (algebraic description of the limit of the downwards gradient flow), we now have a relationship between Nakajima s constructions and the gradient flow picture. Theorem (W.) A pair [x 1, x 2 ] is in the B k (Q, v, w) iff [x 1, x 2 ] M(Q, v e k, v, w). (Also true for handsaw quiver varieties)
24
25 Critical points connected by a flow line Flow construction of the Lagrangian subvariety Flow construction of Kashiwara s operators Questions Lagrangian subvariety Let 0 v 1, v 2 v. Nakajima defines a Lagrangian subvariety L(Q, v 1, v 2, w) M HK (Q, v 1, w) M HK (Q, v 2, w) consisting of pairs whose orbit closures intersect in µ 1 C (0) T Rep(Q, v, w). Theorem (W.) A pair [x 1, x 2 ] is in the Lagrangian subvariety iff there exists a critical point x such that x 1 and x 2 are connected by (possibly broken) flow lines to x. (x is isomorphic to the graded object of the Jordan-Hölder filtration of x 1 and x 2.)
26
27 Critical points connected by a flow line Flow construction of the Lagrangian subvariety Flow construction of Kashiwara s operators Questions Kashiwara s operators Given x M HK 0 (Q, v, w), Nakajima also studies the subvariety M HK (Q, v, w) x M HK (Q, v, w) consisting of points whose orbit closures contain x. He defines an operator Ẽk mapping irreducible components of M HK (Q, v, w) x to irreducible components of M HK (Q, v e k, w) x. Another operator F k maps in the opposite direction. Kashiwara and Saito prove that the set of all irreducible components with these operators is isomorphic to the crystal of the highest weight module of the modified universal enveloping algebra of ĝ. The methods of the previous two theorems give a flow-up, flow-down construction of Kashiwara s operators. (See picture)
28
29 Critical points connected by a flow line Flow construction of the Lagrangian subvariety Flow construction of Kashiwara s operators Questions Questions Can we see the for holomorphic bundles or Higgs bundles via the Yang-Mills flow? Can we prove that approximate flow lines are the same as flow lines? Nakajima constructs representations of affine Kac-Moody algebras, etc. using the and a push-pull operation. Is there a Morse-theoretic interpretation of this?
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
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 informationDEFECTS IN COHOMOLOGICAL GAUGE THEORY AND DONALDSON- THOMAS INVARIANTS
DEFECTS IN COHOMOLOGICAL GAUGE THEORY AND DONALDSON- THOMAS INVARIANTS SISSA - VBAC 2013 Michele Cirafici CAMGSD & LARSyS, IST, Lisbon CAMGSD @LARSyS based on arxiv: 1302.7297 OUTLINE Introduction Defects
More informationHYPERKÄ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
More informationLECTURE 16: REPRESENTATIONS OF QUIVERS
LECTURE 6: REPRESENTATIONS OF QUIVERS IVAN LOSEV Introduction Now we proceed to study representations of quivers. We start by recalling some basic definitions and constructions such as the path algebra
More informationDonaldson Invariants and Moduli of Yang-Mills Instantons
Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationMORSE THEORY OF THE MOMENT MAP FOR REPRESENTATIONS OF QUIVERS MEGUMI HARADA AND GRAEME WILKIN
MORSE THEORY OF THE MOMENT MAP FOR REPRESENTATIONS OF QUIVERS MEGUMI HARADA AND GRAEME WILKIN ABSTRACT. The results of this paper concern the Morse theory of the norm-square of the moment map on the space
More informationTHE p-smooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an n-dimensional variety over C equipped with the classical topology.
THE p-smooth LOCUS OF SCHUBERT VARIETIES GEORDIE WILLIAMSON ABSTRACT. These are notes from talks given at Jussieu (seminaire Chevalley), Newcastle and Aberdeen (ARTIN meeting). They are intended as a gentle
More informationA GEOMETRIC JACQUET FUNCTOR
A GEOMETRIC JACQUET FUNCTOR M. EMERTON, D. NADLER, AND K. VILONEN 1. Introduction In the paper [BB1], Beilinson and Bernstein used the method of localisation to give a new proof and generalisation of Casselman
More informationRecall for an n n matrix A = (a ij ), its trace is defined by. a jj. It has properties: In particular, if B is non-singular n n matrix,
Chern characters Recall for an n n matrix A = (a ij ), its trace is defined by tr(a) = n a jj. j=1 It has properties: tr(a + B) = tr(a) + tr(b), tr(ab) = tr(ba). In particular, if B is non-singular n n
More informationMorse Theory and Applications to Equivariant Topology
Morse Theory and Applications to Equivariant Topology Morse Theory: the classical approach Briefly, Morse theory is ubiquitous and indomitable (Bott). It embodies a far reaching idea: the geometry and
More informationIntersection 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
More informationGeometric Realizations of the Basic Representation of ĝl r
Geometric Realizations of the Basic Representation of ĝl r Joel Lemay Department of Mathematics and Statistics University of Ottawa September 23rd, 2013 Joel Lemay Geometric Realizations of ĝl r Representations
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 informationREAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of ba
REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of based gauge equivalence classes of SO(n) instantons on
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationAPPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction
APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact
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 information2 G. D. DASKALOPOULOS AND R. A. WENTWORTH general, is not true. Thus, unlike the case of divisors, there are situations where k?1 0 and W k?1 = ;. r;d
ON THE BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Abstract. On an arbitrary compact Riemann surface, necessary and sucient conditions are found for the
More informationBroken pencils and four-manifold invariants. Tim Perutz (Cambridge)
Broken pencils and four-manifold invariants Tim Perutz (Cambridge) Aim This talk is about a project to construct and study a symplectic substitute for gauge theory in 2, 3 and 4 dimensions. The 3- and
More informationConstructing compact 8-manifolds with holonomy Spin(7)
Constructing compact 8-manifolds with holonomy Spin(7) Dominic Joyce, Oxford University Simons Collaboration meeting, Imperial College, June 2017. Based on Invent. math. 123 (1996), 507 552; J. Diff. Geom.
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 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 informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
More informationSymplectic varieties and Poisson deformations
Symplectic varieties and Poisson deformations Yoshinori Namikawa A symplectic variety X is a normal algebraic variety (defined over C) which admits an everywhere non-degenerate d-closed 2-form ω on the
More informationQUIVER GRASSMANNIANS, QUIVER VARIETIES AND THE PREPROJECTIVE ALGEBRA
QUIVER GRASSMANNIANS, QUIVER VARIETIES AND THE PREPROJECTIVE ALGEBRA ALISTAIR SAVAGE AND PETER TINGLEY Abstract. Quivers play an important role in the representation theory of algebras, with a key ingredient
More informationThe 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
More information3d Gauge Theories, Symplectic Duality and Knot Homology I. Tudor Dimofte Notes by Qiaochu Yuan
3d Gauge Theories, Symplectic Duality and Knot Homology I Tudor Dimofte Notes by Qiaochu Yuan December 8, 2014 We want to study some 3d N = 4 supersymmetric QFTs. They won t be topological, but the supersymmetry
More informationRepresentation 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
More informationGeometry of Conformal Field Theory
Geometry of Conformal Field Theory Yoshitake HASHIMOTO (Tokyo City University) 2010/07/10 (Sat.) AKB Differential Geometry Seminar Based on a joint work with A. Tsuchiya (IPMU) Contents 0. Introduction
More informationCohomology jump loci of quasi-projective varieties
Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)
More informationMorse-Bott Homology. Augustin Banyaga. David Hurtubise
Morse-Bott Homology (Using singular N-cube chains) Augustin Banyaga Banyaga@math.psu.edu David Hurtubise Hurtubise@psu.edu s u TM s z S 2 r +1 q 1 E u f +1 1 p Penn State University Park Penn State Altoona
More informationThese slides available at joyce/talks.html
Kuranishi (co)homology: a new tool in symplectic geometry. II. Kuranishi (co)homology Dominic Joyce Oxford University, UK work in progress based on arxiv:0707.3572 v5, 10/08 summarized in arxiv:0710.5634
More informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
More informationQuadratic differentials as stability conditions. Tom Bridgeland (joint work with Ivan Smith)
Quadratic differentials as stability conditions Tom Bridgeland (joint work with Ivan Smith) Our main result identifies spaces of meromorphic quadratic differentials on Riemann surfaces with spaces of stability
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationContents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.
Preface xiii Chapter 1. Selected Problems in One Complex Variable 1 1.1. Preliminaries 2 1.2. A Simple Problem 2 1.3. Partitions of Unity 4 1.4. The Cauchy-Riemann Equations 7 1.5. The Proof of Proposition
More informationChow rings of Complex Algebraic Groups
Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)
More informationSemistable Representations of Quivers
Semistable Representations of Quivers Ana Bălibanu Let Q be a finite quiver with no oriented cycles, I its set of vertices, k an algebraically closed field, and Mod k Q the category of finite-dimensional
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 informationThe tangent space to an enumerative problem
The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA belkale@email.unc.edu ICM, Hyderabad 2010. Enumerative
More informationSome remarks on Nakajima s quiver varieties of type A
Some remarks on Nakajima s quiver varieties of type A D. A. Shmelkin To cite this version: D. A. Shmelkin. Some remarks on Nakajima s quiver varieties of type A. IF_ETE. 2008. HAL Id: hal-00441483
More informationGeometric Langlands duality and the equations of Nahm and Bogomolny
Proceedings of the Royal Society of Edinburgh, 140A, 857 895, 2010 Geometric Langlands duality and the equations of Nahm and Bogomolny Edward Witten Theory Group, CERN CH1211, Geneva 23, Switzerland (MS
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 informationCohomological Hall algebra of a preprojective algebra
Cohomological Hall algebra of a preprojective algebra Gufang Zhao Institut de Mathématiques de Jussieu-Paris Rive Gauche Conference on Representation Theory and Commutative Algebra Apr. 24, 2015, Storrs,
More informationR-matrices, affine quantum groups and applications
R-matrices, affine quantum groups and applications From a mini-course given by David Hernandez at Erwin Schrödinger Institute in January 2017 Abstract R-matrices are solutions of the quantum Yang-Baxter
More informationMORSE THEORY, HIGGS FIELDS, AND YANG-MILLS-HIGGS FUNCTIONALS
MORSE THEORY, HIGGS FIELDS, AND YANG-MILLS-HIGGS FUNCTIONALS STEVEN B. BRADLOW AND GRAEME WILKIN Dedicated to Professor Dick Palais on the occasion of his 80th birthday 1. Introduction In classical Morse
More informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
More informationSupersymmetric gauge theory, representation schemes and random matrices
Supersymmetric gauge theory, representation schemes and random matrices Giovanni Felder, ETH Zurich joint work with Y. Berest, M. Müller-Lennert, S. Patotsky, A. Ramadoss and T. Willwacher MIT, 30 May
More informationGravitating vortices, cosmic strings, and algebraic geometry
Gravitating vortices, cosmic strings, and algebraic geometry Luis Álvarez-Cónsul ICMAT & CSIC, Madrid Seminari de Geometria Algebraica UB, Barcelona, 3 Feb 2017 Joint with Mario García-Fernández and Oscar
More informationThe Yang-Mills equations over Klein surfaces
The Yang-Mills equations over Klein surfaces Chiu-Chu Melissa Liu & Florent Schaffhauser Columbia University (New York City) & Universidad de Los Andes (Bogotá) Seoul ICM 2014 Outline 1 Moduli of real
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationNodal symplectic spheres in CP 2 with positive self intersection
Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic
More informationBPS states, Wall-crossing and Quivers
Iberian Strings 2012 Bilbao BPS states, Wall-crossing and Quivers IST, Lisboa Michele Cirafici M.C.& A.Sincovics & R.J. Szabo: 0803.4188, 1012.2725, 1108.3922 and M.C. to appear BPS States in String theory
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 informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationHiggs 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
More informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
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 informationCritical level representations of affine Kac Moody algebras
Critical level representations of affine Kac Moody algebras Peter Fiebig Emmy Noether Zentrum Universität Erlangen Nürnberg Isle of Skye May 2010 Affine Kac Moody algebras Let g be a complex simple Lie
More informationHigher representation theory in algebra and geometry: Lecture II
Higher representation theory in algebra and geometry: Lecture II Ben Webster UVA ebruary 10, 2014 Ben Webster (UVA) HRT : Lecture II ebruary 10, 2014 1 / 35 References or this lecture, useful references
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationRigid Schubert classes in compact Hermitian symmetric spaces
Rigid Schubert classes in compact Hermitian symmetric spaces Colleen Robles joint work with Dennis The Texas A&M University April 10, 2011 Part A: Question of Borel & Haefliger 1. Compact Hermitian symmetric
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
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 informationMinimal 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
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
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 informationTHE YANG-MILLS EQUATIONS OVER KLEIN SURFACES
THE YANG-MILLS EQUATIONS OVER KLEIN SURFACES CHIU-CHU MELISSA LIU AND FLORENT SCHAFFHAUSER Abstract. Moduli spaces of semi-stable real and quaternionic vector bundles of a fixed topological type admit
More informationA Crash Course of Floer Homology for Lagrangian Intersections
A Crash Course of Floer Homology for Lagrangian Intersections Manabu AKAHO Department of Mathematics Tokyo Metropolitan University akaho@math.metro-u.ac.jp 1 Introduction There are several kinds of Floer
More informationAlgebraic Cobordism. 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006.
Algebraic Cobordism 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006 Marc Levine Outline: Describe the setting of oriented cohomology over a
More informationHARMONIC 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
More informationInstanton calculus for quiver gauge theories
Instanton calculus for quiver gauge theories Vasily Pestun (IAS) in collaboration with Nikita Nekrasov (SCGP) Osaka, 2012 Outline 4d N=2 quiver theories & classification Instanton partition function [LMNS,
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
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 informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More informationWeyl Groups and Artin Groups Associated to Weighted Projective Lines
Weyl Groups and Artin Groups Associated to Weighted Projective Lines (joint work with Yuuki Shiraishi and Kentaro Wada) Atsushi TAKAHASHI OSAKA UNIVERSITY November 15, 2013 at NAGOYA 1 / 29 Aim Want to
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
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 informationWe then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationCHARACTERISTIC 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
More informationThe 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)
More informationVERLINDE ALGEBRA LEE COHN. Contents
VERLINDE ALGEBRA LEE COHN Contents 1. A 2-Dimensional Reduction of Chern-Simons 1 2. The example G = SU(2) and α = k 5 3. Twistings and Orientations 7 4. Pushforward Using Consistent Orientations 9 1.
More informationThe derived category of a GIT quotient
September 28, 2012 Table of contents 1 Geometric invariant theory 2 3 What is geometric invariant theory (GIT)? Let a reductive group G act on a smooth quasiprojective (preferably projective-over-affine)
More informationarxiv:alg-geom/ v1 29 Jul 1993
Hyperkähler embeddings and holomorphic symplectic geometry. Mikhail Verbitsky, verbit@math.harvard.edu arxiv:alg-geom/9307009v1 29 Jul 1993 0. ntroduction. n this paper we are studying complex analytic
More informationNoncommutative compact manifolds constructed from quivers
Noncommutative compact manifolds constructed from quivers Lieven Le Bruyn Universitaire Instelling Antwerpen B-2610 Antwerp (Belgium) lebruyn@wins.uia.ac.be Abstract The moduli spaces of θ-semistable representations
More information1.1 Definition of group cohomology
1 Group Cohomology This chapter gives the topological and algebraic definitions of group cohomology. We also define equivariant cohomology. Although we give the basic definitions, a beginner may have to
More informationON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 ON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE INDRANIL BISWAS (Communicated
More informationGeometry of moduli spaces
Geometry of moduli spaces 20. November 2009 1 / 45 (1) Examples: C: compact Riemann surface C = P 1 (C) = C { } (Riemann sphere) E = C / Z + Zτ (torus, elliptic curve) 2 / 45 (2) Theorem (Riemann existence
More informationLecture 6: Classifying spaces
Lecture 6: Classifying spaces A vector bundle E M is a family of vector spaces parametrized by a smooth manifold M. We ask: Is there a universal such family? In other words, is there a vector bundle E
More informationPeter Magyar Research Summary
Peter Magyar Research Summary 1993 2005 Nutshell Version 1. Borel-Weil theorem for configuration varieties and Schur modules One of the most useful constructions of algebra is the Schur module S λ, an
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationBraid group actions on categories of coherent sheaves
Braid group actions on categories of coherent sheaves MIT-Northeastern Rep Theory Seminar In this talk we will construct, following the recent paper [BR] by Bezrukavnikov and Riche, actions of certain
More informationDERIVED HAMILTONIAN REDUCTION
DERIVED HAMILTONIAN REDUCTION PAVEL SAFRONOV 1. Classical definitions 1.1. Motivation. In classical mechanics the main object of study is a symplectic manifold X together with a Hamiltonian function H
More informationBranching 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.
More information