Auslander s Theorem for permutation actions on noncommutative algebras
|
|
- Augusta Terry
- 5 years ago
- Views:
Transcription
1 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, / 22
2 Invariant theory k = k, char k = 0. All rings are k-algebras. Classically: Let G be a group acting on A = k[x 1,..., x n ]. Study A G the subring of invariants. (Shephard-Todd-Chevalley, Molien, Auslander) A g G is a reflection if g fixes a codim 1 subspace of kx i. Noncommutative invariant theory: A noncommutative H a Hopf algebra April 23, 2017 Invariant theory 2 / 22
3 Reflections Definition (Kirkman, Kuzmanovich, and Zhang 2008) Let A be a graded algebra of GK dimension n. Then g G is a quasi-reflection if its trace series is of the form Example Tr A (g, t) := 1 (1 t) n 1, q(1) 0. q(t) The symmetric group S n acting naturally on the ( 1)-skew polynomial ring k 1 [x 1,..., x n ] = k x 1,..., x n x i x j = x j x i for i j contains no quasi-reflections. April 23, 2017 Invariant theory 3 / 22
4 Auslander s Theorem Theorem (Auslander 1962) Let G GL n (k) be a finite group acting on A = k[x 1,..., x n ]. Define the Auslander map: γ A,G : A#G End A G(A) a#g (b ag(b)). If G contains no reflections, then γ A,G is an isomorphism. Question: Noncommutative version? Conjecture If A a noetherian AS-regular algebra and G GrAut(A) contains no quasi-reflections, then the Auslander map is an isomorphism. April 23, 2017 Invariant theory 4 / 22
5 Invariant theory Some answers: Theorem (Chan, Kirkman, Walton, and Zhang 2016) If A a noetherian AS-regular algebra of global dimension 2 with trivial homological determinant, then the Auslander map is an isomorphism. Theorem (Mori and Ueyama 2016) A a noetherian AS-regular algebra of dimension d 2 and G GrAut(A) with trivial homological determinant. TFAE: 1 G is ample for A. 2 A#G = End A G(A) and gl. dim tails A <. A#G 3 dim k < where f = 1 1#g. (f ) G g G April 23, 2017 Invariant theory 5 / 22
6 This seems pertinent Definition (Bao, He, and Zhang 2016) The pertinency p(a, G) = GKdim A GKdim A#G (f G ) where (f G ) is the two-sided ideal generated by f G = g G 1#g. (Actually defined for Hopf algebras) Under hypotheses of Mori and Ueyama, G is ample if and only if p(a, G) = n. April 23, 2017 Pertinency 6 / 22
7 This seems pertinent In fact: Theorem (Bao, He, and Zhang 2016) The Auslander map A#G End A G(A) is an isomorphism if and only if p(a, G) 2. They also prove: Theorem (Bao, He, and Zhang 2016) Let A = k 1 [x 1,..., x n ] and G = (1 2 n). Then p(a, G) 2 so the Auslander map is an isomorphism. Can we prove something more general? April 23, 2017 Pertinency 7 / 22
8 This seems ideal Thanks to Bao, He, Zhang, we just need to understand the ideal (f G ) = 1#g. g G Theorem (Bao, He, and Zhang 2016) Let A be finitely generated over a central subalgebra T. Let A be the image of the map A A#G (A#G)/(f G ) and T A be the image of T. Then GKdim T = GKdim A = GKdim A#G (f G ). April 23, 2017 The ideal 8 / 22
9 This seems ideal So need only understand (f G ) A or even (f G ) T. A minus sign and a quotient: p(a, G) = GKdim A GKdim A#G (f G ) = GKdim A GKdim A (f G ) A (f G ) A A p(a, G). (f G ) A Idea: Construct enough elements in (f G ) so p(a, G) 2. April 23, 2017 The ideal 9 / 22
10 Constructing elements We borrow an idea from Brown and Lorenz. Assume A is commutative. For g G, define I(g) generated by {a g.a a A}. Lemma (Brown and Lorenz 1994) I(g) (f G ) A. g G,g e Issue 1: Proof requires commutativity. Issue 2: Produces elements of degree G 1 = n! 1 (often much higher than lowest degree element in (f G )). April 23, 2017 The ideal 10 / 22
11 Example: k 1 [x 1, x 2, x 3 ] and S 3 Let T = k[x 2 1, x2 2, x2 3 ] C(V 3) and f = σ S 3 1#σ. Define f 1 = x 2 1 f fx2 2 = (x 2 1 x2 2 )#(1) + (x2 1 x2 2 )#(13) + (x 2 1 x2 3 )#(23) + (x2 1 x2 3 )#(123) f 2 = x 2 1 f 1 f 1 x 2 3 = (x 2 1 x2 2 )(x2 1 x2 3 )#(1) + (x2 1 x2 3 )(x2 1 x2 2 )#(23) f 3 = x 2 2 f 2 f 2 x 2 3 = (x 2 1 x2 2 )(x2 1 x2 3 )(x2 2 x2 3 )#(1) (f ) C(A). This provides only one of the elements we need. We must use noncommutativity to obtain the second element. April 23, 2017 An example is worth a thousand theorems 11 / 22
12 Example: k 1 [x 1, x 2, x 3 ] and S 3 Recall Now f 2 = (x 2 1 x2 2 )(x2 1 x2 3 )#(1) + (x2 1 x2 3 )(x2 1 x2 2 )#(23). g 23 = (x 2 f 2 f 2 x 3 )(x 2 x 3 ) = (x 2 1 x2 2 )(x2 1 x2 3 )(x 2 x 3 ) 2 #(1) = (x 2 1 x2 2 )(x2 1 x2 3 )(x2 2 + x2 3 )#(1) (f ) C(A). We can similarly construct g 12 and g 13. Set g = g 12 + g 13 + g 23. April 23, 2017 An example is worth a thousand theorems 12 / 22
13 Example: k 1 [x 1, x 2, x 3 ] and S 3 The elements f 3 = (x 2 1 x2 2 )(x2 1 x2 3 )(x2 2 x2 3 ) g = (x 2 1 x2 2 )(x2 1 x2 3 )(x2 2 + x2 3 ) + (x 2 1 x2 2 )(x2 1 + x2 3 )(x2 2 x2 3 ) + (x x2 2 )(x2 1 x2 3 )(x2 2 x2 3 ) are relatively prime in T = k[x 2 1, x2 2, x2 3 ] and GKdim T/(f 3, g) 1. Theorem (Gaddis, Kirkman, Moore, and W) Let G be any subgroup of S n acting on A = k 1 [x 1,... x n ] as permutations. Then p(a, G) 2 so the Auslander map is an isomorphism. April 23, 2017 An example is worth a thousand theorems 13 / 22
14 Example: S(a, b, c) and (1 2 3) Let S(a, b, c) be the three-dimensional Sklyanin algebra S(a, b, c) = k x 1, x 2, x 3 ax 1 x 2 + bx 2 x 1 + cx 2 3 ax 2 x 3 + bx 3 x 2 + cx 2 1 ax 3 x 1 + bx 1 x 3 + cx 2 2. acted on by (1 2 3). Let f = 1#e + 1#(1 2 3) + 1#(1 3 2). Then f 1 = x 1 f fx 3 = (x 1 x 3 )#e + (x 1 x 2 )#(1 3 2). (x 1 x 2 )f 1 + f 1 (x 2 x 3 ) = (x 1 x 2 )(x 1 x 3 ) + (x 1 x 3 )(x 2 x 3 )#e = (x 2 1 x2 3 x 2x 1 x 1 x 2 )#e (f ). April 23, 2017 An example is worth a thousand theorems 14 / 22
15 Example: S(a, b, c) and (1 2 3) So x 2 1 x2 3 x 2x 1 x 1 x 2 (f ) S(a, b, c) x 2 2 x2 3 x 1x 2 x 2 x 1 (f ) S(a, b, c). Now a Gröbner basis argument implies dim k S(a, b, c) (f ) S(a, b, c) <. Theorem (Gaddis, Kirkman, Moore, and W) Let G = (1 2 3) acting on A = S(a, b, c) for generic (a : b : c) P 2. Then p(a, G) = 3 2 so the Auslander map is an isomorphism. April 23, 2017 An example is worth a thousand theorems 15 / 22
16 All the Auslanders! Theorem (Gaddis, Kirkman, Moore, and W) The Auslander map is an isomorphism for the following: 1 subgroups of S n acting on k 1 [x 1,..., x n ], 2 subgroups of S n acting on the ( 1)-quantum Weyl algebra, 3 subgroups of S 3 acting on the three-dimensional Sklyanin algebra S(1, 1, 1), 4 the cyclic group (1 2 3) acting on a generic three-dimensional Sklyanin algebra S(a, b, c), 5 subgroups of weighted permutations acting on the down-up algebra A(2, 1), 6 I n, (1 3)(2 4) acting on k 1 [x 1, x 2, x 3, x 4 ]. April 23, 2017 Results 16 / 22
17 Graded isolated singularities Definition (Ueyama 2013) A G is a graded isolated singularity if gl. dim tails A G <. Theorem (Ueyama 2016) If A G is a graded isolated singularity, then A G is an AS-Gorenstein algebra of dimension d 2, A CM gr (A G ) is a (d 1)-cluster tilting module, and Ext 1 A G (A, M) and Ext 1 A G (M, A) are f.d. for M CM gr (A G ). Theorem (Mori and Ueyama 2016) If GKdim A 2, A G is a graded isolated singularity if and only dim k A#G/(f G ) < if and only if p(a, G) = n. April 23, 2017 Results 17 / 22
18 Graded isolated singularities Theorem (Bao, He, and Zhang 2016) Let A = k 1 [x 1,..., x 2 n] and G = (1 2 2 n ). Then p(a, G) = 2 n so A G is a graded isolated singularity. Theorem (Gaddis, Kirkman, Moore, and W) For the following, A G is a graded isolated singularity: 1 (1 2)(3 4), (1 3)(2 4) acting on k 1 [x 1, x 2, x 3, x 4 ], 2 (1 2)(3 4) (2n 1 2n) acting on k 1 [x 1,..., x 2n ], 3 (1 2 3) acting on a generic Sklyanin algebra S(a, b, c), 4 I n, (1 3)(2 4) acting on k 1 [x 1, x 2, x 3, x 4 ]. April 23, 2017 Results 18 / 22
19 Whither the upper bounds? Constructing elements of (f G ) gives lower bounds for p(a, G). Upper bounds? Theorem (Gaddis, Kirkman, Moore, and W) If G G then p(a, G) p(a, G ). (This resolves a conjecture of Bao-He-Zhang for the group case.) Corollary (Gaddis, Kirkman, Moore, and W) Let A be a noetherian connected graded algebra and suppose G contains a reflection g. If A and A g have finite global dimension, then the Auslander map γ A,G is not an isomorphism. April 23, 2017 Results 19 / 22
20 Computing pertinency exactly Lower bounds: constructing elements of (f G ) Upper bounds: subgroup theorem Subgroups of S 3 acting on k 1 [x 1, x 2, x 3 ]: conjugacy class p(a, G) (12) 2 (123) 2 or 3 (12), (23) 2 April 23, 2017 Results 20 / 22
21 Computing pertinency exactly Subgroups of S 4 acting on k 1 [x 1, x 2, x 3, x 4 ]: conjugacy class p(a, G) (12) 2 (12)(34) 4 (123) 2 or 3 (1234) 4 (12), (34) 2 (12)(34), (13)(24) 4 (1234), (24) 2 (123), (124) 2 or 3 (123), (12) 2 (1234), (12) 2 April 23, 2017 Results 21 / 22
22 Thanks! April 23, 2017 Results 22 / 22
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 informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Joint with Ellen Kirkman, W. Frank Moore, Robert Won Invariant Theory Throughout,
More 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 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 informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationRigidity of Artin-Schelter Regular Algebras
Ellen Kirkman and James Kuzmanovich Wake Forest University James Zhang University of Washington Shephard-Todd-Chevalley Theorem Theorem. The ring of invariants C[x,, x n ] G under a finite group G is a
More informationWhat is noncommutative algebraic geometry?
What is noncommutative algebraic geometry? Robert Won University of California, San Diego Graduate Algebraic Geometry Seminar, August 2015 August 14, 2015 1 / 20 Overview In the great tradition of algebra,
More informationADE Dynkin diagrams in algebra, geometry and beyond based on work of Ellen Kirkman
ADE Dynkin diagrams in algebra, geometry and beyond based on work of Ellen Kirkman James J. Zhang University of Washington, Seattle, USA at Algebra Extravaganza! Temple University July 24-28, 2017 Happy
More informationGraded maximal Cohen-Macaulay modules over. Noncommutative graded Gorenstein isolated singularities. Kenta Ueyama. ICRA XV, Bielefeld, August 2012
Graded maximal Cohen-Macaulay modules over noncommutative graded Gorenstein isolated singularities Shizuoka University, Japan ICRA XV, Bielefeld, August 2012 Notations Throughout this talk, k : an algebraically
More 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 informationGraded Calabi-Yau Algebras actions and PBW deformations
Actions on Graded Calabi-Yau Algebras actions and PBW deformations Q. -S. Wu Joint with L. -Y. Liu and C. Zhu School of Mathematical Sciences, Fudan University International Conference at SJTU, Shanghai
More informationZ-graded noncommutative algebraic geometry University of Washington Algebra/Algebraic Geometry Seminar
Z-graded noncommutative algebraic geometry University of Washington Algebra/Algebraic Geometry Seminar Robert Won Wake Forest University Joint with Jason Gaddis (Miami University) and Cal Spicer (Imperial
More informationDUAL REFLECTION GROUPS OF LOW ORDER KENT VASHAW. A Thesis Submitted to the Graduate Faculty of
DUAL REFLECTION GROUPS OF LOW ORDER BY KENT VASHAW A Thesis Submitted to the Graduate Faculty of WAKE FOREST UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES in Partial Fulfillment of the Requirements for
More informationZ-graded noncommutative projective geometry Algebra Seminar
Z-graded noncommutative projective geometry Algebra Seminar Robert Won University of California, San Diego November 9, 2015 1 / 43 Overview 1 Preliminaries Pre-talk catchup Noncommutative things 2 Noncommutative
More informationThe graded module category of a generalized Weyl algebra
The graded module category of a generalized Weyl algebra Final Defense Robert Won Advised by: Daniel Rogalski May 2, 2016 1 / 39 Overview 1 Graded rings and things 2 Noncommutative is not commutative 3
More informationArtin-Schelter regular algebras and the Steenrod algebra
Artin-Schelter regular algebras and the Steenrod algebra J. H. Palmieri and J. J. Zhang University of Washington Los Angeles, 10 October 2010 Exercise Let A(1) be the sub-hopf algebra of the mod 2 Steenrod
More informationRigidity of Rings and Invariants of the Weyl Algebra I
Rigidity of Rings and Invariants of the Weyl Algebra I João Fernando Schwarz Universidade de São Paulo 15 de março de 2018 Introducing the notion of rigidity All base fields k will have char = 0. All automorphisms
More informationON GRADED MORITA EQUIVALENCES FOR AS-REGULAR ALGEBRAS KENTA UEYAMA
ON GRADED MORITA EQUIVALENCES FOR AS-REGULAR ALGEBRAS KENTA UEYAMA Abstract. One of the most active projects in noncommutative algebraic geometry is to classify AS-regular algebras. The motivation of this
More informationHOMOLOGICAL TRANSCENDENCE DEGREE
HOMOLOGICAL TRANSCENDENCE DEGREE AMNON YEKUTIELI AND JAMES J. ZHANG Abstract. Let D be a division algebra over a base field k. The homological transcendence degree of D, denoted by Htr D, is defined to
More informationAmple group actions on AS-regular algebras. noncommutative graded isolated singularities. Kenta Ueyama
and noncommutative graded isolated singularities Shizuoka Universit, Japan Perspectives of Representation Theor of Algebra Nagoa Universit November 15th 2013 AS-regular, AS-Gorenstein, noncomm graded isolated
More informationRecent developments in noncommutative algebra and related areas ABSTRACT
Recent developments in noncommutative algebra and related areas March 17-19, 2018 ABSTRACT Commutative-by-finite Hopf Algebras Ken Brown University of Glasgow, UK I will define this class of Hopf algebras
More informationThe Structure of AS-regular Algebras
Department of Mathematics, Shizuoka University Shanghai Workshop 2011, 9/12 Noncommutative algebraic geometry Classify noncommutative projective schemes Classify finitely generated graded algebras Classify
More informationFiniteness Conditions on the Ext Algebra of a Monomial Algebra
Finiteness Conditions on the Ext Algebra of a Monomial Algebra Ellen Kirkman kirkman@wfu.edu University of Missouri, Columbia, November 23, 2013 ArXiv 1210.3389 J. Pure and Applied Algebra 218 (2014) 52-64
More informationA NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO
A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO JASON P. BELL Abstract. Let k be a field. We show that a finitely generated simple Goldie k-algebra of quadratic growth is noetherian and has Krull dimension
More informationQuantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum grassmannians.
Quantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum grassmannians. T.H. Lenagan and L. Rigal Abstract We study quantum analogues
More informationHOMOLOGICAL PROPERTIES OF QUANTIZED COORDINATE RINGS OF SEMISIMPLE GROUPS
HOMOLOGICAL PROPERTIES OF QUANTIZED COORDINATE RINGS OF SEMISIMPLE GROUPS K.R. GOODEARL AND J.J. ZHANG Abstract. We prove that the generic quantized coordinate ring O q(g) is Auslander-regular, Cohen-Macaulay,
More informationE. KIRKMAN, J. KUZMANOVICH AND J.J. ZHANG
NAKAYAMA AUTOMORPHISM AND RIGIDITY OF DUAL REFLECTION GROUP COACTIONS arxiv:1605.01958v1 [math.ra] 6 May 2016 E. KIRKMAN, J. KUZMANOVICH AND J.J. ZHANG Abstract. We study homological properties and rigidity
More informationSome results on algebras with finite Gelfand-Kirillov dimension
Some results on algebras with finite Gelfand-Kirillov dimension Agata Smoktunowicz p.1/21 Introduction GK dimension is a measure of the growth of an algebra. p.2/21 Introduction GK dimension is a measure
More informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationSubfields of division algebras. J. Bell
Subfields of division algebras J. Bell 1 In this talk, we consider domains which are finitely generated over an algebraically closed field F. Given such a domain A, we know that if A does not contain a
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 informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More 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 informationNon commutative Computations with SINGULAR
Non commutative Computations with SINGULAR Viktor Levandovskyy SFB Project F1301 of the Austrian FWF Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz, Austria Special
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 informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More 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 informationGOURMET'S GUIDE TO GORENSTEINNESS PETER JRGENSEN AND JAMES J. ZHANG 0. Introduction If we were very clever, we might be able to solve the following pr
GOURMET'S GUIDE TO GORENSTEINNESS PETER JRGENSEN AND JAMES J. ZHANG 0. Introduction If we were very clever, we might be able to solve the following problem: Let A be a noetherian N-graded connected k-algebra
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 informationNotes for Boot Camp II
Notes for Boot Camp II Mengyuan Zhang Last updated on September 7, 2016 1 The following are notes for Boot Camp II of the Commutative Algebra Student Seminar. No originality is claimed anywhere. The main
More informationSingularities of Noncommutative Surfaces. Simon Philip Crawford
This thesis has been submitted in fulfilment of the requirements for a postgraduate degree (e.g. PhD, MPhil, DClinPsychol) at the University of Edinburgh. Please note the following terms and conditions
More informationSpherical varieties and arc spaces
Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected
More 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 informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationFields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.
Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should
More informationHomework 2 - Math 603 Fall 05 Solutions
Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether
More informationGenus zero phenomena in noncommutative algebraic geometry
Genus zero phenomena in noncommutative algebraic geometry Western Washington University April 23, 2017 Part 1 Introduction Goal of talk k=base field Noncommutative algebraic geometry Study k-linear abelian
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 informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 2.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined
More informationSELF-DUAL HOPF QUIVERS
Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of
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 informationAuslander-Yoneda algebras and derived equivalences. Changchang Xi ( ~) ccxi/
International Conference on Operads and Universal Algebra, Tianjin, China, July 5-9, 2010. Auslander- and derived Changchang Xi ( ~) xicc@bnu.edu.cn http://math.bnu.edu.cn/ ccxi/ Abstract In this talk,
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 informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More 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 informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationQuivers supporting graded twisted Calabi-Yau algebras
Quivers supporting graded twisted Calabi-Yau algebras Jason Gaddis Miami Unversity Joint with Dan Rogalski J. Gaddis (Miami Twisted graded CY algebras January 12, 2018 Calabi-Yau algebras Let A be an algebra
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 1.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear
More informationNear supplements and complements in solvable groups of finite rank
Near supplements and complements in solvable groups of finite rank Karl Lorensen (speaker) Pennsylvania State University, Altoona College Peter Kropholler (coauthor) University of Southampton August 8,
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationarxiv: v2 [math.ra] 3 Oct 2017
MCKAY CORRESPONDENCE FOR SEMISIMPLE HOPF ACTIONS ON REGULAR GRADED ALGEBRAS, II arxiv:1610.01220v2 [math.ra] 3 Oct 2017 K. CHAN, E. KIRKMAN, C. WALTON AND J. J. ZHANG Abstract. We continue our study of
More informationINJECTIVE RESOLUTIONS OF SOME REGULAR RINGS. K. Ajitabh, S. P. Smith and J. J. Zhang
INJECTIVE RESOLUTIONS OF SOME REGULAR RINGS K. Ajitabh, S. P. Smith and J. J. Zhang Abstract. Let A be a noetherian Auslander regular ring and the canonical dimension function on A-modules, which is dened
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationOn the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8
213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional
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 information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationLOCAL COHOMOLOGY IN COMMUTATIVE ALGEBRA AND ALGEBRAIC GEOMETRY
LOCAL COHOMOLOGY IN COMMUTATIVE ALGEBRA AND ALGEBRAIC GEOMETRY POSTER ABSTRACTS Presenter: Eric Canton Title: Asymptotic invariants of ideal sequences in positive characteristic via Berkovich spaces Abstract:
More informationMATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA
MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA I want to cover Chapters VIII,IX,X,XII. But it is a lot of material. Here is a list of some of the particular topics that I will try to cover. Maybe I
More informationElementary (super) groups
Elementary (super) groups Julia Pevtsova University of Washington, Seattle Auslander Days 2018 Woods Hole 2 / 35 DETECTION QUESTIONS Let G be some algebraic object so that Rep G, H (G) make sense. Question
More informationFall 2014 Commutative Algebra Final Exam (Solution)
18.705 Fall 2014 Commutative Algebra Final Exam (Solution) 9:00 12:00 December 16, 2014 E17 122 Your Name Problem Points 1 /40 2 /20 3 /10 4 /10 5 /10 6 /10 7 / + 10 Total /100 + 10 1 Instructions: 1.
More informationA NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN)
A NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN) Z. REICHSTEIN Abstract. This is an expository note based on the work of D. J. Saltman. We discuss the notions of retract rationality and retract equivalence
More informationSpectra of rings differentially finitely generated over a subring
Spectra of rings differentially finitely generated over a subring Dm. Trushin Department of Mechanics and Mathematics Moscow State University 15 April 2007 Dm. Trushin () -spectra of rings April 15, 2007
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 information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationarxiv:math/ v1 [math.ra] 30 Sep 2001
arxiv:math/0110008v1 [math.ra] 30 Sep 2001 DUALIZING COMPLEXES AND TILTING COMPLEXES OVER SIMPLE RINGS AMNON YEKUTIELI AND JAMES J. ZHANG 0. Introduction Simple rings, like fields, are literally simple
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationAnnihilation of Cohomology over Curve Singularities
Annihilation of Cohomology over Curve Singularities Maurice Auslander International Conference Özgür Esentepe University of Toronto April 29, 2018 Özgür Esentepe (University of Toronto) Annihilation of
More informationThe Segre Embedding. Daniel Murfet May 16, 2006
The Segre Embedding Daniel Murfet May 16, 2006 Throughout this note all rings are commutative, and A is a fixed ring. If S, T are graded A-algebras then the tensor product S A T becomes a graded A-algebra
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More 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 informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationSome practice problems for midterm 2
Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
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 informationThe first-order theory of finitely generated fields
generated fields University of California at Berkeley (on work of Robinson, Ershov, Rumely, Pop, myself, and Scanlon) Antalya Algebra Days X June 1, 2008 Quadratic sentence ( x)( y) x 2 + y 2 = 1 holds
More informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
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 informationc Copyright 2013 Guangbin Zhuang
c Copyright 2013 Guangbin Zhuang Hopf algebras of finite Gelfand-Kirillov dimension Guangbin Zhuang A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy
More informationAN INTRODUCTION TO NONCOMMUTATIVE PROJECTIVE ALGEBRAIC GEOMETRY
AN INTRODUCTION TO NONCOMMUTATIVE PROJECTIVE ALGEBRAIC GEOMETRY DANIEL ROGALSKI Contents 1. Lecture 1: Review of basic background and the Diamond Lemma 2 2. Lecture 2: Artin-Schelter regular algebras 14
More informationNOETHERIAN DOWN-UP ALGEBRAS. Ellen Kirkman Ian M. Musson D. S. Passman
NOETHERIAN DOWN-UP ALGEBRAS Ellen Kirkman Ian M. Musson D. S. Passman Wake Forest University University of Wisconsin-Milwaukee University of Wisconsin-Madison Abstract. Down-up algebras A = A(α, β, γ)
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationarxiv: v1 [math.ra] 23 Jul 2016
MCKAY CORRESPONDENCE FOR SEMISIMPLE HOPF ACTIONS ON REGULAR GRADED ALGEBRAS, I arxiv:1607.06977v1 [math.ra] 23 Jul 2016 K. CHAN, E. KIRKMAN, C. WALTON, AND J.J. ZHANG Abstract. In establishing a more general
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationCOLOR LIE RINGS AND PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS
COLOR LIE RINGS AND PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS S. FRYER, T. KANSTRUP, E. KIRKMAN, A.V. SHEPLER, AND S. WITHERSPOON Abstract. We investigate color Lie rings over finite group algebras and their
More informationThe Depth Formula for Modules with Reducible Complexity
The Depth Formula for Modules with Reducible Complexity Petter Andreas Bergh David A Jorgensen Technical Report 2010-10 http://wwwutaedu/math/preprint/ THE DEPTH FORMULA FOR MODULES WITH REDUCIBLE COMPLEXITY
More informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationLecture 17: The Alexander Module II
Lecture 17: The Alexander Module II Notes by Jonier Amaral Antunes March 22, 2016 Introduction In previous lectures we obtained knot invariants for a given knot K by studying the homology of the infinite
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More information