Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative.

Size: px
Start display at page:

Download "Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative."

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

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

Modular representations of Cherednik algebras

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

Algebra Homework, Edition 2 9 September 2010

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

Problems in Linear Algebra and Representation Theory

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

A = A(f) = k x 1,...,x n /(f = f ij x i x j )

A = 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 information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

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

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note 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 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

Noncommutative invariant theory and Auslander s Theorem

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

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

A (Gentle) Introduction to Lie Superalgebras

A (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 information

Modular representations of Cherednik algebras associated to symmetric groups

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

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

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

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

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

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

Algebraic Number Theory and Representation Theory

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

Deformations of a noncommutative surface of dimension 4

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

Ideals: Definitions & Examples

Ideals: 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 information

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

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

Invariant Theory of AS-Regular Algebras: A Survey

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

DERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine

DERIVATIONS. 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

(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

Algebraic varieties and schemes over any scheme. Non singular varieties

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

1 Hilbert function. 1.1 Graded rings. 1.2 Graded modules. 1.3 Hilbert function

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

Gauss composition and integral arithmetic invariant theory

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

1 Fields and vector spaces

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

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

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

15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.

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

Representation Theory

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

January 2016 Qualifying Examination

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

arxiv: v1 [math.qa] 12 Sep 2007

arxiv: 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 information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

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

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

Auslander s Theorem for permutation actions on noncommutative algebras

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

Plan What is a normal formal of a mathematical object? Similarity and Congruence Transformations Jordan normal form and simultaneous diagonalisation R

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

Probabilistic Group Theory

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

Page Points Possible Points. Total 200

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

June 2014 Written Certification Exam. Algebra

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

Solutions to Example Sheet 1

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

Atiyah classes and homotopy algebras

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

Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective

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

5 Group theory. 5.1 Binary operations

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

Generators of affine W-algebras

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

1. Group Theory Permutations.

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

Transcendence in Positive Characteristic

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

FFTs in Graphics and Vision. Homogenous Polynomials and Irreducible Representations

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

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

Polynomials. Henry Liu, 25 November 2004

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

1 Absolute values and discrete valuations

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

Algebra Exam Topics. Updated August 2017

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

Auslander s Theorem for permutation actions on noncommutative algebras

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

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

Poisson Manifolds Bihamiltonian Manifolds Bihamiltonian systems as Integrable systems Bihamiltonian structure as tool to find solutions

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

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS

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

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

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

Math 203A - Solution Set 1

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

Auslander s Theorem for permutation actions on noncommutative algebras

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

Representations of Cherednik Algebras

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

Artin-Schelter regular algebras and the Steenrod algebra

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

arithmetic properties of weighted catalan numbers

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

LECTURE 16: REPRESENTATIONS OF QUIVERS

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

Math 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1.

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

Exercises on chapter 4

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

THE QUANTUM CONNECTION

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

Part 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

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

Cylindric Young Tableaux and their Properties

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

Homework 5 M 373K Mark Lindberg and Travis Schedler

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

NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES

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

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

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)

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

The Poisson Embedding Problem

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

The Hilbert-Mumford Criterion

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

Irreducible Representations of Sp(C 2l, Ω) on C 2l

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

Boij-Söderberg Theory

Boij-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 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

Cusp forms and the Eichler-Shimura relation

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

On the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem

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

x 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?

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

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

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

mit primes 2011 ConferenCe

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

RSI 2009 ABSTRACTS Anirudha Balasubramanian

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

These notes are incomplete they will be updated regularly.

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

q 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.

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

15 Elliptic curves and Fermat s last theorem

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

Math 4320 Final Exam

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

ALGEBRA QUALIFYING EXAM SPRING 2012

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

Algebra SEP Solutions

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

IMMERSE 2008: Assignment 4

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

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

The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras

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

CALCULUS 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 = 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 information

Curtis Heberle MTH 189 Final Paper 12/14/2010. Algebraic Groups

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

On algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem

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

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

The Waring rank of the Vandermonde determinant

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

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

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

ON 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 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