The tangent space to an enumerative problem


 Allen Terry
 2 years ago
 Views:
Transcription
1 The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA ICM, Hyderabad 2010.
2 Enumerative problems An enumerative problem is a problem of counting the number of points in a space that satisfy certain geometrically defined conditions. For example, The classical problem of intersecting Schubert varieties (in general position) in a Grassmannian or on a general flag variety. The more recent problem in quantum cohomology of counting maps from the projective line to a homogeneous space satisfying certain incidence conditions, Of counting subbundles of a fixed (general) vector bundle of a given degree and rank on an algebraic curve.
3 The following questions will be considered. (a) Can we obtain (hopefully simpler ) consequences of a (nonempty) transversal intersection which are equivalent to the enumerative problem having a nonempty solution? Is there an inductive framework to understand enumerative problems which have nonempty solutions? (b) Transversality can be immediately translated as the nonzeroness of suitable determinants. This leads one to sections ( the theta sections ) of line bundles over suitable modulispaces which have representation theoretic significance. How effective is this link between intersection theory and representation theory?
4 General formulations For (a) consider the following strategy: Let us choose parameters so that the enumerative problem has a solution, for example choosing Schubert varieties which pass through a chosen point in a Grassmannian (but otherwise general). The main effort will then be to decide whether the intersection is transverse at the chosen point. The problem now is a smaller problem in suitable tangent spaces.
5 For (b): Consider an enumerative problem, and form the moduli stack of the universal intersection, for example: The stack parameterizing triples of Schubert varieties in some Grassmannian, together with a point on the intersection of these varieties. The stack parameterizing pairs (S, V ) where S V is a subbundle of a vector bundle V on an algebraic curve (which may also be allowed to vary). The enumerative problem is one of counting subbundles of V of a given degree and rank. We assume that the expected dimension is zero. There is a line bundle L on this stack M together with a global section, this global section θ vanishes exactly at points where the intersection (at the given point) is nontransverse. Therefore the section θ does not vanish identically if and only if the enumerative problem has a solution (is it an equivalent condition to require h 0 (M, L) 0, or even weaker M ss 0?).
6 Note: Frequently, deformation theory is controlled by two term complexes (with H 0 the formal tangent space, and H 1 the space of obstructions). In such cases θ is the determinant. Even if there is no transversality available, the determinant line bundle makes sense. Naive hope: This construction produces all global sections of line bundles on moduli spaces (by suitable specializations, functoriality an deformations). So far this seems to be mostly apply to the general linear group (the above, and the strange duality conjecture for vector bundles), although there are some generalizations to other situations. All known geometrically defined invariants seem to arise from θ or squareroots (Pfaffian type).
7 We will review some of the applications of (a) and (b). In each of the contexts presented below there is 1. An enumerative problem. 2. An invariant theory problem. 3. A topological problem, which should be seen as (related to) a problem on representation theory of the fundamental group of a curve. Note that (3) relates to (2), because moduli spaces of algebraic objects frequently have a topological meaning (NarasimhanSeshadri, MehtaSeshadri).
8 We will consider Ordinary Grassmannians and representations of the general linear group. Quantum cohomology. In a G/P. On higher genus curves: Strange duality.
9 Ordinary Grassmannians and representations of the general linear group The enumerative problem is one of intersecting Schubert varieties in an ordinary Grassmannian Gr(r, n). The invariant theoretic problem is representations of general linear groups and the topological problem is of characterizing possible eigenvalues of a sum of hermitian matrices (lie algebra version of unitary representations of π 1 (P 1 {0, 1, })). Recall that the cohomology H (X ) of a Grassmannian X = Gr(r, C n ) has an additive basis of cycle classes of Schubert varieties ω I where I is a subset of {1,..., n} of cardinality r. Note that ω I is the cycle class of the Schubert variety Ω I (F ) = {V X : dim(v F il ) l, l = 1,..., r} where 0 F 1 F 2 F n = C n is a complete flag of vector subspaces.
10 The prototypical enumerative problem is the one of counting the number of points m in the intersection Ω I (E ) Ω J (F ) Ω K (H ) (1) (this can also be viewed as the multiplicity of the class of a point in a cohomology cup product ω I ω J ω K )
11 Numerical relations between intersection numbers and invariant theory Irreducible polynomial representations of the GL(r), (or equivalently, the unitary group U(r)) are parameterized by weakly decreasing sequences of nonnegative integers λ = (λ 1 λ 2 λ r ). Intersection theory of Grassmannians and invariant theory of the special linear group GL(r) are related, and this has been known for a long time. To describe this, note that sequences I, J and K as above also parameterize some irreducible (polynomial) representations of GL(r). The association takes I λ I = (λ 1 λ 2 λ r ), λ a = n r + a i a, 1 a r. Denote the corresponding representation of GL(r) by V (λ I ). Then, the intersection multiplicity m equals the dimension of the space of invariants ( V (λi ) V (λ J ) V (λ K ) ) SL(r) (2)
12 In 2002, I gave a geometric explanation for the coincidence of multiplicities: Each point of intersection V of the Schubert varieties (1) produces an nonzero invariant θ V in the dual of the vector space (2) (using the general technique described before). [Briefly, M maps to the moduli space of pairs (V, Q) where V and Q are vector spaces each equipped with three complete flags, and θ is pulled pack from this space, we can now specialize V or Q] Recall that the global sections of line bundles on flag varieties give irreducible reps. We will view global section of line bundles on moduli spaces as rep. theoretic objects. Theorem (B, 2002, IMRN 2004) Let V 1,..., V m be the points in (1). Then, θ V1,..., θ Vm form a basis for the space of invariants (2).
13 The work of Klyachko, KnutsonTao and the numerical relation between intersection numbers and invariant theory implies the following geometric Horn theorem. Theorem Let λ = λ I, µ = λ J and ν = λ K.The following are equivalent 1. m For every 1 r < r and choice of subsets A, B, C of [r] each of cardinality r so that ω A ω B ω C 0 H (Gr( r, r)) the following inequality holds ν c r(n r) a A λ a + b B µ b + c C
14 Let V be the point of intersection and Q = C n /V. If the intersection is non transverse, pick φ Hom(V, Q) in the tangent space of the intersection. Let S be the kernel of φ. S corresponds to the obstruction in the smaller Grassmannian (this has to be modified). The game is then in Hom(V, Q), a space which is almost homogeneous (finitely many orbits) (similar ideas where applied simultaneously by Purbhoo in related problems).
15 I gave a direct geometric proof of this theorem (Fulton posed this as a challenge) using the methods (a) in This theorem implies that the problem of characterizing possible eigenvalues of a sum of Hermitian matrices is inductive (Horn s conjecture). The original proof used the Saturation conjecture (which is implied by the above theorem) in representation theory. The geometric understanding of Theorems 1 and 2 was the starting point for the generalizations.
16 Quantum cohomology Let I, J and K be subsets of [n] each of cardinality r and d a nonnegative integer. The GromovWitten number ω I, ω J, ω K d is the number of maps P 1 Gr(r, n) of degree d such that f (0) Ω I (E ), f (1) Ω J (F ), f ( ) Ω K (G ). The (small) quantum cohomology ring, a generalization of ordinary cohomology of Grassmannians encapsulates the GromovWitten numbers as structure coefficients. It is easy to see that subbundles of the trivial rank n bundle O n P 1, of degree rank r and degree d correspond bijectively to maps P 1 Gr(r, n) of degree d. The conditions at 0, 1 and above, can be interpreted in terms of the corresponding subbundle.
17 The analogue of the ring of invariants is the fusion ring of the special unitary group SU(r) (which incorporate an additional parameter of a nonnegative level ). The structure coefficients in the fusion ring are dimensions of spaces of sections of suitable line bundles on moduli stacks of parabolic bundles on P 1. These structure coefficients are related to the structure coefficients of quantum cohomology (generalizing the earlier numerical relations) The topological problem is one of determining the possible local monodromies in a unitary representation of the fundamental group of P 1 {0, 1, }.
18 The geometric horn property generalizes to the following theorem. This says that the nonzeroness of GromovWitten invariants of Grassmannians has an inductive structure. Theorem (B 2003) The following are equivalent: (a) ω I, ω J, ω K d 0. (b) For any integers d and r with 0 < r < r, d 0, and A, B, C subsets of {1,..., r} each of cardinality r, such that ω A, ω B, ω C d = 1, the following inequality holds: α A λ a + b B µ b + c C ν c d(n r) + r(qn + i h ) + r(n r).
19 The above theorem implies 1. A saturation theorem for fusion structure coefficients. 2. Shows that the nonzeroness of GromovWitten numbers is equivalent to the existence of certain unitary local systems with corresponding monodromies on P 1. Under this correspondence, the GW number is one if and only if the corresponding local system is rigid (generalizing a conjecture of Fulton). 3. Gives an explicit inductive characterization of the possible eigenvalues of a product of unitary matrices. There is a list of inequalities for every n. The list for n is prepared using the lists for smaller n.
20 In a G/P The enumerative problem is the problem of intersections of Schubert varieties in a G/P. The representation theoretic problem is the invariant theory of G, and of the Levi subgroup of P. The analogue of the Hermitian eigenvalue problem is the problem of characterizing the conjugacy class of a sum C = A + B where A, B are in the lie algebra of the maximal compact subgroup of G, given the conjugacy classes of A and B.
21 In this case, the moduli space M (of intersections of open Schubert varieties) is a quotient of (P/B L ) 3 by P. A basic dichotomy appears here which leads to the concept of Levimoveability and subsequently a deformation of cohomology of G/P (2004, BelkaleKumar).
22 Let P be a parabolic subgroup of G. Schubert varieties in G/P are parameterized by elements in the relative Weyl group W P = W /W P. For w W, set Λ w = w 1 BwP G/P. The cycle classes of the closures Λ u additively span the cohomology H (G/P, Z). Assume that the codimensions of Λ u, Λ v and Λ w add up to the dimension of G/P. In this case [ Λ u ][ Λ v ][ Λ w ] is a multiple of the class of a point. Fact: For general p 1, p 2, p 3 P, p 1 Λ u, p 2 Λ v and p 3 Λ w meet transversally at e if and only if the cup product is nonzero (using Kleiman transversality).
23 Let T = T (G/P) e. We have a natural map T T /p 1 T (Λ u ) T /p 2 T (Λ v ) T /p 3 T (Λ w ) We may view the above sequence as a morphism of vector bundles on (P/B L ) 3 (a small check shows T (X w ) is B L stable). This morphism is an isomorphism iff p 1 Λ u, p 2 Λ v and p 3 Λ w meet transversally at e. We can then take the determinant of the map and view it as an invariant section θ H 0 ((P/B L ) 3, L u L v L w ) P Here L u is a natural line bundle on P/B L. Note that θ 0 is equivalent to the cup product being nonzero.
24 If P were reductive, we will have H 0 (P/B L, L u ) an irreducible representation of P, and hence we would obtain a connection to Rep theory of P. Definition We call a triple (u, v, w) Levimovable if, for generic (l 1, l 2, l 3 ) L 3, the intersection l 1 Λ P u l 2 Λ P v l 3 Λ P w is a transverse intersection at e. This definition is equivalent to the nonvanishing of θ when restricted to (L/B L ) 3.
25 Properties of Levimoveability 1. In the case of cominiscule flag varieties, the above condition is vacuous. In general, the condition of Levimovability is equivalent to having the intersection number not equal to 0 and a system of linear equalities. 2. Suppose we write the structure coefficients in the usual cup product in H (G/P) by [ Λ P u ] [ Λ P v ] = c w u,v [ Λ P w ] Define the deformed product 0 by the following rule [ Λ P u ] 0 [ Λ P v ] = c w u,v [ Λ P w ] where the sum is restricted to w so that the triple (u, v, w o ww P o ) is Levimovable. This deformed product is commutative and associative.
26 1. The transversality analysis leads to a deformation of cohomology of G/P. This deformation relates to the representation theory of the Levi subgroup (BelkaleKumar, BelkaleKumarRessayre). 2. The deformation is finely tuned to representation theory (BKumar, Ressayre). 3. The analogue of the Geometric Horn problem is open. 4. Some funtoriality for this product is known (RessayreRichmond).
27 On higher genus curves Let X be a connected smooth projective algebraic curve X of genus g 1 over C. Let SU X (r) be the moduli space of semistable vector bundles of rank r with trivial determinant over X. The spaces H 0 (SU X (r), L k ) should be considered as a nonabelian generalization of invariant theory. The topological problem is the problem of the moduli of special unitary representations of the fundamental group of X.
28 The enumerative generalization in the higher genus setting is not immediately clear. We may expect that having a corresponding enumerative problem would lead to spanning sets for the spaces H 0 (SU X (r), L k ). The strange duality conjecture predicts a good spanning set for the space H 0 (SU X (r), L k ). Let U X (k) be the moduli space of rank k vector bundles of degree k(g 1). There is a natural divisor Θ on SU X (r) UX (k). This divisor is supported on pairs (E, F ) such that h 0 (E F ) 0. According to the strange duality conjecture, Θ F for F U X (k) span H 0 (SU X (r), L k ). [Equivalently Θ induces a perfect duality between H 0 (SU X (r), L k ) and a related space of global sections on U X (k)]
29 The enumerative problem that I found was not on X but on a nodal degeneration of X. Let T be a general vector bundle of degree k(g 1) and rank r + k on P 1. Let p 1,,... p g and q 1,..., q g be distinct points on P 1. For i = 1,..., g, consider vector space homomorphisms η i : T pi T qi with kernel of rank 1 (but general up to this condition). The enumerative problem is the following: Count the set of subbundles E of T of degree zero and rank r such that the following two conditions are satisfied: 1. η i (E pi ) E qi 2. E pi contains the kernel of η i.
30 Say we get bundles E 1,..., E m above. The enumerative number m above equals h 0 (SU X (r), L k ), where X as before, is an arbitrary connected, smooth and projective curve of genus g. Now consider the nodal curve X obtained by gluing p i to q i, for i = 1,..., g. It can be shown that η i descend to give isomorphisms (T /E i ) pi (T /E i ) qi. These can then be used to glue, and therefore one obtains vector bundles F 1,..., F m of rank k and degree k(g 1) on X. Consider the deformations F 1,..., F m of F 1,..., F m to a general smooth X. The strange duality on the general curve X was proved in in the following form: Theorem (B, 2006) The theta sections θ F1,..., θ Fm form a basis of H 0 (SU X (r), L k ).
31 The equality of the enumerative number with the dimension of H 0 (SU X (r), L k ) uses the Verlinde formula, the degeneration formulas of TsuchiyaUenoYamada and the determination of the cohomology class of a diagonal in a self product of Grassmannians. 1. Subsequently, Marian and Oprea found a suitable enumerative problem on a smooth curve, and proved strange duality for all curves. 2. Using properties of the Hitchin connnection, one can show that the conjecture for general curves implies it for all curves. The strange duality is, in an appropriate sense, flat for the Hitchin connection. 3. The conjecture originated in physics, in relation to the KZ/Hitchin connection (and conformal embeddings).
32 Questions 1. There are more general contexts of enumerative problems in representation theory. Under an embedding of homogeneous spaces, one would like to know when the pull back of a Schubert class is nonzero. Analogous results are known, but the full picture is unclear. 2. There are other approaches to relations between enumerative geometry and invariant theory (Tamvakis, MukhinTarasovVarchenko). 3. Relations to KZ/Hitchin connections need to be developed. One may hope that the monodromy of KZ/Hitchin connections links up with enumerative geometry.
Eigenvalue 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 informationResearch Statement. Edward Richmond. October 13, 2012
Research Statement Edward Richmond October 13, 2012 Introduction My mathematical interests include algebraic combinatorics, algebraic geometry and Lie theory. In particular, I study Schubert calculus,
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 GromovWitten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
More informationStable maps and Quot schemes
Stable maps and Quot schemes Mihnea Popa and Mike Roth Contents 1. Introduction........................................ 1 2. Basic Setup........................................ 4 3. Dimension Estimates
More informationCombinatorics for algebraic geometers
Combinatorics for algebraic geometers Calculations in enumerative geometry Maria Monks March 17, 214 Motivation Enumerative geometry In the late 18 s, Hermann Schubert investigated problems in what is
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationGeometric interpretations for the algebra of conformal blocks
Geometric interpretations for the algebra of conformal blocks Angela Gibney The University of Georgia 2015 This talk is about recent work with Prakash Belkale and Anna Kazanova. Conformal blocks Conformal
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 informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 79 December 2010 1 The notion of vector bundle In affine geometry,
More informationA LITTLEWOODRICHARDSON RULE FOR TWOSTEP FLAG VARIETIES
A LITTLEWOODRICHARDSON RULE FOR TWOSTEP FLAG VARIETIES IZZET COSKUN Abstract. We establish a positive geometric rule for computing the structure constants of the cohomology of twostep flag varieties
More informationLECTURE 4. Definition 1.1. A Schubert class σ λ is called rigid if the only proper subvarieties of G(k, n) representing σ λ are Schubert varieties.
LECTURE 4 1. Introduction to rigidity A Schubert variety in the Grassmannian G(k, n) is smooth if and only if it is a linearly embedded subgrassmannian ([LS]). Even when a Schubert variety is singular,
More informationON THE INTERSECTION THEORY OF QUOT SCHEMES AND MODULI OF BUNDLES WITH SECTIONS
ON THE INTERSECTION THEORY OF QUOT SCHEMES AND MODULI OF BUNDLES WITH SECTIONS ALINA MARIAN Abstract. We consider a class of tautological top intersection products on the moduli space of stable pairs consisting
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 informationFundamental Lemma and Hitchin Fibration
Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université ParisSud May 13, 2009 Introduction In this talk I shall mainly report on Ngô Bao Châu s proof of the LanglandsShelstad Fundamental
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
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 informationModern developments in Schubert calculus
These transparencies are available athttp://math.cornell.edu/ allenk/ Modern developments in Schubert calculus Allen Knutson (Cornell) WinstonSalem, North Carolina AMS conference, September Abstract Schubert
More informationINDRANIL BISWAS AND GEORG HEIN
GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed
More informationSYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS
1 SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS HUAJUN HUANG AND HONGYU HE Abstract. Let G be the group preserving a nondegenerate sesquilinear form B on a vector space V, and H a symmetric subgroup
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
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 nondegenerate dclosed 2form ω on the
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 informationHERMITIAN SYMMETRIC DOMAINS. 1. Introduction
HERMITIAN SYMMETRI DOMAINS BRANDON LEVIN 1. Introduction Warning: these are rough notes based on the two lectures in the Shimura varieties seminar. After the unitary Hermitian symmetric spaces example,
More informationSTABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES
STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Abstract. In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More informationGROMOVWITTEN INVARIANTS AND QUANTUM COHOMOLOGY OF GRASSMANNIANS
GROMOVWITTEN INVARIANTS AND QUANTUM COHOMOLOGY OF GRASSMANNIANS HARRY TAMVAKIS Abstract. This is the written version of my five lectures at the Banach Center minischool on Schubert Varieties, in Warsaw,
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More informationREPRESENTATION 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
More informationRecursive structures in the cohomology of flag varieties
Recursive structures in the cohomology of flag varieties by Edward Richmond A dissertation submitted to the faculty of the University of North Carolina at Chapel Hill in partial fulfillment of the requirements
More informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationThe multiplicative eigenvalue problem and deformed quantum cohomology
Advances in Mathematics 288 (2016) 1309 1359 Contents lists available at ScienceDirect Advances in Mathematics www.elsevier.com/locate/aim The multiplicative eigenvalue problem and deformed quantum cohomology
More informationCohomological Formulation (Lecture 3)
Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.
More informationA SURVEY OF THE ADDITIVE EIGENVALUE PROBLEM
Transformation Groups c Springer Science+Business Media New York (2014) RESEARCHEXPOSITORY SURVEY A SURVEY OF THE ADDITIVE EIGENVALUE PROBLEM (WITH APPENDIX BY M. KAPOVICH) SHRAWAN KUMAR Department of
More informationMiniCourse on Moduli Spaces
MiniCourse on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, Onedimensional
More informationFlat connections on 2manifolds Introduction Outline:
Flat connections on 2manifolds Introduction Outline: 1. (a) The Jacobian (the simplest prototype for the class of objects treated throughout the paper) corresponding to the group U(1)). (b) SU(n) character
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 informationCALTECH ALGEBRAIC GEOMETRY SEMINAR: A GEOMETRIC LITTLEWOODRICHARDSON RULE RAVI VAKIL
CALTECH ALGEBRAIC GEOMETRY SEMINAR: A GEOMETRIC LITTLEWOODRICHARDSON RULE RAVI VAKIL ABSTRACT. I will describe an explicit geometric LittlewoodRichardson rule, interpreted as deforming the intersection
More informationGRASSMANNIANS: THE FIRST EXAMPLE OF A MODULI SPACE
GRASSMANNIANS: THE FIRST EXAMPLE OF A MODULI SPACE 1. What is this course about? Many objects of algebraic geometry, such as subspaces of a linear space, smooth curves of genus g, or stable vector bundles
More informationSTABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES
STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Contents 1. Introduction 1 2. Preliminary definitions and background 3 3. Degree two maps to Grassmannians 4 4.
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 informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationMAPPING CLASS ACTIONS ON MODULI SPACES. Int. J. Pure Appl. Math 9 (2003),
MAPPING CLASS ACTIONS ON MODULI SPACES RICHARD J. BROWN Abstract. It is known that the mapping class group of a compact surface S, MCG(S), acts ergodically with respect to symplectic measure on each symplectic
More informationThe GrothendieckKatz Conjecture for certain locally symmetric varieties
The GrothendieckKatz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semisimple Lie groups, we prove the Grothendieck
More informationFINITE GENERATION OF THE ALGEBRA OF TYPE A CONFORMAL BLOCKS VIA BIRATIONAL GEOMETRY 1. INTRODUCTION
FINITE GENERATION OF THE ALGEBRA OF TYPE A CONFORMAL BLOCKS VIA BIRATIONAL GEOMETRY HANBOM MOON AND SANGBUM YOO ABSTRACT. We study birational geometry of the moduli space of parabolic bundles over a
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 informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More informationEKT of Some Wonderful Compactifications
EKT of Some Wonderful Compactifications and recent results on Complete Quadrics. (Based on joint works with Soumya Banerjee and Michael Joyce) Mahir Bilen Can April 16, 2016 Mahir Bilen Can EKT of Some
More informationQuantum Cohomology Rings Generated by GromovWitten Invariants
REU Program 2017 Quantum Cohomology Rings Generated by GromovWitten Invariants By Nalinpat Ponoi Mentor : Prof. Anders Skovsted Buch Supported by SASTATPAC Backgrounds and Terminology What is Grassmannain?
More informationPROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013
PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files
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 informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationCounting curves on a surface
Counting curves on a surface Ragni Piene Centre of Mathematics for Applications and Department of Mathematics, University of Oslo University of Pennsylvania, May 6, 2005 Enumerative geometry Specialization
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 informationMOTIVES ASSOCIATED TO SUMS OF GRAPHS
MOTIVES ASSOCIATED TO SUMS OF GRAPHS SPENCER BLOCH 1. Introduction In quantum field theory, the path integral is interpreted perturbatively as a sum indexed by graphs. The coefficient (Feynman amplitude)
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationCounting matrices over finite fields
Counting matrices over finite fields Steven Sam Massachusetts Institute of Technology September 30, 2011 1/19 Invertible matrices F q is a finite field with q = p r elements. [n] = 1 qn 1 q = qn 1 +q n
More informationIntersection Theory course notes
Intersection Theory course notes Valentina Kiritchenko Fall 2013, Faculty of Mathematics, NRU HSE 1. Lectures 12: examples and tools 1.1. Motivation. Intersection theory had been developed in order to
More informationTHE HITCHIN FIBRATION
THE HITCHIN FIBRATION Seminar talk based on part of Ngô Bao Châu s preprint: Le lemme fondamental pour les algèbres de Lie [2]. Here X is a smooth connected projective curve over a field k whose genus
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 information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationCohomology jump loci of quasiprojective varieties
Cohomology jump loci of quasiprojective 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 informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of nonconstant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationTHE MODULI SPACE OF CURVES
THE MODULI SPACE OF CURVES In this section, we will give a sketch of the construction of the moduli space M g of curves of genus g and the closely related moduli space M g,n of npointed curves of genus
More informationInfinite root stacks of logarithmic schemes
Infinite root stacks of logarithmic schemes Angelo Vistoli Scuola Normale Superiore, Pisa Joint work with Mattia Talpo, Max Planck Institute Brown University, May 2, 2014 1 Let X be a smooth projective
More informationFrom de Jonquières Counts to Cohomological Field Theories
From de Jonquières Counts to Cohomological Field Theories Mara Ungureanu Women at the Intersection of Mathematics and High Energy Physics 9 March 2017 What is Enumerative Geometry? How many geometric structures
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 informationVERLINDE ALGEBRA LEE COHN. Contents
VERLINDE ALGEBRA LEE COHN Contents 1. A 2Dimensional Reduction of ChernSimons 1 2. The example G = SU(2) and α = k 5 3. Twistings and Orientations 7 4. Pushforward Using Consistent Orientations 9 1.
More informationa double cover branched along the smooth quadratic line complex
QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4dimensional projective space
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 Gequivariant line bundle over X. We use a Witten
More informationDi erentially Closed Fields
Di erentially Closed Fields Phyllis Cassidy City College of CUNY Kolchin Seminar in Di erential Algebra Graduate Center of CUNY November 16, 2007 Some Preliminary Language = fδ 1,..., δ m g, commuting
More informationQuantum cohomology of homogeneous varieties: a survey Harry Tamvakis
Quantum cohomology of homogeneous varieties: a survey Harry Tamvakis Let G be a semisimple complex algebraic group and P a parabolic subgroup of G The homogeneous space X = G/P is a projective complex
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
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 informationBRILLNOETHER THEORY. This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve.
BRILLNOETHER THEORY TONY FENG This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve." 1. INTRODUCTION BrillNoether theory is concerned
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERGWITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERGWITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free antiholomorphic involutions
More informationThe Hitchin map, local to global
The Hitchin map, local to global Andrei Negut Let X be a smooth projective curve of genus g > 1, a semisimple group and Bun = Bun (X) the moduli stack of principal bundles on X. In this talk, we will present
More informationThe geometry of LandauGinzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of LandauGinzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. LandauGinzburg models and mirror
More informationSARA BILLEY AND IZZET COSKUN
SINGULARITIES OF GENERALIZED RICHARDSON VARIETIES SARA BILLEY AND IZZET COSKUN Abstract. Richardson varieties play an important role in intersection theory and in the geometric interpretation of the LittlewoodRichardson
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES WILLIAM FULTON NOTES BY DAVE ANDERSON 1 For a Lie group G, we are looking for a right principal Gbundle EG BG,
More informationSpecial determinants in higherrank BrillNoether theory
Special determinants in higherrank BrillNoether theory Brian Osserman University of California, Davis March 12, 2011 1 Classical BrillNoether theory Let C be a smooth, projective curve of genus g over
More informationThe YangMills equations over Klein surfaces
The YangMills equations over Klein surfaces ChiuChu Melissa Liu & Florent Schaffhauser Columbia University (New York City) & Universidad de Los Andes (Bogotá) Seoul ICM 2014 Outline 1 Moduli of real
More informationEnumerative Geometry: from Classical to Modern
: from Classical to Modern February 28, 2008 Summary Classical enumerative geometry: examples Modern tools: GromovWitten invariants counts of holomorphic maps Insights from string theory: quantum cohomology:
More informationStatistical Mechanics & Enumerative Geometry:
Statistical Mechanics & Enumerative Geometry: Christian Korff (ckorff@mathsglaacuk) University Research Fellow of the Royal Society Department of Mathematics, University of Glasgow joint work with C Stroppel
More informationGRASSMANNIANS: THE FIRST EXAMPLE OF A MODULI SPACE
GRASSMANNIANS: THE FIRST EXAMPLE OF A MODULI SPACE 1. What is a moduli problem? Many objects in algebraic geometry vary in algebraically defined families. For example, a conic in P 2 has an equation of
More informationNoncommutative compact manifolds constructed from quivers
Noncommutative compact manifolds constructed from quivers Lieven Le Bruyn Universitaire Instelling Antwerpen B2610 Antwerp (Belgium) lebruyn@wins.uia.ac.be Abstract The moduli spaces of θsemistable representations
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 informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
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 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 finitedimensional
More informationarxiv: v1 [math.co] 2 Dec 2008
An algorithmic LittlewoodRichardson rule arxiv:08.0435v [math.co] Dec 008 Ricky Ini Liu Massachusetts Institute of Technology Cambridge, Massachusetts riliu@math.mit.edu June, 03 Abstract We introduce
More informationHitchinMochizuki morphism, Opers and Frobeniusdestabilized vector bundles over curves
HitchinMochizuki morphism, and Frobeniusdestabilized vector bundles over curves Kirti Joshi Joint work with Christian Pauly Department of Mathematics, University of Arizona. RIMS talk June 3 rd, 2011
More informationTAUTOLOGICAL EQUATION IN M 3,1 VIA INVARIANCE THEOREM
TAUTOLOGICAL EQUATION IN M 3, VIA INVARIANCE THEOREM D. ARCARA AND Y.P. LEE This paper is dedicated to Matteo S. Arcara, who was born while the paper was at its last phase of preparation. Abstract. A
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 quasiprojective varieties over a field k Affine Varieties 1.
More informationMoment map flows and the Hecke correspondence for quivers
and the Hecke correspondence for quivers International Workshop on Geometry and Representation Theory Hong Kong University, 6 November 2013 The Grassmannian and flag varieties Correspondences in Morse
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationLECTURE 10: THE ATIYAHGUILLEMINSTERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAHGUILLEMINSTERNBERG CONVEXITY THEOREM Contents 1. The AtiyahGuilleminSternberg Convexity Theorem 1 2. Proof of the AtiyahGuilleminSternberg Convexity theorem 3 3. Morse theory
More information