Quadraticity and Koszulity for Graded Twisted Tensor Products

Size: px
Start display at page:

Download "Quadraticity and Koszulity for Graded Twisted Tensor Products"

Transcription

1 Quadraticity and Koszulity for Graded Twisted Tensor Products Peter Goetz Humboldt State University Arcata, CA September 9, 2017

2

3 Outline Outline I. Preliminaries II. Quadraticity III. Koszulity IV. Separable twisting maps V. Examples VI. References Joint work with Andrew Conner (Saint Mary s College of California)

4 Preliminaries Let K be a field. All objects and maps are in the category K-Vect. All tensor products are over K. We work with N-graded, connected, associative K-algebras. R = R n, R 0 = K n 0 R + = n>0 R n R/R + = K, trivial module We will say R is graded from now on. All algebras are associative.

5 Internal twisted products Let A and B be algebras with multiplication maps µ A and µ B. Definition An internal twisted tensor product of A and B is a triple (C, i A, i B ) where C is an algebra and i A : A C and i B : B C are injective algebra homomorphisms such that the linear map A B C given by a b i A (a)i B (b) is an isomorphism of vector spaces. Definition We say two internal twisted tensor products (C, i A, i B ) and (C, i A, i B ) of (graded) A and B are isomorphic if there exist (graded) algebra homomorphisms α : A A, β : B B, and γ : C C such that γi A = i A α, γi B = i Bβ, and γ is an isomorphism.

6 Twisting maps Definition We call a map τ : B A A B an algebra twisting map if τ(1 B a) = a 1 B, τ(b 1 A ) = 1 A b, and τ(µ B µ A ) = (µ A µ B )(1 A τ 1 B )(τ τ)(1 B τ 1 A ). The last equation asserts an equality of maps B B A A A B. If A and B are graded, A B admits an N-grading by the Künneth formula (A B) m = A k B l. k+l=m The map τ : B A A B is graded if τ((b A) n ) (A B) n for all n 0.

7 Internal twisted products and twisting maps Proposition (ČSV, C-G) Let A and B be (graded) algebras. Let τ : B A A B be a (graded) map. Define a map µ τ : A B A B A B by µ τ = (µ A µ B )(1 A τ 1 B ). The map τ : B A A B is an (graded) algebra twisting map if and only if µ τ defines an associative multiplication giving A B the structure of a (graded) algebra. The algebra determined by τ is denoted A τ B, and is called the external twisted tensor product of A and B.

8 Internal twisted products and twisting maps Proposition (ČSV, C-G) Let (C, i A, i B ) be a (graded) internal twisted tensor product of (graded) algebras A and B. Then there is a unique (graded) twisting map τ such that C is isomorphic to A τ B as a (graded) twisted tensor product.

9 Types of graded twisting maps If A and B are graded, a graded twisting map τ satisfies τ(b + A + ) (A + B 0 ) (A + B + ) (A 0 B + ). We say τ is strongly-graded if We say τ is one-sided if or τ(b i A j ) A j B i for all i, j 0. τ(b + A + ) (A + B 0 ) (A + B + ) τ(b + A + ) (A + B + ) (A 0 B + ). Many references to graded twisting maps in the literature in fact refer to the more restrictive cases of strongly-graded, or one-sided twisting maps. We sometimes refer to the most general type of twisting map as two-sided.

10 Example Example The commutative tensor product: A τ B, τ(b a) = a b. This twisting map is invertible and strongly-graded.

11 Example Example An Ore extension: A τ K[x], τ(x a) = σ(a) x + δ(a) 1, where σ End(A), δ is a σ-derivation. This twisting map is one-sided, and is invertible if σ is invertible.

12 Example Example A graded Hopf smash product: let H be a graded Hopf algebra; let A be a graded left Hopf H-module algebra. A#H = A τ H, τ(h a) = (h (1).a) h (2), where (h) = h (1) h (2). This twisting map is one-sided.

13 Quadratic algebras Let A be a graded algebra which is locally finite dimensional, dim K A n < for all n 0. A is one-generated if the canonical multiplication map π : T (A 1 ) A is surjective. Let I = (ker π) A 1 A 1 be the ideal of T (A 1 ) generated by the degree 2 elements of the kernel of π. If A is one-generated, the quadratic part of A is the algebra q(a) = T (A 1 )/I. If A = q(a) then A is called quadratic.

