Representations and Linear Actions

Size: px
Start display at page:

Download "Representations and Linear Actions"

Transcription

1 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 of S-schemes). We must take the categorical definition of a monomorphism here because S-schemes commonly do not have enough points for the set-theoretic definition to make sense. A morphism of φ X Y of S-schemes is called monic (equivalently, a monomorphism) if for all T S the induced map of sets φ(t ) X(T ) Y (T ) is injective. Hence, φ is faithful if and only if G(T ) is a subgroup of GL n (T ) for all T S. Example 1. Consider the case when S is affine, say, S = Spec k. If φ is a monomorphism of algebraic groups G H, then a result in the theory of algebraic groups implies that φ is a closed embedding. However, if the dimension of S is greater than 0, this need not be true for trivial reasons. For instance, if S = Spec Z, G = Spec Z {±1}, and H = G/{(2) { 1}}, where here we ve arbitrarily picked the point (2) { 1} G to delete. Certainly, H is a subgroup of G and H G is an immersion, but this is clearly not a closed immersion. Linear actions on affine space Suppose E is a locally free sheaf on S. The associated (geometric) vector bundle is V(E) = Spec(Sym E ). Then Aut S (E) acts on V(E) in a canonical way: for any T -valued point t T S any g G(T ) defines an automorphism of O T -modules t E g t F, which in turn induces an automorphism Spec(Sym t E) = V(E) S T by forming the pullback. We then have an action morphism Aut S (E) V(E) V(E). If E is free, then V(E) A n S, after choosing a basis for E and E. Hence, Aut(E) = GL(n, S), so we get an action of GL(n, S) on A n S. Denote this action by σ GL(n, S) An S An S ; it is dual to the homomorphism O S [T 1,..., T n ] O S [x ij, D 1 ][T 1,..., T n ] T i n j=1 x ij T j Let s simplify our discussion by assuming that S = Spec O S and G/S are affine. Suppose we have a representation φ G GL(n, S). Then GL(n, S) acts on A n S as defined above, so composing with φ defines an action of G on A n φ 1 G A n S GL(n, S) A n S σ G σ A n S We then have the maps O GL(n,S) O G σ # G O S[T 1,..., T n ] O G [T 1,..., T n ] x ij f ij T i n j=1 f ij T j 1

2 In this way, we can define what it means for a group to act linearly on affine space. Definition 0.2. We say G acts linearly on A n S if there are global sections f ij O G such that σ # G (T i) = n j=1 f ij T j for each i = 1,..., n. Example 2. The additive group G a (S) is defined as Spec S[T ] and the Hopf algebra structure is defined by µ # S[T ] S[T ] S[T ], e # S[T ] S, i # S[T ] S[T ] T (T 1) (1 T ) T 0 T T Note that this is not a reductive group. The group G a (S) acts non-linearly on A S n as follows: The map O S [T 1,..., T n ] O S [T ][T 1,..., T n ] by fixing an i and sending T i to T i + T while acting like the identity on T j for j i defines and action of G a on A n. Since the image of T i is not a linear combination of the T j s, this action is not linear. On the level of points the action is given by the affine (nonlinear) transformation (t, t 1,..., t n ) (t 1,..., t i 1, t i + t, t i+1,..., t n ). However we know that G a (S) is a linear group. We will show that it is a closed subgroup of GL(2). The map G a (S) GL(2, S), is given by the corresponding map S[x 11, x 12, x 21, x 22, D 1 ] φ# S[T ] x 11 1, x 12 T, x 21 0, x 22 1 It is easy to check that this map is compatible with comultiplication, and G a (S) acts linearly on A 2 S map O S [T 1, T 2 ] O S [T ][T 1, T 2 ] defined by by the 2 T 1 φ # (x ij )T j = φ # (x 11 )T 1 + φ # (x 12 )T 2 = T 1 + T T 2, T 2 T 2 j=1 On the level of points this map corresponds to identifying G a with the subgroup of matrices of the form ( 1 a 0 1 ) and then the action is given by the usual matrix multiplication ( 1 a 0 1 ) ( x y ). This example provides motivation for the following proposition. Proposition 0.3. Giving a representation φ G GL(n, S) is equivalent to giving a linear action of G on A n S. Proof. A morphism by definition gives a linear action, so suppose G acts linearly on A n S, that is, for each i = 1,..., n, there are f ij O G such that T i maps to n j=1 f ij T j. This then defines a map of coordinate rings O S [x ij ] O G by mapping x ij to f ij. We then only need to check that D maps to a unit in O G, which is easy to do. 2

