Graded modules over generalized Weyl algebras

Size: px
Start display at page:

Download "Graded modules over generalized Weyl algebras"

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 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 information

The graded module category of a generalized Weyl algebra

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 information

Z-graded noncommutative algebraic geometry University of Washington Algebra/Algebraic Geometry Seminar

Z-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 information

THE NONCOMMUTATIVE SCHEMES OF GENERALIZED WEYL ALGEBRAS

THE 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 information

UNIVERSITY 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 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 information

What is noncommutative algebraic geometry?

What 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 information

Math 121 Homework 5: Notes on Selected Problems

Math 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 information

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

PROBLEMS, 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 information

arxiv: v2 [math.ra] 16 Dec 2008

arxiv: 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 information

NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES

NONCOMMUTATIVE 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 information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC 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 information

The Structure of AS-regular Algebras

The 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 information

ON GRADED MORITA EQUIVALENCES FOR AS-REGULAR ALGEBRAS KENTA UEYAMA

ON 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 information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED 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 information

Structures of AS-regular Algebras

Structures 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 information

Algebraic varieties and schemes over any scheme. Non singular varieties

Algebraic 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 information

Annihilation of Cohomology over Curve Singularities

Annihilation 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 information

Deformations of a noncommutative surface of dimension 4

Deformations 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 information

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

Riemann 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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 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 information

1. Algebraic vector bundles. Affine Varieties

1. 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 information

Ring Theory Problems. A σ

Ring 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 information

Tensor Product of modules. MA499 Project II

Tensor 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 information

Representations of quivers

Representations 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 information

n P say, then (X A Y ) P

n 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 information

An 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, 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 information

Graded 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. 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 information

Noetherian property of infinite EI categories

Noetherian 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 information

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

MATH 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 information

Math 451, 01, Exam #2 Answer Key

Math 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 information

Auslander s Theorem for permutation actions on noncommutative algebras

Auslander s Theorem for permutation actions on noncommutative algebras Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Joint with Ellen Kirkman, W. Frank Moore, Robert Won Invariant Theory Throughout,

More information

Thus we get. ρj. Nρj i = δ D(i),j.

Thus 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 information

REPRESENTATION THEORY WEEK 9

REPRESENTATION 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 information

Hilbert function, Betti numbers. Daniel Gromada

Hilbert 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 information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL 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 information

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

We 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 information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 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 information

ABSTRACT NONSINGULAR CURVES

ABSTRACT 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 information

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

Algebra 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 information

The varieties of e-th powers

The 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 information

Injective Modules and Matlis Duality

Injective 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 information

Notes on p-divisible Groups

Notes 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 information

Noncommutative motives and their applications

Noncommutative 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 information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA 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 information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA 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

TEST CODE: PMB SYLLABUS

TEST 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 information

Synopsis 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. 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 information

A Primer on Homological Algebra

A 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 information

HARTSHORNE EXERCISES

HARTSHORNE 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 information

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

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 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 information

DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE

DEFINITION 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 information

Twisted 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 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 information

An 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 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 information

Coherent sheaves on elliptic curves.

Coherent 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 information

Smooth morphisms. Peter Bruin 21 February 2007

Smooth 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 information

and this makes M into an R-module by (1.2). 2

and 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 information

Preliminary Exam Topics Sarah Mayes

Preliminary 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 information

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

ADVANCED 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 information

On the modular curve X 0 (23)

On 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 information

x 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

x 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 information

12. 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 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 information

Pushouts, Pullbacks and Their Properties

Pushouts, 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 information

1 Notations and Statement of the Main Results

1 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 information

Math 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 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 information

Commutative Algebra. Timothy J. Ford

Commutative 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 information

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

1. 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 information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 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 information

Auslander s Theorem for permutation actions on noncommutative algebras

Auslander s Theorem for permutation actions on noncommutative algebras Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Introduction This project is joint work with my collaborators at Wake Forest University.

More information

NOTES ON SPLITTING FIELDS

NOTES 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 information

Homotopy-theory techniques in commutative algebra

Homotopy-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 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 information

Introduction to modules

Introduction 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 information

Lie Algebra Cohomology

Lie 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 information

LECTURE 11: SOERGEL BIMODULES

LECTURE 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 information

The Proj Construction

The 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 information

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL 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 information

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. 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 information

AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS. Piotr Malicki

AUSLANDER-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 information

Formal groups. Peter Bruin 2 March 2006

Formal 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 information

Representation type, boxes, and Schur algebras

Representation 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 information

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY

ADVANCED 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 information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A 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 information

A functorial approach to modules of G-dimension zero

A 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 information

SERRE 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 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 information

arxiv: v1 [math.ra] 3 Oct 2009

arxiv: 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 information

Ideals 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 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 information

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY

COMMUTATIVE 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 information

Representations and Linear Actions

Representations 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 information

Essays 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

Essays 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 information

A note on standard equivalences

A 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 information

Non-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 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 information

Chern classes à la Grothendieck

Chern 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 information

Toric Varieties. Madeline Brandt. April 26, 2017

Toric 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 information

Graduate Preliminary Examination

Graduate 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 information

Categories and functors

Categories 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 information

Lectures on algebraic stacks

Lectures 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 information

43 Projective modules

43 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 information

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

Introduction 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 information

arxiv: v1 [math.ra] 16 Dec 2014

arxiv: 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 information

Total 100

Total 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