Invariants under simultaneous conjugation of SL 2 matrices
|
|
- Edith Harrison
- 6 years ago
- Views:
Transcription
1 Invariants under simultaneous conjugation of SL 2 matrices Master's colloquium, 4 November 2009
2 Outline 1 The problem 2 Classical Invariant Theory 3 Geometric Invariant Theory 4 Representation Theory 5 Conclusion
3 The Problem The problem Consider the space of m-tuples of matrices with determinant 1 (SL 2 matrices. Forget the basis: for any Q SL 2, (M 1,..., M m (QM 1 Q 1,..., QM m Q 1. We want to know the orbit space: {(M 1,..., M m SL m 2 }/. This space arises in monodromy of order 2 ordinary dierential equations with m + 1 singularities
4 Approaches Approach 1: (Classical Invariant Theory Well-known fact: trace, determinant of matrix are invariant under conjugation, so they tell orbits apart Invariant theory: classify these functions Notation: C[SL m 2 ] are polynomial functions on SL 2... SL 2 Notation: C[SL m 2 ]SL 2 are polynomial functions invariant under conjugation We calculated the structure of C[SL m 2 ]SL 2 using some classical results
5 Approaches Approach 2: Geometric Invariant Theory Assign geometric meaning to X = {(M 1,..., M m SL m 2 }/ in projective space Want: Y that separates the orbits as much as possible: every map ψ that is constant on orbits runs through Y : X φ Y ψ θ Z, (the universal mapping property This can be done for (semi-stable points
6 Approaches Approach 3: Representation Theory More abstractly, the action of SL 2 on the set of matrices can be seen as a representation of SL 2 Idea: forget the specic space SL 2 acts on Question: how does GIT work on representations? Question: does this correspond to our earlier results?
7 Approaches Summary of approaches Want to study: {(M 1,..., M m SL m 2 }/. Approach 1: CIT: Look at invariant function C[SL m 2 ]SL 2 Approach 2: GIT: Construct a quotient map with the universal mapping property Approach 3: RT: How does GIT work on representations?
8 Two matrices A theorem (I Let M 0 be the vector space of traceless matrices. Theorem C[M 0 M 0 ] SL 2 = C[TrM 2 1, TrM2 2, TrM 1M 2 ]. Sketch of proof Let f be an invariant function. Restrict it to the pairs {(( ( } t a 1, a, t 0, t c a so we have a function f C[a, c, t]. Almost any matrix pair can be conjugated to this form.
9 Two matrices A theorem (II Sketch of proof, cont'd Note that (( t t ( a 1, c a But then f C[c, a 2, t 2, at]. Now (( t t ( a 1, c a. t 2 = 1 2 TrM2 1, at = 1 2 TrM 1M 2, etcetera so we have found the invariant function that we restricted, which is a polynomial in TrM 1 2, TrM2 2, TrM 1M 2.
10 Two matrices Traceless, general matrices (I Note that for M SL 2 : ( a M i b i M 1 c i d i = M But then for functions: ( 12 a i 2 1 d i b i 1 c i 2 d i 1 2 a i M 1 + ( 12 a i d i a i d i C[SL 2 SL 2 ] SL 2 = (C[M1, M 2 ] SL 2 C[t 1, t 2 ]/(detm i t2 i = 1. So: we translate our results on traceless matrices
11 Two matrices Traceless, general matrices (II C[SL 2 SL 2 ] SL 2 = (C[M1, M 2 ] SL 2 C[t 1, t 2 ]/(detm i t2 i = 1 = C[TrM 2 1,TrM 2 2,TrM 1 M 2, t 1, t 2 ]/(... Correspondence: ( ( ( 12 a i b i a c i d i SL 2 i 1 2 d i b i Say (X 1, X 2 SL 2 2, then c i 1 2 d i 1 2 a i, 1 2 (a i + d i t i = 1 2 (a i + d i 1 2 TrX i TrM i M j = ( 1 2 a i 1 2 d i ( 1 2 a j 1 2 d j +... TrX i X j 1 2 TrX i TrX j
12 Two matrices Traceless, general matrices (III We are translating C[TrM 2 1,TrM2 2,TrM 1M 2, t 1, t 2 ]: t i = 1 2 (a i + d i TrX i TrM i M j = ( 1 2 a i 1 2 d i ( 1 2 a j 1 2 d j +... TrX i X j 1 2 TrX i TrX j. But for (X 1, X 2 SL 2 2 : TrX 2 i = a 2 i + d 2 i + 2b i c i = a 2 i + d 2 i + 2a i d i 2a i d i + 2 b i c i = (a i + d i 2 2 = (TrX i 2 2. Corollary C[SL 2 SL 2 ] SL 2 = C[TrX 1, TrX 2, TrX 1 X 2 ].
13 Three matrices & general case The general case In [Drensky2000], the complete structure of C[M k 0 ] is calculated. Proof uses invariant theory of SO 3 known in 1947 We wrote it down more clearly, and calculated C[SL m 2 ]SL 2 for any m in the same way as previously
14 Three matrices & general case The invariants for 3 SL 2 matrices Theorem Let a = Trx 1, b = Trx 2, c = Trx 3, d = Trx 1 x 2, e = Trx 1 x 3, f = Trx 2 x 3, g = Trx 1 x 2 x 3 Trx 1 x 3 x 2. Then C[SL 3 2 ]SL 2 = C[a, b, c, d,e, f, g]/(rel, where rel = g 2 + 4a 2 + 4b 2 + 4c 2 + 4d 2 + 4e 2 + 4f 2 +2a 2 bcf + 2abc 2 d + 2ab 2 ce 4ace 4abd 4bcf + 4def b 2 e 2 a 2 f 2 c 2 d 2 2bcde 2acdf 2abef a 2 b 2 c Or: C[SL 3 2 ]SL 2 = C[a, b, c, d,e, f ] + C[a, b, c, d,e, f ] g
15 Embedding into projective space Projective space: an introduction Consider the space R { }. Denote a point by (a : b, where (a : b = (λ a : λ b x R corresponds to (x : 1 corresponds to (1 : 0 (0 : 0 is excluded Geometry on projective spaces is much more elegant: in the projective plane every two lines intersect and other nice properties. Generalize to: P n = {(x 1 :... : x n+1 C n+1 }\(0 :... : 0 /(x1 :...:x n+1 =(λ x 1 :...:λ x n+1.
16 Embedding into projective space Embedding SL 2 in a projective space Obvious choice: add determinant as extra coordinate: let Q = {(a : b : c : d : P 4 ad bc = 2 }, and dene embedding ( a b c d φ (a : b : c : d : 1 = (( a b c d : 1. The conjugation can be extended to the whole of Q: conjugating an element by M SL 2 gives: ( M ( a b c d M 1 :.
17 Embedding into projective space Embedding SL m 2 in a projective space We can send tuples of matrices to tuples of Q's, e.g.: (( ( (( ( a 1 b 1 a c 1 d 1, 2 b 2 a c 2 d 2 1 b 1 a c 1 d 1 : 1, 2 b 2 c 2 d 2 : 2. Question: how is this a projective space? Answer: by considering this as an embedding into P 24 : Q Q P (( ( 24 a 1 b 1 a c 1 d 1 : 1, 2 b 2 c 2 d 2 : 2 (a 1 a 2 : a 1 b 2 : a 1 c 2 : a 1 d 2 : a 1 2 :... : 1 a 2 : 1 b 2 : 1 c 2 : 1 d 2 : 1 2.
18 A good quotient A good quotient Denitions A categorical quotient is (Y,φ that separates the orbits as much as possible: every map ψ that is constant on orbits runs through Y : Q Q φ Y ψ θ Z, Some additional properties: good quotient. If the quotient is good and all orbits go to dierent points, then it is called a geometric quotient.
19 A good quotient Constructing the quotient For ane spaces, the map induced by the algebra of invariants is a good quotient. For example: X = SL 2 SL 2, Y = C 3 : Idea: write φ(m 1, M 2 = (TrM 1,TrM 2,TrM 1 M 2. Q Q = U α : α A a cover by open, ane, dense, SL 2 -stable subsets. For example, {(( ( } a 1 b 1 a c 1 d 1 : 1, 2 b 2 c 2 d 2 : = SL 2 2. If we glue together these quotients, we get a new quotient.
20 A good quotient The ane subset SL 2 SL 2 SL 2 SL 2 is the ane subset where via: (( ( (( ( a 1 b 1 a c 1 d 1, 2 b 2 a c 2 d 2 1 b 1 a c 1 d 1 : 1, 2 b 2 c 2 d 2 : 1. Write invariants of SL 2 SL 2 as functions on Q Q: TrM 1 2TrM 1 1 2, TrM 2 TrM ; TrM 1 M 2 TrM 1M So a good quotient is Y = {(a : b : c : d P 3 d 0}, φ : ((M 1 : 1,(M 2 : 2 ( 2 M 1 : TrM 2 1 : TrM 1 M 2 : 1 2.
21 A good quotient Another subset Subset of Q Q where (a 1 + d corresponds to M 1 SL 2 /(a 1 a 2 1 b 1 c 1 = z 2 1, a 2 d 2 b 2 c 2 = 1 via (( a 1 b 1 c 1 1 a 1,z 1, ( a 2 b 2 c 2 d 2 (( a 1 b 1 c 1 1 a 1 : z 1, ( a 2 b 2 c 2 d 2 : 1. In the classical way: C[M 1 SL 2 ] = C[z 1,TrM 2,TrM 1 M 2 ]. So a good quotient is Y = {(a : b : c : d P 3 d 0}, φ : ((M 1 : 1,(M 2 : 2 (TrM 1 TrM 2 : TrM 1 M 2 : 1 2 : TrM 1 2
22 A good quotient Glueing a quotient Setting 1 2 0, TrM 1 2 0, TrM 2 1 0, TrM 1 M 2 0, we get quotients mapping ((M 1 : 1,(M 2 : 2 to: (TrM 1 2 : TrM 2 1 : TrM 1 M 2 : 1 2 ; (TrM 1 TrM 2 : TrM 1 M 2 : 1 2 : TrM 1 2 ; (TrM 1 TrM 2 : TrM 1 M 2 : 1 2 : TrM 2 1 ; (TrM 2 1 : TrM 1 2 : TrM 1 M 2 : TrM 1 TrM 2. Combination Y = {(a : b : c : d : e ab = cd }\{(0 :... : 0 : 1}; φ maps ((M 1 : 1,(M 2 : 2 to (TrM 1 2 : TrM 2 1 : TrM 1 TrM 2 : 1 2 : TrM 1 M 2.
23 A good quotient Glueing a quotient (II LetY = {(a : b : c : d : e ab = cd }\{(0 :... : 0 : 1}; Is (Y,φ a quotient, where φ maps ((M 1 : 1,(M 2 : 2 to Theorem (TrM 1 2 : TrM 2 1 : TrM 1 TrM 2 : 1 2 : TrM 1 M 2? (Y,φ is a good quotient for the set (Q Q nn of non-nilpotent matrices. Proof. One checks: for all ane parts A, φ restricted to A is a good quotient. Can we do better than this?
24 Semi-stable and stable points Semi-stable and stable points Mumford's Geometric Invariant Theory: for what points does a good quotient exist? Denitions Let V be projective. Then x V is semi-stable if there exists a homogeneous SL 2 -invariant polynomial with strictly positive degree which does not vanish at x; x is stable if the orbit of x in the underlying ane space is closed with maximal dimension. Then: Theorem There exists a good quotient φ : X ss Y and φ restricted to the stable points is a geometric quotient.
25 Semi-stable and stable points Mumford's criterion Theorem (Mumford's criterion for SL 2 (1 Find a basis for V so that {( λ λ 1 } λ C acts on basis elements of V as λ v i = c i λ w i vi (2 A basis vector v i is said to have weight w i (3 Up to change of basis, points that are not semi-stable are spanned by positive weight vectors (4 Up to change of basis, points that are not stable are spanned by non-negative weight vectors
26 Semi-stable and stable points Mumford's criterion for one matrix Calculate action: Weights: (( a b c d ( λ 0 0 λ 1 acts as follows: : (( a λ 2 b λ 2 c d : weight( = 2; weight( = 2; weight( ,( , = 0 So: non-semi-stable points are in span of ( : nilpotent matrices All points are non-stable!
27 Semi-stable and stable points Mumford's criterion for two matrices (I The action of diag(λ,λ 1 gives as result: (( ( : 1, a 1 λ 2 b 1 a 2 λ 2 b 2 : 2. Recall: basis vectors (in P 24 were a 1 a 2, a 1 b 2,..., 1 2. Theorem A pair ((M 1 : 1,(M 2, 2 is not semi-stable i 1 matrix is nilpotent and the pair is reducible, i.e., can be conjugated to: (( 0 (, 0.
28 Semi-stable and stable points Mumford's criterion for two matrices (II The action of diag(λ,λ 1 gives as result: (( ( : 1, a 1 λ 2 b 1 a 2 λ 2 b 2 : 2. Recall: basis vectors (in P 24 were a 1 a 2, a 1 b 2,..., 1 2. Theorem A pair ((M 1 : 1,(M 2, 2 is not stable i 1 matrix is nilpotent or the pair is reducible, i.e., can be conjugated to: (( 0 (, 0.
29 Semi-stable and stable points Our quotient for Q Q Recall: We have a good quotient for (Q Q nn : (Y,φ where Y = {(a : b : c : d : e ab = cd}\{(0 : 0 : 0 : 0 : 1}, φ maps ((M 1 : 1,(M 2 : 2 to (TrM 1 2 : 1 TrM 2 : TrM 1 TrM 2 : 1 2 : TrM 1 M 2. Note that (Q Q ss (Q Q nn (Q Q s φ is a well-dened map (Q Q ss {(a : b : c : d : e ab = cd}. Is it a good quotient? Theorem φ is a geometric quotient from (Q Q s to {(x 1 : x 2 : x 3 : x 4 : x 5 x 1 x 2 = x 3 x 4, x x x 2 5 x 3 x 5 4x 2 4 0}.
30 Semi-stable and stable points More than 2 matrices Ane cover of (Q... Q nn is always possible Stable, semi-stable points can always be classied Image of (Q... Q nn : harder to determine Proving it is a geometic quotient for (Q... Q s?
31 The representation theory of SL2 Representation theory Let a group G act linearly on a vector space V : g v V. Determine possible actions up to isomorphism: forget the space V For good G, one can uniquely write V i irreducible V = V 1 V 2... V n, Classify irreducible representations Apply Mumford's criterion
32 The representation theory of SL2 Representation theory of SL 2 Let [k] = {f C[x 1, x 2 ] f is homogeneous of degree k} of dimension k + 1. For example, [2] = span{x 2 1, x 1x 2, x 2 2 }. SL 2 acts on this as follows: ( a b c d f (x1, x 2 = f (a x 1 + c x 2, b x 1 + d x 2, so ( a b c d x 2 1 = a 2 x ac x 1 x 2 + c 2 x 2 2 ; ( a b c d x1 x 2 = ab x (ad + bc x 1 x 2 + cd x 2 2 ; ( a b c d x 2 2 = b 2 x bd x 1 x 2 + d 2 x 2 2. Then [k] is the unique irreducible representation of dimension k + 1
33 The representation theory of SL2 Mumford's criterion for [k] ( λ 0 Look at weights of action of 0 λ 1 : ( λ 0 0 λ 1 f (x 1, x 2 = f (λ x 1,λ 1 x 2. So the weight of a basis vector x1 k x 2 l is k l. So: if we know the structure of Q Q as a representation, the problem is really simple!
34 Representation theory of Q... Q Representation theory of Q Fact M 0 = [2] as representations. Q was (( embedded in a 5-dimensional vector space: a b V =, c d Choose basis {( ( ( ( 0, ,, }, Theorem V = [2] + 2 [0] as representations.
35 Representation theory of Q... Q Representation theory of Q Q Theorem Let V = ([2] + 2 [0] ([2] + 2 [0], then V = [4] + 5 [2] + 5 [0]. Fact [2] [2] = [4] + [2] + [0] as SL 2 -representations. Proof. ([2] + 2 [0] 2 = [2] [2] + 2 [0] [2] + 2 [2] [0] + 4 [0] [0] = ([4] + [2] + [0] + 2 [2] + 2 [2] + 4 [0] = [4] + 5 [2] + 5 [0].
36 Representation theory of Q... Q Mumford's criterion revisited Unstable points: V = [4] + 5 [2] + 5 [0]. x 4 1 ( x 3 1 x 2 + y 2 1 ( x1 3 x 2 y1 2 ( y2 2, y3 2 ( ( ( y 2 4, y 2 5 ( ( ( 1 0 (, ( 12 0, ( Corresponds to our earlier results!
37 Representation theory of Q... Q Generalization to m > 2 Finding stable/semi-stable points is very easy Harder to keep track of the representation isomorphism Computer algebra packages might help?
38 Representation theory the executive summary Recall: irreducible representations of SL 2 are [k] of dimension k + 1 Weight of basis vector x k 1 x l 2 = k l Let Q Q be embedded in V = A 5 A 5, we constructed an explicit isomorphism V = [4] + 5 [2] + 5 [0]. Verify that Mumford's criterion gives the same result. To generalize, use computer algebra packages?
39 Conclusion & Evaluation In the ane case, C[SL m 2 ]SL 2 was determined This gives rise to a good quotient on the projective (Q... Q ss (Q... Q nn (Q... Q s Semi-simple and stable points can also be interpreted with representation theory. A good quotient for (Q... Q ss? A geometric quotient for (Q... Q s? Embedding with one coordinate added?
40 Appendix Literature W. Drensky. Dening Relations for the Algebra of Invariants of 2 2 Matrices. Algebras and Representation Theory, A. Extra. The invariants of 2 2 matrices, their algebraic relations and the corresponding moduli problem. PhD Thesis, Katholieke Universiteit Nijmegen, See for (the draft of my thesis.
On the GIT moduli of semistable pairs consisting of a plane cubic curve and a line
On the GIT moduli of semistable pairs consisting of a plane cubic curve and a line Masamichi Kuroda at Tambara Institute of Mathematical Sciences The University of Tokyo August 26, 2015 Masamichi Kuroda
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 informationMathematics 7800 Quantum Kitchen Sink Spring 2002
Mathematics 7800 Quantum Kitchen Sink Spring 2002 4. Quotients via GIT. Most interesting moduli spaces arise as quotients of schemes by group actions. We will first analyze such quotients with geometric
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationELEMENTARY 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 Hilbert-Mumford Criterion
The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic
More informationComplex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool
Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving
More informationGEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS
GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action
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 QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationCurtis Heberle MTH 189 Final Paper 12/14/2010. Algebraic Groups
Algebraic Groups Curtis Heberle MTH 189 Final Paper 12/14/2010 The primary objects of study in algebraic geometry are varieties. Having become acquainted with these objects, it is interesting to consider
More informationINTRODUCTION TO GEOMETRIC INVARIANT THEORY
INTRODUCTION TO GEOMETRIC INVARIANT THEORY JOSÉ SIMENTAL Abstract. These are the expanded notes for a talk at the MIT/NEU Graduate Student Seminar on Moduli of sheaves on K3 surfaces. We give a brief introduction
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 16. Symplectic resolutions of µ 1 (0)//G and their deformations 16.1. GIT quotients. We will need to produce a resolution of singularities for C 2n
More informationSample algebra qualifying exam
Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)
More informationD-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.
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 informationSemistable Representations of Quivers
Semistable Representations of Quivers Ana Bălibanu Let Q be a finite quiver with no oriented cycles, I its set of vertices, k an algebraically closed field, and Mod k Q the category of finite-dimensional
More informationFundamental Lemma and Hitchin Fibration
Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université Paris-Sud May 13, 2009 Introduction In this talk I shall mainly report on Ngô Bao Châu s proof of the Langlands-Shelstad Fundamental
More informationMini-Course on Moduli Spaces
Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional
More informationLinear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space
Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationThe tangent space to an enumerative problem
The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA belkale@email.unc.edu ICM, Hyderabad 2010. Enumerative
More 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 informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted
More informationCSL361 Problem set 4: Basic linear algebra
CSL361 Problem set 4: Basic linear algebra February 21, 2017 [Note:] If the numerical matrix computations turn out to be tedious, you may use the function rref in Matlab. 1 Row-reduced echelon matrices
More informationLinear Algebra, 4th day, Thursday 7/1/04 REU Info:
Linear Algebra, 4th day, Thursday 7/1/04 REU 004. Info http//people.cs.uchicago.edu/laci/reu04. Instructor Laszlo Babai Scribe Nick Gurski 1 Linear maps We shall study the notion of maps between vector
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationKähler configurations of points
Kähler configurations of points Simon Salamon Oxford, 22 May 2017 The Hesse configuration 1/24 Let ω = e 2πi/3. Consider the nine points [0, 1, 1] [0, 1, ω] [0, 1, ω 2 ] [1, 0, 1] [1, 0, ω] [1, 0, ω 2
More informationCompactifications of Siegel Modular Varieties
Compactifications of Siegel Modular Varieties David Holmes 08/02/2012 We will restrict to the case of principal polarisations and level 1, because it will ease notation and the ideas are generally all
More informationCOMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES
COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting d-tuples of commuting n n matrices that
More informationDot Products. K. Behrend. April 3, Abstract A short review of some basic facts on the dot product. Projections. The spectral theorem.
Dot Products K. Behrend April 3, 008 Abstract A short review of some basic facts on the dot product. Projections. The spectral theorem. Contents The dot product 3. Length of a vector........................
More informationK-stability and Kähler metrics, I
K-stability and Kähler metrics, I Gang Tian Beijing University and Princeton University Let M be a Kähler manifold. This means that M be a complex manifold together with a Kähler metric ω. In local coordinates
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationContents. 6 Systems of First-Order Linear Dierential Equations. 6.1 General Theory of (First-Order) Linear Systems
Dierential Equations (part 3): Systems of First-Order Dierential Equations (by Evan Dummit, 26, v 2) Contents 6 Systems of First-Order Linear Dierential Equations 6 General Theory of (First-Order) Linear
More informationProblem Set (T) If A is an m n matrix, B is an n p matrix and D is a p s matrix, then show
MTH 0: Linear Algebra Department of Mathematics and Statistics Indian Institute of Technology - Kanpur Problem Set Problems marked (T) are for discussions in Tutorial sessions (T) If A is an m n matrix,
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 2.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined
More informationAlgebra Workshops 10 and 11
Algebra Workshops 1 and 11 Suggestion: For Workshop 1 please do questions 2,3 and 14. For the other questions, it s best to wait till the material is covered in lectures. Bilinear and Quadratic Forms on
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationThe Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6
The Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6 A Dissertation in Mathematics by Evgeny Mayanskiy c 2013 Evgeny Mayanskiy Submitted in Partial
More informationContents. 2.1 Vectors in R n. Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v. 2.50) 2 Vector Spaces
Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v 250) Contents 2 Vector Spaces 1 21 Vectors in R n 1 22 The Formal Denition of a Vector Space 4 23 Subspaces 6 24 Linear Combinations and
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 informationNoncommutative compact manifolds constructed from quivers
Noncommutative compact manifolds constructed from quivers Lieven Le Bruyn Universitaire Instelling Antwerpen B-2610 Antwerp (Belgium) lebruyn@wins.uia.ac.be Abstract The moduli spaces of θ-semistable representations
More 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 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 informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationMappings of elliptic curves
Mappings of elliptic curves Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Isogenies of Elliptic Curves
More informationCS 147: Computer Systems Performance Analysis
CS 147: Computer Systems Performance Analysis Fractional Factorial Designs CS 147: Computer Systems Performance Analysis Fractional Factorial Designs 1 / 26 Overview Overview Overview Example Preparing
More informationCommuting nilpotent matrices and pairs of partitions
Commuting nilpotent matrices and pairs of partitions Roberta Basili Algebraic Combinatorics Meets Inverse Systems Montréal, January 19-21, 2007 We will explain some results on commuting n n matrices and
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 informationChanging coordinates to adapt to a map of constant rank
Introduction to Submanifolds Most manifolds of interest appear as submanifolds of others e.g. of R n. For instance S 2 is a submanifold of R 3. It can be obtained in two ways: 1 as the image of a map into
More informationLinear Algebra March 16, 2019
Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented
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 informationQueens College, CUNY, Department of Computer Science Numerical Methods CSCI 361 / 761 Spring 2018 Instructor: Dr. Sateesh Mane.
Queens College, CUNY, Department of Computer Science Numerical Methods CSCI 361 / 761 Spring 2018 Instructor: Dr. Sateesh Mane c Sateesh R. Mane 2018 8 Lecture 8 8.1 Matrices July 22, 2018 We shall study
More information(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 informationMaximum Rank Distance Codes are Generic Gabidulin Codes are Not
Maximum Rank Distance Codes are Generic Gabidulin Codes are Not Anna-Lena Horlemann-Trautmann Algorithmics Laboratory, EPF Lausanne, Switzerland April 4th, 2016 Network Coding and Designs, Dubrovnik joint
More informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More informationGroup Theory - QMII 2017
Group Theory - QMII 017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: U = e iαaxa, a = 1,..., N. We called X a the generators, we have N of them,
More informationa 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real
More informationMODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS
MODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS MIHNEA POPA 1. Lecture II: Moduli spaces and generalized theta divisors 1.1. The moduli space. Back to the boundedness problem: we want
More informationInvariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects
Invariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects R. Lercier, C. Ritzenthaler IML - CNRS (Marseille) Luminy, October 2011 Ritzenthaler (IML) Invariants Luminy, October
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More information3 Galois Theory. 3.1 Definitions and Examples
3 Galois Theory 3.1 Definitions and Examples This section of notes roughly follows Section 14.1 in Dummit and Foote. Let F be a field and let f (x) 2 F[x]. In the previous chapter, we proved that there
More informationSpring 2018 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 3
Spring 2018 CIS 610 Advanced Geometric Methods in Computer Science Jean Gallier Homework 3 March 20; Due April 5, 2018 Problem B1 (80). This problem is from Knapp, Lie Groups Beyond an Introduction, Introduction,
More informationSome remarks on Nakajima s quiver varieties of type A
Some remarks on Nakajima s quiver varieties of type A D. A. Shmelkin To cite this version: D. A. Shmelkin. Some remarks on Nakajima s quiver varieties of type A. IF_ETE. 2008. HAL Id: hal-00441483
More informationAlgebraic Geometry. Question: What regular polygons can be inscribed in an ellipse?
Algebraic Geometry Question: What regular polygons can be inscribed in an ellipse? 1. Varieties, Ideals, Nullstellensatz Let K be a field. We shall work over K, meaning, our coefficients of polynomials
More informationHARTSHORNE 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 information1. Find the solution of the following uncontrolled linear system. 2 α 1 1
Appendix B Revision Problems 1. Find the solution of the following uncontrolled linear system 0 1 1 ẋ = x, x(0) =. 2 3 1 Class test, August 1998 2. Given the linear system described by 2 α 1 1 ẋ = x +
More informationz, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1
3 3 THE RIEMANN SPHERE 31 Models for the Riemann Sphere One dimensional projective complex space P(C ) is the set of all one-dimensional subspaces of C If z = (z 1, z ) C \ 0 then we will denote by [z]
More information10. Classifying Möbius transformations: conjugacy, trace, and applications to parabolic transformations
10. Classifying Möbius transformations: conjugacy, trace, and applications to parabolic transformations 10.1 Conjugacy of Möbius transformations Before we start discussing the geometry and classification
More informationPOLYNOMIAL 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 informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous
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 informationVarieties of Characters
Sean Lawton George Mason University Fall Eastern Sectional Meeting September 25, 2016 Lawton (GMU) (AMS, September 2016) Step 1: Groups 1 Let Γ be a finitely generated group. Lawton (GMU) (AMS, September
More informationMath 396. Bijectivity vs. isomorphism
Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1
More informationK3 Surfaces and Lattice Theory
K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9
More informationComputer Graphics II
Computer Graphics II Autumn 2017-2018 Outline 1 3-D Rotations (contd.) Outline 3-D Rotations (contd.) 1 3-D Rotations (contd.) Amalgamating Steps 2, 3 & 4 Quaternions are a more compact way of solving
More informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/22043 holds various files of this Leiden University dissertation. Author: Anni, Samuele Title: Images of Galois representations Issue Date: 2013-10-24 Chapter
More informationNorm-induced partially ordered vector spaces
Stefan van Lent Norm-induced partially ordered vector spaces Bachelor thesis Thesis Supervisor: dr. O.W. van Gaans Date Bachelor Exam: 30th of June 016 Mathematisch Instituut, Universiteit Leiden Contents
More informationTRACE AND NORM KEITH CONRAD
TRACE AND NORM KEITH CONRAD 1. Introduction Let L/K be a finite extension of fields, with n = [L : K]. We will associate to this extension two important functions L K, called the trace and the norm. They
More informationLINKING INVARIANT FOR ALGEBRAIC PLANE CURVES
LINKING INVARIANT FOR ALGEBRAIC LANE CURVES BENOÎT GUERVILLE-BALLÉ Introduction The subject of our interest is the topology of algebraic plane curves (see [8, 12] for basic results). They are geometric
More informationMargulis Superrigidity I & II
Margulis Superrigidity I & II Alastair Litterick 1,2 and Yuri Santos Rego 1 Universität Bielefeld 1 and Ruhr-Universität Bochum 2 Block seminar on arithmetic groups and rigidity Universität Bielefeld 22nd
More informationThe Cayley-Hamilton Theorem and the Jordan Decomposition
LECTURE 19 The Cayley-Hamilton Theorem and the Jordan Decomposition Let me begin by summarizing the main results of the last lecture Suppose T is a endomorphism of a vector space V Then T has a minimal
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationAugust 23, 2017 Let us measure everything that is measurable, and make measurable everything that is not yet so. Galileo Galilei. 1.
August 23, 2017 Let us measure everything that is measurable, and make measurable everything that is not yet so. Galileo Galilei 1. Vector spaces 1.1. Notations. x S denotes the fact that the element x
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 information1. Affine Grassmannian for G a. Gr Ga = lim A n. Intuition. First some intuition. We always have to rst approximation
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
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
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 informationTHE MODULI SPACE OF RATIONAL FUNCTIONS OF DEGREE d
THE MODULI SPACE OF RATIONAL FUNCTIONS OF DEGREE d MICHELLE MANES. Short Introduction to Varieties For simplicity, the whole talk is going to be over C. This sweeps some details under the rug, but it s
More informationGradings on Lie Algebras of Cartan and Melikian Type
Gradings on Lie Algebras of Cartan and Melikian Type Jason McGraw Department of Mathematics and Statistics Memorial University of Newfoundland St. John's, Canada jason.mcgraw@mun.ca July 22, 2010 Jason
More informationAlgebra I Fall 2007
MIT OpenCourseWare http://ocw.mit.edu 18.701 Algebra I Fall 007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.701 007 Geometry of the Special Unitary
More informationThe derived category of a GIT quotient
September 28, 2012 Table of contents 1 Geometric invariant theory 2 3 What is geometric invariant theory (GIT)? Let a reductive group G act on a smooth quasiprojective (preferably projective-over-affine)
More informationALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.
ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K. R. MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Second Online Version, December 1998 Comments to the author at krm@maths.uq.edu.au Contents 1 LINEAR EQUATIONS
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 informationLogarithmic geometry and rational curves
Logarithmic geometry and rational curves Summer School 2015 of the IRTG Moduli and Automorphic Forms Siena, Italy Dan Abramovich Brown University August 24-28, 2015 Abramovich (Brown) Logarithmic geometry
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 information12. 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 informationConstruction of Mixed-Level Orthogonal Arrays for Testing in Digital Marketing
Construction of Mixed-Level Orthogonal Arrays for Testing in Digital Marketing Vladimir Brayman Webtrends October 19, 2012 Advantages of Conducting Designed Experiments in Digital Marketing Availability
More information