Auslander s Theorem for permutation actions on noncommutative algebras
|
|
- Susanna Douglas
- 5 years ago
- Views:
Transcription
1 Auslander s Theorem for permutation actions on noncommutative algebras (arxiv: ) Jason Gaddis Miami University Joint with Ellen Kirkman, W. Frank Moore, Robert Won
2 Invariant Theory Throughout, let k denote an algebraically closed, characteristic zero field. All algebras are k-algebras. An algebra A is connected N-graded if it has a vector space decomposition A = A i i=0 such that A i A j A i+j and A 0 = k. Throughout, a graded algebra is understood to be N-graded. Classically: Let G be a group acting on A = k[x 1,..., x n ] and study A G, the subring of invariants.
3 Invariant Theory A g G is a reflection if g fixes a codimension 1 subspace of k[x 1,..., x n ]. A group G acting on A = k[x 1,..., x n ] is small if G contains no reflections. The skew group algebra A#G is defined with basis A G and multiplication (a g)(b h) = (ag(b)) gh for all a, b A, g, h G.
4 Invariant Theory Theorem (Shephard-Todd 1954, Chevalley 1955) Let G be a finite group acting on A = k[x 1,..., x n ]. Then A G = A if and only if G is generated by reflections. Theorem (Auslander 1962) Let G be a finite group acting linearly 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 is small, then γ A,G is an isomorphism.
5 Noncommutative Invariant Theory There are two (standard) ways to extend classical invariant theory to the noncommutative setting: One could replace A with a noncommutative algebra. Example Let k 1 [x 1,..., x n ] = k x 1,..., x n : x i x j + x j x i = 0 for i j denote the ( 1)-skew polynomial ring in n variables. The symmetric group S n acts linearly on k 1 [x 1,..., x n ] as permutations (σ.x i = x σ(i) ) One could replace G with a Hopf algebra H. Example The Sweedler algebra H 2 = k g, x : g 2 = 1, x 2 = 0, gx + xg = 0 acts on k[u, v] by g(u) = u, g(v) = v, x(u) = 0, x(v) = u.
6 AS regular algebras Definition A graded algebra A is Artin-Schelter (AS) regular if gldim(a) = d < ; GKdim(A) < ; Ext i A(k) = δ id k(l). The constant l is the Gorenstein parameter of A. Definition A quantum polynomial ring is a noetherian AS regular algebra A with Hilbert series H A (t) = (1 t) n. Question In what context do the Shephard-Todd-Chevalley Theorem and Auslander s theorem hold when A is replaced by an AS regular algebra?
7 Reflections But first... Question What do we mean by a reflection in the noncommutative setting? In general, it is too much to ask that A G = A. Example Let A = k 1 [x, y] and G = g, g = 4, where g(x) = y and g(y) = x. Then A G = k[x 2 + y 2, xy]. In the classical sense, g is not a reflection. Definition A finite group G acting linearly on an AS regular algebra A is a reflection group if A G is AS regular.
8 Reflections Let A be a graded algebra. The trace function of a graded automorphism g acting on A is defined to be the formal power series Tr A (g, t) = j=0 ) tr (g Aj t j. 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 Tr A (g, t) := 1 (1 t) n 1, q(1) 0. q(t)
9 Conjecture (NC Shephard-Todd-Chevalley) Let A be an AS regular algebra and G a finite group of graded automorphisms of A. Then A G is AS regular if and only if G is generated by quasi-reflections of A. Theorem (Kirkman, Kuzmanovich, and Zhang 2008) The conjecture holds when A is a quantum polynomial ring and G is a finite abelian group of graded automorphisms of A.
10 The Auslander Map Auslander s theorem first appeared in his 1962 paper, On the purity of the branch locus. It is not actually stated as a theorem at all! The result relates finitely generated projective modules over k[x, y]#g to maximal Cohen-Macaulay modules over k[x, y] G. Conjecture (NC Auslander s Theorem) If A is an AS regular algebra and G a finite group acting linearly on A without quasi-reflections, then the Auslander map is an isomorphism.
11 The Auslander Map One can try to adapt the original proof to the noncommutative setting. In general, with the right initial conditions, injectivity is not a problem. On the other hand, to prove surjectivity, the original proof requires that every minimal prime ideal in A is unramified over A G. We have run into quantum rigidity, that is, noncommutative algebras have few prime ideals.
12 Ample Group Actions If A is a right noetherian graded ring, then set tails A := grmod A/ tors A. Definition Let A be a right noetherian graded algebra and G a finite subgroup of graded automorphisms of A. Set e = 1 G g G 1#g A#G. The group G is said to be ample (for A) if is an equivalence functor. ( )e : tails A#G tails A G
13 Ample Group Actions Theorem (Mori, Ueyama 2015) Let A be a noetherian AS-regular algebra of dimension d 2 and G GrAut A a finite ample subgroup. Then A#G = End A G (A) as graded algebras. One problem with the ampleness condition, apart from being hard to check, is that it implies something stronger than Auslander s theorem. It actually implies that A G is a graded isolated singularity (more on this later).
14 Pertinency Let A be a graded algebra and write A = n A n. The Gelfand-Kirillov (GK) dimension of A is Definition (Bao, He, Zhang 2016) GKdim(A) := lim sup log n (dim k A n ). n Let A be an graded algebra with GKdim A < and G a finite group acting linearly on A. The pertinency of the action of G on A is defined to be 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. Theorem (BHZ) Given the above setup, A#G = End A G (A) if and only if p(a, G) 2.
15 Pertinency Example (BHZ) Consider W = σ, σ = n 2, acting on k 1 [x 1,..., x n ] by σ : x i x i+1, x n x 1 for 1 i n 1. If n = 2 d, d 2, then p(k 1 [x 1,..., x n ], W ) = n 2. Hence, the Auslander map is an isomorphism in this case. Question Is the Auslander map an isomorphism for k 1 [x 1,..., x n ] and any subgroup of S n?
16 Strategery Thanks to Bao, He, Zhang, we just need to understand the ideal (f G ) = 1#g. g G Theorem (BHZ) 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 ). So need only understand (f G ) A or even (f G ) T.
17 Strategery Let J (f G ) T be an ideal. Assuming we can show GKdim T /J n 2 we have p(a, G) = GKdim A GKdim(A#G)/(f G ) GKdim A GKdim T /J n (n 2) = 2. Thus, under this assumption, the Auslander map is an isomorphism for A and G.
18 Producing elements Let R be a commutative algebra and G a finite group acting on R. For g G, let I(g) be the ideal generated by {r g.r : r R}. Lemma (Brown, Lorenz 1994) I(g) (f G ) R g G g e There are two problems with applying/adapting this lemma: The proof of this lemma is highly commutative. It produces elements of degree G 1, often much higher than lowest degree element in (f G ). However, the idea can be adapted for algebras with large centers.
19 Example: k 1 [x 1, x 2, x 3 ] and S 3 Let T = k[x 2 1, x 2 2, x 2 3 ] C(V 3) and f = σ S 3 1#σ. Define f 1 = x 2 1 f fx 2 2 = (x 2 1 x 2 2 )#(1) + (x 2 1 x 2 2 )#(13) + (x 2 1 x 2 3 )#(23) + (x 2 1 x 2 3 )#(123) f 2 = x 2 1 f 1 f 1 x 2 3 = (x 2 1 x 2 2 )(x 2 1 x 2 3 )#(1) + (x 2 1 x 2 3 )(x 2 1 x 2 2 )#(23) f 3 = x 2 2 f 2 f 2 x 2 3 = (x 2 1 x 2 2 )(x 2 1 x 2 3 )(x 2 2 x 2 3 )#(1) (f ) C(A). This provides only one of the elements we need. We must use noncommutativity to obtain the second element.
20 Example: k 1 [x 1, x 2, x 3 ] and S 3 Recall f 2 = (x1 2 x2 2 )(x1 2 x3 2 )#(1) + (x1 2 x3 2 )(x1 2 x2 2 )#(23). Now g 23 = (x 2 f 2 f 2 x 3 )(x 2 x 3 ) = (x1 2 x2 2 )(x1 2 x3 2 )(x 2 x 3 ) 2 #(1) = (x1 2 x2 2 )(x1 2 x3 2 )(x2 2 + x3 2 )#(1) (f ) C(A). We can similarly construct g 12 and g 13. Set g = g 12 + g 13 + g 23.
21 Example: k 1 [x 1, x 2, x 3 ] and S 3 The elements f 3 = (x 2 1 x 2 2 )(x 2 1 x 2 3 )(x 2 2 x 2 3 ) g = (x 2 1 x 2 2 )(x 2 1 x 2 3 )(x x 2 3 ) + (x 2 1 x 2 2 )(x x 2 3 )(x 2 2 x 2 3 ) + (x x 2 2 )(x 2 1 x 2 3 )(x 2 2 x 2 3 ) are relatively prime in T = k[x 2 1, x 2 2, x 2 3 ] and GKdim T /(f 3, g) 1. Theorem Let G be any subgroup of S n acting on V n = k 1 [x 1,... x n ] as permutations. Then p(v n, G) 2 so the Auslander map is an isomorphism.
22 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 + cx3 2 ax 2 x 3 + bx 3 x 2 + cx1 2 ax 3 x 1 + bx 1 x 3 + cx2 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 x 2 3 x 2 x 1 x 1 x 2 )#e (f ).
23 Example: S(a, b, c) and (1 2 3) So x 2 1 x 2 3 x 2 x 1 x 1 x 2 (f ) S(a, b, c) x 2 2 x 2 3 x 1 x 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 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.
24 All the Auslanders! Theorem The Auslander map is an isomorphism for the following: subgroups of S n acting on k 1 [x 1,..., x n ], subgroups of S n acting on the ( 1)-quantum Weyl algebra, subgroups of S 3 acting on the three-dimensional Sklyanin algebra S(1, 1, 1), the cyclic group (1 2 3) acting on a generic three-dimensional Sklyanin algebra S(a, b, c), subgroups of weighted permutations acting on the down-up algebra A(2, 1), I n, (1 3)(2 4) acting on k 1 [x 1, x 2, x 3, x 4 ].
25 Graded isolated singularities Definition (Ueyama 2013) A G is a graded isolated singularity if gldim 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 if dim k A#G/(f G ) < if and only if p(a, G) = n.
26 Graded isolated singularities Theorem (BHZ) 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 For the following, A G is a graded isolated singularity: (1 2)(3 4), (1 3)(2 4) acting on k 1 [x 1, x 2, x 3, x 4 ], (1 2)(3 4) (2n 1 2n) acting on k 1 [x 1,..., x 2n ], (1 2 3) acting on a generic Sklyanin algebra S(a, b, c), I n, (1 3)(2 4) acting on k 1 [x 1, x 2, x 3, x 4 ].
27 Whither the upper bounds? Constructing elements of (f G ) gives lower bounds for p(a, G). Can we find upper bounds as well? Theorem If G G then p(a, G) p(a, G ). This resolves a conjecture of Bao-He-Zhang for the group case. Corollary Let A be a noetherian connected graded algebra and suppose G contains a quasi-reflection g. If A and A g have finite global dimension, then the Auslander map γ A,G is not an isomorphism.
28 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
29 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
30 Weighted Permutations Question In the main theorem, can the group G be replaced by a finite group of weighted permutations? Here is one example of such a group that acts on V 3 : a c 0 W = 0 b 0, d 0 0 : a, b, c, d k 0 0 ab 0 0 cd. A modification of our method shows that the Auslander map is an isomorphism for any finite subgroup G of W acting on V 3 as permutations.
31 Graded Down-up Algebras Let A be the graded down-up algebra generated by x and y subject to the relations x 2 y + yx 2 + 2xyx = 0 xy 2 + y 2 x + 2yxy = 0. A result of Kirkman and Kuzmanovich gives {[ ] [ ] } a a12 Aut gr (A) =, : a 0 a 22 a , a 12, a 21, a 22 k.
32 Graded Down-up Algebras Let G be a finite subgroup of Aut gr (A) acting linearly on A. Take the filtration F = {F n } defined by F n A = (k kx ky kz) A for all n 0. F is G-stable and R := gr F (A) = V 3. Since R is a connected graded algebra with G-action, then A = R as G-modules so the G-action is inner faithful and homogeneous. Hence, for A and any finite subgroup G of Aut gr (A) acting linearly on A, the Auslander map is an isomorphism
33 Other questions What is the pertinency of (1 2 3) acting on k 1 [x 1, x 2, x 3 ] as permutations (computational evidence suggests it is 2)? In general, need more methods for constructing upper bounds. Direct connections between Tr and pertinency? Replace the relations in the down-up algebra A before with x 2 y + yx 2 αxyx = xy 2 + y 2 x αyxy = 0. Is the Auslander map an isomorphism for any finite subgroup of graded automorphisms acting on A? Have some partial results in this direction. Hopf actions! A theorem of Chan, Kirkman, Walton, and Zhang (2016) shows that the Auslander map is an isomorphism for A an AS regular algebra of dimension 2 and H a semisimple Hopf algebra.
34 Thank You!
Auslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Introduction This project is joint work with my collaborators at Wake Forest University.
More 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q
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 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 informationKrull Dimension and Going-Down in Fixed Rings
David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =
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 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 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 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 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 informationStructures of AS-regular Algebras
Structures of AS-regular Algebras Hiroyuki Minamoto and Izuru Mori Abstract In this paper, we define a notion of AS-Gorenstein algebra for N-graded algebras, and show that symmetric AS-regular algebras
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 informationAlgebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0
1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.
More informationGraded modules over generalized Weyl algebras
Graded modules over generalized Weyl algebras Advancement to Candidacy Robert Won Advised by: Dan Rogalski December 4, 2014 1 / 41 Overview 1 Preliminaries Graded rings and modules Noncommutative things
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 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 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 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 information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More information1 Hilbert function. 1.1 Graded rings. 1.2 Graded modules. 1.3 Hilbert function
1 Hilbert function 1.1 Graded rings Let G be a commutative semigroup. A commutative ring R is called G-graded when it has a (weak direct sum decomposition R = i G R i (that is, the R i are additive subgroups,
More 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 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 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 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 informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationarxiv: v2 [math.ra] 29 May 2018
arxiv:1708.04361v2 [math.ra] 29 May 2018 A SHORT PROOF THAT THE FREE ASSOCIATIVE ALGEBRA IS HOPFIAN ALEXEI BELOV-KANEL, LOUIS ROWEN AND JIE-TAI YU Abstract. A short proof is given of the fact that for
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 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 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 informationPART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS
PART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS Contents 1. Regular elements in semisimple Lie algebras 1 2. The flag variety and the Bruhat decomposition 3 3. The Grothendieck-Springer resolution 6 4. The
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 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 information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
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 informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
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 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 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 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 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 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 informationFinitely presented algebras defined by homogeneous semigroup relations
Finitely presented algebras defined by homogeneous semigroup relations Aachen, March 2010 Plan of the talk 1. motivating problems 2. algebras defined by homogeneous semigroup presentations 3. special classes
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 informationOdds and ends on equivariant cohomology and traces
Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.
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 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 informationIdeals of three dimensional Artin-Schelter regular algebras. Koen De Naeghel Thesis Supervisor: Michel Van den Bergh
Ideals of three dimensional Artin-Schelter regular algebras Koen De Naeghel Thesis Supervisor: Michel Van den Bergh February 17, 2006 Polynomial ring Put k = C. Commutative polynomial ring S = k[x, y,
More informationPseudo symmetric monomial curves
Pseudo symmetric monomial curves Mesut Şahin HACETTEPE UNIVERSITY Joint work with Nil Şahin (Bilkent University) Supported by Tubitak No: 114F094 IMNS 2016, July 4-8, 2016 Mesut Şahin (HACETTEPE UNIVERSITY)
More informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
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 informationLECTURE NOTES DAVID WHITE
LECTURE NOTES DAVID WHITE 1. Motivation for Spectra 1 It is VERY hard to compute homotopy groups. We want to put as much algebraic structure as possible in order to make computation easier. You can t add
More informationHistory: If A is primitive, Z(A) = k. J(A) is nil. In particular an affine algebra over an uncountable field has nil Jacobson radical.
Affinization 1 History: In the 50s, Amitsur proved Koethe s conjecture for algebras over an uncountable field by using a short and clever counting argument. This same argument could be used to show that
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
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 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 informationLINKAGE CLASSES OF GRADE 3 PERFECT IDEALS
LINKAGE CLASSES OF GRADE 3 PERFECT IDEALS LARS WINTHER CHRISTENSEN, OANA VELICHE, AND JERZY WEYMAN Abstract. While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection
More informationOld and new questions in noncommutative ring theory
Old and new questions in noncommutative ring theory Agata Smoktunowicz University of Edinburgh Edinburgh, Scotland, UK e-mail: A.Smoktunowicz@ed.ac.uk 26 Nordic and 1st European-Nordic Congress of Mathematics,
More informationU q (sl(2)) Satisfies a Bernstein Duality
J. Symbolic Computation (2001) 32, 687 698 doi:10.1006/jsco.2001.0490 Available online at http://www.idealibrary.com on U q (sl(2)) Satisfies a Bernstein Duality P. JARA AND J. JÓDAR Department of Algebra,
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 informationMATH 690 NOTES. 1. Associated graded rings
MATH 690 NOTES 1. Associated graded rings Question 1.1. Let G = k[g 1 ] = n 0 G n be a one-dimensional standard graded ring over the field k = G 0. What are necessary and sufficient conditions in order
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 information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationTHE DISCRIMINANT CRITERION AND AUTOMORPHISM GROUPS OF QUANTIZED ALGEBRAS
THE DISCRIMINANT CRITERION AND AUTOMORPHISM GROUPS OF QUANTIZED ALGEBRAS S. CEKEN, J. H. PALMIERI, Y.-H. WANG AND J. J. ZHANG Abstract. We compute the automorphism groups of some quantized algebras, including
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 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 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 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 informationLIVIA HUMMEL AND THOMAS MARLEY
THE AUSLANDER-BRIDGER FORMULA AND THE GORENSTEIN PROPERTY FOR COHERENT RINGS LIVIA HUMMEL AND THOMAS MARLEY Abstract. The concept of Gorenstein dimension, defined by Auslander and Bridger for finitely
More informationMA 252 notes: Commutative algebra
MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University April 1, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 21 The Poincaré series of a graded module
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 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 informationReductive group actions and some problems concerning their quotients
Reductive group actions and some problems concerning their quotients Brandeis University January 2014 Linear Algebraic Groups A complex linear algebraic group G is an affine variety such that the mappings
More information