Serre A -functors. Oleksandr Manzyuk. joint work with Volodymyr Lyubashenko. math.ct/ Notation. 1. Preliminaries on A -categories

Size: px
Start display at page:

Download "Serre A -functors. Oleksandr Manzyuk. joint work with Volodymyr Lyubashenko. math.ct/ Notation. 1. Preliminaries on A -categories"

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

Bernhard Keller. University Paris 7 and Jussieu Mathematics Institute. On differential graded categories. Bernhard Keller

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

ALBERTO CANONACO, MATTIA ORNAGHI, AND PAOLO STELLARI

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

LECTURE X: KOSZUL DUALITY

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

arxiv:math/ v3 [math.rt] 12 Feb 2006

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

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

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

An introduction to derived and triangulated categories. Jon Woolf

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

IND-COHERENT SHEAVES AND SERRE DUALITY II. 1. Introduction

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

IndCoh Seminar: Ind-coherent sheaves I

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

1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality

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

PERVERSE SHEAVES: PART I

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

2-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS. Contents 1. The main theorem 1

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

1 Categorical Background

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

arxiv:math/ v1 [math.ra] 20 Feb 2007

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

INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES

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

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

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

ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY

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

Derived Categories. Mistuo Hoshino

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

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an

More information

NOTES ON ATIYAH S TQFT S

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

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

CGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE

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

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

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

Supplement 2 to the paper Floating bundles and their applications

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

AN INTRODUCTION TO PERVERSE SHEAVES. Antoine Chambert-Loir

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

A Taxonomy of 2d TQFTs

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

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

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection 3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given

More information

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

DEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.

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

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

Thus we get. ρj. Nρj i = δ D(i),j. 1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :

More information

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

Derived Algebraic Geometry III: Commutative Algebra

Derived 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)

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

Commutative ring objects in pro-categories and generalized Moore spectra

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

Iterated Bar Complexes of E-infinity Algebras and Homology Theories

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

PART II.1. IND-COHERENT SHEAVES ON SCHEMES

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

Algebraic Geometry Spring 2009

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

What is an ind-coherent sheaf?

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

Symbol Index Group GermAnal Ring AbMonoid

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

arxiv: v2 [math.at] 18 Sep 2008

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

arxiv: v1 [math.at] 17 Apr 2008

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

8 Perverse Sheaves. 8.1 Theory of perverse sheaves

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

CONSTRUCTING FROBENIUS ALGEBRAS

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

RTG Mini-Course Perspectives in Geometry Series

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

Homotopy Automorphisms of Operads & Grothendieck-Teichmüller Groups

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

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

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

Supercategories. Urs July 5, Odd flows and supercategories 4. 4 Braided monoidal supercategories 7

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

Algebraic Geometry Spring 2009

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

FORMAL GLUEING OF MODULE CATEGORIES

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

ON A HIGHER STRUCTURE ON OPERADIC DEFORMATION COMPLEXES

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

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

WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES

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

ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES

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

THE QUANTUM DOUBLE AS A HOPF ALGEBRA

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

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

More information

FUNCTORS AND ADJUNCTIONS. 1. Functors

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

SM CATEGORIES AND THEIR REPRESENTATIONS

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

Operads. Spencer Liang. March 10, 2015

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

PART II.2. THE!-PULLBACK AND BASE CHANGE

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

Symmetric monoidal structure on Non-commutative motives

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

D-MODULES: AN INTRODUCTION

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

MODULES OVER OPERADS AND FUNCTORS. Benoit Fresse

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

arxiv: v1 [math.ra] 16 Dec 2014

arxiv: v1 [math.ra] 16 Dec 2014 arxiv:1412.5219v1 [math.ra] 16 Dec 2014 CATEGORY EQUIVALENCES INVOLVING GRADED MODULES OVER QUOTIENTS OF WEIGHTED PATH ALGEBRAS CODY HOLDAWAY Abstract. Let k be a field, Q a finite directed graph, and

More information

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

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

UNIQUENESS OF ENHANCEMENT FOR TRIANGULATED CATEGORIES

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

Topos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos

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

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

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

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

Category Theory. Travis Dirle. December 12, 2017

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

Higher dimensional homological algebra

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

LOCALIZATION, UNIVERSAL PROPERTIES, AND HOMOTOPY THEORY

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

C2.7: CATEGORY THEORY

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

Duality, Residues, Fundamental class

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

Kathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009

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

The Goldman-Millson theorem revisited

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

Derived categories, perverse sheaves and intermediate extension functor

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

PERVERSE SHEAVES. Contents

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

Algebraic Geometry Spring 2009

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

Stabilization as a CW approximation

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

Equivariant Trees and G-Dendroidal Sets

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

DERIVED CATEGORIES: LECTURE 4. References

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

The formal theory of adjunctions, monads, algebras, and descent

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

Representable presheaves

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

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

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R) CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

More information

On Hochschild Cohomology, Koszul Duality and DG Categories

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

Cartesian Closed Topological Categories and Tensor Products

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

What are stacks and why should you care?

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

arxiv: v2 [math.ct] 12 Oct 2016

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