Representations of Cherednik Algebras

Similar documents
The Hilbert Polynomial of the Irreducible Representation of the Rational Cherednik Algebra of Type A n in Characteristic p n

Equal Compositions of Rational Functions

Counting Points on Curves of the Form y m 1 = c 1x n 1 + c 2x n 2 y m 2

Modular representations of Cherednik algebras

Chapter 2 Notes, Linear Algebra 5e Lay

Part IV. Rings and Fields

Simplifying Rational Expressions and Functions

1. Group Theory Permutations.

Mathematical Methods wk 1: Vectors

Mathematical Methods wk 1: Vectors

Math 312/ AMS 351 (Fall 17) Sample Questions for Final

Algebraic Geometry: Elliptic Curves and 2 Theorems

5 Group theory. 5.1 Binary operations

I = i 0,

Algebraic Number Theory and Representation Theory

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

2a 2 4ac), provided there is an element r in our

Fundamental theorem of modules over a PID and applications

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Kevin James. MTHSC 3110 Section 2.1 Matrix Operations

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

Rings. EE 387, Notes 7, Handout #10

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

NOTES IN COMMUTATIVE ALGEBRA: PART 2

An overview of key ideas

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

arithmetic properties of weighted catalan numbers

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

Is the Universe Uniquely Determined by Invariance Under Quantisation?

Limits of Interlacing Eigenvalues in the Tridiagonal β-hermite Matrix Model

Equations in Quadratic Form

Math 360 Linear Algebra Fall Class Notes. a a a a a a. a a a

Math Boot Camp Functions and Algebra

Linear maps. Matthew Macauley. Department of Mathematical Sciences Clemson University Math 8530, Spring 2017

Cylindric Young Tableaux and their Properties

ELEMENTARY LINEAR ALGEBRA

2 so Q[ 2] is closed under both additive and multiplicative inverses. a 2 2b 2 + b

Topics in linear algebra

Multiplying matrices by diagonal matrices is faster than usual matrix multiplication.

Math 123, Week 2: Matrix Operations, Inverses

Some practice problems for midterm 2

Homework problems from Chapters IV-VI: answers and solutions

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur

Galois Theory Overview/Example Part 1: Extension Fields. Overview:

Solving Polynomial and Rational Inequalities Algebraically. Approximating Solutions to Inequalities Graphically

Homework 5 M 373K Mark Lindberg and Travis Schedler

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall

Dot Products, Transposes, and Orthogonal Projections

Torus Knots and q, t-catalan Numbers

CLASSICAL GROUPS DAVID VOGAN

Knot Homology from Refined Chern-Simons Theory

B Sc MATHEMATICS ABSTRACT ALGEBRA

Linear Equations and Matrix

ELEMENTARY LINEAR ALGEBRA

Partial Fraction Decomposition Honors Precalculus Mr. Velazquez Rm. 254

MA441: Algebraic Structures I. Lecture 26

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

2.3. VECTOR SPACES 25

1 Matrices and Systems of Linear Equations. a 1n a 2n

Algebra SEP Solutions

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

Properties of Real Numbers

Quantum Mechanics for Scientists and Engineers. David Miller

A matrix is a rectangular array of. objects arranged in rows and columns. The objects are called the entries. is called the size of the matrix, and

Elliptic Curves, Factorization, and Cryptography

MA106 Linear Algebra lecture notes

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

Degrees of Regularity of Colorings of the Integers

A matrix is a rectangular array of. objects arranged in rows and columns. The objects are called the entries. is called the size of the matrix, and

Dual Schubert Polynomials

Section 12.4 Algebra of Matrices

Homework 3: Relative homology and excision

Solving Linear and Rational Inequalities Algebraically. Definition 22.1 Two inequalities are equivalent if they have the same solution set.

Linear Algebra Review

Algebraic structures I

Problems in Linear Algebra and Representation Theory

ELEMENTARY LINEAR ALGEBRA

Apprentice Program: Linear Algebra

Universal localization at semiprime Goldie ideals

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

