1. Affine Grassmannian for G a. Gr Ga = lim A n. Intuition. First some intuition. We always have to rst approximation
|
|
- Polly Hoover
- 5 years ago
- Views:
Transcription
1 PROBLEM SESSION I: THE AFFINE GRASSMANNIAN TONY FENG In this problem we are proving: 1 Affine Grassmannian for G a Gr Ga = lim A n n with A n A n+1 being the inclusion of a hyperplane in the obvious way Intuition First some intuition We always have to rst approximation In this case, this tells us that Gr G (k) = G(k((t)))/G(k[[t]]) Gr Ga (k) = k((t))/k[[t]] = lim t n k[[t]]/k[[t]] n Now t n k[[t]]/k[[t]] is a k-vector space on the coecients of t n,, t 1, which looks like A n (k) It's worth making clear why this is wrong To promote this to a proof, we would have to make the argument with k replaced by an arbitrary k-algebra R Although Gr G = LG/L + G, this does not mean that Gr G (R) = LG(R)/L + G(R) = G(R((t))/G(R[[t]]) Rather, the left side is the sheacation of the right side (eg for the étale topology) Of course, when R is ah algebraically closed eld then no such sheacation is necessary Onto the proof So what does Gr Ga look like anyway? By denition, its functor of point is given by R {(E, β)} where E is a G a -bundle over R[[t]] and β is a trivialization of E over R((t)) What is a G a -bundle anyway? When confused about such questions, we can always nd one answer by embedding into GL n, for instance as the unipotent group ( 1 t t 1) This makes it clear that a G a -bundle is the same as an extension of trivial bundles: 1 O S E O S 1 Date: September 29,
2 2 TONY FENG Now let's unravel what this tells us over S = Spec R[[t]] We're looking at pairs (E, β) where E is a rank 2 locally free modules M over R[[t]], with an extension structure 0 R[[t]] M R[[t]] 0 with a trivialization β over R((t)) Of course all such M are abstractly trivial, but the point is that β rigidies the situation Thanks to β, we may assume that M R[[t]] R((t)) = R((t)) 2, with the splitting being the coordinate functions This means that M itself is described by an R[[t]]-lattice inside R((t)) 2, which can be expressed as a matrix ( ) 1 f 1 This matrix is ambiguous up to change of basis that preserves the extension structure, which amounts to multiplication by a unipotent matrix over R[[t]] This means that f (which is a priori an element of R((t))) is well-dened up R[[t]], ie is determined by its class in R((t))/R[[t]] So we have concluded that indeed Gr Ga (R) = R((t))/R[[t]] = lim A n (R) 2 Affine Grassmannian for G m 21 The loop group First we are going to investigate the loop group for G m We have LG(R) = R((t)) We can canonically decompose the units as follows Let f = a i t i R((t)) Let n be the rst index such that a n is invertible (This obviously exists, since the image of f in R/N (R)((t)) had better be invertible) Multiplying by a 1 n t n, we can assume that this index is 0 and the corresponding coecients is 1 Then write f = n p where n is the polar part (negative powers of t, with nilpotent coecients) and p tr[[t]] By standard algebra, 1 + n is invertible (formally expand 1/(1 + n)) So f = (1 + n)(1 + p 1 + n ) = (1 + n)(1 + p(1 n + n2 )) We need to be careful, since the second factor need not have purely positive exponents of t Let f = (1 + p(1 n + n 2 )) = (n p ) We will argue that f is less bad in some sense than f, so that iterating this process eventually produces a factorization of the desired form Note that for i > 0, the coecient of t i in f is a combination of coecients for strictly less negative exponents of f, or polynomials in positive degree of coecients which are at least as negative Therefore, we can assign a score to Laurent series which measures the degree of nilpotency of the polar part Laurent series for which the negative coecients
3 PROBLEM SESSION I: THE AFFINE GRASSMANNIAN 3 are more nilpotent have lower scores We leave it to the reader to formalize this idea, and verify that the operation f f decreases the score, so that after a nite number of iterations the nilpotent part disappears n 1+p Since is also invertible (again, formally expand) So we have expressed f as a product of f tr[[t]] and f, a polar part with nilpotent coecients This is obviously unique The conclusion is that R((t)) can be uniquely expressed as has nilpotent coecients, 1 + n 1+p with r R and f +, f as above This gives a decomposition f = r t n f + f LG m = Z Gm W Ŵ where W is the subscheme parametrizing possibiliies for f +, and W is the indsubscheme parametrizing f 22 Some geometric properties We have just seen that LG m = Z Ŵ The functor W assigns to R the set of nite tuples (r i ) with each r i nilpotent This is the inductive limit of schemes W n,n parametrizing tuples (r 1,, r n ) with r n i = 0, which is represented by k[x 1,, x n ]/(x n 1, xn n), which is evidently non-reduced However, each W n is formally smooth To see this, it suces to check that W 1,n (R) = {r R: r n = 0} is formally smooth, ie if I is a nilpotent ideal in R then W 1,n (R) W 1,n (R/I) But this is clear: for any r W 1,n (R/I), choose any lift r of r in R 23 The arc group and ane Grassmannian From this argument we deduce in particular that the arc group is embedded as you expect, so L + G m = Gm W, Gr Gm = Z W Note that π 0 Gr Gm = Z, as expected! Note that the map LG m LG a is not an open embedding The nite layer subschemes of Ŵ are closed, cut out by the equations satised by the nilpotent elements of t n k[[t]]/k[[t]] 3 Relative positions 31 Dominant coweights in GL n Let's remind ourselves about the dominant coweights of GL n, and their natural ordering
4 4 TONY FENG Denition 31 A dominant coweight of GL n is a coweight that pairs non-negatively with any positive coroot If µ, µ are coweights of GL n, then we say that µ µ (sometimes denoted µ µ ) if µ µ is a sum of positive coroots Here's the picture: each root cuts out a hyperplane in the Euclidean space X (T ) R The connected components int the complement of these hyperplanes are cones called the Weyl chambers The Weyl group acts transitively on the set of Weyl chambers Let's unwind what this means for GL n We have of course X (T ) = Z n, with The roots are (m 1,, m n ) diag(t m 1,, t mn ) χ ij : diag(t m 1,, t mn ) t m i m j The standard positive roots, corresponding to the choice of upper-triangular Borel, are χ ij for i > j The positive coroots are then the tuples(m 1,, m n ) with m i = 1, m j = 1 for some pair i > j, and all other entries 0 The conclusion is that the order relation among the m i is exactly dened by: (m 1,, m n) > (m 1,, m n ) if you can trade down entries in i for entries in j, with i > j, to get from (m 1,, m n) to (m 1,, m n ) If one wants to write this out in gory detail: m 1 m 1 m 1 + m 2 m 1 + m 2 m m n = m m n 32 Loci of relative position Let X = Spec R, and E 1, E 2 two vector bundles of rank n over R[[t]], with an identication over R((t)) For each x Spec R, we get by restriction two vector bundle over κ(x)[[t]], which have some relative position β x Then we claim that X µ := {x X : β x µ} is closed TONY: [this is trickier than it seems TBC] 33 General groups For general G, for each dominant coweight µ we get a highest weight representation V µ of G This turns a principle G-bundle E into a vector bundle V E µ Then we can translate the notion of relative position for G into one for vector bundles (for each µ): Lemma 32 Gr G, µ (k) is the set of (E, β) such that for each λ, the map extends to a map β µ : V E µ V E µ k[[t]] k((t)) V µ k k((t)) t λ,µ V µ k k[[t]]
5 PROBLEM SESSION I: THE AFFINE GRASSMANNIAN 5 Indeed, by choosing trivializations we can represent β by an element g G(k((t))), which is well-dened up to left and right multiplication by G(k[[t]]) The corresponding element for the vector bundle Vµ E is an element of GL n (k((t))), which is the image of g by the dening map G GL(V µ ) The largest exponent which appears is then λ, µ so that the map does extend as claimed 4 Minuscule Schubert varieties Let us recall the meaning of minuscule weights We say that a dominant cocharacter µ of G is minuscule if µ 0 and for every positive root α, we have µ, α 1 Example 41 For GL n the dominant miniscule coweights are µ 1 =(1, 0,, 0) µ 2 =(1, 1, 0,, 0) µ n =(1, 1,, 1, 0) ν 1 =(0, 1,, 1) ν 2 =(0,, 0, 1,, 1) ν n =(0,, 0, 1) (Depending on your convention) The Schubert cell for µ i parametrizes lattices Λ with k[[t]] n Λ t 1 k[[t]] n with dim k Λ/k[[t]] n = i This is just the (normal!) Grassmannian Gr(i, n) The Schubert cell for ν i parametrizes lattices Λ k[[t]] n of corank 1, ie such that dim k k[[t]] n /Λ = is 1-dimensional over k (These are what we might have called elementary upper modications of type 1) Miniscule coweights are minimal for the ordering on dominant coweights, Gr µ = Gr µ for any such µ Therefore, Gr µ is a homogeneous space under L + G, hence is smooth Quasi-minuscule Schubert varieties A quasi-minuscule weight is a dominant coweight µ such that µ, α 2 for all positive roots α An example is the positive coroot of SL 2 Let's examine this case We're supposed to see that the corresponding (closed) Schubert variety is the projective cone over a quadric curve in P 2 The quasi-minuscule weight of SL 2 is the positive coroot ( ) t µ : t t 1
6 6 TONY FENG Therefore, the Schubert variety parametrizes lattices Λ such that which is commensurate with O, so tk[[t]] 2 Λ t 1 k[[t]] 2 dim k (Λ/tk[[t]] 2 ) = 2 and dim k (t 1 k[[t]] 2 /Λ) = 2 Note that Λ is determined by its image Λ in tk[[t]] 2 The ltration denes a ltration on Λ Consider tk[[t]] 2 k[[t]] t 1 k[[t]] 2 Λ k[[t]] 2 k[[t]] 2 /tk[[t]] 2 Its image is 1-dimensional, so the possibilities for this image are parametrized by a P 1 The image of Λ in t 1 k[[t]] 2 /k[[t]] 2 is also 1-dimensional, and together with the choice of the rst step of the ltration determines Λ However, one line is excluded as a possible image, namely the one corresponding to the rst choice under the isomorphism k[[t]] 2 /tk[[t]] 2 t 1 k[[t]] 2 /k[[t]] 2 via multiplication by t
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationThe Affine Grassmannian
1 The Affine Grassmannian Chris Elliott March 7, 2013 1 Introduction The affine Grassmannian is an important object that comes up when one studies moduli spaces of the form Bun G (X), where X is an algebraic
More 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 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 informationOLIVIER SERMAN. Theorem 1.1. The moduli space of rank 3 vector bundles over a curve of genus 2 is a local complete intersection.
LOCAL STRUCTURE OF SU C (3) FOR A CURVE OF GENUS 2 OLIVIER SERMAN Abstract. The aim of this note is to give a precise description of the local structure of the moduli space SU C (3) of rank 3 vector bundles
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationFINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.
FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts
More informationON A CONNECTION BETWEEN AFFINE SPRINGER FIBERS AND L U DECOMPOSABLE MATRICES
ON A CONNECTION BETWEEN AFFINE SPRINGER FIBERS AND L U DECOMPOSABLE MATRICES SPUR FINAL PAPER, SUMMER 27 PANAGIOTIS DIMAKIS MENTOR: GUANGYI YUE PROJECT SUGGESTED BY ROMAN BEZRUKAVNIKOV Abstract. In this
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
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 informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
More informationLifting to non-integral idempotents
Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
More informationVector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationGalois to Automorphic in Geometric Langlands
Galois to Automorphic in Geometric Langlands Notes by Tony Feng for a talk by Tsao-Hsien Chen April 5, 2016 1 The classical case, G = GL n 1.1 Setup Let X/F q be a proper, smooth, geometrically irreducible
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 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 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationLINKED HOM SPACES BRIAN OSSERMAN
LINKED HOM SPACES BRIAN OSSERMAN Abstract. In this note, we describe a theory of linked Hom spaces which complements that of linked Grassmannians. Given two chains of vector bundles linked by maps in both
More informationThe geometric Satake isomorphism for p-adic groups
The geometric Satake isomorphism for p-adic groups Xinwen Zhu Notes by Tony Feng 1 Geometric Satake Let me start by recalling a fundamental theorem in the Geometric Langlands Program, which is the Geometric
More informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationBackground on Chevalley Groups Constructed from a Root System
Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described
More informationDiscussion Session on p-divisible Groups
Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationp-divisible groups I 1 Introduction and motivation Tony Feng and Alex Bertolini Meli August 12, The prototypical example
p-divisible groups I Tony Feng and Alex Bertolini Meli August 12, 2016 1 Introduction and motivation 1.1 The prototypical example Let E be an elliptic curve over a eld k; imagine for the moment that k
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
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 informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More informationNORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase
NORMALIZATION OF THE KRICHEVER DATA Motohico Mulase Institute of Theoretical Dynamics University of California Davis, CA 95616, U. S. A. and Max-Planck-Institut für Mathematik Gottfried-Claren-Strasse
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 informationOctober 7, :8 WSPC/WS-IJWMIP paper. Polynomial functions are renable
International Journal of Wavelets, Multiresolution and Information Processing c World Scientic Publishing Company Polynomial functions are renable Henning Thielemann Institut für Informatik Martin-Luther-Universität
More informationLast week: proétale topology on X, with a map of sites ν : X proét X ét. Sheaves on X proét : O + X = ν O + X ét
INTEGRAL p-adi HODGE THEORY, TALK 3 (RATIONAL p-adi HODGE THEORY I, THE PRIMITIVE OMPARISON THEOREM) RAFFAEL SINGER (NOTES BY JAMES NEWTON) 1. Recap We x /Q p complete and algebraically closed, with tilt
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationGeometry and combinatorics of spherical varieties.
Geometry and combinatorics of spherical varieties. Notes of a course taught by Guido Pezzini. Abstract This is the lecture notes from a mini course at the Winter School Geometry and Representation Theory
More informationSystems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,
Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.
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 informationIntroduction to Affine Grassmannians
Introduction to Affine Grassmannians Xinwen Zhu Lecture notes by Tony Feng Contents 1 The Affine Grassmannian 2 1.1 Construction.................................. 2 1.2 Beauville-Laszlo interpretation........................
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 information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETR CLASS 24 RAVI VAKIL CONTENTS 1. Normalization, continued 1 2. Sheaf Spec 3 3. Sheaf Proj 4 Last day: Fibers of morphisms. Properties preserved by base change: open immersions,
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
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 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 informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
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 informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationAbstract. Jacobi curves are far going generalizations of the spaces of \Jacobi
Principal Invariants of Jacobi Curves Andrei Agrachev 1 and Igor Zelenko 2 1 S.I.S.S.A., Via Beirut 2-4, 34013 Trieste, Italy and Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Russia; email:
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationThe Jordan Canonical Form
The Jordan Canonical Form The Jordan canonical form describes the structure of an arbitrary linear transformation on a finite-dimensional vector space over an algebraically closed field. Here we develop
More informationMathematical Research Letters 2, (1995) B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY. V. G. Drinfeld and Carlos Simpson
Mathematical Research Letters 2, 823 829 (1995) B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY V. G. Drinfeld and Carlos Simpson 1. Let G be a split reductive group scheme over Z (recall that for any algebraically
More information. HILBERT POLYNOMIALS
CLASSICAL ALGEBRAIC GEOMETRY Daniel Plaumann Universität Konstan Summer HILBERT POLYNOMIALS T An ane variety V A n with vanishing ideal I(V) K[,, n ] is completely determined by its coordinate ring A(V)
More informationGEOMETRIC SATAKE, SPRINGER CORRESPONDENCE, AND SMALL REPRESENTATIONS
GEOMETRIC SATAKE, SPRINGER CORRESPONDENCE, AND SMALL REPRESENTATIONS PRAMOD N. ACHAR AND ANTHONY HENDERSON Abstract. For a simply-connected simple algebraic group G over C, we exhibit a subvariety of its
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann- Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:
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 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 informationAlgebraic Geometry (Math 6130)
Algebraic Geometry (Math 6130) Utah/Fall 2016. 2. Projective Varieties. Classically, projective space was obtained by adding points at infinity to n. Here we start with projective space and remove a hyperplane,
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 information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
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 information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q
More informationPeter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.
p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationProof of the Shafarevich conjecture
Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel
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 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 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 informationDRINFELD LEVEL STRUCTURES AND LUBIN-TATE SPACES. Przemysªaw Chojecki
DRINFELD LEVEL STRUCTURES AND LUBIN-TATE SPACES Przemysªaw Chojecki Le but principal de cet exposé est de demontrer la regularité des anneaux representants les foncteurs des deformations des groupes formels
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationReducibility of generic unipotent standard modules
Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
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 informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
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 Hecke category (part II Satake equivalence)
The Hecke category (part II Satake equivalence) Ryan Reich 23 February 2010 In last week s lecture, we discussed the Hecke category Sph of spherical, or (Ô)-equivariant D-modules on the affine grassmannian
More informationClassification of root systems
Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April
More informationBare-bones outline of eigenvalue theory and the Jordan canonical form
Bare-bones outline of eigenvalue theory and the Jordan canonical form April 3, 2007 N.B.: You should also consult the text/class notes for worked examples. Let F be a field, let V be a finite-dimensional
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
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 informationGeometric Class Field Theory
Geometric Class Field Theory Notes by Tony Feng for a talk by Bhargav Bhatt April 4, 2016 In the first half we will explain the unramified picture from the geometric point of view, and in the second half
More informationk k would be reducible. But the zero locus of f in A n+1
Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along
More informationSchubert Varieties. P. Littelmann. May 21, 2012
Schubert Varieties P. Littelmann May 21, 2012 Contents Preface 1 1 SMT for Graßmann varieties 3 1.1 The Plücker embedding.................... 4 1.2 Monomials and tableaux.................... 12 1.3 Straightening
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
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 informationLinear algebra. S. Richard
Linear algebra S. Richard Fall Semester 2014 and Spring Semester 2015 2 Contents Introduction 5 0.1 Motivation.................................. 5 1 Geometric setting 7 1.1 The Euclidean space R n..........................
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 informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationLANGLANDS FOR GL(2): GALOIS TO AUTOMORPHIC, III (D APRÈS DRINFELD)
LANGLANDS FOR GL(2): GALOIS TO AUTOMORPHIC, III (D APRÈS DRINFELD) TONY FENG 1. Recollections Let ω be a meromorphic differential on X and ψ 0 : F q Q l be an additive character. Last time we produced
More information