Z-graded noncommutative projective geometry Algebra Seminar
|
|
- Adela Marshall
- 5 years ago
- Views:
Transcription
1 Z-graded noncommutative projective geometry Algebra Seminar Robert Won University of California, San Diego November 9, / 43
2 Overview 1 Preliminaries Pre-talk catchup Noncommutative things 2 Noncommutative projective schemes 3 Z-graded rings Prior work Generalized Weyl algebras 4 Future direction November 9, / 43
3 What you missed in the pre-talk Throughout, k = k, char(k) = 0 Γ an abelian group A Γ-graded k-algebra A has k-space decomposition A = γ Γ A γ such that A γ A δ A γ+δ A graded right A-module M: M = γ Γ M γ such that M γ A δ M γ+δ Preliminaries November 9, / 43
4 What you missed in the pre-talk A graded by N (or Z), the graded module category gr-a: Objects: finitely generated graded right A-modules Hom sets (degree 0) graded module homomorphisms: hom gr-a (M, N) = {f Hom mod-a (M, N) f (M i ) N i } The shift functor: S i : gr-a gr-a M M i M M 3 M 2 M 1 M 0 M 1 M 1 M 3 M 2 M 1 M 0 M 1 M 2 M 3 M 2 M 1 M 0 M 1 Preliminaries November 9, / 43
5 The Picard group For a category of graded modules (e.g. gr-a) we define the Picard group, Pic(gr-A) to be the group of autoequivalences of gr-a modulo natural isomorphism. (If R is a commutative k-algebra, Pic(mod-R) = Pic(R), the isomorphism classes of invertible unitary R-bimodules) For a noncommutative ring, A, Pic(gr-A) can be nonabelian. Preliminaries November 9, / 43
6 Morita equivalence Two rings R and S are called Morita equivalent if mod-r is equivalent to mod-s (if and only if R-mod equivalent to S-mod). For R and S commutative, then R is Morita equivalent to S if and only if R = S. Example R a ring, then M n (R) (the ring of n n matrices) is Morita equivalent to R. R and S are graded Morita equivalent if gr-r is equivalent to gr-s. Preliminaries November 9, / 43
7 Noncommutative is not commutative Commutative graded ring: R Proj R Noncommutative ring: 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 four homogeneous prime ideals (namely (0), (x), (y), and (x, y)). Preliminaries November 9, / 43
8 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. Preliminaries November 9, / 43
9 Sheaves to the rescue All you need is modules Theorem Let X = Proj R for a commutative, f.g. k-algebra R generated in degree 1. (1) Every coherent sheaf on X is isomorphic to M for some f.g. graded R-module M. (2) M = Ñ as sheaves if and only if there is an isomorphism M n = N n. Let gr-r be the category of f.g. R-modules. Take the quotient category qgr-r = gr-r/fdim-r The above says qgr-r coh(proj R). Preliminaries November 9, / 43
10 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. Idea: Use geometry to study Proj NC A = qgr-a to study A. Noncommutative projective schemes November 9, / 43
11 All you need is modules Can attempt to do any geometry that only relies on the module category. If X is a commutative projective k-scheme, for each x X, there is the skyscraper sheaf k(x) coh(x). So the simple objects of coh(x) correspond to points of X. A point module is a graded right module M such that M is cyclic, generated in degree 0, and has dim k M n = 1 for all n. Fact: If A is f.g. connected graded noetherian k-algebra generated in degree 1, then the point modules are simple objects of qgr-a. Points of Proj NC A = simple modules. Noncommutative projective schemes November 9, / 43
12 Twisted homogeneous coordinate rings We can go from rings to schemes via Proj. R Proj R Can we go back? (Certainly not uniquely: Proj R (d) = Proj R.) X a projective scheme, L a line bundle on X The homogeneous coordinate ring is B(X, L) = k H 0 (X, L n ). n 1 Theorem (Serre) Assume L is ample. Then (1) B = B(X, L) is a f.g. graded noetherian k-algebra. (2) X = Proj B so qgr-b coh(x). Noncommutative projective schemes November 9, / 43
13 Twisted homogeneous coordinate rings X a (commutative) projective scheme, L a line bundle, and σ Aut(X). Define L σ = σ L and L n = L L σ L σn 1. The twisted homogeneous coordinate ring is B(X, L, σ) = k n 1 H 0 (X, L n ). B(X, L, σ) is not necessarily commutative Theorem (Artin-Van den Bergh, 1990) Assume L is σ-ample. Then (1) B = B(X, L, σ) is a f.g. graded noetherian k-algebra. (2) qgr-b coh(x). Noncommutative projective schemes November 9, / 43
14 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 November 9, / 43
15 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, an automorphism σ and invertible sheaf L such that up to a f.d vector space A = B(X, L, σ) As a corollary, qgr-a coh(x). Or noncommutative projective curves are commutative. Noncommutative projective schemes November 9, / 43
16 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) gldim A = d < (2) GKdim A < and (3) Ext i A(k, A) = δ i,d k. 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 November 9, / 43
17 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) A = B(X, L, σ) for X = P 2 or X = P 1 P 1 or (b) A B(E, L, σ) 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 November 9, / 43
18 Z-graded rings Throughout, graded really meant N-graded Way back to our first example: 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 Simple noetherian domain of GK dim 2 Exists an outer automorphism ω, reversing the grading ω(x) = y ω(y) = x Z-graded rings November 9, / 43
19 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 November 9, / 43
20 Sierra (2009) Computed Pic(gr-A 1 ) Shift functor, S: Autoequivalence ω: Z-graded rings November 9, / 43
21 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 November 9, / 43
22 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 November 9, / 43
23 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] 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 November 9, / 43
24 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 ) Qcoh(χ). Z-graded rings November 9, / 43
25 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 November 9, / 43
26 The main object 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 November 9, / 43
27 The main object 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 November 9, / 43
28 Questions and strategy For these generalized Weyl algebras 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 )? Strategy: First quadratic f Distinct, non-congruent roots Congruent roots Double root Z-graded rings November 9, / 43
29 Distinct, non-congruent roots Let f (z) = z(z + α) for some α k \ Z. A = A(f ) = ( xy = z(z + α) k x, y, z ) yx = (z 1)(z + α 1) xz = (z + 1)x yz = (z 1)y We still have A is simple, K.dim(A) = gl.dim(a) = 1 Still exists an outer automorphism ω reversing the grading ω(x) = y ω(y) = x ω(z) = 1 + α z Z-graded rings November 9, / 43
30 Distinct, non-congruent roots Graded simple modules: α 2 α 1 α α One simple graded module M λ for each λ k \ (Z Z + α) For each n Z two simple modules X 0 n and Y 0 n For each n Z two simple modules X α n and Y α n A nonsplit extension of X 0 n by Y 0 n and vice versa A nonsplit extension of X α n by Y α n and vice versa Z-graded rings November 9, / 43
31 Distinct, non-congruent roots Theorem (W) There exist numerically trivial autoequivalences, ι (n, ) permuting X 0 n and Y 0 n and fixing all other simple modules. Similarly, there exist ι (,n) permuting X α n and Y α n. Theorem (W) Pic(gr-A) = (Z/2Z) (Z) D Z-graded rings November 9, / 43
32 Distinct, non-congruent roots Define a Z fin Z fin graded ring C: C = k[a n, b n n Z] modulo the relations a 2 n + n = a 2 m + m and a 2 n = b 2 n + α for all 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 November 9, / 43
33 Multiple root Let f (z) = z 2. A = A(f ) = k x, y, z ( xy = z 2 yx = (z 1) 2 ) xz = (z + 1)x yz = (z 1)y K.dim(A) = 1 Exists an outer automorphism ω reversing the grading ω(x) = y ω(y) = x ω(z) = 1 z Now gl.dim(a) = Z-graded rings November 9, / 43
34 Multiple root The graded simple modules For each λ k \ Z, M λ For each n Z, X n and Y n X Y Nonsplit extensions of X n by Y n and vice versa. Also self-extensions of X n by X n and Y n and Y n. Z-graded rings November 9, / 43
35 Multiple root Theorem (W) There exist numerically trivial autoequivalences, ι n permuting X n and Y n and fixing all other simple modules. Theorem (W) Pic(gr-A) = (Z/2Z) (Z) D Z-graded rings November 9, / 43
36 Multiple root Define a Z fin graded ring B: B = J Z fin hom A (A, ι J A) = k[z][a 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 November 9, / 43
37 Two congruent roots Let f (z) = z(z + m) for some m N. A = A(f ) k x, y, z = ( ) xy = z(z + m) yx = (z 1)(z + m 1) xz = (z + 1)x yz = (z 1)y What do we lose? A no longer simple There exist new finite-dimensional simple modules Now gl.dim(a) = 2 What remains? Still have K.dim(A) = 1 Still exists an outer automorphism ω reversing the grading ω(x) = y ω(y) = x ω(z) = 1 + m z Z-graded rings November 9, / 43
38 Two congruent roots The graded simple modules For each λ k \ Z, M λ For each n Z, X n, Y n, and Z n X Z Y Z n is finite dimensional proj. dim Z n = 2 Leads to more finite length modules than in previous cases Z-graded rings November 9, / 43
39 Two congruent roots Theorem (W) If F is an autoequivalence of gr-a then there exists a = ±1 and b Z such that {F(X n ), F(Y n )} = {X an + b, Y an + b } and F(Z n ) = Z an + b. Theorem (W) There exist numerically trivial autoequivalences, ι n permuting X n and Y n and fixing all other simple modules. Z-graded rings November 9, / 43
40 Two congruent roots In this case, finite dimensional modules Z n. 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 November 9, / 43
41 The upshot In all cases, There exist numerically trivial autoequivalences permuting X and Y and fixing all other simples. Pic(gr-A(f )) = (Z 2 ) Z D. There exists a Z fin -graded commutative ring R such that qgr-a(f ) gr(r, Z fin ). Z-graded rings November 9, / 43
42 Questions Z fin -grading on B gives an action of Spec kz fin on Spec B [ ] Spec B χ = Spec kz fin What are the properties of χ? Other Z-graded domains of GK dimension 2? GWAs defined by non-quadratic f? Other base rings D? U(sl(2)) Quantum Weyl algebra Simple Z-graded domains Future direction November 9, / 43
43 Questions Theorem (Smith, 2011) A 1 a Z-graded domain of GK dim 2. Stack χ such that Gr-A 1 Gr(C, Z fin ) Qcoh(χ). For A a Z-graded domain of GK dim 2, is there always a stack? Construction of B: Γ Pic(gr-A) B = Hom qgr-a (A, FA) F Γ Take Γ = S = Z then B = A. Opposite view: O a quasicoherent sheaf on χ: Hom Qcoh(χ) (O, S n O) n Z Future direction November 9, / 43
The 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationPaolo Stellari STABILITY CONDITIONS ON GENERIC K3 SURFACES
Paolo Stellari STABILITY CONDITIONS ON GENERIC K3 SURFACES Joint with D. Huybrechts and E. Macrì math.ag/0608430 Dipartimento di Matematica F. Enriques Università degli Studi di Milano CONTENTS A generic
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationarxiv: v1 [math.ag] 18 Nov 2017
KOSZUL DUALITY BETWEEN BETTI AND COHOMOLOGY NUMBERS IN CALABI-YAU CASE ALEXANDER PAVLOV arxiv:1711.06931v1 [math.ag] 18 Nov 2017 Abstract. Let X be a smooth projective Calabi-Yau variety and L a Koszul
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 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 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 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 informationOn Degenerations and Deformations of Sklyanin Algebras
On Degenerations and Deformations of Sklyanin Algebras by Chelsea M. Walton A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The
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 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 information(This is a sample cover image for this issue. The actual cover is not yet available at this time.)
(This is a sample cover image for this issue. The actual cover is not yet available at this time.) This article appeared in a journal published by Elsevier. The attached copy is furnished to the author
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 informationAutomorphisms of varieties and critical density. Jason Bell (U. Michigan)
Automorphisms of varieties and critical density Jason Bell (U. Michigan) belljp@umich.edu 1 Let X be a topological space and let S be an infinite subset of X. We say that S is critically dense if every
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 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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48 RAVI VAKIL CONTENTS 1. The local criterion for flatness 1 2. Base-point-free, ample, very ample 2 3. Every ample on a proper has a tensor power that
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 informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationA note on standard equivalences
Bull. London Math. Soc. 48 (2016) 797 801 C 2016 London Mathematical Society doi:10.1112/blms/bdw038 A note on standard equivalences Xiao-Wu Chen Abstract We prove that any derived equivalence between
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 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 informationD. ROGALSKI AND J. J. ZHANG
CANONICAL MAPS TO TWISTED RINGS arxiv:math/0409405v2 [math.ra] 14 Dec 2004 D. ROGALSKI AND J. J. ZHANG Abstract. If A is a strongly noetherian graded algebra generated in degree one, then there is a canonically
More informationBraid group actions on categories of coherent sheaves
Braid group actions on categories of coherent sheaves MIT-Northeastern Rep Theory Seminar In this talk we will construct, following the recent paper [BR] by Bezrukavnikov and Riche, actions of certain
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 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 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 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 informationDuality in Noncommutative Algebra and Geometry
Duality in Noncommutative Algebra and Geometry Lecture Notes 9 June 2008 Amnon Yekutieli Ben Gurion University, ISRAEL http://www.math.bgu.ac.il/ amyekut/lectures Here is the plan of my lecture: 1. Recalling
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
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 informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
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 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 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 informationNOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE
NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the
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 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 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 informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
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 informationThe preprojective algebra revisited
The preprojective algebra revisited Helmut Lenzing Universität Paderborn Auslander Conference Woodshole 2015 H. Lenzing Preprojective algebra 1 / 1 Aim of the talk Aim of the talk My talk is going to review
More informationPreprojective algebras, singularity categories and orthogonal decompositions
Preprojective algebras, singularity categories and orthogonal decompositions Claire Amiot Abstract In this note we use results of Minamoto [7] and Amiot-Iyama-Reiten [1] to construct an embedding of the
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationOn Noncommutative Varieties
UNIVERSITY OF OSLO Department of Mathematics On Noncommutative Varieties Candidata Scientiarum Thesis Heidi Elisabeth Iuell DAHL May 4, 2006 Acknowledgements I would like to start by thanking my tutor,
More informationThe Néron Ogg Shafarevich criterion Erik Visse
The Néron Ogg Shafarevich criterion Erik Visse February 17, 2017 These are notes from the seminar on abelian varieties and good reductions held in Amsterdam late 2016 and early 2017. The website for the
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 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 informationFormal Modules. Elliptic Modules Learning Seminar. Andrew O Desky. October 6, 2017
Formal Modules Elliptic Modules Learning Seminar Andrew O Desky October 6, 2017 In short, a formal module is to a commutative formal group as a module is to its underlying abelian group. For the purpose
More information