Tautological Algebras of Moduli Spaces - survey and prospect -
|
|
- Herbert Blake
- 5 years ago
- Views:
Transcription
1 Tautological Algebras of Moduli Spaces - survey and prospect - Shigeyuki MORITA based on jw/w Takuya SAKASAI and Masaaki SUZUKI May 25, 2015
2 Contents Contents 1 Tautological algebras of moduli spaces G k (C n ), A g, M g. 2 Topological study of the tautological algebra of M g 3 Degeneration of symplectic invariant tensors. 4 Plethysm of GL representations and tautological algebra 5 Prospects..
3 Tautological algebras of moduli spaces G k (C n ), A g, M g (1) G k (C n ) = {V C n ; k-dim. subspace} Grassmann manifold ξ G k (C n ) tautological bundle, k-dim. vector bundle 0 ξ C n Q 0: exact c 1 (ξ),..., c k (ξ) H (G k (C n ); Z) Chern classes Theorem (well-known) H (G k (C n ); Q) = Q[c 1 (ξ),..., c k (ξ)]/relations [ ] 1 relations: c i (Q) = = 0 for all i > n k 1 + c 1 (ξ) + + c k (ξ) satisfies Poincaré duality of dim = 2k(n k) 2i
4 Tautological algebras of moduli spaces G k (C n ), A g, M g (2) h g : Siegel upper half space Sp(2g, Z) acts properly discontinuously A g = h g /Sp(2g, Z): moduli space of p.p. abelian varieties Sp(2g, Z) = π orb 1 A g : orbifold fundamental group Sp(2g, Z) Sp(2g, R) U(g): maximal compact group c i H (A g ; Q) = H (Sp(2g, Z); Q) Chern classes R (A g ) = subalgebra of H (A g ; Q) generated by c i s tautological algebra in cohomology of A g
5 Tautological algebras of moduli spaces G k (C n ), A g, M g (3) Theorem (van der Geer, true at the Chow algebra level) R (A g ) = Q[c 1,..., c g ]/relations relations: (i) p i = 0 (Pontrjagin classes) (ii) c g = 0 satisfies Poincaré duality of dim = g(g 1) R (A g ) = H (S 2 S 4 S 2g 2 ; Q) additively
6 Tautological algebras of moduli spaces G k (C n ), A g, M g (4) H 2i (M g ; Q) e i : MMM tautological class R (M g ) = subalgebra of H (M g ; Q) generated by e i s tautological algebra in cohomology of M g A i (M g ) κ i : Mumford kappa class R (M g ) = subalgebra of A (M g ) generated by κ i s tautological algebra of M g canonical surjection R (M g ) R (M g ) (κ i ( 1) i+1 e i )
7 Tautological algebras of moduli spaces G k (C n ), A g, M g (5) Conjecture (Faber 1993). 1 (most difficult part) R (M g ) = H (smooth proj. variety of dim = g 2; Q)? Gorenstein conjecture, including Poincaré duality 2 R (M g ) is generated by the first [g/3] MMM-classes with no relations in degrees [g/3]. 3 explicit formula for the intersection numbers, namely proportionality in degree g 2: R g 2 (M g ) = Q (proved by Looijenga and Faber) generalizations to the cases of M g,n, M ct g,n, M rt g,n etc..
8 Tautological algebras of moduli spaces G k (C n ), A g, M g (6) many results due to many people: Looijenga, Faber, Zagier, Getzler, Pandharipande, Vakil, Graber, Lee, Randal-Williams, Pixton, Liu, Xu, Yin,..., (1):open, Faber, Faber-Pandharipande (verified g 23) using Faber-Zagier relations: Pandharipande-Pixton (2010) showed to be actual ones a beautiful set of relations (2): Morita,1998 (cohomology), Ionel, 2003 (Chow algebra) no relation due to Harer (stability theorem, Ivanov, Boldsen) (3): three proofs Givental, 2001, Liu-Xu, Buryak-Shadrin Faber-Pandharipande: some new situation happens for g 24
9 Topological approach to the tautological algebra (1) H Q = H 1 (Σ g ; Q) Σ g : closed oriented surface, genus g ( 1) µ : H Q H Q Q: intersection pairing H Q : fundamental representation of Sp = Sp(2g, Q) Torelli group: I g = Ker (M g Aut (H Q, µ) = Sp(2g, Q)) Theorem (Johnson) H 1 (I g ; Q) = 3 H Q /H Q (g 3) U Q := 3 H Q /H Q = irrep. [1 3 ] Sp
10 Topological approach to the tautological algebra (2) representation of M g : ρ 1 : M g H 1 (I g ; Q) Sp(2g, Q) (M.) Φ : H (U Q = 3 H Q /H Q ) Sp H (M g ; Q) Theorem (Kawazumi-M.) Im Φ = R (M g ) = Q[MMM-classes]/relations tautological algebra in cohomology Madsen-Weiss: H (M ; Q) = Q[MMM-classes]
11 Topological approach to the tautological algebra (3) Furthermore, by analyzing the natural action of M g on the third nilpotent quotient of π 1 Σ g, I have constructed the following commutative diagram π 1 Σ g [1 2 ] Sp H Q M g, ρ 2 p (([1 2 ] torelli Sp [2 2 ] Sp ) 3 H Q ) Sp(2g, Q) ρ 2 M g ([2 2 ] Sp U Q ) Sp(2g, Q). M g, = π 0 Diff + (Σ g, ), [2 2 ] Sp H 2 (U Q ) (Hain)
12 Topological approach to the tautological algebra (4) Theorem (Kawazumi-M.) ρ 2 on H induces an isomorphism (H (U Q )/([2 2 ] Sp )) Sp = Q[MMM-classes] in a certain stable range. Also ρ 2 induces an isomorphism (H ( 3 H Q )/([1 2 ] torelli Sp [2 2 ] Sp )) Sp = Q[e, MMM-classes] in a certain stable range.
13 Degeneration of symplectic invariant tensors (1) (H 2k Q )Sp : Sp-invariant subspace of the tensor product H 2k Q We analyze the structure of this space completely. Consider µ 2k : H 2k Q H 2k Q Q defined by (u 1 u 2k ) (v 1 v 2k ) Π 2k i=1 µ(u i, v i ) (u i, v i H Q ). Clearly µ 2k is a symmetric bilinear form.
14 Degeneration of symplectic invariant tensors (2) Theorem (M.) µ 2k on (H 2k Q )Sp is positive definite for any g it defines a metric on this space Furthermore, an orthogonal direct sum decomposition (H 2k Q )Sp = U λ λ: Young diagram λ =k, h(λ) g λ : number of boxes, h(λ): number of rows U λ = (λ δ ) S2k as an S 2k -module
15 Degeneration of symplectic invariant tensors (3) {λ; λ = k} bijective {µ λ ; λ = k} eigenvalues Table: Orthogonal decomposition of (H 6k Q )Sp λ µ λ (eigen value of U λ ) g for U λ = {0} [3k] (2g 6k + 2) (2g 2)2g g 3k 1 [3k 1, 1] (2g 6k + 4) (2g 2)2g(2g + 1) g 3k 2 [3k 2, 2] (2g 6k + 6) 2g(2g 1)(2g + 1) g 3k 3 [3k 2, 1 2 ] (2g 6k + 6) 2g(2g + 1)(2g + 2) g 3k 3 [3k 3, 3] (2g 6k + 8) 2g (2g 3) g 3k 4 Hanlon-Wales: related eigenvalues already appeared in the context of Brauer s centralizer algebras
16 Degeneration of symplectic invariant tensors (4) (H 6k Q )Sp surj. ( 2k U Q ) Sp surj. R 2k (M g ) [3k] 0 (g 3k 1) (enough to prove Faber conj. (2)) [3k 1, 1] 0 (g 3k 2) [3k 2, 2] [3k 2, 1 2 ] 0 (g 3k 3) [3k 3, 3] [3k 3, 21] [3k 3, 1 3 ] 0 (g 3k 4) In this way, we obtain many (hopefully all? the) relations Conjecture R (M g ) = ( U Q /([2 2 ] Sp )) Sp R (M g, ) ( = ( 3 H Q )/([1 2 ] torelli Sp [2 2 ] Sp ) ) Sp
17 Plethysm of GL representations and tautological algebra (1) Plethysm: composition of two Schur functors determination of plethysm: very important but extremely difficult Theorem (Formula of Littlewood) Complete description of the following plethysms S (S 2 H Q ), (S 2 H Q ), S ( 2 H Q ), ( 2 H Q ) Theorem (Manivel) Plethysm S k (S l H Q ) super stabilizes as k, in particular super stable decomposition of S (S 3 H Q ) is given by S (S 2 H Q S 3 H Q ) apply involution on symmetric polynomials: H k H 3 dual E k E 3
18 Plethysm of GL representations and tautological algebra (2) Theorem (Sakasai-Suzuki-M.) Let k ( 3 H Q ) = λ, λ =3k m λ λ GL be the stable irreducible decomposition as a GL-module. Then, for any k, the mapping k ( 3 H Q ) k+1 ( 3 H Q ) induced by the operation λ λ + = [λ1 3 ] is injective and bijective for the part λ + GL with 2k h(λ) 3k, namely { m m λ + λ = m λ + (2k h(λ) 3k)
19 Plethysm of GL representations and tautological algebra (3) Theorem (Sakasai-Suzuki-M.) We have determined the super stable irreducible decomposition of [1 3 ] GL up to codimension 30 Table: Super stable irreducible decomposition of [1 3 ] GL cod. irreducible decomposition 0 [1 ] 1 [21 ] 2 [2 2 1 ] 3 [2 3 1 ] 4 [2 4 1 ][3 2 1 ] 5 [2 5 1 ][ ][ ] 6 2[2 6 1 ]2[ ][4 2 1 ] 7 [2 7 1 ][ ]2[ ][ ][ ][ ]
20 Plethysm of GL representations and tautological algebra (4) Corollary (Sakasai-Suzuki-M.) We have determined super stable Sp-invariant part ( [1 3 ] GL ) Sp up to codimension 30 Table: Super stable irred. summands of [1 3 ] GL with double floors cod. irreducible decomposition 0 [1 ] 2 [2 2 1 ] 4 [2 4 1 ][3 2 1 ] 6 2[2 6 1 ]2[ ][4 2 1 ] 8 2[2 8 1 ]3[ ]2[3 4 1 ]2[ ][5 2 1 ] 10 2[ ]4[ ]4[ ]4[ ]3[ ]2[ ][6 2 1 ]
21 Plethysm of GL representations and tautological algebra (5) R (M g ) R (M g ) G (M g ) (Gorenstein quotient) R (M g,1 ) R (M g, ) G (M g,1 ) (Gorenstein quotient) Expectation (Faber-Zagier; Faber-Bergvall, Yin) The number p(k) dim G 2k (M g ) = number of relations of cod. k depends only on l = 3k 1 g in the range 2k g 2 (i.e. k l + 3). Similarly the number 1 + p(1) + + p(k) dim G 2k (M g,1 ) depends only on l = 3k 1 g in the range 2k g 2 (i.e. k l + 3), 2k = g 1, something happens?.
22 Plethysm of GL representations and tautological algebra (6) Expectation (continued, Faber-Zagier; Faber-Bergvall, Yin) If previous Expectation is yes, a(l) =? number of partitions of l with parts: 1, 2, 3, 4, 6, 7, 9, 10, 12, 13, 15, 16,... n 2 is excluded if n 2mod 3 Similarly l b(l) =? a(l i) = a(l)+a(l 1)+a(l 3)+a(l 4)+ i=0, i 3m+2
23 Plethysm of GL representations and tautological algebra (7) We have the following theorem which may serve as supporting evidences for the above expectations Theorem (Sakasai-Suzuki-M.) 1 The number. ã(l) := p(k) dim ( 2k U Q /([2 2 ] Sp ) ) Sp depends only on l = 3k 1 g in the range 2k g 2 (i.e. k l + 3) 2 The number b(l) := 1 + p(1) + + p(k) ( dim 2k ( 3 H Q )/([1 2 ] torelli Sp [2 2 ] Sp ) depends only on l = 3k 1 g in the same range ) Sp.
24 Plethysm of GL representations and tautological algebra (8) Furthermore, we have the following more precise result. ( ) Sp ) Sp orthogonal complement of 2k ( 3 H Q ) in ( 2k ( 3 HQ ) mod ([1 2 ] torelli Sp [2 2 ] Sp ) Sp tautological relations in R 2k (M g, ) ) Sp ( ) Sp ortho. comple. of ( 2k U Q in 2k UQ mod ([2 2 ] Sp ) Sp Theorem (Sakasai-Suzuki-M.) tautological relations in R 2k (M g ) If we fix l = 3k 1 g, then all the above orthogonal complements are canonically isomorphic to each other in the range 2k g 2 (i.e. k l + 3)
25 Prospects (1) (I) Construction of the fundamental cycles : ( ) µ g, 2g 2 ( 3 H g Sp Q ) ( ) µ g 2g 4 U g Sp Q and topological proof of the intersection number formula (II) Topological vs algebro-geometrical methods Problem Study the relation between our tautological relations with those of Faber-Zagier as well as those of Yin
26 Prospects (2) (III) Which part (and/or in which degrees) of the following homomorphisms is isomorphic or non-isomorphic?: R (M g ) R (M g ) G (M g ) (Gorenstein quotient) R (M g,1 ) R (M g, ) G (M g,1 ) (Gorenstein quotient) Problem (suggested by Faber) 1 Faber-Zagier relations linearly independent?, complete? up to the half dimension 2 Are there more relations (above the half dimension)?
Stable moduli spaces of high dimensional manifolds
of high dimensional manifolds University of Copenhagen August 23, 2012 joint work with Søren Galatius Moduli spaces of manifolds We define W g := # g S n S n, a closed 2n-dimensional smooth manifold. When
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 informationModuli Space of Riemann Surfaces
Moduli Space of Riemann Surfaces Gabriel C. Drummond-Cole June 5, 2007 1 Ravi Vakil Introduction to the Moduli Space [Tomorrow there is a reception after the first talk on the sixth floor. Without further
More informationOn the tautological ring of M g,n
Proceedings of 7 th Gökova Geometry-Topology Conference, pp, 1 7 On the tautological ring of M g,n Tom Graber and Ravi Vakil 1. Introduction The purpose of this note is to prove: Theorem 1.1. R 0 (M g,n
More informationInvariance of tautological equations
Invariance of tautological equations Y.-P. Lee 28 June 2004, NCTS An observation: Tautological equations hold for any geometric Gromov Witten theory. Question 1. How about non-geometric GW theory? e.g.
More informationThe moduli space of curves has proven
The Moduli Space of Curves and Its Tautological Ring Ravi Vakil Ravi Vakil is assistant professor of mathematics at Stanford University. His email address is vakil@math. stanford.edu. His work was supported
More informationTautological Rings of Moduli Spaces of Curves MEHDI TAVAKOL
Tautological Rings of Moduli Spaces of Curves MEHDI TAVAKOL Doctoral Thesis Stockholm, Sweden 2011 TRITA-MAT-11-MA-03 ISSN 1401-2278 ISRN KTH/MAT/DA 11/02-SE ISBN 978-91-7501-043-4 KTH Institutionen för
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 informationTHE MODULI SPACE OF CURVES AND ITS TAUTOLOGICAL RING
THE MODULI SPACE OF CURVES AND ITS TAUTOLOGICAL RING RAVI VAKIL The moduli space of curves has proven itself a central object in geometry. The past decade has seen substantial progress in understanding
More informationarxiv: v2 [math.ag] 24 Sep 2015
POINCARÉ DUALITY OF WONDERFUL COMPACTIFICATIONS AND TAUTOLOGICAL RINGS arxiv:1501.04742v2 [math.ag] 24 Sep 2015 DAN PETERSEN Abstract. Let g 2. Let M rt g,n be the moduli space of n-pointed genus g curves
More informationEquivariant geometry and the cohomology of the moduli space of curves
Equivariant geometry and the cohomology of the moduli space of curves Dan Edidin Abstract. In this chapter we give a categorical definition of the integral cohomology ring of a stack. For quotient stacks
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationCOHOMOLOGY OF MODULI OF STABLE POINTED CURVES OF LOW GENUS. II
COHOMOLOGY OF MODULI OF STABLE POINTED CURVES OF LOW GENUS. II DAN PETERSEN In this lecture I first discuss briefly local systems and variations of Hodge structure. A good reference for this part is [Peters
More informationOutline. 1 Geometry and Commutative Algebra. 2 Singularities and Resolutions. 3 Noncommutative Algebra and Deformations. 4 Representation Theory
Outline Geometry, noncommutative algebra and representations Iain Gordon http://www.maths.ed.ac.uk/ igordon/ University of Edinburgh 16th December 2006 1 2 3 4 1 Iain Gordon Geometry, noncommutative algebra
More informationEquivariant geometry and the cohomology of the moduli space of curves
Equivariant geometry and the cohomology of the moduli space of curves Dan Edidin Abstract. In this chapter we give a categorical definition of the integral cohomology ring of a stack. For quotient stacks
More informationTHE MODULI SPACE OF CURVES AND GROMOV-WITTEN THEORY
THE MODULI SPACE OF CURVES AND GROMOV-WITTEN THEORY RAVI VAKIL ABSTRACT. The goal of this article is to motivate and describe how Gromov-Witten theory can and has provided tools to understand the moduli
More informationAN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS
AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References
More informationThe Johnson homomorphism and the second cohomology of IA n
ISSN 1472-2739 (on-line) 1472-2747 (printed) 725 Algebraic & Geometric Topology Volume 5 (2005) 725 740 Published: 13 July 2005 ATG The Johnson homomorphism and the second cohomology of IA n Alexandra
More informationRelative maps and tautological classes
J. Eur. Math. Soc. 7, 3 49 c European Mathematical Society 2005 C. Faber R. Pandharipande Relative maps and tautological classes Received October, 2003 and in revised form April 2, 2004 0. Introduction
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 informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
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 informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
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 informationTautological and non-tautological cohomology of the moduli space of curves
Tautological and non-tautological cohomology of the moduli space of curves C. Faber and R. Pandharipande Abstract. After a short exposition of the basic properties of the tautological ring of M g,n, we
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 informationModuli space of curves and tautological relations
MSc Mathematical Physics Master Thesis Moduli space of curves and tautological relations Author: Farrokh Labib Supervisor: prof. dr. Sergey Shadrin Examination date: July, 017 Korteweg-de Vries Institute
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
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 informationSCHUR-WEYL DUALITY FOR U(n)
SCHUR-WEYL DUALITY FOR U(n) EVAN JENKINS Abstract. These are notes from a lecture given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in December 2009.
More informationDefinition 9.1. The scheme µ 1 (O)/G is called the Hamiltonian reduction of M with respect to G along O. We will denote by R(M, G, O).
9. Calogero-Moser spaces 9.1. Hamiltonian reduction along an orbit. Let M be an affine algebraic variety and G a reductive algebraic group. Suppose M is Poisson and the action of G preserves the Poisson
More informationHigher Schur-Weyl duality for cyclotomic walled Brauer algebras
Higher Schur-Weyl duality for cyclotomic walled Brauer algebras (joint with Hebing Rui) Shanghai Normal University December 7, 2015 Outline 1 Backgroud 2 Schur-Weyl duality between general linear Lie algebras
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationKraśkiewicz-Pragacz modules and some positivity properties of Schubert polynomials
Kraśkiewicz-Pragacz modules and some positivity properties of Schubert polynomials Masaki Watanabe Graduate School of Mathematical Sciences, the University of Tokyo December 9, 2015 Masaki Watanabe KP
More informationASSEMBLING HOMOLOGY CLASSES IN AUTOMORPHISM GROUPS OF FREE GROUPS
ASSEMBLING HOMOLOGY CLASSES IN AUTOMORPHISM GROUPS OF FREE GROUPS JAMES CONANT, ALLEN HATCHER, MARTIN KASSABOV, AND KAREN VOGTMANN Abstract. The observation that a graph of rank n can be assembled from
More informationOn the cohomology ring of compact hyperkähler manifolds
On the cohomology ring of compact hyperkähler manifolds Tom Oldfield 9/09/204 Introduction and Motivation The Chow ring of a smooth algebraic variety V, denoted CH (V ), is an analogue of the cohomology
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 informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationA TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY
Actes, Congrès intern, math., 1970. Tome 1, p. 113 à 119. A TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY by PHILLIP A. GRIFFITHS 1. Introduction and an example from curves. It is well known that the basic
More informationIntroduction To K3 Surfaces (Part 2)
Introduction To K3 Surfaces (Part 2) James Smith Calf 26th May 2005 Abstract In this second introductory talk, we shall take a look at moduli spaces for certain families of K3 surfaces. We introduce the
More informationAn Introduction to Kuga Fiber Varieties
An Introduction to Kuga Fiber Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Q-simple
More informationSpecial cubic fourfolds
Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows
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 informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More informationPolarized K3 surfaces of genus 18 and 20
Polarized K3 surfaces of genus 18 and 20 Dedicated to Professor Hisasi Morikawa on his 60th Birthday Shigeru MUKAI A surface, i.e., 2-dimensional compact complex manifold, S is of type K3 if its canonical
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 informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
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 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 information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
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 informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationRepresentation theory and homological stability
Representation theory and homological stability Thomas Church and Benson Farb October 5, 2011 Abstract We introduce the idea of representation stability (and several variations) for a sequence of representations
More informationALGEBRAIC STRUCTURES ON THE TOPOLOGY OF MODULI SPACES OF CURVES AND MAPS
ALGEBRAIC STRUCTURES ON THE TOPOLOGY OF MODULI SPACES OF CURVES AND MAPS Y.-P. LEE AND R. VAKIL ABSTRACT. We discuss selected topics on the topology of moduli spaces of curves and maps, emphasizing their
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 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 4-dimensional projective space
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
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 informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More informationIntersections in genus 3 and the Boussinesq hierarchy
ISSN: 1401-5617 Intersections in genus 3 and the Boussinesq hierarchy S. V. Shadrin Research Reports in Mathematics Number 11, 2003 Department of Mathematics Stockholm University Electronic versions of
More informationPART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS
PART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS Contents 1. Regular elements in semisimple Lie algebras 1 2. The flag variety and the Bruhat decomposition 3 3. The Grothendieck-Springer resolution 6 4. The
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 informationToshiaki Shoji (Nagoya University) Character sheaves on a symmetric space and Kostka polynomials July 27, 2012, Osaka 1 / 1
Character sheaves on a symmetric space and Kostka polynomials Toshiaki Shoji Nagoya University July 27, 2012, Osaka Character sheaves on a symmetric space and Kostka polynomials July 27, 2012, Osaka 1
More informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant 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 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 informationThe Cartan Decomposition of a Complex Semisimple Lie Algebra
The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with
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 informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
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 informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
More informationTHE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3
THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3 KAZUNORI NAKAMOTO AND TAKESHI TORII Abstract. There exist 26 equivalence classes of k-subalgebras of M 3 (k) for any algebraically closed field
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 informationThe Strominger Yau Zaslow conjecture
The Strominger Yau Zaslow conjecture Paul Hacking 10/16/09 1 Background 1.1 Kähler metrics Let X be a complex manifold of dimension n, and M the underlying smooth manifold with (integrable) almost complex
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 informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationMotivic decomposition of a generalized Severi-Brauer variety
Motivic decomposition of a generalized Severi-Brauer variety K.Zainoulline February 5, 006 Abstract Let A and B be two central simple algebras of a prime degree n over a field F generating the same subgroup
More informationA PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach
A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS Thomas J. Enright, Markus Hunziker and Nolan R. Wallach Abstract. Let (G, K) be a Hermitian symmetric pair and let g and k denote the corresponding complexified
More informationLeft-invariant Einstein metrics
on Lie groups August 28, 2012 Differential Geometry seminar Department of Mathematics The Ohio State University these notes are posted at http://www.math.ohio-state.edu/ derdzinski.1/beamer/linv.pdf LEFT-INVARIANT
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
More informationPeriod Domains. Carlson. June 24, 2010
Period Domains Carlson June 4, 00 Carlson - Period Domains Period domains are parameter spaces for marked Hodge structures. We call Γ\D the period space, which is a parameter space of isomorphism classes
More informationRes + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X
Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).
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 informationTautological Ring of Moduli Spaces of Curves
Talk at Colloquium of University of California at Davis April 12, 2010, 4:10pm Outline of the presentation Basics of moduli spaces of curves and its intersection theory, especially the integrals of ψ classes.
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationSéminaire BOURBAKI Mars ème année, , n o 945. THE MUMFORD CONJECTURE [after Madsen and Weiss] by Geoffrey POWELL
Séminaire BOURBAKI Mars 2005 57ème année, 2004-2005, n o 945 THE MUMFORD CONJECTURE [after Madsen and Weiss] by Geoffrey POWELL 1. INTRODUCTION The Mumford conjecture concerns the cohomology of the moduli
More informationTopic Proposal Applying Representation Stability to Arithmetic Statistics
Topic Proposal Applying Representation Stability to Arithmetic Statistics Nir Gadish Discussed with Benson Farb 1 Introduction The classical Grothendieck-Lefschetz fixed point formula relates the number
More informationMath 210B. Why study representation theory?
Math 210B. Why study representation theory? 1. Motivation Books and courses on group theory often introduce groups as purely abstract algebraic objects, but in practice groups G tend to arise through their
More informationThe Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)
The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph) David Grabovsky June 13, 2018 Abstract The symmetric groups S n, consisting of all permutations on a set of n elements, naturally contain
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationGENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS
GENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS JOHAN DE JONG AND SHOU-WU ZHANG Contents Section 1. Introduction 1 Section 2. Mapping class groups and hyperelliptic locus 3 Subsection
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 informationPoincaré Duality Angles on Riemannian Manifolds with Boundary
Poincaré Duality Angles on Riemannian Manifolds with Boundary Clayton Shonkwiler Department of Mathematics University of Pennsylvania June 5, 2009 Realizing cohomology groups as spaces of differential
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More information