2.20 Fall 2018 Math Review

1 Fields and vector spaces

ARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions

5 Structure of 2-transitive groups

CS227-Scientific Computing. Lecture 4: A Crash Course in Linear Algebra

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

Modular representations of Cherednik algebras associated to symmetric groups

Objective Type Questions

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

August 23, 2017 Let us measure everything that is measurable, and make measurable everything that is not yet so. Galileo Galilei. 1.

A connection between number theory and linear algebra

THE POLYNOMIAL REPRESENTATION OF THE TYPE A n 1 RATIONAL CHEREDNIK ALGEBRA IN CHARACTERISTIC p n

10. Linear Systems of ODEs, Matrix multiplication, superposition principle (parts of sections )

Section 2.4: Add and Subtract Rational Expressions

Hendrik De Bie. Hong Kong, March 2011

Abstract Vector Spaces and Concrete Examples

Algebra. Modular arithmetic can be handled mathematically by introducing a congruence relation on the integers described in the above example.

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

Matrix Algebra. Learning Objectives. Size of Matrix

Transcription:

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 by fixed polynomials, known as differential operators.

One nice set of operators are those d which can be written in terms of differentiation and multiplication by fixed polynomials, known as differential operators. The operator A = x x (take the derivative, then multiply by x) is one. However, the operator S 12 that replaces all x 1 s with x 2 s and vice-versa, is not.

One nice set of operators are those d which can be written in terms of differentiation and multiplication by fixed polynomials, known as differential operators. The operator A = x x (take the derivative, then multiply by x) is one. However, the operator S 12 that replaces all x 1 s with x 2 s and vice-versa, is not. The product rule yields x x = x x + 1 and x 2 x 1 = x 1 x 2. Consider the algebra generated by x 1, x 2,..., x n (multiplication by variables) and 1, 2,..., n (differentiation), subject to [x i, j ] = x i j j x i = δ ij, i.e. 1 if i = j and 0 otherwise.

Recall A = x x = x x 1.

Recall A = x x = x x 1. We have A 2 =x x x x

Recall A = x x = x x 1. We have A 2 =x x x x =x(x x + 1) x

Recall A = x x = x x 1. We have A 2 =x x x x =x(x x + 1) x =x 2 2 2 x + x x

Now, suppose we want to extend this to have, e.g. S 12. We can easily apply a similar logic to add all permutations into our algebra.

Now, suppose we want to extend this to have, e.g. S 12. We can easily apply a similar logic to add all permutations into our algebra. The Dunkl operators D i = x i c j i (x i x j ) 1 (1 S ij ) commute with each other (with c a fixed constant).

Now, suppose we want to extend this to have, e.g. S 12. We can easily apply a similar logic to add all permutations into our algebra. The Dunkl operators D i = x i c j i (x i x j ) 1 (1 S ij ) commute with each other (with c a fixed constant).they also share the familiar property of derivatives that deg Dp (deg p) 1.

Now, suppose we want to extend this to have, e.g. S 12. We can easily apply a similar logic to add all permutations into our algebra. The Dunkl operators D i = x i c j i (x i x j ) 1 (1 S ij ) commute with each other (with c a fixed constant).they also share the familiar property of derivatives that deg Dp (deg p) 1. It is apparently useful in certain fields, like the representation theory of S n.

D 1 x1 2 = x1 2 c (x 1 x i ) 1 (1 S 1i )x1 2 x 1 i 1

D 1 x1 2 = x1 2 c (x 1 x i ) 1 (1 S 1i )x1 2 x 1 i 1 =2x 1 c (x 1 x i ) 1 (x1 2 xi 2 ) i 1

D 1 x1 2 = x1 2 c (x 1 x i ) 1 (1 S 1i )x1 2 x 1 i 1 =2x 1 c (x 1 x i ) 1 (x1 2 xi 2 ) i 1 =2x 1 c i 1(x 1 + x i ) =2x 1 c(n 1)x 1 c x i

