Graded modules over generalized Weyl algebras
|
|
- Howard Collins
- 5 years ago
- Views:
Transcription
1 Graded modules over generalized Weyl algebras Advancement to Candidacy Robert Won Advised by: Dan Rogalski December 4, / 41
2 Overview 1 Preliminaries Graded rings and modules Noncommutative things 2 Prior work Sierra (2009) Smith (2011) Generalized Weyl algebras 3 Results Non-congruent roots Congruent roots Multiple root 4 Future direction December 4, / 41
3 Graded k-algebras k an algebraically closed field of characteristic 0 Γ an abelian 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 γ Examples Any ring R with trivial grading k[x] graded by Z k[x, x 1 ] graded by Z Preliminaries December 4, / 41
4 Graded modules and morphisms A graded right A-module M: M = i Z M i such that M i A j M i+j A graded module homomorphism, f : M N: f (M i ) N i A graded module homomorphism of degree d, f : M N: f (M i ) N i+d Preliminaries December 4, / 41
5 Graded modules and morphisms A graded submodule N = N M i i Z If N M a graded submodule M/N is a graded factor module with M/N = (M/N) i = (M i + N)/N. i Z i Z Given a graded module M, define the shift operator (M n ) i = M i n 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 December 4, / 41
6 Categories A category, C, consists of a collection of objects, Obj(C ), and for any two objects X, Y a class of morphisms Hom C (X, Y) Example Set, whose objects are sets and morphisms are functions A (covariant) functor, F : C D is a mapping that associates to each: object X Obj(C ) an object F(X) Obj(D), and morphism f Hom C (X, Y) a morphism F(f ) Hom D (X, Y) An equivalence of categories is a functor F : C D and a functor G : D C such that F G = Id D and G F = Id C. Preliminaries December 4, / 41
7 The graded module category gr-a Objects: finitely generated graded right A-modules Hom sets: 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 Preliminaries December 4, / 41
8 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 with 1, 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 December 4, / 41
9 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 December 4, / 41
10 The Weyl algebra A noncommutative graded k-algebra, the first Weyl algebra A 1 (k) = A 1 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 Exists an outer automorphism ω, reversing the grading ω(x) = y ω(y) = x Preliminaries December 4, / 41
11 Sierra (2009) Sue Sierra, Rings graded equivalent to the Weyl algebra Classified all rings graded Morita equivalent to A Examined the graded module category gr-a: 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 Prior work December 4, / 41
12 Sierra (2009) Computed Pic(gr-A) Shift functor, S: Autoequivalence ω: Prior work December 4, / 41
13 Sierra (2009) Theorem (Sierra) 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 }. An autoequivalence is numerically trivial if a = 1, b = 0. Denote the group of numerically trivial autoequivalences Pic 0 (gr-a). Pic(gr-A) = Pic 0 (gr-a) D. Prior work December 4, / 41
14 Sierra (2009) Theorem (Sierra) There exist ι n, autoequivalences of gr-a, 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 0 (gr-a) = (Z/2Z) (Z) = Z fin. Prior work December 4, / 41
15 Smith (2011) Paul Smith, A quotient stack related to the Weyl algebra Proves that gr-a 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 gr(c, Z fin ) Qcohχ Prior work December 4, / 41
16 Smith (2011) Z fin the group of finite subsets of Z, operation XOR Constructs a Z fin graded ring C := hom(a, ι J A) = 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 gr(c, Z fin ). Prior work December 4, / 41
17 Generalized Weyl algebras 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 There are also higher dimensional generalized Weyl algebras Prior work December 4, / 41
18 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) Prior work December 4, / 41
19 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 Prior work December 4, / 41
20 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 (or otherwise nicer) Γ-graded ring C such that gr(c, Γ) gr-a(f )? Strategy: First quadratic f Distinct, non-congruent roots Congruent roots Double root Results December 4, / 41
21 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 Results December 4, / 41
22 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 Results December 4, / 41
23 Distinct, non-congruent roots Theorem (W) There exist numerically trivial autoequivalences, ι 0 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) = Pic 0 (gr-a) D = (Z/2Z) (Z) D Results December 4, / 41
24 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. Results December 4, / 41
25 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 Results December 4, / 41
26 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 Results December 4, / 41
27 Two congruent roots Some finite length indecomposables E Z,Y,X X Z Y E X,Z,X X X Z E Y,Z,Y Z Y Y Results December 4, / 41
28 Two congruent roots We investigate rank 1 projective modules. As a left k[z]-module, A n is generated x n for n 0 and y n for n < 0. Since y n x n = σ 1 (f ) σ n (f ) A = i Z (a i )x i with a i = { 1, i 0 σ 1 (f ) σ i (f ), i < 0 Results December 4, / 41
29 Two congruent roots Rank 1 projective modules P a rank 1 projective, P A P = (b i )x i i Z such that b i+1 b i and b i b i+1 σ i (f ). Define c i = b i b 1 i+1. We then have c i σ i (f ), so c i {1, σ i (z), σ i (z + m), σ i (f )}. We call this sequence {c i } the structure constants of P. An ideal of A is determined up to isomorphism by its structure constants. Results December 4, / 41
30 Two congruent roots The structure constants {c i } determine the properties of a right ideal, I: Lemma (W) I X n if and only if c n m {1, σ n m (z)}, I Y n if and only if c n {σ n (z), σ n (f )}, I Z n if and only if c n m {σ n m (z + m), σ n m (f )} and c n {1, σ n (z + m)}. Lemma (W) I is projective if and only if for n Z, it is not the case that both c n m {1, σ n m (z)} and c n {σ n (z), σ n (f )} (if and only if I surjects onto exactly one of X n, Y n, or Z n ). Results December 4, / 41
31 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. Results December 4, / 41
32 Two congruent roots Shift functor, S: Autoequivalence ω: Pic(gr-A) = Pic 0 (gr-a) D. Results December 4, / 41
33 Two congruent roots Theorem (almost) There exist numerically trivial autoequivalences, ι n permuting X n and Y n and fixing all other simple modules. Construction For a rank 1 projective P, we showed P X (or Y or Z). Lift this surjection to a surjection P E X,Z,X (or E Y,Z,Y or E Z,Y,X ) and let ι 0 (P) be the kernel. For a general projective, more technical. Results December 4, / 41
34 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 As in all previous cases: K.dim(A) = 1 Exists an outer automorphism ω reversing the grading ω(x) = y ω(y) = x ω(z) = 1 z Different from the previous cases: Now gl.dim(a) = Results December 4, / 41
35 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. Results December 4, / 41
36 Multiple root The structure constants {c i } determine the properties of a right ideal, I: Lemma (W) I X n if and only if c n {1, σ n (z)}, I Y n if and only if c n {σ n (z), σ n (f )}, Lemma (W) I is projective if and only if for n Z, it is not the case that both c n = σ n (z) (if and only if I surjects onto exactly one of X n, and Y n ). Results December 4, / 41
37 Multiple root Shift functor, S: Autoequivalence ω: Theorem (W) F an autoequivalence of gr-a then there exists a = ±1 and b Z: {F(X n ), F(Y n )} = {X an + b, Y an + b }. So Pic(gr-A) = Pic 0 (gr-a) D. Results December 4, / 41
38 Multiple root Theorem (almost) There exist numerically trivial autoequivalences, ι n permuting X n and Y n and fixing all other simple modules. Theorem (W) Pic(gr-A) = Pic 0 (gr-a) D = (Z/2Z) (Z) D Results December 4, / 41
39 Multiple root Define a Z fin graded ring B: B = hom A (A, ι J A). J Z fin A commutative k-algebra Not a domain Theorem (almost) There is an equivalence of categories gr(b, Z fin ) gr-a. Results December 4, / 41
40 The upshot For all f, there exist numerically trivial autoequivalences permuting X and Y and fixing all other simples. For all f, Pic(gr-A(f )) = (Z 2 ) Z D. If f has distinct roots, there exists a commutative ring C such that gr-a(f ) gr(c, Z fin Z fin ) If f has a multiple root, there exists a commutative ring B such that gr-a(f ) gr(b, Z fin ) Results December 4, / 41
41 Questions What are the properties of the commutative ring B? What can we say about the congruent root case? Conjecture (W) qgr-a(z(z + m)) gr(b, Z fin ). where qgr-a is the category of graded A-modules modulo the full subcategory of finite dimensional modules. Can we piece together the picture for general (non-quadratic) f? Future direction December 4, / 41
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
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 informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationTensor Product of modules. MA499 Project II
Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI
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 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 informationAn introduction to. Profinite Grothendieck-Teichmüller theory. MIT, Cambridge, Massachusetts. November 5-9, Lecture 1B
An introduction to Profinite Grothendieck-Teichmüller theory MIT, Cambridge, Massachusetts November 5-9, 2012 Lecture 1B The Grothendieck-Teichmüller group 1 Outline Lecture 1A: Geometric Galois actions
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 informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
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 informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
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 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 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 informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
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 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 informationThe varieties of e-th powers
The varieties of e-th powers M.A. Bik Master thesis Thesis advisors: dr. R.M. van Luijk dr. R.I. van der Veen Date master exam: 25 July 2016 Mathematisch Instituut, Universiteit Leiden Acknowledgements
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationNoncommutative motives and their applications
MSRI 2013 The classical theory of pure motives (Grothendieck) V k category of smooth projective varieties over a field k; morphisms of varieties (Pure) Motives over k: linearization and idempotent completion
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 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 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 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 informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More 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 information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
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 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 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 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 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 informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
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 informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
More informationx y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2
5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let
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 informationPushouts, Pullbacks and Their Properties
Pushouts, Pullbacks and Their Properties Joonwon Choi Abstract Graph rewriting has numerous applications, such as software engineering and biology techniques. This technique is theoretically based on pushouts
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
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 informationCommutative Algebra. Timothy J. Ford
Commutative Algebra Timothy J. Ford DEPARTMENT OF MATHEMATICS, FLORIDA ATLANTIC UNIVERSITY, BOCA RA- TON, FL 33431 Email address: ford@fau.edu URL: http://math.fau.edu/ford Last modified January 9, 2018.
More information1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by
Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
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 informationNOTES ON SPLITTING FIELDS
NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y
More informationHomotopy-theory techniques in commutative algebra
Homotopy-theory techniques in commutative algebra Department of Mathematical Sciences Kent State University 09 January 2007 Departmental Colloquium Joint with Lars W. Christensen arxiv: math.ac/0612301
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 informationIntroduction to modules
Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available
More informationLie Algebra Cohomology
Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationThe Proj Construction
The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
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 informationAUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS. Piotr Malicki
AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS Piotr Malicki CIMPA, Mar del Plata, March 2016 3. Irreducible morphisms and almost split sequences A algebra, L, M, N modules in mod A A homomorphism
More informationFormal groups. Peter Bruin 2 March 2006
Formal groups Peter Bruin 2 March 2006 0. Introduction The topic of formal groups becomes important when we want to deal with reduction of elliptic curves. Let R be a discrete valuation ring with field
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 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 informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationA functorial approach to modules of G-dimension zero
A functorial approach to modules of G-dimension zero Yuji Yoshino Math. Department, Faculty of Science Okayama University, Okayama 700-8530, Japan yoshino@math.okayama-u.ac.jp Abstract Let R be a commutative
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 informationarxiv: v1 [math.ra] 3 Oct 2009
ACTOR OF AN ALTERNATIVE ALGEBRA J.M. CASAS, T. DATUASHVILI, AND M. LADRA arxiv:0910.0550v1 [math.ra] 3 Oct 2009 Abstract. We define a category galt of g-alternative algebras over a field F and present
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 informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
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 informationEssays on representations of p-adic groups. Smooth representations. π(d)v = ϕ(x)π(x) dx. π(d 1 )π(d 2 )v = ϕ 1 (x)π(x) dx ϕ 2 (y)π(y)v dy
10:29 a.m. September 23, 2006 Essays on representations of p-adic groups Smooth representations Bill Casselman University of British Columbia cass@math.ubc.ca In this chapter I ll define admissible representations
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 informationNon-injectivity of the map from the Witt group of a variety to the Witt group of its function field
Non-injectivity of the map from the Witt group of a variety to the Witt group of its function field Burt Totaro For a regular noetherian scheme X with 2 invertible in X, let W (X) denote the Witt group
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationToric Varieties. Madeline Brandt. April 26, 2017
Toric Varieties Madeline Brandt April 26, 2017 Last week we saw that we can define normal toric varieties from the data of a fan in a lattice. Today I will review this idea, and also explain how they can
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
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 information43 Projective modules
43 Projective modules 43.1 Note. If F is a free R-module and P F is a submodule then P need not be free even if P is a direct summand of F. Take e.g. R = Z/6Z. Notice that Z/2Z and Z/3Z are Z/6Z-modules
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
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 informationTotal 100
Math 542 Midterm Exam, Spring 2016 Prof: Paul Terwilliger Your Name (please print) SOLUTIONS NO CALCULATORS/ELECTRONIC DEVICES ALLOWED. MAKE SURE YOUR CELL PHONE IS OFF. Problem Value 1 10 2 10 3 10 4
More information