The graded module category of a generalized Weyl algebra
|
|
- Madeleine Felicity Robinson
- 5 years ago
- Views:
Transcription
1 The graded module category of a generalized Weyl algebra Final Defense Robert Won Advised by: Daniel Rogalski May 2, / 39
2 Overview 1 Graded rings and things 2 Noncommutative is not commutative 3 Noncommutative projective schemes 4 Z-graded rings The first Weyl algebra Generalized Weyl algebras 5 Future direction May 2, / 39
3 Graded k-algebras Throughout, k an algebraically closed field, char k = 0. A k-algebra is a ring A with 1 which is a k-vector space such that λ(ab) = (λa)b = a(λb) for λ k and a, b A. Examples The polynomial ring, k[x] The ring of n n matrices, M n (k) The complex numbers, C = R 1 + R i Graded rings and things May 2, / 39
4 Graded k-algebras Γ an abelian (semi)group A Γ-graded k-algebra A has k-space decomposition A = γ Γ A γ such that A γ A δ A γ+δ. If a A γ, deg a = γ and a is homogeneous of degree γ. Graded rings and things May 2, / 39
5 Graded k-algebras Examples Any ring A with trivial grading k[x, y] graded by N k[x, x 1 ] graded by Z If you like physics: superalgebras graded by Z/2Z Or combinatorics: symmetric and alternating polynomials graded by Z/2Z Remark Usually, graded ring means N-graded. Graded rings and things May 2, / 39
6 Graded modules and morphisms A graded right A-module M: M = i Z M i such that M i A j M i+j. Finitely generated graded right A-modules with graded module homomorphisms form a category gr-a. Example N-graded ring k[x, y] Homogeneous ideals (x), (x, x + y), (x 2 xy) are graded submodules Nonhomogeneous ideals (x + 3), (x 2 + y) are not Graded rings and things May 2, / 39
7 Graded modules and morphisms Idea: Study A by studying its module category, mod-a (analogous to studying a group by its representations). If mod-a mod-b, we say A and B are Morita equivalent. Remarks For commutative rings, Morita equivalent isomorphic M n (A) is Morita equivalent to A Morita invariant properties of A: simple, semisimple, noetherian, artinian, hereditary, etc. Graded rings and things May 2, / 39
8 Proj of a graded k-algebra A a commutative N-graded k-algebra The scheme Proj A As a set: homogeneous primes ideals of A not containing A 0 Topological space: the Zariski topology with closed sets for homogeneous ideals a of A V(a) = {p Proj A a p} Structure sheaf: localize at homogeneous prime ideals Noncommutative is not commutative May 2, / 39
9 Proj of a graded k-algebra Interplay beteween algebra and geometry algebra graded k-algebra A homogeneous prime ideals I J factor rings homogeneous elements of A geometry space Proj A points V(I) V(J) subschemes functions on Proj A Noncommutative is not commutative May 2, / 39
10 Noncommutative is not commutative Noncommutative rings are ubiquitous. Examples Ring A, nonabelian group G, the group algebra A[G] M n (A), n n matrices Differential operators on k[t], generated by t and d/dt is isomorphic to the first Weyl algebra A 1 = k x, y /(xy yx 1). If you like physics, position and momentum operators don t commute in quantum mechanics. Noncommutative is not commutative May 2, / 39
11 Noncommutative is not commutative Localization is different. Given A commutative and S A multiplicatively closed, a 1 s 1 1 a 2s 1 2 = a 1 a 2 s 1 1 s 1 2 If A noncommutative, can only form AS 1 if S is an Ore set. Definition S is an Ore set if for any a A, s S sa as. Noncommutative is not commutative May 2, / 39
12 Noncommutative is not commutative Even worse, not enough (prime) ideals. The Weyl algebra k x, y /(xy yx 1) is a noncommutative analogue of k[x, y] but is simple. The quantum polynomial ring The N-graded ring k x, y /(xy qyx) is a noncommutative P 1 but for q n 1 has only three homogeneous ideals (namely (x), (y), and (x, y)). Noncommutative is not commutative May 2, / 39
13 Sheaves to the rescue The Beatles (paraphrased): All you need is sheaves. Idea: You can reconstruct the space from the sheaves. Theorem (Rosenberg, Gabriel, Gabber, Brandenburg) Let X, Y be quasi-separated schemes. If qcoh(x) qcoh(y) then X and Y are isomorphic. Noncommutative is not commutative May 2, / 39
14 Sheaves to the rescue All you need is modules Theorem Let X = Proj A for a commutative, f.g. k-algebra A generated in degree 1. (1) Every coherent sheaf on X is isomorphic to M for some f.g. graded A-module M. (2) M = Ñ as sheaves if and only if there is an isomorphism M n = N n. Let gr-a be the category of f.g. A-modules. Take the quotient category qgr-a = gr-a/fdim-a The above says qgr-a coh(proj A). Noncommutative is not commutative May 2, / 39
15 Noncommutative projective schemes A (not necessarily commutative) connected graded k-algebra A is A = k A 1 A 2 such that dim k A i < and A is a f.g. k-algebra. Definition (Artin-Zhang, 1994) The noncommutative projective scheme Proj NC A is the triple (qgr-a, A, S) where A is the distinguished object and S is the shift functor. Noncommutative projective schemes May 2, / 39
16 Noncommutative curves The Hartshorne approach A a k-algebra, V A a k-subspace generating A spanned by {1, a 1,..., a m }. V 0 = k, V n spanned by monomials of length n in the a i. The Gelfand-Kirillov dimension of A GKdim k[x 1,..., x m ] = m. GKdim A = lim sup log n (dim k V n ) n So noncommutative projective curves should have GKdim 2. Noncommutative projective schemes May 2, / 39
17 Noncommutative curves Theorem (Artin-Stafford, 1995) Let A be a f.g. connected graded domain generated in degree 1 with GKdim(A) = 2. Then there exists a projective curve X such that qgr-a coh(x) Or noncommutative projective curves are commutative. Noncommutative projective schemes May 2, / 39
18 Noncommutative surfaces The right definition of a noncommutative polynomial ring? Definition A a f.g. connected graded k-algebra is Artin-Schelter regular if (1) gl.dima = d < (2) GKdim A < and (3) Ext i A(k, A) = δ i,d k. Interesting invariant theory for these rings. Behaves homologically like a commutative polynomial ring. k[x 1,..., x m ] is AS regular of dimension m. Noncommutative P 2 s should be qgr-a for A AS-regular of dimension 3. Noncommutative projective schemes May 2, / 39
19 Noncommutative surfaces Theorem (Artin-Tate-Van den Bergh, 1990) Let A be an AS regular ring of dimension 3 generated in degree 1. Either (a) qgr-a coh(x) for X = P 2 or X = P 1 P 1, or (b) A B and qgr-b coh(e) for an elliptic curve E. Or noncommutative P 2 s are either commutative or contain a commutative curve. Other noncommutative surfaces (noetherian connected graded domains of GKdim 3)? Noncommutative P 3 (AS-regular of dimension 4)? Noncommutative projective schemes May 2, / 39
20 The first Weyl algebra Throughout, graded really meant N-graded Recall the first Weyl algebra: A 1 = k x, y /(xy yx 1) Simple noetherian domain of GK dim 2 A 1 is not N-graded Z-graded rings May 2, / 39
21 The first Weyl algebra A 1 = k x, y /(xy yx 1) Ring of differential operators on k[t] x t y d/dt A is Z-graded by deg x = 1, deg y = 1 (A 1 ) 0 = k[xy] k Exists an outer automorphism ω, reversing the grading ω(x) = y ω(y) = x Z-graded rings May 2, / 39
22 Sierra (2009) Sue Sierra, Rings graded equivalent to the Weyl algebra Classified all rings graded Morita equivalent to A 1 Examined the graded module category gr-a 1 : For each λ k \ Z, one simple module M λ For each n Z, two simple modules, X n and Y n X Y For each n, exists a nonsplit extension of X n by Y n and a nonsplit extension of Y n by X n Z-graded rings May 2, / 39
23 Sierra (2009) Computed Pic(gr-A 1 ), the Picard group (group of autoequivalences) of gr-a 1 Shift functor, S: Autoequivalence ω: Z-graded rings May 2, / 39
24 Sierra (2009) Theorem (Sierra) There exist ι n, autoequivalences of gr-a 1, permuting X n and Y n and fixing all other simple modules. Also ι i ι j = ι j ι i and ι 2 n = Id gr-a Theorem (Sierra) Pic(gr-A 1 ) = (Z/2Z) (Z) D = Zfin D. Z-graded rings May 2, / 39
25 Smith (2011) Paul Smith, A quotient stack related to the Weyl algebra Proves that Gr-A 1 Qcoh(χ) χ is a quotient stack whose coarse moduli space is the affine line Spec k[z], and whose stacky structure consists of stacky points BZ 2 supported at each integer point Gr-A 1 Gr(C, Z fin ) Qcoh(χ) Z-graded rings May 2, / 39
26 Smith (2011) Z fin the group of finite subsets of Z, operation XOR Constructs a Z fin -graded ring C := hom(a 1, ι J A 1 ) = J Z fin = k[z][ z n n Z] where deg x n = {n} k[x n n Z] (x 2 n + n = x 2 m + m m, n Z) C is commutative, integrally closed, non-noetherian PID Theorem (Smith) There is an equivalence of categories Gr-A 1 Gr(C, Z fin ). Z-graded rings May 2, / 39
27 Z-graded rings Theorem (Artin-Stafford, 1995) Let A be a f.g. connected N-graded domain generated in degree 1 with GKdim(A) = 2. Then there exists a projective curve X such that qgr-a coh(x). Theorem (Smith, 2011) A 1 is a f.g. Z-graded domain with GKdim(A 1 ) = 2. There exists a commutative ring C and quotient stack χ such that gr-a 1 gr(c, Z fin ) coh(χ). Z-graded rings May 2, / 39
28 Generalized Weyl algebras (GWAs) Introduced by V. Bavula Generalized Weyl algebras and their representations (1993) D a ring; σ Aut(D); a Z(D) The generalized Weyl algebra D(σ, a) with base ring D D(σ, a) = D x, y ( ) xy = a yx = σ(a) dx = xσ(d), d D dy = yσ 1 (d), d D Theorem (Bell-Rogalski, 2015) Every simple Z-graded domain of GKdim 2 is graded Morita equivalent to a GWA. Z-graded rings May 2, / 39
29 Generalized Weyl algebras For us, D = k[z]; σ(z) = z 1; a = f (z) A(f ) = k x, y, z ( ) xy = f (z) yx = f (z 1) xz = (z + 1)x yz = (z 1)y Two roots α, β of f (z) are congruent if α β Z Example (The first Weyl algebra) Take f (z) = z D(σ, a) = k[z] x, y ( ) k x, y = xy = z yx = z 1 (xy yx 1) = A 1. zx = x(z 1) zy = y(z + 1) Z-graded rings May 2, / 39
30 Generalized Weyl algebras Properties of A(f ): Noetherian domain Krull dimension 1 Simple if and only if no congruent roots 1, f has neither multiple nor congruent roots gl.dim A(f ) = 2, f has congruent roots but no multiple roots, f has a multiple root We can give A(f ) a Z grading by deg x = 1, deg y = 1, deg z = 0 Z-graded rings May 2, / 39
31 Questions Focus on quadratic f (z) = z(z + α). For these GWAs A(f ): What does gr-a(f ) look like? What is Pic(gr-A(f ))? Can we construct a commutative Γ-graded ring C such that gr(c, Γ) gr-a(f )? Z-graded rings May 2, / 39
32 Results If α k \ Z (distinct roots): α 2 α 1 α α If α = 0 (double root): If α N + (congruent roots): Z-graded rings May 2, / 39
33 Results Theorem(s) (W) In all cases, there exist numerically trivial autoequivalences ι n permuting X n and Y n and fixing all other simple modules. Corollary (W) For quadratic f, Pic(gr-A(f )) = Z fin D. Z-graded rings May 2, / 39
34 Results Let α k \ Z. Define a Z fin Z fin graded ring C: ( C = hom A A, ι(j,j )A ) (J,J ) Z fin Z fin = k[a n, b n n Z] (a 2 n + n = a 2 m + m, a 2 n = b 2 n + α m, n Z) with deg a n = ({n}, ) and deg b n = (, {n}) Theorem (W) There is an equivalence of categories gr(c, Z fin Z fin ) gr-a. Z-graded rings May 2, / 39
35 Results Let α = 0. Define a Z fin -graded ring B: B = J Z fin hom A (A, ι J A) = k[z][b n n Z] (b 2 n = (z + n) 2 n Z). Theorem (W) B is a reduced, non-noetherian, non-domain of Kdim 1 with uncountably many prime ideals. Theorem (W) There is an equivalence of categories gr(b, Z fin ) gr-a. Z-graded rings May 2, / 39
36 Results In congruent root (α N + ), we have finite-dimensional modules. Consider the quotient category qgr-a = gr-a/fdim-a. Theorem (W) There is an equivalence of categories gr(b, Z fin ) qgr-a. Z-graded rings May 2, / 39
37 The upshot In all cases, There exist numerically trivial autoequivalences permuting X and Y and fixing all other simples. Pic(gr-A(f )) = Z fin D. There exists a Z fin -graded commutative ring R such that qgr-a(f ) gr(r, Z fin ). Z-graded rings May 2, / 39
38 Questions Z fin -grading on B gives an action of Spec kz fin on Spec B [ ] Spec B χ = Spec kz fin Other Z-graded domains of GK dimension 2? Other GWAs? U(sl(2)), Down-up algebras, quantum Weyl algebra, Simple Z-graded domains Construction of B: {F γ γ Γ} Pic(gr-A) B = γ Γ Hom qgr-a (A, F γ A) Opposite view: O a quasicoherent sheaf on χ: Hom Qcoh(χ) (O, S n O) n Z Future direction May 2, / 39
39 Thank you! May 2, / 39
Z-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 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 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 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 informationTHE NONCOMMUTATIVE SCHEMES OF GENERALIZED WEYL ALGEBRAS
THE NONCOMMUTATIVE SCHEMES OF GENERALIZED WEYL ALGEBRAS ROBERT WON Abstract. The first Weyl algebra over k, A 1 = k x, y /(xy yx 1) admits a natural Z-grading by letting deg x = 1 and deg y = 1. Paul Smith
More informationUNIVERSITY OF CALIFORNIA, SAN DIEGO. The graded module category of a generalized Weyl algebra
UNIVERSITY OF CALIFORNIA, SAN DIEGO The graded module category of a generalized Weyl algebra A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in
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 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 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 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 informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
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 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 informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
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 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 informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationTwisted rings and moduli stacks of fat point modules in non-commutative projective geometry
Twisted rings and moduli stacks of fat point modules in non-commutative projective geometry DANIEL CHAN 1 University of New South Wales e-mail address:danielc@unsw.edu.au Abstract The Hilbert scheme of
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 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 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 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 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 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 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 information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
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 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 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 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 informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
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 informationarxiv: v2 [math.ra] 16 Dec 2008
RINGS GRADED EQUIVALENT TO THE WEYL ALGEBRA arxiv:0711.1494v2 [math.ra] 16 Dec 2008 SUSAN J. SIERRA Abstract. We consider the first Weyl algebra, A, in the Euler gradation, and completely classify graded
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 informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationNon-commutative Spaces for Graded Quantum Groups and Graded Clifford Algebras
Non-commutative Spaces for Graded Quantum Groups and Graded Clifford Algebras Michaela Vancliff Department of Mathematics, Box 19408 University of Texas at Arlington Arlington, TX 76019-0408 vancliff@uta.edu
More informationDERIVED CATEGORIES OF COHERENT SHEAVES
DERIVED CATEGORIES OF COHERENT SHEAVES OLIVER E. ANDERSON Abstract. We give an overview of derived categories of coherent sheaves. [Huy06]. Our main reference is 1. For the participants without bacground
More informationALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
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 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 informationRepresentations of quivers
Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice
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 informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
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 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: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 informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
More informationEnveloping algebras of double Poisson-Ore extensions
Enveloping algebras of double Poisson-Ore extensions Xingting Wang Department of Mathematics, Temple University, Philadelphia Special Session on Topics Related to the Interplay of Noncommutative Algebra
More informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.
ALGERAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE AOUT VARIETIES AND REGULAR FUNCTIONS. ANDREW SALCH. More about some claims from the last lecture. Perhaps you have noticed by now that the Zariski topology
More informationD-manifolds and derived differential geometry
D-manifolds and derived differential geometry Dominic Joyce, Oxford University September 2014 Based on survey paper: arxiv:1206.4207, 44 pages and preliminary version of book which may be downloaded from
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationarxiv: v1 [math.ra] 16 Dec 2014
arxiv:1412.5219v1 [math.ra] 16 Dec 2014 CATEGORY EQUIVALENCES INVOLVING GRADED MODULES OVER QUOTIENTS OF WEIGHTED PATH ALGEBRAS CODY HOLDAWAY Abstract. Let k be a field, Q a finite directed graph, and
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 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 informationDEGENERATE SKLYANIN ALGEBRAS AND GENERALIZED TWISTED HOMOGENEOUS COORDINATE RINGS
DEGENERATE SKLYANIN ALGEBRAS AND GENERALIZED TWISTED HOMOGENEOUS COORDINATE RINGS CHELSEA WALTON Department of Mathematics University of Michigan Ann Arbor, MI 48109. E-mail address: notlaw@umich.edu Abstract.
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 informationCommutative algebra and representations of finite groups
Commutative algebra and representations of finite groups Srikanth Iyengar University of Nebraska, Lincoln Genoa, 7th June 2012 The goal Describe a bridge between two, seemingly different, worlds: Representation
More informationarxiv: v1 [math.ra] 5 Feb 2015
Noncommutative ampleness from finite endomorphisms D. S. Keeler Dept. of Mathematics, Miami University, Oxford, OH 45056 arxiv:1502.01668v1 [math.ra] 5 Feb 2015 Abstract K. Retert Dept. of Mathematics,
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
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 informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
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 informationSUBSPACES OF NON-COMMUTATIVE SPACES
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 354, Number 6, Pages 2131 2171 S 0002-9947(02)02963-X Article electronically published on February 14, 2002 SUBSPACES OF NON-COMMUTATIVE SPACES
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves of ideals, and closed subschemes 1 2. Invertible sheaves (line bundles) and divisors 2 3. Some line bundles on projective
More informationTHE GROTHENDIECK GROUP OF A QUANTUM PROJECTIVE SPACE BUNDLE
THE GROTHENDIECK GROUP OF A QUANTUM PROJECTIVE SPACE BUNDLE IZURU MORI AND S. PAUL SMITH Abstract. We compute the Grothendieck group of non-commutative analogues of projective space bundles. Our results
More informationDERIVED CATEGORIES: LECTURE 4. References
DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,
More informationIDEAL CLASSES OF THREE DIMENSIONAL ARTIN SCHELTER REGULAR ALGEBRAS
IDEAL CLASSES OF THREE DIMENSIONAL ARTIN SCHELTER REGULAR ALGEBRAS KOEN DE NAEGHEL AND MICHEL VAN DEN BERGH Abstract. We determine the possible Hilbert functions of graded rank one torsion free modules
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
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 informationUniversal localization at semiprime Goldie ideals
at semiprime Goldie ideals Northern Illinois University UNAM 23/05/2017 Background If R is a commutative Noetherian ring and P R is a prime ideal, then a ring R P and ring homomorphism λ : R R P can be
More informationLectures on algebraic stacks
Rend. Mat. Appl. (7). Volume 38, (2017), 1 169 RENDICONTI DI MATEMATICA E DELLE SUE APPLICAZIONI Lectures on algebraic stacks Alberto Canonaco Abstract. These lectures give a detailed and almost self-contained
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
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 informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More informationDualizing complexes and perverse sheaves on noncommutative ringed schemes
Sel. math., New ser. Online First c 2006 Birkhäuser Verlag Basel/Switzerland DOI 10.1007/s00029-006-0022-4 Selecta Mathematica New Series Dualizing complexes and perverse sheaves on noncommutative ringed
More informationDEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE
DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE ANGELA ORTEGA (NOTES BY B. BAKKER) Throughout k is a field (not necessarily closed), and all varieties are over k. For a variety X/k, by a basepoint
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 informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationSCHEMES. David Harari. Tsinghua, February-March 2005
SCHEMES David Harari Tsinghua, February-March 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............
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 informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationKashiwara Theorem for Hyperbolic Algebras
Kashiwara Theorem for Hyperbolic Algebras Contents: Introduction 1. Hyperbolic algebras. 2. Kashiwara theorem. 3. Examples. The GK dimension of modules in the category O. 4. The GK dimension of modules
More informationRealizing Families of Landweber Exact Theories
Realizing Families of Landweber Exact Theories Paul Goerss Department of Mathematics Northwestern University Summary The purpose of this talk is to give a precise statement of 1 The Hopkins-Miller Theorem
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 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 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 informationExercise Sheet 3 - Solutions
Algebraic Geometry D-MATH, FS 2016 Prof. Pandharipande Exercise Sheet 3 - Solutions 1. Prove the following basic facts about algebraic maps. a) For f : X Y and g : Y Z algebraic morphisms of quasi-projective
More informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Motivation and game plan 1 2. The affine case: three definitions 2 Welcome back to the third quarter! The theme for this quarter, insofar
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 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 information