The set of linear transformations (i.e. matrices) from one (vector) space to itself, denoted End V is an algebra, with addition and scalar multiplication the obvious and multiplication being composition.

The set of linear transformations (i.e. matrices) from one (vector) space to itself, denoted End V is an algebra, with addition and scalar multiplication the obvious and multiplication being composition. A representation of an algebra is a V with a homomorphism (i.e. structure-preserving map) ρ to End V.

The set of linear transformations (i.e. matrices) from one (vector) space to itself, denoted End V is an algebra, with addition and scalar multiplication the obvious and multiplication being composition. A representation of an algebra is a V with a homomorphism (i.e. structure-preserving map) ρ to End V. For any V, there is an automatic representation of End V with the identity map, and for any A, with A an algebra, there is a obvious representation of A with ρ(x)(y) = 0 for all x A, y V. Finally, if your algebra is a field, a representation is just a vector space

Working in characteristic (mod) p > 0.

Working in characteristic (mod) p > 0. Cherednik algebras deform differential operators so that we use D i instead of x i

Working in characteristic (mod) p > 0. Cherednik algebras deform differential operators so that we use D i instead of x i In quantum mechanics, we can adjust the x i term in Dunkl operators by a factor of. Then, the x i are position vectors, D i are momenta, and the extra part is accounting for Heisenberg s Uncertainty Principle.

1 x i x i x j x i x j x k x 1 x 2 x 3 x i x j x k x l x 2 x 6 x 7 x 8 x i x 1 x 2 x 3

Dunkl: Singular Polynomials for the Symmetric Groups proved results concerning the kernel of D i D j.

Dunkl: Singular Polynomials for the Symmetric Groups proved results concerning the kernel of D i D j. Pavel et al.: Representations of Rational with Minimal Support and Torus Knots discuss Cherednik algebras with characteristic 0.

Dunkl: Singular Polynomials for the Symmetric Groups proved results concerning the kernel of D i D j. Pavel et al.: Representations of Rational with Minimal Support and Torus Knots discuss Cherednik algebras with characteristic 0. Devadas and Sun: The Polynomial Representation of the Type A n1 Rational Cherednik Algebra in Characteristic p n proves similar kinds of results for characteristic p n by extending certain results from Pavel to positive characteristic.

We are trying the case p n 1, and will ideally develop techniques or conjectures which will be used for p n + 1 and ideally more. We currently have three unproven conjectures

We are trying the case p n 1, and will ideally develop techniques or conjectures which will be used for p n + 1 and ideally more. We currently have three unproven conjectures 1. Devadas and Sun relied on a nice set of functions f i and the fact that n Df i so that the f i are singular in their case. We believe (n 1) Df i f j.

We are trying the case p n 1, and will ideally develop techniques or conjectures which will be used for p n + 1 and ideally more. We currently have three unproven conjectures 1. Devadas and Sun relied on a nice set of functions f i and the fact that n Df i so that the f i are singular in their case. We believe (n 1) Df i f j. 2. We know that D 2 x 2p+2 i = 0 for small n 1 (mod p). We hope to show that D r x rp+r i = 0 whenever n r 1 (mod p)

We are trying the case p n 1, and will ideally develop techniques or conjectures which will be used for p n + 1 and ideally more. We currently have three unproven conjectures 1. Devadas and Sun relied on a nice set of functions f i and the fact that n Df i so that the f i are singular in their case. We believe (n 1) Df i f j. 2. We know that D 2 x 2p+2 i = 0 for small n 1 (mod p). We hope to show that D r x rp+r i = 0 whenever n r 1 (mod p) 3. We also conjecture that, for t 3 (and showed this for t = 0, 1, 2): t Dy t 1 x1 s = ( c) r s! (s r)! f (r) r=0 where f (0) = a=s t x 1 a, f (1) = a+b=s t f (2) = a+b+c=s t 1 i j 1 x 1 ax i b xj c, etc. i 1 x a 1 x b i,

I would like to thank: My mentor, Gus Lonergan My parents and the PRIMES Program, especially Pavel for his help with the project and Tanya for her help with the presentation.