14 Koszul algebras Let A be a graded, locally finite dimensional, one-generated algebra. A is Koszul if the trivial module A/A + admits a resolution P 3 P 2 P 1 P 0 A/A + 0 such that each P i is a graded free left A-module generated in degree i. Two well-known facts follow immediately from this definition: 1 every Koszul algebra is quadratic, 2 every one-generated, free algebra is Koszul. Many important quadratic algebras arising naturally in mathematics are Koszul, and Koszul algebras satisfy a powerful duality property that sometimes underlies deep connections between apparently unrelated problems.

15 Natural questions 1 When are graded twisted tensor products of quadratic algebras quadratic? 2 When are graded twisted tensor products of Koszul algebras Koszul?

16 Unique extension property Definition If A and B are graded algebras, we say a graded twisting map τ : B A A B has the unique extension property if for all graded twisting maps τ : B A A B and all n N such that τ i = τ i for i < n, then τ n = τ n. Theorem (C-G) Every one-sided graded twisting map has the unique extension property.

17 Quadraticity for twisted tensor products Theorem (C-G) Assume that A and B are quadratic algebras, and let τ : B A A B be a graded twisting map. Then τ has the unique extension property if and only if A τ B is quadratic. If we drop the hypothesis that A and B are quadratic, we have an example of a graded twisting map τ : B A A B which has the unique extension property, the algebra A τ B is Koszul and yet A is not quadratic.

18 Koszulity for one-sided twisted tensor products Theorem (C-G) Let τ : B A A B be a one-sided graded twisting map. 1 If A and B are quadratic algebras, then A τ B is quadratic. 2 If A and B are Koszul algebras, then A τ B is Koszul. Statement (1) is immediate. For (2) we use the following result. Theorem (PP, Example 2, p. 90) Let f : A C be a homomorphism of quadratic algebras such that C 1 f(a 1 ) f(a 1 )C 1. Assume that A and C/f(A 1 )C are Koszul algebras and the left action of A on C is free in degrees 3. Then C is a Koszul algebra.

19 Twisting free algebras Theorem (C-G) If A and B are one-generated free algebras and τ : B A A B is a graded twisting map, then A τ B is a Koszul algebra whenever it is quadratic. Proof. Suppose that A = K x 1,..., x m and B = K y 1,..., y n are one-generated free algebras. Assume that τ : B A A B is a graded twisting map. Let C = A τ B and suppose that C is quadratic. The Hilbert series of A and B are respectively, h A (t) = (1 mt) 1 and h B (t) = (1 nt) 1, so h C (t) = (1 (m + n)t + mnt 2 ) 1. That C is Koszul follows immediately from [PP] Chapter 2, Proposition 2.3.