3 We claim that A n S has a group structure isomorphic to G a(s) n. The addition map of the group structure will be dual to O S [T 1,..., T n ] + O S [T 1,..., T n ] O S [T 1,..., T n ] T i (1 T i ) + (T i 1) while the multiplication map A 1 S An S A n S will be dual to O S [T 1,..., T n ] O S [T ][T 1,..., T n ] T i T T i This then restricts to a map G m (S) A n S A1 S, which is the action by scaling. If k is any field, then we can identify k with A 1 S (Spec k) and obtain a k-vector space structure on An S (Spec k) = (A1 S (Spec k))n. The fact that G a acts linearly on A n S is equivalent to saying that the following diagram for addition commutes 1 G + G A n S An S A G n S σ A n S (σ, ) µ A n S An S and likewise for scalar multiplication. At the field level, we then get a linear action of G(k) on A n S (k) = kn, where A n S (k) has the canonical k = A1 S (k) vector space structure. To summarize what we have so far: giving a morphism G GL(n, S) is equivalent to giving a linear action A n S, which is equivalent to a linear action of G(k) on the vector space A n S (k) for Spec k S. Definition 0.4. A character of a group G/S is a map G G m (S) = GL(1, S). For instance, the determinant map det GL(n, S) G m (S) defines a character because on the ring level it s the map O S [T, T 1 ] O S [x ij, D 1 ] defined by T D. Example 3. Consider µ p = ω, where ω = e 2πi/p for some prime p (here, we are working over C). Then µ p acts on A 1 by χ a (v) = ω a v, with a {0,..., p 1}. This action can be extended to an action µ p (Z) = Spec Z[T ] T p 1 G m on A 1 Z[T ] Z = Spec Z[x] by considering the map Z[x] T p 1 [x], defined by sending x to T a x, and looking at the corresponding map on Specs. Now let s base change to F p and we obtain a map F p [x] Fp[T,x] by x T a x. The base change of µ T p 1 p is the non-reduced scheme G = Spec Fp[T ] T p 1 which has a single F p valued point. Then G acts on A 1 F p, and for a field k of characteristic p, G(k) = {e} acts trivially on A 1 (k). 3

4 Now let Z = Spec Fp[U] U p 1. We will look at the action of G(Z) on A1 (Z). First observe that we may identify the group G(Z) with the finite group Z/pZ. Explicitly given b Z/pZ we have a point of G(Z) corresponding to the homomorphism g F p[t ] defined by T U b. Similarly the set A 1 (Z) can be identified with the set of ordered p-tuples (a p 1,..., a 0 ) in F p with (a p 1,..., a 0 ) corresponding to the Z-valued point associated to the map f fp[x] F p[u] U p 1, x a p 1U p a 0. T p 1 Fp[U] U p 1 The image of the point of A 1 (Z) corresponding to f # under muplitplication by the point of G(Z) corresponding to g is the point of A 1 (Z) corresponding to the composite morphism F p [x] σ # F p[t ][x] T p 1 g # f # F p[u] U p 1 x T a x (U b ) a (a p 1 U p a 0 ) = b p 1 U p b 0 for some b i F p, which are a cyclic permutation of the a i. Thus we see that G(Z) acts by cyclic permutation on A 1 (Z). When G acts on X there s no general nonsense way of defining the G-fixed locus X G. However, we can categorically define the inertia group of an action, which is {(g, x) g x = x} G X. Note that since (id, x) is in the inertia for all x X, the invariants are contained in the inertia. Definition 0.5. Given an S-group G acting on a scheme X by the morphism σ G X X, the inertia group I G (X) is defined by the Cartesian diagram I G (X) X G S X σ 1 X X S X That is, as a set, I G (X) = {((g, x), x ) (g x, x) = (x, x )} = {(g, x) g x = x} G X. Note that I G (X) is a subgroup of G X, and if X/S is separated, then is a closed embedding, making the pullback I G (X) G S X a closed embedding as well (hence, a monomorphism). We want to define a multiplication I G X I G X I G X. That is, for all T X we want a group structure on I G X(T ) = Hom(T, I G X). Giving such a map is equivalent to giving maps T x X and T (g,y) G such that (σ 1 X ) (g, y) = x (by universality) and such that the maps are compatible with the action and, making y = x T X and σ (g, x) = x. So a point is a pair g G(T ), x X(T ) such that g x = x. We then have I G X X I G X(T ) = {(g, x), (g, x ) x = x} = (I G X X I G X)(T ). Multiplication can then be defined on the X-group G X as (g, x) (g, x) = (gg, x). 4

