Invariant Theory and Hochschild Cohomology of Skew Group Algebras
|
|
- Charlotte Kennedy
- 5 years ago
- Views:
Transcription
1 Invariant Theory and Hochschild Cohomology of Skew Group Algebras Briana Foster-Greenwood UNT April 23, 2011 Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
2 Outline 1 Hochschild Cohomology and Associative Deformations 2 Hochschild Cohomology of Skew Group Algebras 3 Classical invariant theory tools Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
3 Hochschild Cohomology and Associative Deformations Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
4 Deformations of algebras Start with an associative F-algebra: A Adjoin a central parameter: A[t] (this will be underlying vector space structure) Define a new multiplication: a b = ab + µ 1 (a, b)t + µ 2 (a, b)t 2 + (first define for pairs of elements in A; then extend F[t]-bilinearly) Specialize to t F to get many algebras t = 0 original algebra t = 1??? Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
5 Hochschild cohomology and associative deformations A deform A[t] with multiplication a b = ab + µ 1 (a, b)t + µ 2 (a, b)t 2 + picking any old µ k s will not usually yield an associative algebra to even get started, µ 1 must be a Hochschild 2-cocycle: aµ 1 (b, c) µ 1 (ab, c) + µ 1 (a, bc) µ 1 (a, b)c = 0 Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
6 What is Hochschild cohomology? Hochschild cohomology of an algebra A 1-maps: A A 2-maps: A A A 3-maps: A A A A. HH k (A) =equivalence classes of k-maps satisfying cocycle conditions Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
7 What is Hochschild cohomology? Hochschild cohomology of an algebra A 1-maps: A A 2-maps: A A A 3-maps: A A A A. HH k (A) =equivalence classes of k-maps satisfying cocycle conditions HH 0 (A) = center of A HH 1 (A) = derivations inner derivations (can use to construct some 2-cocycles!) HH 2 (A) first multiplication maps of deformations HH 3 (A) obstructions to obtaining associative deformations Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
8 Hochschild Cohomology of Skew Group Algebras Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
9 Skew group algebras group G acts on vectorspace V group algebra CG acts on polynomial algebra S(V ) = C[v 1,..., v n ] Skew group algebra S(V )#G Elements: C-linear combos of monomials v e 1 v eng 1 n Relations: vw wv = 0 group elements multiply as in group gv = g(v)g Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
10 HH 0 (S(V )#G) - Invariant polynomials The center of a skew group algebra is the set of G-invariant polynomials: S(V ) G = {f S(V ) : g(f ) = f for all g G} Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
11 HH 0 (S(V )#G) - Invariant polynomials The center of a skew group algebra is the set of G-invariant polynomials: S(V ) G = {f S(V ) : g(f ) = f for all g G} Example - Sym 3 acts on C[x, y, z] by permuting the variables elementary symmetric polynomials f 1 = x + y + z f 2 = yz + xz + xy f 3 = xyz Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
12 HH 0 (S(V )#G) - Invariant polynomials The center of a skew group algebra is the set of G-invariant polynomials: S(V ) G = {f S(V ) : g(f ) = f for all g G} Example - Sym 3 acts on C[x, y, z] by permuting the variables elementary symmetric polynomials f 1 = x + y + z f 2 = yz + xz + xy f 3 = xyz use these to build more: e.g. 3f 5 1 7f 2f 3 is also invariant Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
13 HH 0 (S(V )#G) - Invariant polynomials The center of a skew group algebra is the set of G-invariant polynomials: S(V ) G = {f S(V ) : g(f ) = f for all g G} Example - Sym 3 acts on C[x, y, z] by permuting the variables elementary symmetric polynomials f 1 = x + y + z f 2 = yz + xz + xy f 3 = xyz use these to build more: e.g. 3f 5 1 7f 2f 3 is also invariant How many invariant polynomials are there? Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
14 HH 1 (S(V )#G) - Invariant derivations HH 1 (S(V )#G) = {invariant derivations on S(V )} Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
15 HH 1 (S(V )#G) - Invariant derivations HH 1 (S(V )#G) = {invariant derivations on S(V )} Example - Sym 3 also permutes the dual vectors x, y, z a few invariant derivations θ 0 = x + y + z θ 1 = x x + y y + z z θ 2 = yz x + xz y + xy z Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
16 HH 1 (S(V )#G) - Invariant derivations HH 1 (S(V )#G) = {invariant derivations on S(V )} Example - Sym 3 also permutes the dual vectors x, y, z a few invariant derivations θ 0 = x + y + z θ 1 = x x + y y + z z θ 2 = yz x + xz y + xy z build more by multiplying by invariant polynomials: f 3 θ 2 = xy 2 z 2 x + x 2 yz 2 y + x 2 y 2 z z Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
17 HH 1 (S(V )#G) - Invariant derivations HH 1 (S(V )#G) = {invariant derivations on S(V )} Example - Sym 3 also permutes the dual vectors x, y, z a few invariant derivations θ 0 = x + y + z θ 1 = x x + y y + z z θ 2 = yz x + xz y + xy z build more by multiplying by invariant polynomials: f 3 θ 2 = xy 2 z 2 x + x 2 yz 2 y + x 2 y 2 z z How many invariant derivations are there? Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
18 Big invariant theory description of HH(S(V )#G) Theorem (Ginzburg-Kaledin, Farinati) HH k (S(V )#G) = (S(V ) k V ) G more! Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
19 Big invariant theory description of HH(S(V )#G) Theorem (Ginzburg-Kaledin, Farinati) HH k (S(V )#G) = (S(V ) k V ) G more! The remaining summands are spaces of semi-invariants under centralizer subgroups: ( ) k c Z(g) S(V g ) (V g ) C χ (one summand per conjugacy class) Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
20 Classical invariant theory tools Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
21 Graded vector spaces and Poincaré series Start with a graded vector space: S = d 0 S d (with S d S e S d+e ) The Poincaré series for S is a power series with the coefficient of t d recording the dimension of S d : P t (S) = d 0 (dim C S d )t d Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
22 Poincaré series for C[f 1, f 2, f 3 ] C[x, y, z] Sym 3 f 1 = x + y + z, f 2 = yz + xz + xy, f 3 = xyz Build more polynomials Note: f 1, f 2, f 3 are algebraically independent, which forces all these new polynomials to be linearly independent. degree 0 1 polynomials 1 f 1 2 f 2 1, f 2 3 f 3 1, f 1f 2, f 3.. Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
23 Poincaré series for C[f 1, f 2, f 3 ] C[x, y, z] Sym 3 f 1 = x + y + z, f 2 = yz + xz + xy, f 3 = xyz Build more polynomials Note: f 1, f 2, f 3 are algebraically independent, which forces all these new polynomials to be linearly independent. degree 0 1 polynomials 1 f 1 2 f 2 1, f 2 3 f 3 1, f 1f 2, f 3.. P t (C[f 1, f 2, f 3 ]) = 1 + t + 2t 2 + 3t 3 + Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
24 Poincaré series for C[f 1, f 2, f 3 ] C[x, y, z] Sym 3 f 1 = x + y + z, f 2 = yz + xz + xy, f 3 = xyz Build more polynomials Note: f 1, f 2, f 3 are algebraically independent, which forces all these new polynomials to be linearly independent. degree 0 1 polynomials 1 f 1 2 f 2 1, f 2 3 f 3 1, f 1f 2, f 3.. P t (C[f 1, f 2, f 3 ]) = 1 + t + 2t 2 + 3t 3 + = (1 + t + t 2 + )(1 + t 2 + t 4 + )(1 + t 3 + t 6 + ) Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
25 Poincaré series for C[f 1, f 2, f 3 ] C[x, y, z] Sym 3 f 1 = x + y + z, f 2 = yz + xz + xy, f 3 = xyz Build more polynomials Note: f 1, f 2, f 3 are algebraically independent, which forces all these new polynomials to be linearly independent. degree 0 1 polynomials 1 f 1 2 f 2 1, f 2 3 f 3 1, f 1f 2, f 3.. P t (C[f 1, f 2, f 3 ]) = 1 + t + 2t 2 + 3t 3 + = (1 + t + t 2 + )(1 + t 2 + t 4 + )(1 + t 3 + t 6 + ) 1 = (1 t)(1 t 2 )(1 t 3 ) Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
26 Molien s theorem (1897) Poincaré series for ring of invariant polynomials Poincaré series for S G P t (S G ) = 1 1 G det(1 gt) g G det(1 gt) is the characteristic polynomial for the matrix of g. Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
27 Poincaré series for C[x, y, z] Sym 3 elements eigenvalues characteristic polynomial 1 1, 1, 1 (1 t) 3 (12), (13), (23) 1, 1, 1 (1 t) 2 (1 + t) (123), (321) 1, ω, ω 2 (1 t)(1 ωt)(1 ω 2 t) Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
28 Poincaré series for C[x, y, z] Sym 3 elements eigenvalues characteristic polynomial 1 1, 1, 1 (1 t) 3 (12), (13), (23) 1, 1, 1 (1 t) 2 (1 + t) (123), (321) 1, ω, ω 2 (1 t)(1 ωt)(1 ω 2 t) P t (S G ) = 1 [ ] 1 6 (1 t) (1 t) 2 (1 + t) + 2 (1 t 3 ) = 1 (1 t)(1 t 2 )(1 t 3 ) Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
29 Poincaré series for C[x, y, z] Sym 3 elements eigenvalues characteristic polynomial 1 1, 1, 1 (1 t) 3 (12), (13), (23) 1, 1, 1 (1 t) 2 (1 + t) (123), (321) 1, ω, ω 2 (1 t)(1 ωt)(1 ω 2 t) P t (S G ) = 1 [ ] 1 6 (1 t) (1 t) 2 (1 + t) + 2 (1 t 3 ) = 1 (1 t)(1 t 2 )(1 t 3 ) By comparing Poincaré series: C[f 1, f 2, f 3 ] = C[x, y, z] Sym 3 Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
30 Big invariant theory description of HH(S(V )#G) Theorem (Ginzburg-Kaledin, Farinati) HH k (S(V )#G) = (S(V ) k V ) G more! The remaining summands are spaces of semi-invariants under centralizer subgroups: ( ) k c Z(g) S(V g ) (V g ) C χ (one summand per conjugacy class) Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
31 Generalizations of Molien s theorem Tensoring with an exterior algebra Poincaré series for (S(V ) V ) G P X,Y = 1 det(1 + g Y ) G det(1 gx ) g G The coefficient of X i Y j tells you the dimension of (S i (V ) j V ) G. Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
32 Generalizations of Molien s theorem Tensoring with an exterior algebra Poincaré series for (S(V ) V ) G P X,Y = 1 det(1 + g Y ) G det(1 gx ) g G The coefficient of X i Y j tells you the dimension of (S i (V ) j V ) G. More generally, the Poincaré series for (S(V ) V C χ ) G is P X,Y = 1 χ (g) det(1 + g Y ) G det(1 gx ) g G Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
33 Predictive power of Poincaré Module structure for identity component of HH(S(V )#Alt 4) Let G = Alt 4 act irreducibly on V = C 3. Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
34 Predictive power of Poincaré Module structure for identity component of HH(S(V )#Alt 4) Let G = Alt 4 act irreducibly on V = C 3. Poincaré series for identity component of HH(S(V )#G): 1 + x 6 (1 x 2 )(1 x 3 )(1 x 4 ) + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y x 6 + (1 x 2 )(1 x 3 )(1 x 4 ) y 3 invariant polynomials invariant derivations invariant 2-forms invariant 3-forms Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
35 Predictive power of Poincaré Module structure for identity component of HH(S(V )#Alt 4) Let G = Alt 4 act irreducibly on V = C 3. Poincaré series for identity component of HH(S(V )#G): 1 + x 6 (1 x 2 )(1 x 3 )(1 x 4 ) + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y x 6 + (1 x 2 )(1 x 3 )(1 x 4 ) y 3 invariant polynomials invariant derivations invariant 2-forms invariant 3-forms Read off finitely-generated free module structure: Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
36 Predictive power of Poincaré Module structure for identity component of HH(S(V )#Alt 4) Let G = Alt 4 act irreducibly on V = C 3. Poincaré series for identity component of HH(S(V )#G): 1 + x 6 (1 x 2 )(1 x 3 )(1 x 4 ) + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y x 6 + (1 x 2 )(1 x 3 )(1 x 4 ) y 3 invariant polynomials invariant derivations invariant 2-forms invariant 3-forms Read off finitely-generated free module structure: denominators free module over R = C[f 2, f 3, f 4 ] where f 2, f 3, f 4 are algebraically independent invariant polynomials of degrees 2, 3, 4 Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
37 Predictive power of Poincaré Module structure for identity component of HH(S(V )#Alt 4) Let G = Alt 4 act irreducibly on V = C 3. Poincaré series for identity component of HH(S(V )#G): 1 + x 6 (1 x 2 )(1 x 3 )(1 x 4 ) + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y x 6 + (1 x 2 )(1 x 3 )(1 x 4 ) y 3 invariant polynomials invariant derivations invariant 2-forms invariant 3-forms Read off finitely-generated free module structure: denominators free module over R = C[f 2, f 3, f 4 ] where f 2, f 3, f 4 are algebraically independent invariant polynomials of degrees 2, 3, 4 numerators how many generators? polynomial degree? Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
38 Predictive power of Poincaré Module structure for identity component of HH(S(V )#Alt 4) Let G = Alt 4 act irreducibly on V = C 3. Poincaré series for identity component of HH(S(V )#G): 1 + x 6 (1 x 2 )(1 x 3 )(1 x 4 ) + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y + x + x 2 + 2x 3 + x 4 + x 5 (1 x 2 )(1 x 3 )(1 x 4 ) y x 6 + (1 x 2 )(1 x 3 )(1 x 4 ) y 3 invariant polynomials invariant derivations invariant 2-forms invariant 3-forms Invariant derivations: the invariant derivations are the free R-span of six derivations of polynomial degrees 1, 2, 3, 3, 4, 5 it is now a finite linear algebra problem to find all invariant derivations Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
39 Thanks! Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, / 21
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 informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More 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 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 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 informationMaximal finite subgroups of Sp(2n, Q)
Maximal finite subgroups of Sp(2n, Q) Markus Kirschmer RWTH Aachen University Groups, Rings and Group-Rings July 12, 2011 Goal Characterization Goal: Classify all conjugacy classes of maximal finite symplectic
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More information5.1 Monomials. Algebra 2
. Monomials Algebra Goal : A..: Add, subtract, multiply, and simplify polynomials and rational expressions (e.g., multiply (x ) ( x + ); simplify 9x x. x Goal : Write numbers in scientific notation. Scientific
More informationCHARACTERISTIC CLASSES
1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact
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 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 informationLarry Smith and R. E. Stong
Poincaré Duality Algebras Mod Two Larry Smith and R. E. Stong AG-INVARIANTENTHEORIE UNIVERSITY OF VIRGINIA REVISION HISTORY: FIRST TEXED AUGUST 2005 AND REVISED PERIODICALLY UNTIL THIS VERSION LAST REVISION:
More informationPoincaré Polynomial of FJRW Rings and the Group-Weights Conjecture
Brigham Young University BYU ScholarsArchive All Theses and Dissertations 2013-06-07 Poincaré Polynomial of FJRW Rings and the Group-Weights Conjecture Julian Boon Kai Tay Brigham Young University - Provo
More informationQuantum exterior algebras extended by groups
Quantum exterior algebras extended by groups Lauren Grimley 1 Christine Uhl 2 1 Spring Hill College lgrimley@shc.edu 2 St. Bonaventure University cuhl@sbu.edu June 4, 2017 Grimley (SHC) and Uhl (SBU) Truncated
More informationChapter 6: Rational Expr., Eq., and Functions Lecture notes Math 1010
Section 6.1: Rational Expressions and Functions Definition of a rational expression Let u and v be polynomials. The algebraic expression u v is a rational expression. The domain of this rational expression
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationComputational Invariant Theory
Computational Invariant Theory Gregor Kemper Technische Universität München Tutorial at ISSAC, München, July 25, 2010 moments a i,j := x i y j f(x, y)dx dy I moment invariants I 1 = a 00 (a 20 + a 02 )
More informationk times l times n times
1. Tensors on vector spaces Let V be a finite dimensional vector space over R. Definition 1.1. A tensor of type (k, l) on V is a map T : V V R k times l times which is linear in every variable. Example
More informationPast Research Sarah Witherspoon
Past Research Sarah Witherspoon I work on the cohomology, structure, and representations of various types of rings, such as Hopf algebras and group-graded algebras. My research program has involved collaborations
More informationGROUP ACTIONS ON ALGEBRAS AND THE GRADED LIE STRUCTURE OF HOCHSCHILD COHOMOLOGY
GROUP ACTIONS ON ALGEBRAS AND THE GRADED LIE STRUCTURE OF HOCHSCHILD COHOMOLOGY ANNE V. SHEPLER AND SARAH WITHERSPOON Abstract. Hochschild cohomology governs deformations of algebras, and its graded Lie
More informationReflection Groups and Invariant Theory
Richard Kane Reflection Groups and Invariant Theory Springer Introduction 1 Reflection groups 5 1 Euclidean reflection groups 6 1-1 Reflections and reflection groups 6 1-2 Groups of symmetries in the plane
More informationA method for construction of Lie group invariants
arxiv:1206.4395v1 [math.rt] 20 Jun 2012 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute
More information[06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal.
(January 14, 2009) [06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal. Let s give an algorithmic, rather than existential,
More informationPBW DEFORMATIONS OF SKEW GROUP ALGEBRAS IN POSITIVE CHARACTERISTIC
PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS IN POSITIVE CHARACTERISTIC A. V. SHEPLER AND S. WITHERSPOON Abstract. We investigate deformations of a skew group algebra that arise from a finite group acting on
More informationScissors Congruence in Mixed Dimensions
Scissors Congruence in Mixed Dimensions Tom Goodwillie Brown University Manifolds, K-Theory, and Related Topics Dubrovnik June, 2014 Plan of the talk I have been exploring the consequences of a definition.
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 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 informationLINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM
LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator
More informationNotation. For any Lie group G, we set G 0 to be the connected component of the identity.
Notation. For any Lie group G, we set G 0 to be the connected component of the identity. Problem 1 Prove that GL(n, R) is homotopic to O(n, R). (Hint: Gram-Schmidt Orthogonalization.) Here is a sequence
More informationPermutations and Polynomials Sarah Kitchen February 7, 2006
Permutations and Polynomials Sarah Kitchen February 7, 2006 Suppose you are given the equations x + y + z = a and 1 x + 1 y + 1 z = 1 a, and are asked to prove that one of x,y, and z is equal to a. We
More informationInvariants, Equivariants and Characters in Symmetric Bifurcation Theory
Proceedings of the Royal Society of Edinburgh: Submitted Paper Paper 10 November 2006 Invariants, Equivariants and Characters in Symmetric Bifurcation Theory Fernando Antoneli Ana Paula S. Dias Paul C.
More informationOutline. 1 Geometry and Commutative Algebra. 2 Singularities and Resolutions. 3 Noncommutative Algebra and Deformations. 4 Representation Theory
Outline Geometry, noncommutative algebra and representations Iain Gordon http://www.maths.ed.ac.uk/ igordon/ University of Edinburgh 16th December 2006 1 2 3 4 1 Iain Gordon Geometry, noncommutative algebra
More informationTHE DIAMOND LEMMA FOR RING THEORY
THE DIAMOND LEMMA FOR RING THEORY NOTES BY APOORVA KHARE PRESENTED TO AKAKI TIKARADZE IN ECKHART 16 ON AUG 16, 2007, THURSDAY AND TO DMITRIY BOYARCHENKO IN RYERSON ON NOV 26, 2008, WEDNESDAY It is useful
More informationSEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum
SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum Abstract. We study the semi-invariants and weights
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationLinear Algebra Review
Linear Algebra Review ORIE 4741 September 1, 2017 Linear Algebra Review September 1, 2017 1 / 33 Outline 1 Linear Independence and Dependence 2 Matrix Rank 3 Invertible Matrices 4 Norms 5 Projection Matrix
More informationx 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7
Linear Algebra and its Applications-Lab 1 1) Use Gaussian elimination to solve the following systems x 1 + x 2 2x 3 + 4x 4 = 5 1.1) 2x 1 + 2x 2 3x 3 + x 4 = 3 3x 1 + 3x 2 4x 3 2x 4 = 1 x + y + 2z = 4 1.4)
More informationWeeks 6 and 7. November 24, 2013
Weeks 6 and 7 November 4, 03 We start by calculating the irreducible representation of S 4 over C. S 4 has 5 congruency classes: {, (, ), (,, 3), (, )(3, 4), (,, 3, 4)}, so we have 5 irreducible representations.
More informationPractice problems for first midterm, Spring 98
Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.
More informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
More informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationreview To find the coefficient of all the terms in 15ab + 60bc 17ca: Coefficient of ab = 15 Coefficient of bc = 60 Coefficient of ca = -17
1. Revision Recall basic terms of algebraic expressions like Variable, Constant, Term, Coefficient, Polynomial etc. The coefficients of the terms in 4x 2 5xy + 6y 2 are Coefficient of 4x 2 is 4 Coefficient
More informationHomological mirror symmetry
Homological mirror symmetry HMS (Kontsevich 1994, Hori-Vafa 2000, Kapustin-Li 2002, Katzarkov 2002,... ) relates symplectic and algebraic geometry via their categorical structures. A symplectic manifold
More informationMATH 304 Linear Algebra Lecture 20: Review for Test 1.
MATH 304 Linear Algebra Lecture 20: Review for Test 1. Topics for Test 1 Part I: Elementary linear algebra (Leon 1.1 1.4, 2.1 2.2) Systems of linear equations: elementary operations, Gaussian elimination,
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationSOLVABLE FUSION CATEGORIES AND A CATEGORICAL BURNSIDE S THEOREM
SOLVABLE FUSION CATEGORIES AND A CATEGORICAL BURNSIDE S THEOREM PAVEL ETINGOF The goal of this talk is to explain the classical representation-theoretic proof of Burnside s theorem in finite group theory,
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
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 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 informationUnit 3 Factors & Products
1 Unit 3 Factors & Products General Outcome: Develop algebraic reasoning and number sense. Specific Outcomes: 3.1 Demonstrate an understanding of factors of whole number by determining the: o prime factors
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 informationSCHUR FUNCTORS OR THE WEYL CONSTRUCTION MATH 126 FINAL PAPER
SCHUR FUNCTORS OR THE WEYL CONSTRUCTION MATH 126 FINAL PAPER ELI BOHMER LEBOW 1. Introduction We will consider a group G with a representation on a vector space V. The vector space should be a finite dimensional
More informationSkew Calabi-Yau algebras and homological identities
Skew Calabi-Yau algebras and homological identities Manuel L. Reyes Bowdoin College Joint international AMS-RMS meeting Alba Iulia, Romania June 30, 2013 (joint work with Daniel Rogalski and James J. Zhang)
More informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
More informationSuppose A h is a flat family of non-commutative algebras, such that A 0 is commutative.
Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Then A 0 has an additional
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 informationCharacter Theory and Group Rings
Contemporary Mathematics Character Theory and Group Rings D. S. Passman Dedicated to Professor I. Martin Isaacs Abstract. While we were graduate students, Marty Isaacs and I worked together on the character
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
More informationMath 306 Topics in Algebra, Spring 2013 Homework 7 Solutions
Math 306 Topics in Algebra, Spring 203 Homework 7 Solutions () (5 pts) Let G be a finite group. Show that the function defines an inner product on C[G]. We have Also Lastly, we have C[G] C[G] C c f + c
More informationDefinition 9.1. The scheme µ 1 (O)/G is called the Hamiltonian reduction of M with respect to G along O. We will denote by R(M, G, O).
9. Calogero-Moser spaces 9.1. Hamiltonian reduction along an orbit. Let M be an affine algebraic variety and G a reductive algebraic group. Suppose M is Poisson and the action of G preserves the Poisson
More informationMATH 369 Linear Algebra
Assignment # Problem # A father and his two sons are together 00 years old. The father is twice as old as his older son and 30 years older than his younger son. How old is each person? Problem # 2 Determine
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 informationSect Least Common Denominator
4 Sect.3 - Least Common Denominator Concept #1 Writing Equivalent Rational Expressions Two fractions are equivalent if they are equal. In other words, they are equivalent if they both reduce to the same
More informationLevels in triangulated categories
Levels in triangulated categories Srikanth Iyengar University of Nebraska, Lincoln Leeds, 18th August 2006 The goal My aim is to make a case that the invariants that I call levels are useful and interesting
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 informationREPRESENTATION THEORY FOR FINITE GROUPS
REPRESENTATION THEORY FOR FINITE GROUPS SHAUN TAN Abstract. We cover some of the foundational results of representation theory including Maschke s Theorem, Schur s Lemma, and the Schur Orthogonality Relations.
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 informationExamples of numerics in commutative algebra and algebraic geo
Examples of numerics in commutative algebra and algebraic geometry MCAAG - JuanFest Colorado State University May 16, 2016 Portions of this talk include joint work with: Sandra Di Rocco David Eklund Michael
More informationPatterns and Invariants in Mathematics
Patterns and in Mathematics Professor Nicole Snashall 24th June 2017 1 / 12 Outline 1 2 3 4 2 / 12 Pinecones How many spirals are there in each direction on the pinecone? 3 / 12 Pinecones How many spirals
More informationWOMP 2001: LINEAR ALGEBRA. 1. Vector spaces
WOMP 2001: LINEAR ALGEBRA DAN GROSSMAN Reference Roman, S Advanced Linear Algebra, GTM #135 (Not very good) Let k be a field, eg, R, Q, C, F q, K(t), 1 Vector spaces Definition A vector space over k is
More informationMATHEMAGICAL FORMULAS FOR SYMMETRIC FUNCTIONS. Contents
MATHEMAGICAL FORMULAS FOR SYMMETRIC FUNCTIONS Contents The Bibliography. Basic Notations. Classical Basis of Λ. Generating Functions and Identities 4 4. Frobenius transform and Hilbert series 4 5. Plethysm
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 informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationFINITE GROUPS ACTING LINEARLY: HOCHSCHILD COHOMOLOGY AND THE CUP PRODUCT
FINITE GROUPS ACTING LINEARLY: HOCHSCHILD COHOMOLOGY AND THE CUP PRODUCT ANNE V. SHEPLER AND SARAH WITHERSPOON Abstract. When a finite group acts linearly on a complex vector space, the natural semi-direct
More informationREPRESENTATION THEORY WEEK 5. B : V V k
REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationGroup Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.
Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite
More informationGrade 8 Factorisation
ID : ae-8-factorisation [1] Grade 8 Factorisation For more such worksheets visit www.edugain.com Answer the questions (1) Find factors of following polynomial A) y 2-2xy + 3y - 6x B) 3y 2-12xy - 2y + 8x
More informationNOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some
More informationLie n-algebras, supersymmetry, and division algebras
Lie n-algebras, supersymmetry, and division algebras John Huerta Department of Mathematics UC Riverside Higher Structures IV Introduction This research began as a puzzle. Explain this pattern: The only
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 informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationLinear Algebra III Lecture 11
Linear Algebra III Lecture 11 Xi Chen 1 1 University of Alberta February 13, 2015 Outline Minimal Polynomial 1 Minimal Polynomial Minimal Polynomial The minimal polynomial f (x) of a square matrix A is
More information33 Idempotents and Characters
33 Idempotents and Characters On this day I was supposed to talk about characters but I spent most of the hour talking about idempotents so I changed the title. An idempotent is defined to be an element
More informationSolution. That ϕ W is a linear map W W follows from the definition of subspace. The map ϕ is ϕ(v + W ) = ϕ(v) + W, which is well-defined since
MAS 5312 Section 2779 Introduction to Algebra 2 Solutions to Selected Problems, Chapters 11 13 11.2.9 Given a linear ϕ : V V such that ϕ(w ) W, show ϕ induces linear ϕ W : W W and ϕ : V/W V/W : Solution.
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 informationHilbert Functions of Finite Group Orbits: Abelian and Metacyclic Groups
Hilbert Functions of Finite Group Orbits: Abelian and Metacyclic Groups A Thesis Presented to The Division of Mathematics and Natural Sciences Reed College In Partial Fulfillment of the Requirements for
More informationMath 10 - Unit 5 Final Review - Polynomials
Class: Date: Math 10 - Unit 5 Final Review - Polynomials Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Factor the binomial 44a + 99a 2. a. a(44 + 99a)
More informationINTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS
INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationOn 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 informationChapter 7: Exponents
Chapter : Exponents Algebra Chapter Notes Name: Algebra Homework: Chapter (Homework is listed by date assigned; homework is due the following class period) HW# Date In-Class Homework M / Review of Sections.-.
More informationCharacter tables for some small groups
Character tables for some small groups P R Hewitt U of Toledo 12 Feb 07 References: 1. P Neumann, On a lemma which is not Burnside s, Mathematical Scientist 4 (1979), 133-141. 2. JH Conway et al., Atlas
More informationSolutions for Math 225 Assignment #5 1
Solutions for Math 225 Assignment #5 1 (1) Find a polynomial f(x) of degree at most 3 satisfying that f(0) = 2, f( 1) = 1, f(1) = 3 and f(3) = 1. Solution. By Lagrange Interpolation, ( ) (x + 1)(x 1)(x
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More information1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det
What is the determinant of the following matrix? 3 4 3 4 3 4 4 3 A 0 B 8 C 55 D 0 E 60 If det a a a 3 b b b 3 c c c 3 = 4, then det a a 4a 3 a b b 4b 3 b c c c 3 c = A 8 B 6 C 4 D E 3 Let A be an n n matrix
More informationEigenvalues and Eigenvectors
Eigenvalues and Eigenvectors Definition 0 Let A R n n be an n n real matrix A number λ R is a real eigenvalue of A if there exists a nonzero vector v R n such that A v = λ v The vector v is called an eigenvector
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More information