20 Twisted tensor products need not be Koszul Example Let A = K[x], B = K[y]. Define τ : B A A B by { τ(y i x j x j y i if i or j is even ) = x j+1 y i 1 x j y i + x j 1 y i+1 otherwise. Then: τ is a graded twisting map τ does not have the unique extension property consequently, A τ B is not quadratic, and hence A τ B is not Koszul. Additionally, it is easy to prove that A τ B is isomorphic to the algebra K x, y / x 2, y 2 x xy 2. This algebra has infinite global dimension, so A τ B is not Artin-Schelter regular.

21 Problem Find an example of a graded twisting map between two Koszul algebras which has the unique extension property, and the associated twisted tensor product is not Koszul, or prove that no such example exists; that is, prove that, for twisted tensor products, quadraticity is the only obstruction to Koszulity. Of course, if such an example exists, it is necessarily two-sided.

22 Separable twisting maps Definition A graded twisting map τ : B A A B is called separable if there exists a decomposition B 1 = B 1 B 1 such that τ(b 1 A 1 ) A 2 B 0 A 1 B 1 τ(b 1 A 1 ) A 1 B 1 A 0 µ B (B 1 B 1 ). Proposition (C-G) Every separable graded twisting map has the unique extension property. Hence, if A and B are quadratic algebras and τ : B A A B is separable, then A τ B is quadratic.

23 Constructing separable twisting maps Let A 1 be the vector space with basis {x 1,..., x l }. Let B 1 be the vector space with basis {u 1,..., u m, d 1,..., d n }. Let A = T (A 1 ) and B = T (B 1 ). Suppose that t : B 1 A 1 A B is any linear map such that t(b 1 A 1 ) A 1 B 1 A 2 B 0 and t(b 1 A 1 ) A 1 B 1 A 0 µ B (B 1 B 1 ). Theorem (C-G) There exists a unique graded twisting map τ : B A A B such that τ B1 A 1 = t. To construct examples of separable twisting maps on algebras with relations, one can check that the defining ideals are preserved by the twisting map, in an appropriate sense. See Theorem 3.7 of our paper.

24 A filtration for separable twisting maps Let Γ = N 3. Then Γ is a commutative monoid under component-wise addition. We equip Γ with a grading by total degree; that is, we let g : Γ N be the grading homomorphism defined by g(a, b, c) = a + b + c. We order the fibers g 1 (n) lexicographically, with (0, 0, 1) < (0, 1, 0) < (1, 0, 0) in g 1 (1). This determines the structure of a graded, ordered monoid on Γ. In particular, if α, β g 1 (n) and γ g 1 (m), then α < β implies α + γ < β + γ.

25 A filtration for separable twisting maps Let τ : B A A B be a separable twisting map, with B 1 = B 1 B 1. We define a one-generated, Γ-valued filtration F on A τ B as follows: F (0,0,0) = A 0 B 0 F (0,0,1) = A 0 B 1 + F (0,0,0) F (0,1,0) = A 1 B 0 + F (0,0,1) F (1,0,0) = A 0 B 1 + F (0,1,0) and for all α Γ such that g(α) > 1, F α = F i1 F i2 F ik. i 1+ +i k =α Note that by restricting our attention to the subalgebra B we obtain a filtration by the commutative monoid N 2, viewed as the submonoid of Γ generated by (1, 0, 0) and (0, 0, 1). We denote this filtration by F B.

26 Koszulity for separable twisting maps Theorem (C-G) Let A and B be quadratic algebras with spaces of quadratic relations I 2, J 2, respectively. Let τ : B A A B be a separable graded twisting map. Assume τ satisfies 1 π A0 A 2 B 1 (1 τ)(τ B 1)(B 1 I 2 ) = 0, and 2 π A1 B 2 B 0 (τ 1)(1 τ A )(J 2 A 1 ) = 0. Let B = gr F B (B). If A is Koszul, the quadratic part of B is Koszul and B has no defining relations in degree 3, then A τ B is Koszul.

27 Koszulity for separable twisting maps Corollary (C-G) Let A be a Koszul algebra with quadratic relation space I 2, let B be a free algebra, and suppose τ : B A A B is a separable graded twisting map. Assume that π A0 A 2 B 1 (1 τ)(τ B 1)(B 1 I 2 ) = 0. Then A τ B is Koszul.

28 Example Example Let A = K[x, y], B = K d, u. Define a separable graded twisting map τ by τ(d x) = x d + 1 d 2, τ(d y) = y d + 1 d 2. τ(u x) = x u + x 2 1, τ(u y) = y u + y 2 1. Then A τ B is Koszul, and gldim(a τ B) = 3.

29 Separable maps need not be one-sided Example Let A = K[x], B = K d, u, and let τ : B A A B be the separable, graded twisting map uniquely determined by τ(d x) = x d + 1 d 2, τ(u x) = x x u. There do not exist non-trivial, one-generated, graded K-algebras C and D and a one-sided graded twisting map τ : D C C D such that A τ B = C τ D as graded algebras.

30 Example Here is an example that shows that A τ B Koszul does not imply that A and B are quadratic. Example Let U(g 3 ) be the quotient of the free algebra Q x ij 1 i j 3 by the homogeneous ideal generated by [x ij, x ik + x jk ] i, j, k distinct [x ik, x jk ] i, j, k distinct. In [CG1] the following were proved: 1 U(g 3 ) is Koszul, 2 U(g 3 ) is isomorphic to A τ Q x 12, x 21 where A is isomorphic to the subalgebra of U(g 3 ) generated by {x 13, x 23, x 31, x 32 }; the twisting map τ in this case is one-sided so the subalgebra A is normal, 3 the algebra A is not finitely presented.

31 References [CG1] Andrew Conner and Peter Goetz. Some non-koszul algebras from rational homotopy theory. Bull. Lond. Math. Soc., 47(3): , [CG2] Andrew Conner and Peter Goetz. The Koszul property for graded twisted tensor products. Submitted. arxiv: [CSV] Andreas Čap, Hermann Schichl, and Jiri Vanžura. On twisted tensor products of algebras. Comm. Algebra, 23(12): , [PP] Alexander Polishchuk and Leonid Positselski. Quadratic algebars, volume 37 of University Lecture Series. American Mathematical Society, Providence, RI, 2005.

32 Thank you for listening.

A Leibniz Algebra Structure on the Second Tensor Power

A Leibniz Algebra Structure on the Second Tensor Power Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any

More information

Graded Calabi-Yau Algebras actions and PBW deformations

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

Some Remarks on D-Koszul Algebras

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

Lecture 17: Invertible Topological Quantum Field Theories

Lecture 17: Invertible Topological Quantum Field Theories Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly

More information

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485 Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL

More information

Finite generation of the cohomology rings of some pointed Hopf algebras

Finite generation of the cohomology rings of some pointed Hopf algebras Finite generation of the cohomology rings of some pointed Hopf algebras Van C. Nguyen Hood College, Frederick MD nguyen@hood.edu joint work with Xingting Wang and Sarah Witherspoon Maurice Auslander Distinguished

More information

arxiv: v1 [math.ac] 31 Oct 2015

arxiv: v1 [math.ac] 31 Oct 2015 MESOPRIMARY DECOMPOSITION OF BINOMIAL SUBMODULES CHRISTOPHER O NEILL arxiv:1511.00161v1 [math.ac] 31 Oct 2015 Abstract. Recent results of Kahle and Miller give a method of constructing primary decompositions

More information

Endomorphism Rings of Abelian Varieties and their Representations

Endomorphism Rings of Abelian Varieties and their Representations Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication

More information

Math 231b Lecture 16. G. Quick

Math 231b Lecture 16. G. Quick Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector

More information

DEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1

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

PERVERSE SHEAVES ON A TRIANGULATED SPACE

PERVERSE SHEAVES ON A TRIANGULATED SPACE PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to

More information

DERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine

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

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

HOMOLOGICAL TRANSCENDENCE DEGREE

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

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

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

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y] Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j

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

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