5 Example 4. There is a natural conjugation action of G on I G X. On points, it s given by h (g, x) = (hgh 1, hx). Clearly, this is an action of G on G X and it is invariant for the subscheme I G X. This action will play an important role later in the discussion of quotient stacks. As an example, let S 3 act on A 2 C, giving the two dimensional irreducible representation of S 3. Now S 3 acts on A 3 by permutation of coordinates, so A 2 = {(x 1, x 2, x 3 ) x 1 + x 2 + x 3 = 0} is invariant under this action. Then I S3 A 2 S 3 A 2, the latter which can be viewed as six disjoint linear subspaces. That is, we view each element of S 3 as a plane and determine the fixed locus of the plane under the action. For instance, the fixed locus of the identity is the entire plane while that of (12) must satisfy (12)(x 1, x 2, x 1 x 2 ) = (x 2, x 1, x 1 x 2 ), so the fixed locus is the line x 1 = x 2. Similarly, we determine that the fixed locus of (13) is the line 2x 1 + x 2 = 0, that of (23) is x 1 + 2x 2 = 0, and that of the three cycles are just points. Notice that the fixed loci of the transpositions are in one orbit, the ones from the three cycles are in another, while the entire plane coming from the identity is in another. This is because, in general, if G is finite, then I G X = ψ I ψ, where the disjoint union ranges over all conjugacy classes of G and I ψ = {(g, x) g x = x, g ψ}. This gives a G-invariant decomposition of the inertia group. Example 5. The group GL(2, C) has the two-dimensional defining representation on V = C 2 given by the standard action ( a 11 a 12 a 21 a 22 ) ( x 1 x 2 ) = ( a 11x 1 + a 12 x 2 a 21 x 1 + a 22 x 2 ) The stabilizer of the origin is all of GL(2, C) and all other fibers are conjugate to the stabilizer of ( 1 ) since the 0 subgroup H = {( 1 b 0 λ ) λ G m, b G a } fixes this vector (and is an extension of G a by G m ). Thus, there are only two G-orbits of the action since the stabilizer of gx is always conjugate to the stabilizer of x. Now let s see what happens when we delete the origin, that is, let GL(2, C) act on P(V ) = (A 2 /{0})/C = P 1. This action is well-defined because it commutes with scalar multiplication on V and because V is a representation of G. Now all orbits are conjugate, so P 1 is a homogeneous space for G, meaning there is only one G-orbit. Since the stabilizer ( 1 ) only has to fix this vector up to scalar multiplication, the stabilizer is the Borel subgroup 0 B = {( λ 1 b ) λ 0 λ 1, λ 2 0} 2 The inertia is then the group scheme whose fibers are all possible Borel subgroups since all Borel subgroups are conjugate to each other. This shows that I GL2 P 1 P 1 is smooth. Similar calculations can be done for the action of GL n on P n 1. Now suppose GL 2 acts on 2 n matrices (that is, X = A 2n ) by left multiplication. Let U X be the open set where the matrix has maximal rank. Then the inertia group of any point in U is trivial, that is, the action is 5

