Deformations of a noncommutative surface of dimension 4
|
|
- Buddy Jefferson
- 5 years ago
- Views:
Transcription
1 Deformations of a noncommutative surface of dimension 4 Sue Sierra University of Edinburgh Homological Methods in Algebra and Geometry, AIMS Ghana 2016
2 In this talk, I will describe the work of my student Christopher Campbell on algebras that behave like polynomials in 4 variables. Throughout, k is an algebraically closed field of characteristic 0. Let C = k[x 1,..., x n ]. Why is C a nice ring?
3 Here are some ways that C is nice: 1 C is connected graded: C = p 0 C p with C p C q C p+q for all p, q, and with C 0 = k. 2 C is generated by C 1 : C p = C p 1 for all p 1. 3 C has polynomial growth: more specifically dim C p = ( ) p+n 1 p for all p 0. 4 C has global dimension n < : every C-module M has a projective resolution of length n: an exact sequence 0 P n P n 1 P 1 P 0 C 0 with the P i projective. 5 C is a domain: ab = 0 a = 0 or b = 0 6 C is noetherian: every ideal is finitely generated.
4 Problem For fixed n, find all the noncommutative rings R satisfying (1)-(6). (Note: these criteria are slightly weaker than Artin-Schelter regular) n = 1: we have only R = k[x]. n = 2: R is either a quantum plane or the Jordan plane: k q [x, y] = k x, y /xy qyx for some q k k J [x, y] = k x, y /xy yx x 2 (Here (6) becomes: R is left and right noetherian: all left or right ideals are finitely generated.)
5 For n = 3 the answer is known: Theorem (Artin-Tate-Van den Bergh, Stephenson-Zhang) If R is an algebra that satisfies (1) (4),(6) then R is also a domain (5) and moreover R is Artin-Schelter regular. Such R are classified. For n = 4:??????, although there are many examples. Example Let α be a graded automorphism of k[x 1, x 2, x 3 ], so α GL(3, k). Let R = k[x 1, x 2, x 3 ][x 4 ; α] Notation: if f k[x 1, x 2, x 3 ] then x 4 f = f α x 4. This satisfies (1) (6).
6 Example (almost!) Let σ Aut k(u, v) be defined by Let D = k(u, v)[t; σ]. u σ = uv, v σ = v. Let A be the subalgebra of D generated by x 1 = t, x 2 = ut, x 3 = vt, x 4 = uvt. Proposition (Smith-Zhang) A satisfies (1) (5). In particular, dim A p = ( ) p+3 p. However, (6) fails: A is not noetherian.
7 Note: A has transcendence degree 3 given by u, v, t, but behaves like polynomials in four variables. We say A is a surface because in projective geometry, homogeneous coordinate rings of surfaces have transcendence degree 3. For example k[x, y, z] k(x/z, y/z)[z] is the graded ring associated to P 2.
8 The commutative ring k[x 1, x 2, x 3, x 4 ] has 4 generators and 6 relations: x i x j = x j x i for all 1 i < j 4. If A is like" k[x 1, x 2, x 3, x 4 ] it should also have 6 relations. r 1 : x 1 x 3 = tvt = v σ t 2 = vt 2 = x 3 x 1. r 2 : x 2 x 4 = utuvt = u(uv) σ t 2 = u 2 v 2 t 2 = x 4 x 2. r 3 : x 4 x 1 = uvt 2 = utvt = x 2 x 3. r 4 : x 1 x 2 = uvt 2 = x 2 x 3. r 5 : x 3 x 2 = uv 2 t 2 = x 1 x 4. r 6 : x 4 x 3 = uv 2 t 2 = x 1 x 4. Fact: A = k x 1, x 2, x 3, x 4 /(r 1, r 2, r 3, r 4, r 5.r 6 ).
9 Our goal is now to find other algebras like A. Method one: guess. I will try to deform A slightly, keeping (1) (5). Maybe I should deform σ. Let τ Aut k(u, v) so that u τ k(u), v τ k(v). (Equivalently, let τ Aut (P 1 P 1 ), where means the connected component of the identity.) Let (Note A(I) = A.) A(τ) = k t, ut, vt, uvt k(u, v)[t; στ]. Theorem (Rogalski-S.) There exists τ so that A(τ) satisfies (1) (6). Question Is this all of the algebras like A?
10 Method two: Hochschild cohomology. Imagine there is a variety X parameterising algebras like A. We can find a neighbourhood of X containing A by looking for curves in X that pass through A. That is, we want to find a family of algebras A(s), depending on a parameter s, so that A(0) = A and so that the A(s) satisfy (1) (6) if possible, or at least (1) (5).
11 We are looking for deformations of A. That is, we put a new multiplication s on A[s] so that a s b = ab + µ 1 (a, b)s + µ 2 (a, b)s 2 + (Here ab means multiplication in A, so A(0) = A.) Each µ p : A k A A. We want A(s) to be graded so require µ p (A i A j ) A i+j. Fact: s is associative if and only if for all n we have: ( n ) : µ p (µ q (a, b), c) µ p (a, µ q (b, c)) = 0. p+q=n
12 Definition A map µ 1 : A k A A satisfying ( 1 ) or aµ 1 (b, c) µ 1 (ab, c) + µ 1 (a, bc) µ 1 (a, b)c = 0 a, b, c A is a Hochschild 2-cocycle of A Such a µ 1 defines an associative multiplication s on A As: (a + bs) s (a + b s) = ab + (µ 1 (a, b) + ba + ab )s. The cocycle is a coboundary if this new ring is isomorphic to A[s]/s 2. The 2nd Hochschild cohomology of A is HH 2 (A) = { cocycles }/{ coboundaries }.
13 HH 2 (A) is the space of infinitesimal deformations of A, and can be thought of as the tangent space to A of our variety X of algebras. In fact because we want graded deformations we look just for the degree 2 piece HH 2 2 (A).
14 Theorem (Campbell) The graded infinitesimal deformations of A form an 8-dimensional vector space, depending on parameters a,..., h. The new multiplication on A As satisfies the relations: r 1 : x 3x 1 (1 + a)x 1 x 3 + bx cx 2 1. r 2 : x 4x 2 (1 + d)x 2 x 4 + ex fx 2 2. r 3 : x 4x 1 x 2 x 3 + bx 1 x 4. r 4 : x 1x 2 + (a 1)x 2 x 3 + cx 2 x 1 + gx 2 1 hx 2 2. r 5 : x 3 x 2 + (a 1 + d)x 1 x 4 + ex 3 x 4 + fx 2 x 3. r 6 : x 4x 3 x 1 x 4 + bx 3 x 4 gx 1 x 3 + hx 2 x 4.
15 Recall that we defined elements of HH 2 (A) in terms of the multiplication a s b = ab + µ 1 (a, b)s. How does this compare to the relations above? For example, we had r 4 : x 1 x 2 x 2 x 3 = 0. r 4 : x 1x 2 + (a 1)x 2 x 3 + cx 2 x 1 + gx 2 1 hx 2 2 = 0 And µ 1 : A k A A satisfies: µ 1 (x 1 x 2 x 2 x 3 ) = ax 2 x 3 + cx 2 x 1 + gx 2 1 hx 2 2.
16 What about ( 2 ), giving algebras associative modulo s 3 : µ 1 (µ 1 (a, b), c) µ 1 (a, µ 1 (b, c)) = aµ 2 (b, c) µ 2 (ab, c) + µ 2 (a, bc) µ 2 (a, b)c. Proposition (Campbell) The set of µ 1 HH2 2(A) for which there exists µ 2 satisfying ( 2 ) is: V g = {(a, b, c, d, e, f, g, h) (a, b, c) = (d, e, f )} V q = {(a, b, c, d, e, f, g, h) g = h = 0, rank V u = {(a, b, c, d, e, f, g, h) rank ( a b c d e f ) 1} ( ) a b c 1, a + b + c = 0} d e f
17 Why are these results hard? Formally, define the cobar complex to be: 0 Hom k (A, A) b 1 Hom k (A k A, A) b 2 Hom k (A k A k A, A) b 3... For example, b 2 (f )(a, b, c) = af (b, c) f (ab, c) + f (a, bc) f (a, b)c, so 2-cocycles are those f in ker b 2. In fact HH (A) is the cohomology of the cobar complex. Not helpful for calculating (even if we restrict to HH 2 2 )!
18 To calculate HH 2 (A) need to know how to deduce HH 2 from simply knowing the value of b 2 on the relations of A. The cobar complex comes from the bar resolution of A as an (A A)-bimodule. It turns out that A is a Koszul algebra and so has a much nicer Koszul resolution. However, definitions are given using the bar resolution. Thus to be able to do calculations one must have maps: (bar resolution) (Koszul resolution) The arrow is automatic; finding a splitting that one can calculate takes some work.
19 The cobar complex also clarifies the role of HH 3 as the home of obstructions. Recall that we want to extend (or integrate ) an infinitesimal deformation µ 1 to order 2. We can reframe ( 2 ) as: µ 1 (µ 1 (a, b), c) µ 1 (a, µ 1 (b, c)) = b 2 (µ 2 ), or that [µ 1 (µ 1 (a, b), c) µ 1 (a, µ 1 (b, c))] is 0 in HH 3 (A). If HH 3 (A) were trivial, then any µ 1 integrates to µ 2 ( unobstructed ). Unfortunately, this isn t true, but with some work can still use knowing how the maps behave on the relations to calculate which µ 1 integrate.
20 V g = {(a, b, c, d, e, f, g, h) (a, b, c) = (d, e, f )} Since HH 2 (A) = T A (X) and {A(τ) τ Aut (P 1 P 1 )} X, we expect a map Lie(Aut (P 1 P 1 )) = sl 2 sl 2 HH 2 2 (A). This map can be computed and takes (( ) ( )) a b d e, ( 2d, f, e, 2d, f, e, b, c) V c a f d g. Thus the g in V g stands for geometric: V g corresponds to {A(τ)}. So in some sense we understand V g, although we still do not have a complete description of which A(τ) are noetherian or even satisfy (1) (5).
21 Theorem (Campbell) Let a, c, d, f k, with a, d 1 and af dc = 0. Then the algebra: A(a, c, d, f ) := k x 1, x 2, x 3, x 4 /... r 1 := x 3x 1 (1 + a)x 1 x 3 cx 2 1 r 2 := x 4x 2 (1 + d)x 2 x 4 fx 2 2 r 3 := x 4x 1 (1 + d)x 2 x 3 fx 2 x 1 r 4 := x 1 x 2 x 2 x 3 r 5 := x 3 x 2 (1 + a)x 1 x 4 cx 2 x 3 r 6 := x 4x 3 (1 + a)x 1 x 4 cx 2 x 3 is a connected graded domain, of global dimension 4, with dim A(a, c, d, f ) p = ( ) p+3 p. However, it is never noetherian. In other words, it satisfies (1) (5), but not (6).
22 Fix a, c, d, f and consider the algebras as s varies. A(as, cs, ds, fs) They sweep out a curve in X, and its tangent direction at A is (a, 0, c, d, 0, f, 0, 0) V q = {(a, b, c, d, e, f, g, h) g = h = 0, rank ( ) a b c 1}. d e f
23 Question 1 Do the other directions in V q integrate to give a family of algebras in X? 2 What about V u? (Here u stands for unknown.) Note that for many algebras, all infinitesmal deformations that integrate to order 2 integrate completely. 3 Which of the rings we obtain are noetherian?
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 informationZ-graded noncommutative projective geometry Algebra Seminar
Z-graded noncommutative projective geometry Algebra Seminar Robert Won University of California, San Diego November 9, 2015 1 / 43 Overview 1 Preliminaries Pre-talk catchup Noncommutative things 2 Noncommutative
More 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 informationA = A(f) = k x 1,...,x n /(f = f ij x i x j )
Noncommutative Algebraic Geometry Shanghai September 12-16, 211 Calabi-Yau algebras linked to Poisson algebras Roland Berger (Saint-Étienne, France (jointly Anne Pichereau Calabi-Yau algebras viewed as
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 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 informationPoisson and Hochschild cohomology and the semiclassical limit
Poisson and Hochschild cohomology and the semiclassical limit Matthew Towers University of Kent http://arxiv.org/abs/1304.6003 Matthew Towers (University of Kent) arxiv 1304.6003 1 / 15 Motivation A quantum
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 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 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 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 informationDEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1
DEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1 TRAVIS SCHEDLER Note: it is possible that the numbers referring to the notes here (e.g., Exercise 1.9, etc.,) could change
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 informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
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 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 informationPatterns and Invariants in Mathematics
Patterns and in Mathematics Professor Nicole Snashall 24th June 2017 1 / 12 Outline 1 2 3 4 2 / 12 Pinecones How many spirals are there in each direction on the pinecone? 3 / 12 Pinecones How many spirals
More informationSuppose A h is a flat family of non-commutative algebras, such that A 0 is commutative.
Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Then A 0 has an additional
More 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 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 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 informationADE Dynkin diagrams in algebra, geometry and beyond based on work of Ellen Kirkman
ADE Dynkin diagrams in algebra, geometry and beyond based on work of Ellen Kirkman James J. Zhang University of Washington, Seattle, USA at Algebra Extravaganza! Temple University July 24-28, 2017 Happy
More informationVERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY
VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute
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 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 informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
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 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 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 informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Motivation and game plan 1 2. The affine case: three definitions 2 Welcome back to the third quarter! The theme for this quarter, insofar
More informationNote that the first map is in fact the zero map, as can be checked locally. It follows that we get an isomorphism
11. The Serre construction Suppose we are given a globally generated rank two vector bundle E on P n. Then the general global section σ of E vanishes in codimension two on a smooth subvariety Y. If E is
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 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 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 informationRigidity of Artin-Schelter Regular Algebras
Ellen Kirkman and James Kuzmanovich Wake Forest University James Zhang University of Washington Shephard-Todd-Chevalley Theorem Theorem. The ring of invariants C[x,, x n ] G under a finite group G is a
More informationZ-graded noncommutative algebraic geometry University of Washington Algebra/Algebraic Geometry Seminar
Z-graded noncommutative algebraic geometry University of Washington Algebra/Algebraic Geometry Seminar Robert Won Wake Forest University Joint with Jason Gaddis (Miami University) and Cal Spicer (Imperial
More information1 Hochschild Cohomology and A : Jeff Hicks
1 Hochschild Cohomology and A : Jeff Hicks Here s the general strategy of what we would like to do. ˆ From the previous two talks, we have some hope of understanding the triangulated envelope of the Fukaya
More informationMorita Equivalence. Eamon Quinlan
Morita Equivalence Eamon Quinlan Given a (not necessarily commutative) ring, you can form its category of right modules. Take this category and replace the names of all the modules with dots. The resulting
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 informationLevels in triangulated categories
Levels in triangulated categories Srikanth Iyengar University of Nebraska, Lincoln Leeds, 18th August 2006 The goal My aim is to make a case that the invariants that I call levels are useful and interesting
More informationRigidity of Rings and Invariants of the Weyl Algebra I
Rigidity of Rings and Invariants of the Weyl Algebra I João Fernando Schwarz Universidade de São Paulo 15 de março de 2018 Introducing the notion of rigidity All base fields k will have char = 0. All automorphisms
More 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 informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say
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 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 informationGeometry of noncommutative algebras. Eivind Eriksen BI Norwegian Business School. Arvid Siqveland Buskerud University College
This file was downloaded from the institutional repository BI Brage - http://brage.bibsys.no/bi (Open Access) Geometry of noncommutative algebras Eivind Eriksen BI Norwegian Business School Arvid Siqveland
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 informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
More informationA-INFINITY STRUCTURE ON EXT-ALGEBRAS
A-INFINITY STRUCTURE ON EXT-ALGEBRAS D.-M. LU, J. H. PALMIERI, Q.-S. WU AND J. J. ZHANG Abstract. Let A be a connected graded algebra and let E denote its Extalgebra L i Exti A (k A, k A ). There is a
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 informationAtiyah classes and homotopy algebras
Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten
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 informationAlgebra Review 2. 1 Fields. A field is an extension of the concept of a group.
Algebra Review 2 1 Fields A field is an extension of the concept of a group. Definition 1. A field (F, +,, 0 F, 1 F ) is a set F together with two binary operations (+, ) on F such that the following conditions
More informationHairy balls and ham sandwiches
Hairy balls and ham sandwiches Graduate Student Seminar, Carnegie Mellon University Thursday 14 th November 2013 Clive Newstead Abstract Point-set topology studies spaces up to homeomorphism. For many
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationNotes for Boot Camp II
Notes for Boot Camp II Mengyuan Zhang Last updated on September 7, 2016 1 The following are notes for Boot Camp II of the Commutative Algebra Student Seminar. No originality is claimed anywhere. The main
More informationInvariant Theory and Hochschild Cohomology of Skew Group Algebras
Invariant Theory and Hochschild Cohomology of Skew Group Algebras Briana Foster-Greenwood UNT April 23, 2011 Briana Foster-Greenwood (UNT) Invariant Theory and HH(S(V )#G) April 23, 2011 1 / 21 Outline
More informationDEFORMATION THEORY MICHAEL KEMENY
DEFORMATION THEORY MICHAEL KEMENY 1. Lecture 1: Deformations of Algebras We wish to first illustrate the theory with a technically simple case, namely deformations of algebras. We follow On the Deformation
More informationAssigned homework problems S. L. Kleiman, fall 2008
18.705 Assigned homework problems S. L. Kleiman, fall 2008 Problem Set 1. Due 9/11 Problem R 1.5 Let ϕ: A B be a ring homomorphism. Prove that ϕ 1 takes prime ideals P of B to prime ideals of A. Prove
More informationBinomial Exercises A = 1 1 and 1
Lecture I. Toric ideals. Exhibit a point configuration A whose affine semigroup NA does not consist of the intersection of the lattice ZA spanned by the columns of A with the real cone generated by A.
More informationFiberwise two-sided multiplications on homogeneous C*-algebras
Fiberwise two-sided multiplications on homogeneous C*-algebras Ilja Gogić Department of Mathematics University of Zagreb XX Geometrical Seminar Vrnjačka Banja, Serbia May 20 23, 2018 joint work with Richard
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 informationSome Remarks on D-Koszul Algebras
International Journal of Algebra, Vol. 4, 2010, no. 24, 1177-1183 Some Remarks on D-Koszul Algebras Chen Pei-Sen Yiwu Industrial and Commercial College Yiwu, Zhejiang, 322000, P.R. China peisenchen@126.com
More informationPOINCARÉ-BIRKHOFF-WITT THEOREMS
POINCARÉ-BIRKHOFF-WITT THEOREMS ANNE V. SHEPLER AND SARAH WITHERSPOON Abstract. We sample some Poincaré-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationMath 396. An application of Gram-Schmidt to prove connectedness
Math 396. An application of Gram-Schmidt to prove connectedness 1. Motivation and background Let V be an n-dimensional vector space over R, and define GL(V ) to be the set of invertible linear maps V V
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 informationMA 162B LECTURE NOTES: FRIDAY, JANUARY 30
MA 162B LECTURE NOTES: FRIDAY, JANUARY 30 1. Examples of Cohomology Groups (cont d) 1.1. H 2 and Projective Galois Representations. Say we have a projective Galois representation ρ : G P GL(V ) where either
More informationCollected trivialities on algebra derivations
Collected trivialities on algebra derivations Darij Grinberg December 4, 2017 Contents 1. Derivations in general 1 1.1. Definitions and conventions....................... 1 1.2. Basic properties..............................
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More 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 informationQuadraticity and Koszulity for Graded Twisted Tensor Products
Quadraticity and Koszulity for Graded Twisted Tensor Products Peter Goetz Humboldt State University Arcata, CA 95521 September 9, 2017 Outline Outline I. Preliminaries II. Quadraticity III. Koszulity
More information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q
More informationarxiv: v1 [math.ra] 22 Jul 2014
ANOTHER PROOF OF A THEOREM OF VAN DEN BERGH ABOUT GRADED-INJECTIVE MODULES arxiv:1407.5916v1 [math.ra] 22 Jul 2014 AMNON YEKUTIELI Suppose A = i N A i is a left noetherian N-aded ring. The category of
More informationTowers of algebras categorify the Heisenberg double
Towers of algebras categorify the Heisenberg double Joint with: Oded Yacobi (Sydney) Alistair Savage University of Ottawa Slides available online: AlistairSavage.ca Preprint: arxiv:1309.2513 Alistair Savage
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More information3 Algebraic Methods. we can differentiate both sides implicitly to obtain a differential equation involving x and y:
3 Algebraic Methods b The first appearance of the equation E Mc 2 in Einstein s handwritten notes. So far, the only general class of differential equations that we know how to solve are directly integrable
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 informationx 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7
Linear Algebra and its Applications-Lab 1 1) Use Gaussian elimination to solve the following systems x 1 + x 2 2x 3 + 4x 4 = 5 1.1) 2x 1 + 2x 2 3x 3 + x 4 = 3 3x 1 + 3x 2 4x 3 2x 4 = 1 x + y + 2z = 4 1.4)
More informationThe most important result in this section is undoubtedly the following theorem.
28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems
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 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 informationa b (mod m) : m b a with a,b,c,d real and ad bc 0 forms a group, again under the composition as operation.
Homework for UTK M351 Algebra I Fall 2013, Jochen Denzler, MWF 10:10 11:00 Each part separately graded on a [0/1/2] scale. Problem 1: Recalling the field axioms from class, prove for any field F (i.e.,
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 informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationTropical Polynomials
1 Tropical Arithmetic Tropical Polynomials Los Angeles Math Circle, May 15, 2016 Bryant Mathews, Azusa Pacific University In tropical arithmetic, we define new addition and multiplication operations on
More informationDifferential Groups and Differential Relations. Michael F. Singer Department of Mathematics North Carolina State University Raleigh, NC USA
Differential Groups and Differential Relations Michael F. Singer Department of Mathematics North Carolina State University Raleigh, NC 27695-8205 USA http://www.math.ncsu.edu/ singer Theorem: (Hölder,
More informationDUAL REFLECTION GROUPS OF LOW ORDER KENT VASHAW. A Thesis Submitted to the Graduate Faculty of
DUAL REFLECTION GROUPS OF LOW ORDER BY KENT VASHAW A Thesis Submitted to the Graduate Faculty of WAKE FOREST UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES in Partial Fulfillment of the Requirements for
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 1.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear
More informationOR MSc Maths Revision Course
OR MSc Maths Revision Course Tom Byrne School of Mathematics University of Edinburgh t.m.byrne@sms.ed.ac.uk 15 September 2017 General Information Today JCMB Lecture Theatre A, 09:30-12:30 Mathematics revision
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 information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationGeometric Realizations of the Basic Representation of ĝl r
Geometric Realizations of the Basic Representation of ĝl r Joel Lemay Department of Mathematics and Statistics University of Ottawa September 23rd, 2013 Joel Lemay Geometric Realizations of ĝl r Representations
More informationarxiv: v1 [math.ag] 13 Dec 2007
An example of noncommutative deformations Eivind Eriksen arxiv:0712.2146v1 [math.ag] 13 Dec 2007 Oslo University College Postboks 4, St. Olavs plass N-0130 Oslo, Norway E-mail: eeriksen@hio.no October
More informationOne-Dimensional Line Schemes Michaela Vancliff
One-Dimensional Line Schemes Michaela Vancliff University of Texas at Arlington, USA http://www.uta.edu/math/vancliff/r vancliff@uta.edu Partial support from NSF DMS-1302050. Motivation Throughout, k =
More informationProjective modules: Wedderburn rings
Projective modules: Wedderburn rings April 10, 2008 8 Wedderburn rings A Wedderburn ring is an artinian ring which has no nonzero nilpotent left ideals. Note that if R has no left ideals I such that I
More informationHomework 2 - Math 603 Fall 05 Solutions
Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether
More information