Rational Hopf G-spaces with two nontrivial homotopy group systems

Rational Hopf G-spaces with two nontrivial homotopy group systems F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational

More information

10. Noether Normalization and Hilbert s Nullstellensatz

10. Noether Normalization and Hilbert s Nullstellensatz 10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

More information

A users guide to K-theory

A users guide to K-theory A users guide to K-theory K-theory Alexander Kahle alexander.kahle@rub.de Mathematics Department, Ruhr-Universtät Bochum Bonn-Cologne Intensive Week: Tools of Topology for Quantum Matter, July 2014 Outline

More information

The geometry of projective space

The geometry of projective space Chapter 1 The geometry of projective space 1.1 Projective spaces Definition. A vector subspace of a vector space V is a non-empty subset U V which is closed under addition and scalar multiplication. In

More information

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC). Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

More information

Enveloping algebras of double Poisson-Ore extensions

Enveloping algebras of double Poisson-Ore extensions Enveloping algebras of double Poisson-Ore extensions Xingting Wang Department of Mathematics, Temple University, Philadelphia Special Session on Topics Related to the Interplay of Noncommutative Algebra

More 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

Frobenius Green functors

Frobenius Green functors UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative

More information

24 Artin reciprocity in the unramified case

24 Artin reciprocity in the unramified case 18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m

More information

ALGEBRAIC GROUPS JEROEN SIJSLING

ALGEBRAIC GROUPS JEROEN SIJSLING ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined

More information

Lectures on Algebraic Theory of D-Modules

Lectures on Algebraic Theory of D-Modules Lectures on Algebraic Theory of D-Modules Dragan Miličić Contents Chapter I. Modules over rings of differential operators with polynomial coefficients 1 1. Hilbert polynomials 1 2. Dimension of modules

More information

Journal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.