6 free on this set. To find the stabilizers, it suffices to let U 0 = {0}, U 1 be the locus where the rank is equal to 1 (and hence dimension n+1), and U 2 = X/U 1. The stabilizer of U 0 is GL 2 and over any point in U 1 the stabilizer is the group H defined above. We note that GL m acts freely on the open set U m A m+n corresponding to the matrices of maximal rank and the quotient U m /GL m is the Grassmannian Gr(m, n). This will play an important role later. Before stating the next result, we need the fact that if a group G acts on X and f Y X is a G-equivariant map, then the stabilizer of f(x) is a subgroup of the stabilizer of x for any x X. Hence, if G acts freely on X, then it also acts freely on Y for an G-equivariant map Y X. Proposition 0.6. Let G be an S-group, X, Y S-schemes, and φ Y X a G-equivariant map. Then base change is a canonical monomorphism of Y -groups I G Y Y X I G X, which is a closed embedding if φ is separated. Proof. Recall that φ being G-equivariant implies that the following diagram commutes. G Y σ Y 1 Y Y 1 G φ φ φ G X σ X 1 X X Hence, by universality, we have the commutative diagram θ G Y (G X) X X (Y Y ) σ Y 1 p 2 Y Y where, on points, θ(g, y) = ((g, φ(y)), (gy, y)). From the universality of fiber products (G X) X X (Y Y ) G S (Y X Y ). By Yoneda s lemma, the isomorphism of schemes is induced by the canonical isomorphism of sets given by ((g, x), (y 1, y 2 )) (g, g 1 y 1, y 2 ) with inverse (g, y 1, y 2 ) ((g, φ(y 1 )), (gy 1, y 2 )). Under this isomorphism, the map θ G S Y G S (Y X Y ) is the same as the map 1 G φ. By taking fiber products, we have the commutative diagram 6

7 I G Y Y X I G X Y φ G Y 1 G φ G S (Y X Y ) Y Y X φ φ G X X X where the bottom square (and hence the square above it) is Cartesian. The morphism I G Y Y I G X is then given by the pullback and hence must be monic since it s the base change of 1 G φ. This is a closed embedding if φ is, which is the case when φ is separated. 7

Lecture 6: Etale Fundamental Group

Lecture 6: Etale Fundamental Group Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and

More information

1 Flat, Smooth, Unramified, and Étale Morphisms

1 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 information

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

We 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 information

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,

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, 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 information

Math 249B. Nilpotence of connected solvable groups

Math 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 information

Finite group schemes

Finite group schemes Finite group schemes Johan M. Commelin October 27, 2014 Contents 1 References 1 2 Examples 2 2.1 Examples we have seen before.................... 2 2.2 Constant group schemes....................... 3 2.3

More information

ALGEBRAIC GROUPS JEROEN SIJSLING

ALGEBRAIC GROUPS JEROEN SIJSLING ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined

More information

Homogeneous Coordinate Ring

Homogeneous Coordinate Ring Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in

More information

EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES

EQUIVARIANT 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 G-bundle EG BG,

More information

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show

More information

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

h 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 information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

1 Notations and Statement of the Main Results

1 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 information

REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES. Notation. 1. GL n

REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES. Notation. 1. GL n REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES ZHIWEI YUN Fix a prime number p and a power q of p. k = F q ; k d = F q d. ν n means ν is a partition of n. Notation Conjugacy classes 1. GL n 1.1.

More information

LECTURE NOTES IN EQUIVARIANT ALGEBRAIC GEOMETRY. Spec k = (G G) G G (G G) G G G G i 1 G e

LECTURE NOTES IN EQUIVARIANT ALGEBRAIC GEOMETRY. Spec k = (G G) G G (G G) G G G G i 1 G e LECTURE NOTES IN EQUIVARIANT ALEBRAIC EOMETRY 8/4/5 Let k be field, not necessaril algebraicall closed. Definition: An algebraic group is a k-scheme together with morphisms (µ, i, e), k µ, i, Spec k, which

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

More information

NOTES ON ABELIAN VARIETIES

NOTES ON ABELIAN VARIETIES NOTES ON ABELIAN VARIETIES YICHAO TIAN AND WEIZHE ZHENG We fix a field k and an algebraic closure k of k. A variety over k is a geometrically integral and separated scheme of finite type over k. If X and

More information

Raynaud on F -vector schemes and prolongation

Raynaud on F -vector schemes and prolongation Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic

More information

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question

More information

