Serre A -functors. Oleksandr Manzyuk. joint work with Volodymyr Lyubashenko. math.ct/ Notation. 1. Preliminaries on A -categories
|
|
- Tracey Gaines
- 6 years ago
- Views:
Transcription
1 Serre A -functors Oleksandr Manzyuk joint work with Volodymyr Lyubashenko math.ct/ Notation 1. Preliminaries on A -categories 2. Serre functors 3. Serre A -functors
2 0. Notation k denotes a (ground) commutative ring k-linear = enriched in k -mod graded = Z-graded C k = the category of complexes of k-modules A differential graded (dg) category is a category enriched in C k. In particular, since C k is a closed monoidal category, it gives rise to a category C k enriched in C k, i.e., to a dg category. We use geometric notation for composition: f g = fg 2
3 1. Preliminaries on A -categories A -categories Definition. An A -category A consists of a set of objects Ob A for each X, Y Ob A, a graded k-module A(X, Y ) for each n 1 and X 0,...,X n ObA, a k-linear map m n : A(X 0, X 1 ) A(X n 1, X n ) A(X 0, X n ) of degree 2 n, satisfying the equations ( 1) pk+q (1 p m k 1 q )m p+1+q = 0, n 1. p+k+q=n (n = 1) m 2 1 = 0 (n = 2) m 2 m 1 = (m m 1 )m 2 (n = 3) (m 2 1)m 2 (1 m 2 )m 2 = m 3 m 1 + (m m m 1 )m 3 Example. A dg category can be viewed as an A -category in which m n = 0 for n 3. 3
4 A -functors Definition. An A -functor f : A B consists of a function Ob f : ObA ObB, X Xf for each n 1 and X 0,...,X n ObA, a k-linear map f n : A(X 0, X 1 ) A(X n 1, X n ) B(X 0 f, X n f) of degree 1 n, satisfying the equations l>0 i 1 + +i l =n ( 1) σ (f i1 f il )m l = p+k+q=n ( 1) pk+q (1 p m k 1 q )f p+1+q, n 1, where σ = (i 2 1) + 2(i 3 1) + + (l 1)(i l 1). (n = 1) f 1 m 1 = m 1 f 1 (n = 2) m 2 f 1 (f 1 f 1 )m 2 = f 2 m 1 + (m m 1 )f 2 Example. A dg functor can be viewed as an A -functor with f n = 0 for n 2. 4
5 Graded quivers Definition. A graded quiver A consists of a set of objects Ob A for each X, Y Ob A, a graded k-module A(X, Y ). A morphism f : A B of graded quivers consists of a function Ob f : ObA ObB, X Xf for each X, Y ObA, a k-linear map f = f X,Y : A(X, Y ) B(Xf, Y f) of degree 0. Let Q denote the category of graded quivers. It is symmetric monoidal with tensor product (A, B) A B given by ObA B = Ob A Ob B, (A B)((X, U), (Y, V )) = A(X, Y ) B(U, V ), (X, Y Ob A, U, V Ob B). The unit object is the graded quiver 1 with Ob 1 = { }, 1(, ) = k. 5
6 Graded quivers with a fixed set of objects For a set S, denote by Q/S the fibre of the functor Ob : Q Set over S, i.e., the subcategory of Q whose objects are graded quivers with the set of objects S and whose morphisms are morphisms of graded quivers acting as the identity on objects. Q/S is a monoidal category with tensor product (A, B) A B given by (A B)(X, Z) = Y S A(X, Y ) B(Y, Z), X, Z S. The unit object is the discrete quiver ks given by k if X = Y, Ob ks = S, ks(x, Y ) = 0 if X Y, X, Y S. 6
7 Cocategories Definition. An augmented graded cocategory is a graded quiver C equipped with the structure of an augmented counital coassociative coalgebra in the monoidal category Q/ ObC. Therefore, C comes with a comultiplication : C C C a counit ε : C k ObC an augmentation η : k ObC C which are morphisms in Q/ ObC satisfying the usual axioms. A morphism of augmented graded cocategories is a morphism of graded quivers that preserves the comultiplication, counit, and augmentation. The category of augmented graded cocategories inherits the tensor product from Q. 7
8 Main example: tensor cocategory of a quiver Let A be a graded quiver. Denote T n A = A n = A A }{{} n times The graded quiver TA = (tensor product in Q/ ObA). T n A n=0 equipped with the cut comultiplication the counit 0 : h 1 h n and the augmentation n h 1 h k hk+1 h n, k=0 ε = pr 0 : TA T 0 A = k ObA, η = in 0 : k ObA = T 0 A TA is an augmented graded cocategory. 8
9 Cocategory approach to A -categories For a graded quiver A, denote by sa its suspension: Ob sa = Ob A, (sa(x, Y )) d = A(X, Y ) d+1, X, Y ObA. Let s : A sa denote the identity map of degree 1. Proposition (folklore). There is a bijection between structures (m n ) n 1 of an A -category on a graded quiver A and differentials b : TsA TsA of degree 1 such that (TsA, 0, pr 0, in 0, b) is an augmented differential graded cocategory, i.e., b 2 = 0, b 0 = 0 (b b), b pr 0 = 0, in 0 b = 0. The bijection is given by the formulas m n = [ A n s n (sa) n b n sa s 1 A ], b n = [ (sa) n inn TsA b TsA pr1 sa ], b nm = 1 p b k 1 q : T n sa T m sa. p+k+q=n p+1+q=m We may think of A -categories as of augmented dg cocategories of particular form. Then A -functors f : A B correspond precisely to morphisms of augmented dg cocategories. (TsA, b) (TsB, b) The advantage is that we can easily define A -functors of many arguments! 9
10 A short reminder about multicategories A multicategory is just like a category, the only difference being the shape of arrows. An arrow in a multicategory looks like X 1 X 2 X n. with a finite family of objects as the source and one object as the target. Composition turns a tree of arrows into a single arrow, e.g. Y X 1 X 2 X 3 X 4 X 5 f 1 f 2 Y 1 Y 2 g Y X 1 X 2 X 3 (f 1, f 2 )g X 4 X 5 Example. A one-object multicategory is an operad (multicategories are sometimes called many-object operads, or colored operads ). Y Example. A monoidal category C gives rise to a multicategory Ĉ with the same set of objects. An arrow X 1,..., X n Y in Ĉ is an arrow X1 Xn Y in C. Composition in Ĉ is derived from composition and tensor product in C. 10
11 A -categories constitute a symmetric multicategory Definition. Let A 1,..., A n, B be A -categories. An A -functor f : A 1,...,A n B is a morphism of augmented dg cocategories TsA 1 TsA n TsB. Explicitly, an A -functor f : A 1,..., A n B consists of a function Ob f : n Ob A i ObB, (X 1,...,X n ) (X 1,..., X n )f i=1 for each k = (k 1,..., k n ) N n {0} and X j i ObA i, i = 1,..., n, j = 1,..., k i, a k-linear map [A 1 (X 0 1, X1 1 ) A 1(X k 1 1 1, X k 1 1 )] [A n (Xn 0, X1 n ) A n(x k n 1 n, X k n n )] f k B((X1, 0..., Xn)f, 0 (X k 1 1,...,Xk n n )f) of degree 1 (k k n ) subject to equations. Denote by A the symmetric multicategory of A -categories and A -functors. 11
12 The multicategory A is closed For each collection of A -categories A 1,..., A n, B, there exists a functor A -category A (A 1,..., A n ; B) and an evaluation A -functor ev A : A 1,..., A n, A (A 1,..., A n ; B) B such that the mapping A (B 1,..., B m ; A (A 1,..., A n ; C)) A (A 1,..., A n, B 1...,B m ; C), f (1 A1,...,1 An, f) ev A is a bijection. The objects of the A -category A (A 1,..., A n ; B) are A -functors A 1,...,A n B. For A -functors f, g : A 1,...,A n B, A (A 1,...,A n ; B)(f, g) = { A -transformations f g} = { (f, g)-coderivations TsA 1 TsA n TsB}. The evaluation A -functor acts on objects as expected: A 1,..., A n, A (A 1,...,A n ; B) B, (X 1,..., X n, f) (X 1,...,X n )f. In the case n = 1, the A -category A (A; B) has been considered by many authors (Keller, Kontsevich, Lefèvre-Hasegawa, Lyubashenko, Soibelman...). 12
13 Unital A -categories Definition. An A -category A is called unital if, for each X ObA, there is a cycle 1 X A(X, X) 0, called the identity of X, such that (1 X id)m 2, (id 1 Y )m 2 id : A(X, Y ) A(X, Y ), for each X, Y ObA. A unital A -category A gives rise to a k-linear category H 0 (A): Ob H 0 (A) = Ob A, H 0 (A)(X, Y ) = H 0 (A(X, Y ), m 1 ), X, Y ObA. Composition is induced by m 2, and the identity of an object X is the class [1 X ] H 0 (A)(X, X). The category H 0 (A) is called the homotopy category of A. An A -functor f : A B is unital if it preserves identities modulo boundaries: 1 X f 1 1 Xf Im m 1. A unital A -functor f : A B gives rise to a k-linear functor H 0 (f) : H 0 (A) H 0 (B) such that ObH 0 (f) = Obf, and for each X, Y ObA, the k-linear map H 0 (f) : H 0 (A)(X, Y ) H 0 (B)(Xf, Y f) is induced by f 1 : A(X, Y ) B(Xf, Y f). An A -functor of many argument is unital if it is unital in each argument. 13
14 The symmetric closed multicategory of unital A -categories Composition of unital A -functors is unital. Let A u A denote the submulticategory of unital A -categories and unital A -functors. It is also closed: A u (A 1,..., A n ; B) A (A 1,..., A n ; B) is the full A -subcategory whose objects are unital A -functors. It is a unital A -category. The evaluation A -functor ev Au is the restriction of ev A. It is a unital A -functor. Definition. Unital A -functors f, g : A 1,...,A n B are called isomorphic if they are isomorphic as objects of the category H 0 (A u (A 1,..., A n ; B)). 14
15 Opposite A -categories Definition. Let A be an A -category. The opposite A -category A op is given by ObA op = Ob A, A op (X, Y ) = A(Y, X), X, Y ObA, and operations m Aop n m Aop n are given by = ( 1) n(n+1)/2+1 signed permutation of arguments m A n. The correspondence A A op extends to A -functors and yields a symmetric multifunctor op : A A. The opposite of a unital A -category (resp. A -functor) is again unital, hence op restricts to a symmetric multifunctor op : A u Au. 15
16 2. Serre functors Hereafter, k is a field. Definition (Bondal Kapranov). Let C be a k-linear category. A k-linear functor S : C C is called a (right) Serre functor if there exists an isomorphism C(X, Y S) = C(Y, X) natural in X, Y Ob C, where denotes the dual vector space. A right Serre functor, if it exists, is unique up to isomorphism. Example. Let X be a smooth projective variety of dimension n over the field k. Let ω X denote the canonical sheaf on X. Let C = D b (Coh X ) be the bounded derived category of coherent sheaves on X. Then the functor S = ω X [n] is a right Serre functor. 16
17 3. Serre A -functors Definition For an A -category A, there is an A -functor Hom A : A op, A C k, (X, Y ) (A(X, Y ), m 1 ). It is unital if so is A. The A -functor A A (A op ; C k ) that corresponds to Hom A : A op, A C k by closedness of the multicategory A is precisely the Yoneda embedding. Definition (Kontsevich Soibelman). Let A be a unital A -category. A unital A -functor S : A A is called a (right) Serre A -functor if the diagram A op, A 1,S A op, A Hom op A op op C k D Hom A Ck commutes up to isomorphism (in H 0 (A u (Aop, A; C k ))). Here D : C k op C k, M M = C k (M, k), is the duality dg functor. Proposition. As in the case of ordinary Serre functors, if a right Serre A -functor exists, then it is unique up to isomorphism. 17
18 A -categories closed under shifts (see also V. Lyubashenko s talk) Let A be an A -category. It gives rise to an A -category A [ ] obtained from A by formally adding shifts of objects: ObA [ ] = ObA Z, A [ ] ((X, n), (Y, m)) = A(X, Y )[m n]. A embeds as a full A -subcategory into A [ ] via u : A A [ ], X (X, 0). Definition. A unital A -category A is called closed under shifts if u is an A -equivalence. Equivalently, each object (X, n) of A [ ] is isomorphic in H 0 (A [ ] ) to an object of the form (Y, 0). Example. Pretriangulated A -categories (to be defined by V. Lyubashenko) are closed under shifts. 18
19 Main theorem As above, assume that k is a field. Theorem. (1) If S : A A is a right Serre A -functor, then the induced functor H 0 (S) : H 0 (A) H 0 (A) is an ordinary right Serre functor. (2) Conversely, suppose that A is closed under shifts and that H 0 (A) admits a right Serre functor S : H 0 (A) H 0 (A). Then there exists a right Serre A -functor S : A A such that H 0 (S) = S. Example. By results of Drinfeld, we know that D b (Coh X ) is of the form H 0 (A), where A is the dg quotient of the dg category of complexes of coherent sheaves over the full dg subcategory of acyclic complexes. Therefore, the Serre functor S = ω X [n] lifts to a Serre A -functor A A. 19
A -bimodules and Serre A -functors
A -bimodules and Serre A -functors Volodymyr Lyubashenko and Oleksandr Manzyuk arxiv:math/0701165v2 [math.ct] 15 Feb 2008 February 15, 2008 Abstract We define A -bimodules similarly to Tradler and show
More informationBernhard Keller. University Paris 7 and Jussieu Mathematics Institute. On differential graded categories. Bernhard Keller
graded graded University Paris 7 and Jussieu Mathematics Institute graded Philosophy graded Question: What is a non commutative (=NC) scheme? Grothendieck, Manin,... : NC scheme = abelian category classical
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 informationALBERTO CANONACO, MATTIA ORNAGHI, AND PAOLO STELLARI
LOCALIZATIONS OF THE CATEGORY OF A CATEGORIES AND INTERNAL HOMS ALBERTO CANONACO, MATTIA ORNAGHI, AND PAOLO STELLARI Abstract. We prove that the localizations of the categories of dg categories, of cohomologically
More informationLECTURE X: KOSZUL DUALITY
LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn
More informationarxiv:math/ v3 [math.rt] 12 Feb 2006
Contemporary Mathematics arxiv:math/0510508v3 [math.rt] 12 Feb 2006 A-infinity algebras, modules and functor categories Bernhard Keller Abstract. In this survey, we first present basic facts on A-infinity
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
More informationIND-COHERENT SHEAVES AND SERRE DUALITY II. 1. Introduction
IND-COHERENT SHEAVES AND SERRE DUALITY II 1. Introduction Let X be a smooth projective variety over a field k of dimension n. Let V be a vector bundle on X. In this case, we have an isomorphism H i (X,
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More information1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality
1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms
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 informationPERVERSE SHEAVES: PART I
PERVERSE SHEAVES: PART I Let X be an algebraic variety (not necessarily smooth). Let D b (X) be the bounded derived category of Mod(C X ), the category of left C X -Modules, which is in turn a full subcategory
More information2-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS. Contents 1. The main theorem 1
2-DIMENSIONL TOPOLOGICL QUNTUM FIELD THEORIES ND FROBENIUS LGEBRS CROLINE TERRY bstract. Category theory provides a more abstract and thus more general setting for considering the structure of mathematical
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationarxiv:math/ v1 [math.ra] 20 Feb 2007
ON SERRE DUALITY FOR COMPACT HOMOLOGICALLY SMOOTH DG ALGEBRAS D.SHKLYAROV arxiv:math/0702590v1 [math.ra] 20 Feb 2007 To Leonid L vovich Vaksman on his 55th birthday, with gratitude 1. Introduction Let
More informationINTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES
INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES 1. Why correspondences? This part introduces one of the two main innovations in this book the (, 2)-category of correspondences as a way to encode
More informationKOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES. Benoit Fresse
KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES by Benoit Fresse Abstract. The goal of this article is to make explicit a structured complex computing the cohomology of a
More informationAgnieszka Bodzenta. Uniwersytet Warszawski. DG categories of exceptional collections. Praca semestralna nr 2 (semestr letni 2010/11)
Agnieszka Bodzenta Uniwersytet Warszawski DG categories of exceptional collections Praca semestralna nr 2 (semestr letni 2010/11) Opiekun pracy: Sławomir Cynk DG categories of exceptional collections Agnieszka
More informationABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY
ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up
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 informationDerived Categories. Mistuo Hoshino
Derived Categories Mistuo Hoshino Contents 01. Cochain complexes 02. Mapping cones 03. Homotopy categories 04. Quasi-isomorphisms 05. Mapping cylinders 06. Triangulated categories 07. Épaisse subcategories
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 informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
More informationNOTES ON ATIYAH S TQFT S
NOTES ON ATIYAH S TQFT S J.P. MAY As an example of categorification, I presented Atiyah s axioms [1] for a topological quantum field theory (TQFT) to undergraduates in the University of Chicago s summer
More informationErratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold
Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold Vasiliy A. Dolgushev arxiv:math/0703113v1 [math.qa] 4 Mar 2007 Abstract Boris Shoikhet noticed that the proof of lemma
More informationCGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE
CGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE 1. January 16, 2018: Byunghee An, bar and cobar Today I am going to talk about bar and cobar constructions again, between categories of algebras and coalgebras.
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
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 informationSupplement 2 to the paper Floating bundles and their applications
ariv:math/0104052v1 [math.at] 4 Apr 2001 Supplement 2 to the paper Floating bundles and their applications A.V. Ershov This paper is the supplement to the section 2 of the paper Floating bundles and their
More informationAN INTRODUCTION TO PERVERSE SHEAVES. Antoine Chambert-Loir
AN INTRODUCTION TO PERVERSE SHEAVES Antoine Chambert-Loir Antoine Chambert-Loir Université Paris-Diderot. E-mail : Antoine.Chambert-Loir@math.univ-paris-diderot.fr Version of February 15, 2018, 10h48 The
More informationA Taxonomy of 2d TQFTs
1 Section 2 Ordinary TFTs and Extended TFTs A Taxonomy of 2d TQFTs Chris Elliott October 28, 2013 1 Introduction My goal in this talk is to explain several extensions of ordinary TQFTs in two dimensions
More informationErratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold
Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold Vasiliy A. Dolgushev Abstract Boris Shoikhet noticed that the proof of lemma 1 in section 2.3 of [1] contains an error.
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationHOMOTOPY THEORY OF MODULES OVER OPERADS AND NON-Σ OPERADS IN MONOIDAL MODEL CATEGORIES
HOMOTOPY THEORY OF MODULES OVER OPERADS AND NON-Σ OPERADS IN MONOIDAL MODEL CATEGORIES JOHN E. HARPER Abstract. We establish model category structures on algebras and modules over operads and non-σ operads
More informationDEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More 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 informationDerived Algebraic Geometry III: Commutative Algebra
Derived Algebraic Geometry III: Commutative Algebra May 1, 2009 Contents 1 -Operads 4 1.1 Basic Definitions........................................... 5 1.2 Fibrations of -Operads.......................................
More information(communicated by James Stasheff)
Homology, Homotopy and Applications, vol.5(1), 2003, pp.407 421 EXTENSIONS OF HOMOGENEOUS COORDINATE RINGS TO A -ALGEBRAS A. POLISHCHUK (communicated by James Stasheff) Abstract We study A -structures
More informationCommutative ring objects in pro-categories and generalized Moore spectra
Commutative ring objects in pro-categories and generalized Moore spectra Daniel G. Davis, Tyler Lawson June 30, 2013 Abstract We develop a rigidity criterion to show that in simplicial model categories
More informationIterated Bar Complexes of E-infinity Algebras and Homology Theories
Iterated Bar Complexes of E-infinity Algebras and Homology Theories BENOIT FRESSE We proved in a previous article that the bar complex of an E -algebra inherits a natural E -algebra structure. As a consequence,
More informationPART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationWhat is an ind-coherent sheaf?
What is an ind-coherent sheaf? Harrison Chen March 8, 2018 0.1 Introduction All algebras in this note will be considered over a field k of characteristic zero (an assumption made in [Ga:IC]), so that we
More informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
More informationarxiv: v2 [math.at] 18 Sep 2008
TOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY FOR DIFFERENTIAL GRADED CATEGORIES arxiv:0804.2791v2 [math.at] 18 Sep 2008 GONÇALO TABUADA Abstract. We define a topological Hochschild (THH) and cyclic (TC)
More informationarxiv: v1 [math.at] 17 Apr 2008
DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA arxiv:0804.2791v1 [math.at] 17 Apr 2008 GONÇALO TABUADA Abstract. We construct a zig-zag of Quillen equivalences between the homotopy theories of differential
More information8 Perverse Sheaves. 8.1 Theory of perverse sheaves
8 Perverse Sheaves In this chapter we will give a self-contained account of the theory of perverse sheaves and intersection cohomology groups assuming the basic notions concerning constructible sheaves
More informationCONSTRUCTING FROBENIUS ALGEBRAS
CONSTRUCTING FROBENIUS LGEBRS DYLN G.L. LLEGRETTI bstract. We discuss the relationship between algebras, coalgebras, and Frobenius algebras. We describe a method of constructing Frobenius algebras, given
More informationRTG Mini-Course Perspectives in Geometry Series
RTG Mini-Course Perspectives in Geometry Series Jacob Lurie Lecture IV: Applications and Examples (1/29/2009) Let Σ be a Riemann surface of genus g, then we can consider BDiff(Σ), the classifying space
More informationHomotopy Automorphisms of Operads & Grothendieck-Teichmüller Groups
Homotopy Automorphisms of Operads & Grothendieck-Teichmüller Groups Benoit Fresse Université Lille 1 GDO, Isaac Newton Institute March 5, 2013 Reminder: The notion of an E n -operad refers to a class of
More informationToward a representation theory of the group scheme represented by the dual Steenrod algebra. Atsushi Yamaguchi
Toward a representation theory of the group scheme represented by the dual Steenrod algebra Atsushi Yamaguchi Struggle over how to understand the theory of unstable modules over the Steenrod algebra from
More informationQuantization of Lie bialgebras via the formality of the operad of little disks
Quantization of Lie bialgebras via the formality of the operad of little disks Dimitri Tamarkin Harvard University, Department of Mathematics & One Oxford Street Cambridge, MA 02138, USA e-mail: Abstract.
More informationSupercategories. Urs July 5, Odd flows and supercategories 4. 4 Braided monoidal supercategories 7
Supercategories Urs July 5, 2007 ontents 1 Introduction 1 2 Flows on ategories 2 3 Odd flows and supercategories 4 4 Braided monoidal supercategories 7 1 Introduction Motivated by the desire to better
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 informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationON A HIGHER STRUCTURE ON OPERADIC DEFORMATION COMPLEXES
Theory and Applications of Categories, Vol. 33, No. 32, 2018, pp. 988 1030. ON A HIGHER STRUCTURE ON OPERADIC DEFORMATION COMPLEXES BORIS SHOIKHET Abstract. In this paper, we prove that there is a canonical
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More informationWIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES
WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES MARTIN HERSCHEND, PETER JØRGENSEN, AND LAERTIS VASO Abstract. A subcategory of an abelian category is wide if it is closed under sums, summands, kernels,
More informationON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES
ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES CLEMENS BERGER AND IEKE MOERDIJK Abstract. We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given
More informationTHE QUANTUM DOUBLE AS A HOPF ALGEBRA
THE QUANTUM DOUBLE AS A HOPF ALGEBRA In this text we discuss the generalized quantum double construction. treatment of the results described without proofs in [2, Chpt. 3, 3]. We give several exercises
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationSM CATEGORIES AND THEIR REPRESENTATIONS
SM CATEGORIES AND THEIR REPRESENTATIONS Abstract. Lectures at the TQFT seminar, Jerusalem, Fall 5770 1. Introduction A monoidal category C is a category with a bifunctor : C C C endowed with an associativity
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 informationOperads. Spencer Liang. March 10, 2015
Operads Spencer Liang March 10, 2015 1 Introduction The notion of an operad was created in order to have a well-defined mathematical object which encodes the idea of an abstract family of composable n-ary
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 informationPART II.2. THE!-PULLBACK AND BASE CHANGE
PART II.2. THE!-PULLBACK AND BASE CHANGE Contents Introduction 1 1. Factorizations of morphisms of DG schemes 2 1.1. Colimits of closed embeddings 2 1.2. The closure 4 1.3. Transitivity of closure 5 2.
More informationSymmetric monoidal structure on Non-commutative motives
Symmetric monoidal structure on Non-commutative motives Denis-Charles Cisinski, Gonçalo Tabuada To cite this version: Denis-Charles Cisinski, Gonçalo Tabuada. Symmetric monoidal structure on Non-commutative
More informationD-MODULES: AN INTRODUCTION
D-MODULES: AN INTRODUCTION ANNA ROMANOVA 1. overview D-modules are a useful tool in both representation theory and algebraic geometry. In this talk, I will motivate the study of D-modules by describing
More informationMODULES OVER OPERADS AND FUNCTORS. Benoit Fresse
MODULES OVER OPERADS AND FUNCTORS Benoit Fresse Benoit Fresse UMR 8524 de l Université des Sciences et Technologies de Lille et du CNRS, Cité Scientifique Bâtiment M2, F-59655 Villeneuve d Ascq Cédex (France).
More informationarxiv: v1 [math.ra] 16 Dec 2014
arxiv:1412.5219v1 [math.ra] 16 Dec 2014 CATEGORY EQUIVALENCES INVOLVING GRADED MODULES OVER QUOTIENTS OF WEIGHTED PATH ALGEBRAS CODY HOLDAWAY Abstract. Let k be a field, Q a finite directed graph, and
More 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 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 informationUNIQUENESS OF ENHANCEMENT FOR TRIANGULATED CATEGORIES
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 23, Number 3, July 2010, Pages 853 908 S 0894-0347(10)00664-8 Article electronically published on February 8, 2010 UNIQUENESS OF ENHANCEMENT FOR TRIANGULATED
More informationTopos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos
Lectures 21 and 22: toposes of 2 / 30 Toposes as mathematical universes of Recall that every Grothendieck topos E is an elementary topos. Thus, given the fact that arbitrary colimits exist in E, we can
More informationLifting the Cartier transform of Ogus-Vologodsky. modulo p n. Daxin Xu. California Institute of Technology
Lifting the Cartier transform of Ogus-Vologodsky modulo p n Daxin Xu California Institute of Technology Riemann-Hilbert correspondences 2018, Padova A theorem of Deligne-Illusie k a perfect field of characteristic
More informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
More informationCategory Theory. Travis Dirle. December 12, 2017
Category Theory 2 Category Theory Travis Dirle December 12, 2017 2 Contents 1 Categories 1 2 Construction on Categories 7 3 Universals and Limits 11 4 Adjoints 23 5 Limits 31 6 Generators and Projectives
More informationHigher dimensional homological algebra
Higher dimensional homological algebra Peter Jørgensen Contents 1 Preface 3 2 Notation and Terminology 5 3 d-cluster tilting subcategories 6 4 Higher Auslander Reiten translations 10 5 d-abelian categories
More informationLOCALIZATION, UNIVERSAL PROPERTIES, AND HOMOTOPY THEORY
LOCLIZTION, UNIVERSL PROPERTIES, ND HOMOTOPY THEORY DVID WHITE Localization in lgebra Localization in Category Theory ousfield localization 1. The right way to think about localization in algebra Localization
More informationC2.7: CATEGORY THEORY
C2.7: CATEGORY THEORY PAVEL SAFRONOV WITH MINOR UPDATES 2019 BY FRANCES KIRWAN Contents Introduction 2 Literature 3 1. Basic definitions 3 1.1. Categories 3 1.2. Set-theoretic issues 4 1.3. Functors 5
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationKathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009
Institute of Geometry, lgebra and Topology Ecole Polytechnique Fédérale de Lausanne Conference on lgebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009 Outline 1 2 3 4 of rings:
More informationThe Goldman-Millson theorem revisited
The Goldman-Millson theorem revisited Vasily Dolgushev Temple University Based on joint work arxiv:1407.6735 with Christopher L. Rogers. Vasily Dolgushev (Temple University) The Goldman-Millson theorem
More informationDerived categories, perverse sheaves and intermediate extension functor
Derived categories, perverse sheaves and intermediate extension functor Riccardo Grandi July 26, 2013 Contents 1 Derived categories 1 2 The category of sheaves 5 3 t-structures 7 4 Perverse sheaves 8 1
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationStabilization as a CW approximation
Journal of Pure and Applied Algebra 140 (1999) 23 32 Stabilization as a CW approximation A.D. Elmendorf Department of Mathematics, Purdue University Calumet, Hammond, IN 46323, USA Communicated by E.M.
More informationEquivariant Trees and G-Dendroidal Sets
Equivariant Trees and -Dendroidal Sets 31st Summer Conference in Topology and Applications: Algebraic Topology Special Session Leicester, UK August 5, 2016 Joint with Luis Pereira Motivating Questions
More informationDERIVED CATEGORIES: LECTURE 4. References
DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,
More informationThe formal theory of adjunctions, monads, algebras, and descent
The formal theory of adjunctions, monads, algebras, and descent Emily Riehl Harvard University http://www.math.harvard.edu/~eriehl Reimagining the Foundations of Algebraic Topology Mathematical Sciences
More informationRepresentable presheaves
Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationOn Hochschild Cohomology, Koszul Duality and DG Categories
On Hochschild Cohomology, Koszul Duality and DG Categories Dhyan Aranha Born 10th December 1989 in Lubbock, Texas, U.S.A. April 26, 2015 Master s Thesis Mathematics Advisor: Prof. Dr. Catharina Stroppel
More informationCartesian Closed Topological Categories and Tensor Products
Cartesian Closed Topological Categories and Tensor Products Gavin J. Seal October 21, 2003 Abstract The projective tensor product in a category of topological R-modules (where R is a topological ring)
More informationWhat are stacks and why should you care?
What are stacks and why should you care? Milan Lopuhaä October 12, 2017 Todays goal is twofold: I want to tell you why you would want to study stacks in the first place, and I want to define what a stack
More informationarxiv: v2 [math.ct] 12 Oct 2016
THE CENTER FUNCTOR IS FULLY FAITHFUL arxiv:1507.00503v2 [math.ct] 12 Oct 2016 Liang Kong a,b,c, Hao Zheng d 1 a Department of Mathematics and Statistics University of New Hampshire, Durham, NH 03824, USA
More information