Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative.
|
|
- Kathryn Darlene Johnston
- 5 years ago
- Views:
Transcription
1 Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative.
2 Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Then A 0 has an additional operation called a Poisson bracket, ab ba {a, b} = lim. h 0 h
3 Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Then A 0 has an additional operation called a Poisson bracket, ab ba {a, b} = lim. h 0 h The Poisson algebra (A 0, {, }) retains a great deal of information about the non-commutative family A h.
4 Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Then A 0 has an additional operation called a Poisson bracket, ab ba {a, b} = lim. h 0 h The Poisson algebra (A 0, {, }) retains a great deal of information about the non-commutative family A h. In particular, the Poisson homology HP 0 of A 0 gives an upper bound on the number of irreducible representations of the non-commutative family A h : #Irreps(A h ) dim HP 0 (A 0 ).
5 Michael Zhang, Yongyi Chen MIT PRIMES May 21, 2011
6 POISSON ALGEBRAS Let A be a commutative algebra over a field F.
7 POISSON ALGEBRAS Let A be a commutative algebra over a field F. A Poisson bracket on A is a map {, } : A A A satisfying the following properties:
8 POISSON ALGEBRAS Let A be a commutative algebra over a field F. A Poisson bracket on A is a map {, } : A A A satisfying the following properties: Skew-symmetry: {x, y} = {y, x}
9 POISSON ALGEBRAS Let A be a commutative algebra over a field F. A Poisson bracket on A is a map {, } : A A A satisfying the following properties: Skew-symmetry: {x, y} = {y, x} Bilinearity: {z, ax + by} = a{z, x} + b{z, y} for all a, b F
10 POISSON ALGEBRAS Let A be a commutative algebra over a field F. A Poisson bracket on A is a map {, } : A A A satisfying the following properties: Skew-symmetry: {x, y} = {y, x} Bilinearity: {z, ax + by} = a{z, x} + b{z, y} for all a, b F Jacobi Identity: {x, {y, z}} + {z, {x, y}} + {y, {z, x}} = 0
11 POISSON ALGEBRAS Let A be a commutative algebra over a field F. A Poisson bracket on A is a map {, } : A A A satisfying the following properties: Skew-symmetry: {x, y} = {y, x} Bilinearity: {z, ax + by} = a{z, x} + b{z, y} for all a, b F Jacobi Identity: {x, {y, z}} + {z, {x, y}} + {y, {z, x}} = 0 Leibniz Rule: {x, yz} = y{x, z} + z{x, y}
12 POISSON ALGEBRAS Let A be a commutative algebra over a field F. A Poisson bracket on A is a map {, } : A A A satisfying the following properties: Skew-symmetry: {x, y} = {y, x} Bilinearity: {z, ax + by} = a{z, x} + b{z, y} for all a, b F Jacobi Identity: {x, {y, z}} + {z, {x, y}} + {y, {z, x}} = 0 Leibniz Rule: {x, yz} = y{x, z} + z{x, y} We call (A, {, }) a Poisson algebra.
13 POISSON BRACKET We define a Poisson bracket on F[x 1,..., x n, y 1,..., y n ] by
14 POISSON BRACKET We define a Poisson bracket on F[x 1,..., x n, y 1,..., y n ] by {x i, x j } = {y i, y j } = 0;
15 POISSON BRACKET We define a Poisson bracket on F[x 1,..., x n, y 1,..., y n ] by {x i, x j } = {y i, y j } = 0; { 1, if i = j {y i, x j } = δ ij := 0, otherwise.
16 POISSON BRACKET We define a Poisson bracket on F[x 1,..., x n, y 1,..., y n ] by {x i, x j } = {y i, y j } = 0; { 1, if i = j {y i, x j } = δ ij := 0, otherwise. Example {xy, y 2 } = x{y, y 2 } + y{x, y 2 } = 0 + y(2y{x, y}) = 2y 2.
17 REPRESENTATIONS An n-dimensional representation of a finite group G is a homomorphism ρ : G GL(n).
18 REPRESENTATIONS An n-dimensional representation of a finite group G is a homomorphism ρ : G GL(n). Example Let G = Dic n := a, b a 2n = 1, b 4 = 1, b 1 ab = a 1.
19 REPRESENTATIONS An n-dimensional representation of a finite group G is a homomorphism ρ : G GL(n). Example Let G = Dic n := a, b a 2n = 1, b 4 = 1, b 1 ab = a 1. Let ω be a primitive (2n)th root of unity in a field F, and let ρ : G GL(2, F) be defined by:
20 REPRESENTATIONS An n-dimensional representation of a finite group G is a homomorphism ρ : G GL(n). Example Let G = Dic n := a, b a 2n = 1, b 4 = 1, b 1 ab = a 1. Let ω be a primitive (2n)th root of unity in a field F, and let ρ : G GL(2, F) be defined by: ρ(a) = [ ω 0 ] 0 ω 1 and ρ(b) = [ ] 0 i. i 0
21 REPRESENTATIONS An n-dimensional representation of a finite group G is a homomorphism ρ : G GL(n). Example Let G = Dic n := a, b a 2n = 1, b 4 = 1, b 1 ab = a 1. Let ω be a primitive (2n)th root of unity in a field F, and let ρ : G GL(2, F) be defined by: ρ(a) = [ ω 0 ] 0 ω 1 Then ρ is a representation of G. and ρ(b) = [ ] 0 i. i 0
22 INVARIANT POLYNOMIAL ALGEBRAS Let R = F[x 1,..., x n, y 1,..., y n ] and let G be a group acting on R.
23 INVARIANT POLYNOMIAL ALGEBRAS Let R = F[x 1,..., x n, y 1,..., y n ] and let G be a group acting on R. Definition We denote by R G the invariant polynomial algebra of R with respect to G, i.e. the set of all r R such that g r = r for all g G.
24 INVARIANT POLYNOMIAL ALGEBRAS Let R = F[x 1,..., x n, y 1,..., y n ] and let G be a group acting on R. Definition We denote by R G the invariant polynomial algebra of R with respect to G, i.e. the set of all r R such that g r = r for all g G. Example Let S 2 act on R = F[x 1, x 2, y 1, y 2 ] by permuting indices (e.g. (12) x 1 = x 2 ). Then R S 2 is generated by the invariants x 1 + x 2, y 1 + y 2, x 1 x 2, y 1 y 2 and x 1 y 1 + x 2 y 2.
25 INVARIANT POLYNOMIAL ALGEBRAS Example Let C n = g g n = 1 act on R = F[x, y] in the following way, where ω is a primitive nth root of unity: g x = ωx and g y = ω 1 y.
26 INVARIANT POLYNOMIAL ALGEBRAS Example Let C n = g g n = 1 act on R = F[x, y] in the following way, where ω is a primitive nth root of unity: g x = ωx and g y = ω 1 y. Then R C n is generated by x n, y n, and xy.
27 PROBLEM STATEMENT AND PAST RESULTS Definition For any Poisson algebra A, we denote by {A, A} the linear span of all elements {f, g} for f, g A.
28 PROBLEM STATEMENT AND PAST RESULTS Definition For any Poisson algebra A, we denote by {A, A} the linear span of all elements {f, g} for f, g A. Definition The Poisson homology HP 0 (A) of a Poisson algebra A, is HP 0 (A) := A/{A, A}.
29 PROBLEM STATEMENT AND PAST RESULTS Definition For any Poisson algebra A, we denote by {A, A} the linear span of all elements {f, g} for f, g A. Definition The Poisson homology HP 0 (A) of a Poisson algebra A, is HP 0 (A) := A/{A, A}. P. Etingof and T. Schedler proved using algebraic geometric methods (D-modules) that for F = C or Q, HP 0 is finite-dimensional in many examples, including those coming from group invariants.
30 PROBLEM STATEMENT AND PAST RESULTS Definition For any Poisson algebra A, we denote by {A, A} the linear span of all elements {f, g} for f, g A. Definition The Poisson homology HP 0 (A) of a Poisson algebra A, is HP 0 (A) := A/{A, A}. P. Etingof and T. Schedler proved using algebraic geometric methods (D-modules) that for F = C or Q, HP 0 is finite-dimensional in many examples, including those coming from group invariants. We compute HP 0 when F = F p. In this case, HP 0 is infinite-dimensional.
31 COMPUTATIONS We form a grading A/{A, A} := n 0 A n into finite-dimensional pieces A n consisting of homogeneous polynomials of degree n.
32 COMPUTATIONS We form a grading A/{A, A} := n 0 A n into finite-dimensional pieces A n consisting of homogeneous polynomials of degree n. Definition We consider the Hilbert Series h(hp 0 ; t) := dima n t n
33 COMPUTATIONS We form a grading A/{A, A} := n 0 A n into finite-dimensional pieces A n consisting of homogeneous polynomials of degree n. Definition We consider the Hilbert Series h(hp 0 ; t) := dima n t n This is just a generating function with formal variable t formed from the grading.
34 RESULTS FOR F[x, y] G We have examined the 2-dimensional case F[x, y] G.
35 RESULTS FOR F[x, y] G We have examined the 2-dimensional case F[x, y] G. We proved:
36 RESULTS FOR F[x, y] G We have examined the 2-dimensional case F[x, y] G. We proved: Theorem If G = Cyc n acts by unity, for p > n, h(hp 0 (A); t) = [ ] ω 0 0 ω 1 where ω is a primitive nth root of n 2 t 2m + t2p 2 (1 + t np ) m=0 (1 t 2p )(1 t np )
37 RESULTS FOR F[x, y] G We have examined the 2-dimensional case F[x, y] G. We proved: Theorem If G = Cyc n acts by unity, for p > n, h(hp 0 (A); t) = [ ] ω 0 0 ω 1 where ω is a primitive nth root of n 2 t 2m + t2p 2 (1 + t np ) m=0 (1 t 2p )(1 t np ) For small p coprime with n, we prove a similar, but more complicated formula.
38 RESULTS FOR SUBGROUPS OF SL 2 (C) Subgroups of SL 2 (C) have integers attached called "exponents" m i, and a Coxeter number h.
39 RESULTS FOR SUBGROUPS OF SL 2 (C) Subgroups of SL 2 (C) have integers attached called "exponents" m i, and a Coxeter number h. We have the well-known: Theorem For subgroups G of SL 2 (C), and A = C[x, y] G, the Hilbert series of HP 0 (A) is: h(hp 0 ; t) = t 2(m i 1)
40 RESULTS FOR SUBGROUPS OF SL 2 (C) Subgroups of SL 2 (C) have integers attached called "exponents" m i, and a Coxeter number h. We have the well-known: Theorem For subgroups G of SL 2 (C), and A = C[x, y] G, the Hilbert series of HP 0 (A) is: h(hp 0 ; t) = t 2(m i 1) Conjecture For subgroups G of SL 2 (C), and A = F p [x, y] G, the Hilbert series of HP 0 (A) is h(hp 0 (A); t) = t 2(mi 1) + t 2(p 1) 1 + t h (1 t a )(1 t b ), and a and b are degrees of the primary invariants.
41 FUTURE DIRECTIONS We will try to prove the afore-mentioned conjecture for subgroups of SL 2 (C). These are the dicylic group Dic n and the exceptional groups E 6, E 7, E 8.
42 FUTURE DIRECTIONS We will try to prove the afore-mentioned conjecture for subgroups of SL 2 (C). These are the dicylic group Dic n and the exceptional groups E 6, E 7, E 8. The conjecture is a theorem already for large p. We will prove it for all p > h.
43 FUTURE DIRECTIONS We will try to prove the afore-mentioned conjecture for subgroups of SL 2 (C). These are the dicylic group Dic n and the exceptional groups E 6, E 7, E 8. The conjecture is a theorem already for large p. We will prove it for all p > h. We intend to extend our analysis of HP 0 to polynomial algebras of higher dimension, such as F[x 1, x 2, y 1, y 2 ] G.
44 FUTURE DIRECTIONS, CONT. In MAGMA, we computed the Poisson homology of cones of smooth plane curves. Based on these computations we make the following:
45 FUTURE DIRECTIONS, CONT. In MAGMA, we computed the Poisson homology of cones of smooth plane curves. Based on these computations we make the following: Conjecture Let A be the algebra F p [x, y, z]/q(x, y, z) of functions on the cone X of a smooth plane curve of degree d (that is, Q is nonsingular, and homogeneous of degree d). Then, h(hp 0 (A); t) = (1 td 1 ) 3 (1 t) 3 + t p+d 3 f (t p ) where f (z) = (1 z) 2 d 2 (2g (2g 1)z + where g = (d 1)(d 2) 2 is the genus of the curve. j=0 z j )
46 ACKNOWLEDGEMENTS Thank you to the MIT PRIMES program for making this all possible.
47 ACKNOWLEDGEMENTS Thank you to the MIT PRIMES program for making this all possible. Thank you to Pavel Etingof and Travis Schedler for the proposal of the problem and their advice throughout the project.
48 ACKNOWLEDGEMENTS Thank you to the MIT PRIMES program for making this all possible. Thank you to Pavel Etingof and Travis Schedler for the proposal of the problem and their advice throughout the project. Thank you to our mentor, David Jordan, for being a great teacher, providing guidance and taking the significant time to help us out.
On zeroth Poisson homology in positive characteristic. Yongyi Chen and Michael Zhang
On zeroth Poisson homology in positive characteristic Yongyi Chen and Michael Zhang 1 Abstract A Poisson algebra is a commutative algebra with a Lie bracket {, } satisfying the Leibniz rule. Such algebras
More informationThe Hilbert Polynomial of the Irreducible Representation of the Rational Cherednik Algebra of Type A n in Characteristic p n
The Hilbert Polynomial of the Irreducible Representation of the Rational Cherednik Algebra of Type A n in Characteristic p n Merrick Cai Mentor: Daniil Kalinov, MIT Kings Park High School May 19-20, 2018
More informationModular representations of Cherednik algebras
Modular representations of Cherednik algebras Sheela Devadas and Steven Sam Second Annual MIT PRIMES Conference, May 19, 2012 Representations of Cherednik Algebras The Cherednik algebra H,c (G, h) is a
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationA = A(f) = k x 1,...,x n /(f = f ij x i x j )
Noncommutative Algebraic Geometry Shanghai September 12-16, 211 Calabi-Yau algebras linked to Poisson algebras Roland Berger (Saint-Étienne, France (jointly Anne Pichereau Calabi-Yau algebras viewed as
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 1.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationSpherical varieties and arc spaces
Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected
More informationNoncommutative invariant theory and Auslander s Theorem
Noncommutative invariant theory and Auslander s Theorem Miami University Algebra Seminar Robert Won Wake Forest University Joint with Jason Gaddis, Ellen Kirkman, and Frank Moore arxiv:1707.02822 November
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationA (Gentle) Introduction to Lie Superalgebras
A (Gentle Introduction to Lie Superalgebras David Ridout Department of Theoretical Physics & Mathematical Sciences Institute, Australian National University April 29, 2011 Lie Algebras and Superalgebras
More informationModular representations of Cherednik algebras associated to symmetric groups
Modular representations of Cherednik algebras associated to symmetric groups Sheela Devadas, Carl Lian, and Steven Sam May 21, 2011 Complex Reflection Groups and the Cherednik Algebra Let h be an n-dimensional
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 information1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by
Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.
More informationIdeals of three dimensional Artin-Schelter regular algebras. Koen De Naeghel Thesis Supervisor: Michel Van den Bergh
Ideals of three dimensional Artin-Schelter regular algebras Koen De Naeghel Thesis Supervisor: Michel Van den Bergh February 17, 2006 Polynomial ring Put k = C. Commutative polynomial ring S = k[x, y,
More informationAlgebraic Number Theory and Representation Theory
Algebraic Number Theory and Representation Theory MIT PRIMES Reading Group Jeremy Chen and Tom Zhang (mentor Robin Elliott) December 2017 Jeremy Chen and Tom Zhang (mentor Robin Algebraic Elliott) Number
More informationDeformations of a noncommutative surface of dimension 4
Deformations of a noncommutative surface of dimension 4 Sue Sierra University of Edinburgh Homological Methods in Algebra and Geometry, AIMS Ghana 2016 In this talk, I will describe the work of my student
More informationIdeals: Definitions & Examples
Ideals: Definitions & Examples Defn: An ideal I of a commutative ring R is a subset of R such that for a, b I and r R we have a + b, a b, ra I Examples: All ideals of Z have form nz = (n) = {..., n, 0,
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationInvariant Theory of AS-Regular Algebras: A Survey
Invariant Theory of AS-Regular Algebras: A Survey Ellen Kirkman Maurice Auslander Distinguished Lectures and International Conference April 20, 2013 Collaborators Jacque Alev Kenneth Chan James Kuzmanovich
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
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
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 informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More information1 Hilbert function. 1.1 Graded rings. 1.2 Graded modules. 1.3 Hilbert function
1 Hilbert function 1.1 Graded rings Let G be a commutative semigroup. A commutative ring R is called G-graded when it has a (weak direct sum decomposition R = i G R i (that is, the R i are additive subgroups,
More informationGauss composition and integral arithmetic invariant theory
Gauss composition and integral arithmetic invariant theory David Zureick-Brown (Emory University) Anton Gerschenko (Google) Connections in Number Theory Fall Southeastern Sectional Meeting University of
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More 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 information15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.
15. Polynomial rings Definition-Lemma 15.1. Let R be a ring and let x be an indeterminate. The polynomial ring R[x] is defined to be the set of all formal sums a n x n + a n 1 x n +... a 1 x + a 0 = a
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More informationJanuary 2016 Qualifying Examination
January 2016 Qualifying Examination If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems, in principle,
More informationarxiv: v1 [math.qa] 12 Sep 2007
ON THE LOWER CENTRAL SERIES OF AN ASSOCIATIVE ALGEBRA arxiv:0709.1905v1 [math.qa] 12 Sep 2007 GALYNA DOBROVOLSKA, JOHN KIM, AND XIAOGUANG MA (with an appendix by Pavel Etingof) 1. Introduction Let A be
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Joint with Ellen Kirkman, W. Frank Moore, Robert Won Invariant Theory Throughout,
More informationPlan What is a normal formal of a mathematical object? Similarity and Congruence Transformations Jordan normal form and simultaneous diagonalisation R
Pencils of skew-symmetric matrices and Jordan-Kronecker invariants Alexey Bolsinov, Loughborough University September 25-27, 27 Journée Astronomie et Systèmes Dynamiques MCCE / Observatoire de Paris Plan
More informationProbabilistic Group Theory
MINGLE 2014 September, 2014 Introduction A well known fact: Groups are algebraic structures which arise naturally throughout mathematics, both pure and applied. A not well known fact: Probability has been
More informationPage Points Possible Points. Total 200
Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10
More informationJune 2014 Written Certification Exam. Algebra
June 2014 Written Certification Exam Algebra 1. Let R be a commutative ring. An R-module P is projective if for all R-module homomorphisms v : M N and f : P N with v surjective, there exists an R-module
More informationSolutions to Example Sheet 1
Solutions to Example Sheet 1 1 The symmetric group S 3 acts on R 2, by permuting the vertices of an equilateral triangle centered at 0 Choose a basis of R 2, and for each g S 3, write the matrix of g in
More informationAtiyah classes and homotopy algebras
Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten
More informationLesson 2 The Unit Circle: A Rich Example for Gaining Perspective
Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective Recall the definition of an affine variety, presented last lesson: Definition Let be a field, and let,. Then the affine variety, denoted
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationGenerators of affine W-algebras
1 Generators of affine W-algebras Alexander Molev University of Sydney 2 The W-algebras first appeared as certain symmetry algebras in conformal field theory. 2 The W-algebras first appeared as certain
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationTranscendence in Positive Characteristic
Transcendence in Positive Characteristic Introduction to Function Field Transcendence W. Dale Brownawell Matthew Papanikolas Penn State University Texas A&M University Arizona Winter School 2008 March
More informationFFTs in Graphics and Vision. Homogenous Polynomials and Irreducible Representations
FFTs in Graphics and Vision Homogenous Polynomials and Irreducible Representations 1 Outline The 2π Term in Assignment 1 Homogenous Polynomials Representations of Functions on the Unit-Circle Sub-Representations
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationPolynomials. Henry Liu, 25 November 2004
Introduction Polynomials Henry Liu, 25 November 2004 henryliu@memphis.edu This brief set of notes contains some basic ideas and the most well-known theorems about polynomials. I have not gone into deep
More information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Introduction This project is joint work with my collaborators at Wake Forest University.
More informationGraded maximal Cohen-Macaulay modules over. Noncommutative graded Gorenstein isolated singularities. Kenta Ueyama. ICRA XV, Bielefeld, August 2012
Graded maximal Cohen-Macaulay modules over noncommutative graded Gorenstein isolated singularities Shizuoka University, Japan ICRA XV, Bielefeld, August 2012 Notations Throughout this talk, k : an algebraically
More informationPoisson Manifolds Bihamiltonian Manifolds Bihamiltonian systems as Integrable systems Bihamiltonian structure as tool to find solutions
The Bi hamiltonian Approach to Integrable Systems Paolo Casati Szeged 27 November 2014 1 Poisson Manifolds 2 Bihamiltonian Manifolds 3 Bihamiltonian systems as Integrable systems 4 Bihamiltonian structure
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 informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras Robert Won Joint with Jason Gaddis, Ellen Kirkman, and Frank Moore AMS Western Sectional Meeting, Pullman, WA April 23, 2017 1 / 22
More informationRepresentations of Cherednik Algebras
Representations of Matthew Lipman Mentor: Gus Lonergan Sixth Annual MIT-PRIMES Conference May 21, 2016 One nice set of operators are those d which can be written in terms of differentiation and multiplication
More informationArtin-Schelter regular algebras and the Steenrod algebra
Artin-Schelter regular algebras and the Steenrod algebra J. H. Palmieri and J. J. Zhang University of Washington Los Angeles, 10 October 2010 Exercise Let A(1) be the sub-hopf algebra of the mod 2 Steenrod
More informationarithmetic properties of weighted catalan numbers
arithmetic properties of weighted catalan numbers Jason Chen Mentor: Dmitry Kubrak May 20, 2017 MIT PRIMES Conference background: catalan numbers Definition The Catalan numbers are the sequence of integers
More informationLECTURE 16: REPRESENTATIONS OF QUIVERS
LECTURE 6: REPRESENTATIONS OF QUIVERS IVAN LOSEV Introduction Now we proceed to study representations of quivers. We start by recalling some basic definitions and constructions such as the path algebra
More informationMath 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1.
Math 611 Homework 6 Paul Hacking November 19, 2015 All rings are assumed to be commutative with 1. (1) Let R be a integral domain. We say an element 0 a R is irreducible if a is not a unit and there does
More informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
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 informationRepresentation 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 informationPart 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form
Commutative Algebra Homework 3 David Nichols Part 1 Exercise 2.6 For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form m 0 + m
More informationCylindric Young Tableaux and their Properties
Cylindric Young Tableaux and their Properties Eric Neyman (Montgomery Blair High School) Mentor: Darij Grinberg (MIT) Fourth Annual MIT PRIMES Conference May 17, 2014 1 / 17 Introduction Young tableaux
More informationHomework 5 M 373K Mark Lindberg and Travis Schedler
Homework 5 M 373K Mark Lindberg and Travis Schedler 1. Artin, Chapter 3, Exercise.1. Prove that the numbers of the form a + b, where a and b are rational numbers, form a subfield of C. Let F be the numbers
More informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationRational Points on Curves in Practice. Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017
Rational Points on Curves in Practice Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017 The Problem Let C be a smooth projective and geometrically
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationThe Poisson Embedding Problem
The Poisson Embedding Problem Symposium in honor of Alan Weinstein Aaron McMillan Fraenkel Boston College July 2013 Notation / Terminology By a Poisson structure on a space X, we mean: A geometric space
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 informationIrreducible Representations of Sp(C 2l, Ω) on C 2l
Irreducible Representations of Sp(C 2l, Ω) on C 2l Department of Mathematics University of Texas at Arlington Arlington, TX USA March, 2016 We fix G GL C (N) to be a reductive linear algebraic group. By
More informationBoij-Söderberg Theory
? September 16, 2013 Table of contents? 1? 2 3 4 5 6 Preface? In this presentation we try to give an outline on a new theory on free resolutions. This theory is named after two Swedish mathematicians Mats
More informationbut 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 informationCusp forms and the Eichler-Shimura relation
Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact
More informationOn the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem
On the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem Tessa B. McMullen Ethan A. Smith December 2013 1 Contents 1 Universal Enveloping Algebra 4 1.1 Construction of the Universal
More informationx 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?
1 How many natural numbers are between 1.5 and 4.5 on the number line? 2 How many composite numbers are between 7 and 13 on the number line? 3 How many prime numbers are between 7 and 20 on the number
More informationA Numerical Criterion for Lower bounds on K-energy maps of Algebraic manifolds
A Numerical Criterion for Lower bounds on K-energy maps of Algebraic manifolds Sean Timothy Paul University of Wisconsin, Madison stpaul@math.wisc.edu Outline Formulation of the problem: To bound the Mabuchi
More informationThe number of homomorphisms from a finite group to a general linear group
The number of homomorphisms from a finite group to a general linear group Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England m.liebeck@ic.ac.uk Aner Shalev Institute of
More informationmit primes 2011 ConferenCe
mit primes 2011 ConferenCe 2011 MIT-PRIMES CONFERENCE Program for Research In Mathematics, Engineering, and Science for High School Students 11:45 am: Session 3 Representation Theory I Sheela Devadas and
More informationRSI 2009 ABSTRACTS Anirudha Balasubramanian
RSI 2009 ABSTRACTS Anirudha Balasubramanian On the Lower Central Series Quotients of a Graded Associative Algebra Martina Balagović Let A be a noncommutative associative algebra, viewed as a Lie algebra
More informationThese notes are incomplete they will be updated regularly.
These notes are incomplete they will be updated regularly. LIE GROUPS, LIE ALGEBRAS, AND REPRESENTATIONS SPRING SEMESTER 2008 RICHARD A. WENTWORTH Contents 1. Lie groups and Lie algebras 2 1.1. Definition
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationMath 4320 Final Exam
Math 4320 Final Exam 2:00pm 4:30pm, Friday 18th May 2012 Symmetry, as wide or as narrow as you may define its meaning, is one idea by which man through the ages has tried to comprehend and create order,
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationIMMERSE 2008: Assignment 4
IMMERSE 2008: Assignment 4 4.) Let A be a ring and set R = A[x,...,x n ]. For each let R a = A x a...xa. Prove that is an -graded ring. a = (a,...,a ) R = a R a Proof: It is necessary to show that (a)
More informationMonodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.
Monodromy of the Dwork family, following Shepherd-Barron 1. The Dwork family. Consider the equation (f λ ) f λ (X 0, X 1,..., X n ) = λ(x n+1 0 + + X n+1 n ) (n + 1)X 0... X n = 0, where λ is a free parameter.
More informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
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 informationOn algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem
s The s s The The term s is usually used to describe the equality of, on one hand, analytic invariants of certain operators on smooth manifolds and, on the other hand, topological/geometric invariants
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationThe Waring rank of the Vandermonde determinant
The Waring rank of the Vandermonde determinant Alexander Woo (U. Idaho) joint work with Zach Teitler(Boise State) SIAM Conference on Applied Algebraic Geometry, August 3, 2014 Waring rank Given a polynomial
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationON THE COHEN-MACAULAYNESS OF CERTAIN HYPERPLANE ARRANGEMENTS SPUR FINAL PAPER, SUMMER 2014
ON THE COHEN-MACAULAYNESS OF CERTAIN HYPERPLANE ARRANGEMENTS SPUR FINAL PAPER, SUMMER 2014 AARON BROOKNER AND DAVID CORWIN Projected suggested by: Prof. Pavel Etingof Abstract. Inspired by the representation
More information