(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for

(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for Solutions to Homework #7 0. Prove that [S n, S n ] = A n for every n 2 (where A n is the alternating group). Solution: Since [f, g] = f 1 g 1 fg is an even permutation for all f, g S n and since A n is

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

More information

The Nori Fundamental Group Scheme

The Nori Fundamental Group Scheme The Nori Fundamental Group Scheme Angelo Vistoli Scuola Normale Superiore, Pisa Alfréd Rényi Institute of Mathematics, Budapest, August 2014 1/64 Grothendieck s theory of the fundamental group Let X be

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

More information

Math 248B. Applications of base change for coherent cohomology

Math 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 information

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Vector 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 information

Spherical varieties and arc spaces

Spherical 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 information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

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 information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 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 information

Math 249B. Geometric Bruhat decomposition

Math 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 information

Notes on p-divisible Groups

Notes 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 information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

The Hitchin map, local to global

The 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 information

Real representations

Real representations Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where

More information

Geometric Structure and the Local Langlands Conjecture

Geometric Structure and the Local Langlands Conjecture Geometric Structure and the Local Langlands Conjecture Paul Baum Penn State Representations of Reductive Groups University of Utah, Salt Lake City July 9, 2013 Paul Baum (Penn State) Geometric Structure

More information

An Atlas For Bun r (X)

An Atlas For Bun r (X) An Atlas For Bun r (X) As told by Dennis Gaitsgory to Nir Avni October 28, 2009 1 Bun r (X) Is Not Of Finite Type The goal of this lecture is to find a smooth atlas locally of finite type for the stack

More information

THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3

THE 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 information

Demushkin s Theorem in Codimension One

Demushkin s Theorem in Codimension One Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und

More information

POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS

POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS Z. REICHSTEIN AND N. VONESSEN Abstract. We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining

More information

On exceptional completions of symmetric varieties

On exceptional completions of symmetric varieties Journal of Lie Theory Volume 16 (2006) 39 46 c 2006 Heldermann Verlag On exceptional completions of symmetric varieties Rocco Chirivì and Andrea Maffei Communicated by E. B. Vinberg Abstract. Let G be

More information

Math 594. Solutions 5

Math 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 information

Finite Subgroups of Gl 2 (C) and Universal Deformation Rings

Finite Subgroups of Gl 2 (C) and Universal Deformation Rings Finite Subgroups of Gl 2 (C) and Universal Deformation Rings University of Missouri Conference on Geometric Methods in Representation Theory November 21, 2016 Goal Goal : Find connections between fusion

More information

The Ring of Monomial Representations

The Ring of Monomial Representations Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents

More information

(1) is an invertible sheaf on X, which is generated by the global sections

(1) is an invertible sheaf on X, which is generated by the global sections 7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one

More information

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G. Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite

More information

THE KEEL MORI THEOREM VIA STACKS

THE KEEL MORI THEOREM VIA STACKS THE KEEL MORI THEOREM VIA STACKS BRIAN CONRAD 1. Introduction Let X be an Artin stack (always assumed to have quasi-compact and separated diagonal over Spec Z; cf. [2, 1.3]). A coarse moduli space for

More information

EQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms

EQUIVARIANT 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 information

Parameterizing orbits in flag varieties

Parameterizing 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 information

MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

More information

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

SEMI-GROUP AND BASIC FUNCTIONS

SEMI-GROUP AND BASIC FUNCTIONS SEMI-GROUP AND BASIC FUNCTIONS 1. Review on reductive semi-groups The reference for this material is the paper Very flat reductive monoids of Rittatore and On reductive algebraic semi-groups of Vinberg.

More information

ne varieties (continued)

ne varieties (continued) Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we

More information

Section Projective Morphisms

Section Projective Morphisms Section 2.7 - Projective Morphisms Daniel Murfet October 5, 2006 In this section we gather together several topics concerned with morphisms of a given scheme to projective space. We will show how a morphism

More information

where 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

where 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 information

GEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS

GEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS GEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS VICTORIA HOSKINS 1. Introduction In this course we study methods for constructing quotients of group actions in algebraic and symplectic geometry and

More information

FALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra)

FALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra) FALTINGS SEMINAR TALK SIMON RUBINSTEIN-SALZEDO 1. Cartier duality Let R be a commutative ring, and let G = Spec A be a commutative group scheme, where A is a finite flat algebra over R. Let A = Hom R mod

More information

NOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES

NOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES NOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES DAN EDIDIN The purpose of these notes is to discuss the problem of moduli for curves of genus g 3 1 and outline the construction of the (coarse)

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

Representation Theory

Representation Theory Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

Etale cohomology of fields by Johan M. Commelin, December 5, 2013

Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in

More information

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n 12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

More information

PICARD GROUPS OF MODULI PROBLEMS II

