On the Grothendieck Ring of a Hopf Algebra
|
|
- Gwen Hall
- 5 years ago
- Views:
Transcription
1 On the Grothendieck Ring of a Hopf Algebra H is a fin. dim l Hopf algebra over an alg. closed field k of char p 0, with augmentation ε, antipode S,.... (1) Grothendieck ring and character algebra The Grothendieck ring G 0 (H) is the abelian group generated by the iso. classes [V ] of finite dim l (right) H-modules V modulo the relations [V ] = [U] + [W ] for each s.e.s. 0 U V W 0. The iso. classes of simple modules form a Z-basis. Multiplication is given by = k. The character algebra R(H) is the k-subalgebra of H that is generated by the image of the character map χ : G 0 (H) H, [V ] χ V, where χ V (h) = trace V/k (v hv). Some basic relations: R(H) = G 0 (H) Z k and R(H) = ([H, H] + rad H) C(H) := [H, H] H. Here, C(H) = Cocom H is the algebra of trace forms on H. 1
2 Some examples: H = kg: (G a finite group) R(H) = k T (G) reg C(H) = k T (G) H = k G. Here T (G) is the set of conjugacy classes of G and T (G) reg the set of p-regular conj. classes. Furthermore, via Brauer characters, G 0 (H) G 0 (H) Z C = C T (G) reg. H = (kg) : G 0 (H) = ZG and R(H) = C(H) = H = kg. H = u(sl 2 ): (p > 2) where f p (X) = f p (X) = Let v G 0 (H) denote the class of the canonical 2-dim l H-module. Then G 0 (H) = Z[v] = Z[X]/ ( (X 2)f p (X) 2), (p 1)/2 k=0 (p 1)/2 k=0 ( 1) a p,k ( k + ap,k a p,k ) X k, a p,k = (p 1 2k)/4. ( 1) a p,k ( k+a p,k a p,k ) X k, a p,k = (p 1 2k)/4. is irreducible and satisfies f p (X) = (X 2) p 1 2 mod p. Thus: R(H) = k[x]/ ((X 2) p ) = kc p. 2
3 (2) On the class equation Assume H semisimple Some generalities: G 0 (H) is a semiprime ring with involution given by [V ] = [V ]. The form.,. : G 0 (H) G 0 (H) Z that is defined by [V ], [W ] = dim k Hom H (V, W ) is bilinear, associative, symmetric, and -invariant. A set of dual Z-bases of G 0 (H) is given by {[V 1 ],..., [V t ]} and {[V 1 ],..., [V t ] }, where V 1,..., V t is a complete set of simple H-modules. We will always take V 1 = k ε. By k-linear extension to R(H) = G 0 (H) Z k, one obtains a form β : R(H) R(H) k with analogous properties. Thus, R(H) is a symmetric algebra, with dual bases {χ 1,..., χ t } and {S (χ 1 ),..., S (χ t )}, where χ i = χ Vi are the irreducible characters of H. Note: χ 1 = ε = 1 H. If p = char k = 0 then R(H) is semisimple. The Class Equation (Kats-Zhu): Assume p = 0. Then, for every primitive idempotent e = e 2 R(H), one has dim k eh dim k H. Remark: For H = kg, this reduces to the fact that the size of each conjugacy class of G divides G, and for H = (kg), this says that the dimension of each simple kg-module divides G. 3
4 The proof: Wedderburn: Let ê Z(R(H)) be the centrally primitive idempotent with e = eê, let µ denote the character of the irreducible R(H)-module er(h), and let ω : Z(R(H)) k denote its central character. Then êr(h) = (er(h)) µ(1) and so êh = (eh ) µ(1). Hence, dim k êh = µ(1) dim k eh and the assertion becomes d := µ(1) dim H dim êh Z. Centrally primitive idempotents: Those can be expressed in terms of dual bases (cf. Curtis-Reiner I, p. 204). In our situation, ê = ω(ẽ) 1 ẽ with ẽ = i µ(s (χ i ))χ i. Writing L f (g) = fg (f, g H ), the element x = (f Tr H (L f )) H is an integral of H (Larson-Sweedler). Clearly, dim êh = Tr H (Lê) = ê(x). Furthermore, χ 1 (x) = x(1) = dim H and χ i (x) = 0 for i > 1, since V i x Vi H = {0}. Thus, ẽ(x) = µ(1) dim H and Consequently, d = ω(ẽ). dim êh = ê(x) = ω(ẽ) 1 µ(1) dim H. Integrality: If φ is any character of R(H) then φ(g 0 (H)) A := alg.int.(k). Indeed, any α G 0 (H) satisfies a monic polynomial over Z, and hence so does the image Φ(α) under the representation Φ belonging to φ, and all eigenvalues of Φ(α) as well. Thus, φ(α) = Tr(Φ(α)) A. In particular, ẽ = i µ(s (χ i ))χ i belongs to G 0 (H) Z A, and hence ẽ is integral over Z. Therefore, so is d = ω(ẽ) which implies d Z. 4
5 (3) Application: Projectives over smash products (with Loretta Tokoly) A sample result: THEOREM Let B = A#H be a smash product such that (1) A is commutative without idempotents 0, 1. (2) H is involutory, not semisimple ( p > 0), (3) 1 / [B, B]. Then p rank(p A ) holds for every f.g. projective B-module P. Recall that, for any f.g. projective A-module Q, rank(q) = dim k(m) Q A k(m), where m is any prime ideal of A and k(m) = Fract(A/m). By (1), rank(q) is independent of the choice of m. Remark: In the special case B = H (= k#h), the Theorem reduces to the fact that p dim k P for all projectives P over H. This needs (2). 5
6 Tools of proof: Frobenius reciprocity: Let A 1 and A 2 be H-module algebras and put B i = A i #H. If V i are B i -modules then the V 1 V 2 is a module over B 1 B 2 = (A1 A 2 )#(H H), and hence over B 1 by restriction along B 1 (A 1 A 2 )#(H H) a 1 #h (a 1 1 A2 )# h. Similarly for B 2. The following extends the classical Frobenius reciprocity isomorphism for group rings. PROPOSITION Let K be a Hopf subalgebra of H and put C i = A i #K B i (i = 1, 2). If V is a B 1 -module and W is a C 2 -module then, as B i -modules, (V C1 W ) Ci B i = V (W C2 B 2 ). Specializing to B 1 = B = A#H and B 2 = H we get: If V is a B- module and W is an H-module then V W is a B-module, and Frobenius reciprocity (with K = k) implies that if V is projective then V W is likewise, and V A B = V H. 6
7 Grothendieck groups: All this passes down to the level of Grothendieck groups: G 0 (B) and K 0 (B) are modules over the Grothendieck ring G 0 (H) via and the Cartan map K 0 (B) G 0 (B) is a module map. Further, Ind B A Res B A : G 0 (B) G 0 (A) G 0 (B) is multiplication by [H] G 0 (H) on G 0 (B), and similarly for K 0. In particular, [B] = [A B ] [H] holds in G 0 (B). The Hattori-Stallings trace map: If P is a f.g. projective module over the ring R then P = er n for some n and some idempotent matrix e = (e i,j ) M n (R). Putting ρ(p ) = e i,i + [R, R] R/[R, R], one obtains the Hattori-Stallings trace ρ = ρ R Some basic facts: : K 0 (R) R/[R, R]. ρ is functorial; If R is commutative without idempotents 0, 1, then χ factors as ρ = can. rank : K 0 (R) Z R. 7
8 The proof: Recall that the character map χ : G 0 (H) R(H) has kernel pg 0 (H). Condition (1) on H implies that χ H = 0 (c.f. Larson-Radford). Consequently, [H] = px for some x G 0 (H). Now let P be a f.g. projective B-module. Our goal is to show that Consider the commutative diagram (. ) A B K 0 (B) K 0 (A) p rank(p A ). rank Z ρ B B/[B, B] Since 1 / [B, B], by (3), the map Z B/[B, B] has kernel pz. Thus our assertion becomes ρ B (P A B) = 0. But as desired. ρ A can. A can. ρ B (P A B) = ρ B ([P ][H]) = pρ B ([P ]x) = 0, 8
9 COROLLARY (of proof) Assume (2) and (3) in the Theorem. In addition, assume that H is local and that K 0 (A) = Z[A]. Then p ρ(p ) holds for any ρ : G 0 (B) Z and any f.g. projective B- module P. In particular, B is not Morita equivalent to a domain. 9
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 informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
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 informationModular representation theory
Modular representation theory 1 Denitions for the study group Denition 1.1. Let A be a ring and let F A be the category of all left A-modules. The Grothendieck group of F A is the abelian group dened by
More informationREPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES. Notation. 1. GL n
REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES ZHIWEI YUN Fix a prime number p and a power q of p. k = F q ; k d = F q d. ν n means ν is a partition of n. Notation Conjugacy classes 1. GL n 1.1.
More informationCHARACTERS AS CENTRAL IDEMPOTENTS
CHARACTERS AS CENTRAL IDEMPOTENTS CİHAN BAHRAN I have recently noticed (while thinking about the skewed orthogonality business Theo has mentioned) that the irreducible characters of a finite group G are
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 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 informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationThe Ring of Monomial Representations
Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents
More informationModular representations of symmetric groups: An Overview
Modular representations of symmetric groups: An Overview Bhama Srinivasan University of Illinois at Chicago Regina, May 2012 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations
More informationMODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL REPRESENTATIONS OF A FINITE GROUP #
Communications in Algebra, 33: 3667 3677, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500243312 MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL
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 informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More 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 informationFrobenius Divisibility for Hopf Algebras
Contemporary Mathematics Frobenius Divisibility for Hopf Algebras Adam Jacoby and Martin Lorenz To Don Passman on the occasion of his 75 th birthday ABSTRACT. We present a unified ring theoretic approach,
More informationDecompositions of Modules and Comodules
Decompositions of Modules and Comodules Robert Wisbauer University of Düsseldorf, Germany Abstract It is well-known that any semiperfect A ring has a decomposition as a direct sum (product) of indecomposable
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
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 informationLECTURE NOTES AMRITANSHU PRASAD
LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which
More informationarxiv:math/ v2 [math.qa] 18 Nov 2003
HOPF ALGEBRAS OF DIMENSION 2p SIU-HUNG NG arxiv:math/0311291v2 [math.qa] 18 Nov 2003 Abstract. Let H be a finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0. If H is
More informationDEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1
DEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1 TRAVIS SCHEDLER Note: it is possible that the numbers referring to the notes here (e.g., Exercise 1.9, etc.,) could change
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 information1.4 Solvable Lie algebras
1.4. SOLVABLE LIE ALGEBRAS 17 1.4 Solvable Lie algebras 1.4.1 Derived series and solvable Lie algebras The derived series of a Lie algebra L is given by: L (0) = L, L (1) = [L, L],, L (2) = [L (1), L (1)
More informationTowers of algebras categorify the Heisenberg double
Towers of algebras categorify the Heisenberg double Joint with: Oded Yacobi (Sydney) Alistair Savage University of Ottawa Slides available online: AlistairSavage.ca Preprint: arxiv:1309.2513 Alistair Savage
More informationA NOTE ON BLOCKS WITH ABELIAN DEFECT GROUPS. Yun Fan Department of Mathematics Central China Normal University Wuhan China.
A NOTE ON BLOCKS WITH ABELIAN DEFECT GROUPS Yun Fan Department of Mathematics Central China Normal University Wuhan 430079 China and Burkhard Külshammer Mathematical Institute Friedrich Schiller University
More informationBLOCKS OF THE GROTHENDIECK RING OF EQUIVARIANT BUNDLES ON A FINITE GROUP
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 48 (2018), 157-163 BLOCKS OF THE GROTHENDIECK RING OF EQUIVARIANT BUNDLES ON A FINITE GROUP Cédric Bonnafé (Received January 20, 2015) Abstract. If G is a finite
More informationCHARACTERS OF SL 2 (F q )
CHARACTERS OF SL 2 (F q ) 1. Recall and notations 1.1. Characters of finite groups. 1.1.1. Let Γ be a finite groups, K be a field of characteristic zero containing Γ -th roots of unity. We note by KΓ the
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationSOLUTIONS FOR FINITE GROUP REPRESENTATIONS BY PETER WEBB. Chapter 8
SOLUTIONS FOR FINITE GROUP REPRESENTATIONS BY PETER WEBB CİHAN BAHRAN I changed the notation in some of the questions. Chapter 8 1. Prove that if G is any finite group then the only idempotents in the
More informationREPRESENTATION THEORY. WEEK 4
REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationRepresentations of semisimple Lie algebras
Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular
More informationAugust 2015 Qualifying Examination Solutions
August 2015 Qualifying Examination Solutions If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems,
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationCOUNTING SEPARABLE POLYNOMIALS IN Z/n[x]
COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] JASON K.C. POLAK Abstract. For a commutative ring R, a polynomial f R[x] is called separable if R[x]/f is a separable R-algebra. We derive formulae for the number
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationThe Terwilliger Algebras of Group Association Schemes
The Terwilliger Algebras of Group Association Schemes Eiichi Bannai Akihiro Munemasa The Terwilliger algebra of an association scheme was introduced by Paul Terwilliger [7] in order to study P-and Q-polynomial
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationLie Superalgebras and Lie Supergroups, II
Seminar Sophus Lie 2 1992 3 9 Lie Superalgebras and Lie Supergroups, II Helmut Boseck 6. The Hopf Dual. Let H = H 0 H 1 denote an affine Hopf superalgebra, i.e. a Z 2 -graded commutative, finitely generated
More informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationOn finite simple images of triangle groups
On finite simple images of triangle groups Sebastian Jambor, Alastair Litterick, Claude Marion July 7, 2017 Abstract. For a simple algebraic group G in characteristic p, a triple (a, b, c) of positive
More informationFrobenius divisibility for Hopf algebras
Contemporary Mathematics Volume 688, 2017 http://dx.doi.org/10.1090/conm/688/13831 Frobenius divisibility for Hopf algebras Adam Jacoby and Martin Lorenz To Don Passman on the occasion of his 75 th birthday
More informationDETECTING K-THEORY BY CYCLIC HOMOLOGY
DETECTING K-THEORY BY CYCLIC HOMOLOGY WOLFGANG LÜCK AND HOLGER REICH Abstract. We discuss which part of the rationalized algebraic K-theory of a group ring is detected via trace maps to Hochschild homology,
More informationover a field F with char F 2: we define
Chapter 3 Involutions In this chapter, we define the standard involution (also called conjugation) on a quaternion algebra. In this way, we characterize division quaternion algebras as noncommutative division
More informationEndotrivial modules. Nadia Mazza. June Lancaster University
Endotrivial modules Nadia Mazza Lancaster University June 2010 Contents Endotrivial modules : background Analysis An exotic turn Final remarks Set-up p a prime; k = k a field of characteristic p; G a finite
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationHIGMAN IDEAL, STABLE HOCHSCHILD HOMOLOGY AND AUSLANDER-REITEN CONJECTURE
HIGMAN IDEAL, STABLE HOCHSCHILD HOMOLOGY AND AUSLANDER-REITEN CONJECTURE YUMING LIU, GUODONG ZHOU AND ALEXANDER ZIMMERMANN Abstract. Let A and B be two finite dimensional algebras over an algebraically
More informationBrauer Theory for Profinite Groups
Brauer Theory for Profinite Groups John MacQuarrie 1, Peter Symonds Abstract Brauer Theory for a finite group can be viewed as a method for comparing the representations of the group in characteristic
More informationLECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationPart II Galois Theory
Part II Galois Theory Definitions Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More information4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;
4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length
More informationIntertwining integrals on completely solvable Lie groups
s on s on completely solvable Lie June 16, 2011 In this talk I shall explain a topic which interests me in my collaboration with Ali Baklouti and Jean Ludwig. s on In this talk I shall explain a topic
More informationPolynomial Hopf algebras in Algebra & Topology
Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules
More informationCHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago
CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Some historical comments A geometric approach to representation theory for unipotent
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationON SOME PARTITIONS OF A FLAG MANIFOLD. G. Lusztig
ON SOME PARTITIONS OF A FLAG MANIFOLD G. Lusztig Introduction Let G be a connected reductive group over an algebraically closed field k of characteristic p 0. Let W be the Weyl group of G. Let W be the
More information1. Linear algebra is fussy but super useful. 2. Instead of studying an algebra A all at once, study its representations/modules!
BIG LESSONS SO FAR 1. Linear algebra is fuss but super useful. 2. Instead of studing an algebra A all at once, stud its representations/modules! (If ou re luck, A is semisimple, and is thus the direct
More informationVARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES
VARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES MATTHEW EMERTON, ROBERT POLLACK AND TOM WESTON 1. Introduction Let ρ : G Q GL 2 (k) be an absolutely irreducible modular Galois representation over a finite
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
More informationFrobenius-Perron Theory of Endofunctors
March 17th, 2018 Recent Developments in Noncommutative Algebra and Related Areas, Seattle, WA Throughout let k be an algebraically closed field. Throughout let k be an algebraically closed field. The Frobenius-Perron
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 informationCategory O and its basic properties
Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α
More informationThe Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)
The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph) David Grabovsky June 13, 2018 Abstract The symmetric groups S n, consisting of all permutations on a set of n elements, naturally contain
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 10.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).
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 informationRepresentation theory
Representation theory Dr. Stuart Martin 2. Chapter 2: The Okounkov-Vershik approach These guys are Andrei Okounkov and Anatoly Vershik. The two papers appeared in 96 and 05. Here are the main steps: branching
More informationPeter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
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 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 informationOdd H-Depth. Lars Kadison University of Porto
Odd H-Depth Lars Kadison University of Porto October 25, Mulhouse Quantum Algebra (Caenepeel, Stolin) AGMP 2011 Preliminaries on modules R = assoc. ring w/ 1, P R Q R Q = P Two modules M R, N R H-equivalent
More informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More informationANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy
ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER Seán McGarraghy Abstract. We construct examples where an annihilating polynomial produced by considering étale algebras improves on the annihilating
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I Set-up. Let K be an algebraically closed field. By convention all our algebraic groups will be linear algebraic
More informationGroup Gradings on Finite Dimensional Lie Algebras
Algebra Colloquium 20 : 4 (2013) 573 578 Algebra Colloquium c 2013 AMSS CAS & SUZHOU UNIV Group Gradings on Finite Dimensional Lie Algebras Dušan Pagon Faculty of Natural Sciences and Mathematics, University
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 informationContradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.
1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore
More informationBroué s abelian defect group conjecture holds for the sporadic simple Conway group Co 3
Revised Version of 11 September 2011 Broué s abelian defect group conjecture holds for the sporadic simple Conway group Co 3 Shigeo Koshitani a,, Jürgen Müller b, Felix Noeske c a Department of Mathematics,
More informationAlgebra Prelim Notes
Algebra Prelim Notes Eric Staron Summer 2007 1 Groups Define C G (A) = {g G gag 1 = a for all a A} to be the centralizer of A in G. In particular, this is the subset of G which commuted with every element
More informationFinite Subgroups of Gl 2 (C) and Universal Deformation Rings
Finite Subgroups of Gl 2 (C) and Universal Deformation Rings University of Missouri Conference on Geometric Methods in Representation Theory November 21, 2016 Goal Goal : Find connections between fusion
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 informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationTESTING MODULES OF GROUPS OF EVEN ORDER FOR SIMPLICITY
TESTING MODULES OF GROUPS OF EVEN ORDER FOR SIMPLICITY GERHARD O. MICHLER AND ØYVIND SOLBERG Abstract. In this paper we exhibit an intimate relationship between the simplicity of an F G-module V of a finite
More informationRepresentation type, boxes, and Schur algebras
10.03.2015 Notation k algebraically closed field char k = p 0 A finite dimensional k-algebra mod A category of finite dimensional (left) A-modules M mod A [M], the isomorphism class of M ind A = {[M] M
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 informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationModularity of Galois representations. imaginary quadratic fields
over imaginary quadratic fields Krzysztof Klosin (joint with T. Berger) City University of New York December 3, 2011 Notation F =im. quadr. field, p # Cl F d K, fix p p Notation F =im. quadr. field, p
More information1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality
1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationSymplectic representation theory and the Weyl algebra in positive characteristic
Symplectic representation theory and the Weyl algebra in positive characteristic SPUR Final Paper, Summer 2016 Joseph Zurier Mentor: Augustus Lonergan Project Suggested by Roman Bezrukavnikov 3 August
More informationTHE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17
THE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17 Abstract. In this paper the 2-modular decomposition matrices of the symmetric groups S 15, S 16, and S 17 are determined
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationNUNO FREITAS AND ALAIN KRAUS
ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion
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 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 information