Journal of Algebra 226, (2000) doi: /jabr , available online at   on. Artin Level Modules. Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden

More information

NOTES ON MODULES AND ALGEBRAS

NOTES ON MODULES AND ALGEBRAS NOTES ON MODULES AND ALGEBRAS WILLIAM SCHMITT 1. Some Remarks about Categories Throughout these notes, we will be using some of the basic terminology and notation from category theory. Roughly speaking,

More information

Smith theory. Andrew Putman. Abstract

Smith theory. Andrew Putman. Abstract Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed

More information

The Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria

The Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria ESI The Erwin Schrodinger International Pasteurgasse 6/7 Institute for Mathematical Physics A-1090 Wien, Austria On Twisted Tensor Products of Algebras Andreas Cap Hermann Schichl Jir Vanzura Vienna, Preprint

More information

SELF-DUAL HOPF QUIVERS

SELF-DUAL HOPF QUIVERS Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of

More information

Title. Author(s)Morita, Hideaki; Watanabe, Junzo. CitationHokkaido University Preprint Series in Mathematics, Issue Date DOI 10.

Title. Author(s)Morita, Hideaki; Watanabe, Junzo. CitationHokkaido University Preprint Series in Mathematics, Issue Date DOI 10. Title Zero dimensional Gorenstein algebras with the action Author(s)Morita, Hideaki; Watanabe, Junzo CitationHokkaido University Preprint Series in Mathematics, Issue Date 2005-05-17 DOI 10.14943/83871

More information

GLOBALIZING LOCALLY COMPACT LOCAL GROUPS

GLOBALIZING LOCALLY COMPACT LOCAL GROUPS GLOBALIZING LOCALLY COMPACT LOCAL GROUPS LOU VAN DEN DRIES AND ISAAC GOLDBRING Abstract. Every locally compact local group is locally isomorphic to a topological group. 1. Introduction In this paper a

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

Confluence Algebras and Acyclicity of the Koszul Complex

Confluence Algebras and Acyclicity of the Koszul Complex Confluence Algebras and Acyclicity of the Koszul Complex Cyrille Chenavier To cite this version: Cyrille Chenavier. Confluence Algebras and Acyclicity of the Koszul Complex. Algebras and Representation

More information

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when

More information

Solutions to Assignment 4

Solutions to Assignment 4 1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2

More information

TCC Homological Algebra: Assignment #3 (Solutions)

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

NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008

NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh)   aar. Heidelberg, 17th December, 2008 1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

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

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS KOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between the Koszul and Ringel dualities for graded

More information

Math Studies Algebra II

Math Studies Algebra II Math Studies Algebra II Prof. Clinton Conley Spring 2017 Contents 1 January 18, 2017 4 1.1 Logistics..................................................... 4 1.2 Modules.....................................................

More information

A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO

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

Category O and its basic properties

Category O and its basic properties Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α

More information

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

arxiv: v1 [math.ac] 8 Jun 2010

arxiv: v1 [math.ac] 8 Jun 2010 REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the

More information

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary

More information

COHOMOLOGY OVER FIBER PRODUCTS OF LOCAL RINGS

COHOMOLOGY OVER FIBER PRODUCTS OF LOCAL RINGS COHOMOLOGY OVER FIBER PRODUCTS OF LOCAL RINGS W. FRANK MOORE Abstract. Let S and T be local rings with common residue field k, let R be the fiber product S k T, and let M be an S-module. The Poincaré series

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

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

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

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

Kathryn Hess. Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011

Kathryn Hess. Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011 MATHGEOM Ecole Polytechnique Fédérale de Lausanne Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011 Joint work with... Steve Lack (foundations) Jonathan Scott (application

More information

arxiv: v1 [math.ag] 2 Oct 2009

arxiv: v1 [math.ag] 2 Oct 2009 THE GENERALIZED BURNSIDE THEOREM IN NONCOMMUTATIVE DEFORMATION THEORY arxiv:09100340v1 [mathag] 2 Oct 2009 EIVIND ERIKSEN Abstract Let A be an associative algebra over a field k, and let M be a finite

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

MATH 221 NOTES BRENT HO. Date: January 3, 2009.

MATH 221 NOTES BRENT HO. Date: January 3, 2009. MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................

More information

COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA

COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss

More information

Hochschild and cyclic homology of a family of Auslander algebras

Hochschild and cyclic homology of a family of Auslander algebras Hochschild and cyclic homology of a family of Auslander algebras Rachel Taillefer Abstract In this paper, we compute the Hochschild and cyclic homologies of the Auslander algebras of the Taft algebras

More information

KOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE)

KOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE) KOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE) BERNHARD KELLER Abstract. This is a brief report on a part of Chapter 2 of K. Lefèvre s thesis [5]. We sketch a framework for Koszul duality [1]

More information

Artin-Schelter regular algebras and the Steenrod algebra

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

THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE

THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE JOURNAL OF COMMUTATIVE ALGEBRA Volume 8, Number 4, Winter 2016 THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE IULIA GHEORGHITA AND STEVEN V SAM ABSTRACT. We describe the cone of

More information

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI. RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis

More information

A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra

A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra Volodymyr Mazorchuk and Serge Ovsienko Abstract We show that there exists a natural non-degenerate

More information

Dedicated to Helmut Lenzing for his 60th birthday

Dedicated to Helmut Lenzing for his 60th birthday C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,

More information

Boij-Söderberg Theory

Boij-Söderberg Theory ? September 16, 2013 Table of contents? 1? 2 3 4 5 6 Preface? In this presentation we try to give an outline on a new theory on free resolutions. This theory is named after two Swedish mathematicians Mats

More information

Quantizations and classical non-commutative non-associative algebras

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

ON TENSOR PRODUCTS OF COMPLETE RESOLUTIONS

ON TENSOR PRODUCTS OF COMPLETE RESOLUTIONS ON TENSOR PRODUCTS OF COMPLETE RESOLUTIONS YOUSUF A. ALKHEZI & DAVID A. JORGENSEN Abstract. We construct tensor products of complete resolutions of finitely generated modules over Noetherian rings. As

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

Lecture 4 Super Lie groups

Lecture 4 Super Lie groups Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

Vector Bundles and Projective Modules. Mariano Echeverria

Vector Bundles and Projective Modules. Mariano Echeverria Serre-Swan Correspondence Serre-Swan Correspondence If X is a compact Hausdorff space the category of complex vector bundles over X is equivalent to the category of finitely generated projective C(X )-modules.

More information

LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES

LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,

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

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

Ideals in U(g) for locally simple Lie algebras g

Ideals in U(g) for locally simple Lie algebras g Jacobs University Bremen Joint work with A.Petukhov Complete paper: On Ideals in the enveloping algebra of a locally simple Lie algebra, preprint 2012, arxiv:1210.0466. March 26, 2013 Base field C. Locally

More information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

HILBERT FUNCTIONS. 1. Introduction

HILBERT FUNCTIONS. 1. Introduction HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each

More information

Sparse representations from moments

Sparse representations from moments Sparse representations from moments Bernard Mourrain Inria Méditerranée, Sophia Antipolis BernardMourrain@inriafr Sparse representation of signals Given a function or signal f (t): decompose it as f (t)

More information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

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

Matrix factorizations over projective schemes

Matrix factorizations over projective schemes Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix

More information

STABLE MODULE THEORY WITH KERNELS

STABLE MODULE THEORY WITH KERNELS Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite

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

A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS

A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS RAVI JAGADEESAN AND AARON LANDESMAN Abstract. We give a new proof of Serre s result that a Noetherian local ring is regular if

More information

ne varieties (continued)

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

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0 NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of

More information

arxiv:math/ v3 [math.qa] 16 Feb 2003

arxiv:math/ v3 [math.qa] 16 Feb 2003 arxiv:math/0108176v3 [math.qa] 16 Feb 2003 UNO S CONJECTURE ON REPRESENTATION TYPES OF HECKE ALGEBRAS SUSUMU ARIKI Abstract. Based on a recent result of the author and A.Mathas, we prove that Uno s conjecture

More information

Local Rings and Golod Homomorphisms

Local Rings and Golod Homomorphisms University of South Carolina Scholar Commons Theses and Dissertations 2018 Local Rings and Golod Homomorphisms Thomas Schnibben University of South Carolina Follow this and additional works at: https://scholarcommons.sc.edu/etd

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