Quadraticity and Koszulity for Graded Twisted Tensor Products
|
|
- Kerry Shepherd
- 5 years ago
- Views:
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
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 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 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 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 informationLecture 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 informationGeneralized 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 informationPacific 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 informationFinite 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 informationarxiv: 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 informationEndomorphism 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 informationMath 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 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 informationPERVERSE 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 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 informationMATH 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 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 informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More 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 informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More informationLecture 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 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 informationALGEBRAIC 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 informationRational 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 information10. 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 informationPacific 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 information12. 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 informationA 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 informationThe 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 informationLecture 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 informationEnveloping algebras of double Poisson-Ore extensions
Enveloping algebras of double Poisson-Ore extensions Xingting Wang Department of Mathematics, Temple University, Philadelphia Special Session on Topics Related to the Interplay of Noncommutative Algebra
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationFrobenius 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 information24 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 informationALGEBRAIC 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 informationLectures 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 informationJournal 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 informationNOTES 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 informationSmith 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 informationThe 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 informationSELF-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 informationTitle. 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 informationGLOBALIZING 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 informationFormal 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 informationConfluence 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 informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
More informationSolutions 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 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 informationNONCOMMUTATIVE 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 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 informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationKOSZUL 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 informationMath 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 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 informationCategory 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 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 informationarxiv: 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 informationKOSZUL 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 informationCOHOMOLOGY 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 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 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 informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More 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 informationKathryn 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 informationarxiv: 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 information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationMATH 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 informationCOURSE 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 informationHochschild 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 informationKOSZUL 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 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 informationTHE 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 informationRESEARCH 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 informationA 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 informationDedicated 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 informationBoij-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 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 informationA note on standard equivalences
Bull. London Math. Soc. 48 (2016) 797 801 C 2016 London Mathematical Society doi:10.1112/blms/bdw038 A note on standard equivalences Xiao-Wu Chen Abstract We prove that any derived equivalence between
More informationON 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 informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationLecture 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 informationThree 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 informationVector 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 informationLECTURE 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 informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationIdeals 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 informationTROPICAL 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 informationHILBERT 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 informationSparse 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 informationMath 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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationMatrix 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 informationSTABLE 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 informationON GRADED MORITA EQUIVALENCES FOR AS-REGULAR ALGEBRAS KENTA UEYAMA
ON GRADED MORITA EQUIVALENCES FOR AS-REGULAR ALGEBRAS KENTA UEYAMA Abstract. One of the most active projects in noncommutative algebraic geometry is to classify AS-regular algebras. The motivation of this
More informationA 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 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 informationNOTES 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 informationarxiv: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 informationLocal 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 informationDeformations of a noncommutative surface of dimension 4
Deformations of a noncommutative surface of dimension 4 Sue Sierra University of Edinburgh Homological Methods in Algebra and Geometry, AIMS Ghana 2016 In this talk, I will describe the work of my student
More information