PICARD GROUPS OF MODULI PROBLEMS II PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may

More information

The Outer Automorphism of S 6

The Outer Automorphism of S 6 Meena Jagadeesan 1 Karthik Karnik 2 Mentor: Akhil Mathew 1 Phillips Exeter Academy 2 Massachusetts Academy of Math and Science PRIMES Conference, May 2016 What is a Group? A group G is a set of elements

More information

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 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 information

Subgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.

Subgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold. Recollections from finite group theory. The notion of a group acting on a set is extremely useful. Indeed, the whole of group theory arose through this route. As an example of the abstract power of this

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

More information

THE HITCHIN FIBRATION

THE 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 information

Algebraic Topology exam

Algebraic Topology exam Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,

More information

Construction of M B, M Dol, M DR

Construction 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 information

Lemma 1.3. The element [X, X] is nonzero.

Lemma 1.3. The element [X, X] is nonzero. Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

More information

Characteristic classes in the Chow ring

Characteristic 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 information

The Picard Scheme and the Dual Abelian Variety

The Picard Scheme and the Dual Abelian Variety The Picard Scheme and the Dual Abelian Variety Gabriel Dorfsman-Hopkins May 3, 2015 Contents 1 Introduction 2 1.1 Representable Functors and their Applications to Moduli Problems............... 2 1.2 Conditions

More information

1. Algebraic vector bundles. Affine Varieties

1. 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 information

THE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p

THE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.

More information

Chern classes à la Grothendieck

Chern 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 information

The Proj Construction

The Proj Construction The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of

More information

AUTOMORPHIC FORMS NOTES, PART I

AUTOMORPHIC FORMS NOTES, PART I AUTOMORPHIC FORMS NOTES, PART I DANIEL LITT The goal of these notes are to take the classical theory of modular/automorphic forms on the upper half plane and reinterpret them, first in terms L 2 (Γ \ SL(2,

More information

INTERSECTION THEORY CLASS 12

INTERSECTION THEORY CLASS 12 INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zero-section of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction

More information

ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy

ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER Seán McGarraghy Abstract. We construct examples where an annihilating polynomial produced by considering étale algebras improves on the annihilating

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

Definition 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).

Definition 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 information

Math 231b Lecture 16. G. Quick

Math 231b Lecture 16. G. Quick Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector

More information

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R) CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

More information

Math 594, HW2 - Solutions

Math 594, HW2 - Solutions Math 594, HW2 - Solutions Gilad Pagi, Feng Zhu February 8, 2015 1 a). It suffices to check that NA is closed under the group operation, and contains identities and inverses: NA is closed under the group

More information

MODULI SPACES OF CURVES

MODULI SPACES OF CURVES MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background

More information

1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality

1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality 1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms

More information

A PROOF OF BURNSIDE S p a q b THEOREM

A PROOF OF BURNSIDE S p a q b THEOREM A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We

More information

BRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,

BRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt, CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves

More information

Groups and Symmetries

Groups and Symmetries Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

More information

arxiv:math/ v3 [math.ag] 10 Nov 2006

arxiv:math/ v3 [math.ag] 10 Nov 2006 Construction of G-Hilbert schemes Mark Blume arxiv:math/0607577v3 [math.ag] 10 Nov 2006 Abstract One objective of this paper is to provide a reference for certain fundamental constructions in the theory

More information

Hodge Structures. October 8, A few examples of symmetric spaces

Hodge 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 information

Topics in linear algebra

Topics in linear algebra Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

More information

Algebraic group actions and quotients

Algebraic group actions and quotients 23rd Autumn School in Algebraic Geometry Algebraic group actions and quotients Wykno (Poland), September 3-10, 2000 LUNA S SLICE THEOREM AND APPLICATIONS JEAN MARC DRÉZET Contents 1. Introduction 1 2.

More information

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then

More information

arxiv: v1 [math.rt] 23 Nov 2009

arxiv: v1 [math.rt] 23 Nov 2009 PARABOLIC CHARACTER SHEAVES, III arxiv:0911.4318v1 [math.rt] 23 Nov 2009 G. Lusztig 1. A decomposition of G δ /U P 1.1. Let k be an algebraically closed field. In this paper an algebraic variety (or algebraic

More information

EKT of Some Wonderful Compactifications

EKT 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 information