Operads. Spencer Liang. March 10, 2015

Size: px
Start display at page:

Download "Operads. Spencer Liang. March 10, 2015"

Transcription

1 Operads Spencer Liang March 10, 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 operations. The precise formal definition of an operad is quite complicated, but the key conceptual ideas can be understood through informal examples, so that s where we ll start. Example 1.1. Let X be a set. The endomorphism operad on X consists of the following data: (i) For each non-negative integer n, let E X (n) denote the set of functions that is, E X (n) := Hom Set (X n, X). X X X; (ii) There is a distinguished element of E X (1), namely the identity function id: X X. (iii) For each pair of non-negative integers n and m, and each integer 1 i n, let i : E X (n) E X (m) E X (n + m 1) denote the function specified by (f i g)(x 1,..., x n+m 1 ) := f(x 1,..., x i 1, g(x i,..., x i+m 1 ), x i+m,..., x n+m 1 ). That is, f i g is the function obtained by taking the output of g to be the i-th argument of f. Note that 1 : E X (1) E X (1) E X (1) is just the usual composition of functions. (iv) There is a right action of the symmetric group Σ n on E X (n). Recall that we can think of elements of Σ n as bijections from the finite set {1,..., n} to itself, with the group operation as function composition. Then for any set X, we can think of elements of Σ n as bijections from X n to itself, by 1

2 defining σ(x 1,..., x n ) to be the sequence where elements x i appears in location σ(i). In coordinates, this is σ(x 1,..., x n ) := (x σ 1 (1),..., x σ 1 (n)). This induces the right action of Σ n on E x (n) by setting f σ := f σ. There are associativity relations obtained from iterating i -operations. example, (f 3 g) 4 h = f 3 (g 2 h). Furthermore, the distinguished element of E X (1) is a unit, in the sense that id 1 f = f and f i id = f. Finally, the i -operations are equivariant in both variables: for example, f i (gσ) = (f i g)σ and (fσ) i g = (f σ(i) g)σ, where σ and σ are obtained from σ. Definition 1.2 (Preliminary). An operad over Set consists of the following data: (i) for each positive integer n, a set O(n) with a right Σ n action, (ii) a distinguished element of O(1), and (iii) for each pair of positive integers n and m, and each integer 1 i n, a function i : O(n) O(m) O(n + m 1), which satisfies the associativity, unitality, and equivariance relations from the above example. We can generalize this definition by replacing Set by any symmetric monoidal category. We ll later see a compact way to formally write down what it means to satisfy the associativity, unitality, and equivariance relations of the endomorphism operad, but for now, let s pretend that we already know how to do this and look at some more examples. 2 Topological examples The historical motivation for the development of operads was the problem of finding a homotopy invariant characterization of iterated loop spaces. Example 2.1. The little n-cubes operad E n is the topological operad where E n (m) is the set of m ordered linear embeddings of the n-cube into the standard unit n-cube, with disjoint interiors and axes parallel to those of I n. The unit is the identity map from the standard unit n-cube to itself, and the composition is given by rescaling. It s best to look at pictures to see what s going on. For 2

3 In practice, operads are important because of their representations, or algebras, just as groups are important because of their actions. Definition 2.2. Let O be an operad over a symmetric monoidal category C. An algebra over O is the data of an object X of C together with a morphism of operads from O to the endomorphism operad of X. In other words, an algebra over O is a concrete realization of the abstract operations described by O: each element in O(n) becomes an actual n-ary operation on X. This definition is precisely parallel to the definition of a module M over a commutative ring R as a ring homomorphism from R to the endomorphism ring of M, as an abelian group. Definition 2.3. An E n -space is an algebra over the little n-cubes operad. Proposition 2.4. An n-fold loop space is an E n -space. Proof. Let s just describe the case n = 1; the general case is essentially the same. Suppose we are given m disjoint ordered linear embeddings of the unit interval into the unit interval. We need to define a map ΩX ΩX ΩX. Take m elements of ΩX; that is, m loops γ i : I X. Define a new loop I X by running γ i on the i-th linear embedding, and going to the base point for all other points of I. Note that when m = 2 and the linear embeddings are given by [0, 1/2] [1/2, 1], then this operation is the usual product in the fundamental group. In fact, May s Recognition Principle asserts that this is in fact a characterization of n-fold loop spaces: Theorem 2.5. A connected space X is homotopy equivalent to an n-fold loop space iff X is an E n -space. 3 Free operads Example 3.1. As suggested by the string diagrams drawn for the endomorphism operad, it s helpful to use diagrams of (planar rooted) trees to oragnize what s going on. Let s look at this a bit more closely. A planar rooted tree is a tree with a choice of a vertex, called the root, and a choice of an ordering for the list of inputs of each vertex. Note that this data allows the tree to be embedded into the plane, and conversely, the embedding of any rooted tree into the plane defines an ordering for each list of inputs; hence their name. Let s further specialize to the binary trees, i.e., the planar rooted trees in which each vertex is either a leaf or has exactly two inputs. Then we can define an operad O where: (i) O(n) is the set of binary trees with n leaves and a (bijective) labeling of the leaves using the set {1,..., n}. (ii) The unit is the binary tree consisting of only the root. 3

4 (iii) The composition i is the grafting of trees. (iv) The symmetric group Σ n acts on O(n) by relabeling the leaves. In fact, we can generalize this example. If we start with a set of abstract operations, of potentially different arities, then we can construct the operad freely generated by these operations; that is, we can form the operad obtained by considering all possible compositions of the generators. Let S = S(1), S(2),... be a sequence of sets. The free operad on S over Set is the operad F S where: (i) F S (n) is the set of planar rooted trees with n labeled leaves and a choice of an element in S(n) for each vertex with n inputs. (ii) The unit is the binary tree consisting of only the root. (iii) The composition is the grafting of trees. (iv) The symmetric group acts by relabeling the leaves. The operad of binary trees is the free operad generated by a single binary operation. We ll later see how to interpret this construction as a genuine free functor, in the sense that it is left adjoint to a forgetful functor. 4 Algebraic examples Most of the usual algebraic objects fit into this operadic framework. In this section, we ll work over the symmetric monoidal category C of vector spaces over a base field k. Definition 4.1. Let O be an operad over C. An ideal of O consists of a Σ n - equivariant subspace I(n) O(n) for each non-negative integer n, such that f i g I, if either f or g is in I. If I is an ideal of O, then the quotient operad is the operad with (O/I)(n) := O(n)/I(n), and with structure maps induced from those of O. Remark 4.2. An algebra X over O/I is an algebra over O such that each element of I gives the zero map on X. Remark 4.3. Using this device, we can define an operad using generators and relations: take a free operad on the generators, and mod out by the ideal spanned by the relations. Example 4.4. The associative operad Assoc is generated by a single binary operation, mod relations which represent associativity. Then the algebras over Assoc are precisely the associative k-algebras. For a more compact way to describe Assoc, recall that the free operad on a single binary operation is the operad of labeled binary trees, and the relation shows that two labeled binary trees are equivalent iff they have the same sequence of labels. So Assoc(n) = k[σ n ], with the usual Σ n action. 4

5 Example 4.5. The commutative operad Comm is generated by a single binary operation, mod relations which represent associativity and commutativity. Then the algebras over Comm are precisely the commutatiave k-algebras. In other words, Comm is obtained from Assoc by modding out the action of Σ n, so Comm(n) = k, with the trivial Σ n action. Example 4.6. The Lie operad Lie is generated by a single binary operation, mod relations which represent skew symmetry and the Jacobi identity. The algebras over Lie are precisely the Lie algebras over k. Example 4.7. The Poisson operad Poisson is generated by two binary operations, mod relations which represent associativity, skew symmetry, the Jacobi identity, and the derivation. The algebras over Poisson are precisely the Poisson algebras over k. 5 Formal definitions In the definition of an operad given above, we specified composition operators i : O(n) O(m) O(n + m 1). However, we could have instead specified composition operators of the form O(k) O(n 1 ) O(n k ) O(n), where n = n n k, by allowing the composition to take place in all k inputs of the first function simultaneously. These approaches are equivalent, and the first seemed simpler from a pedagogical standpoint. However, it is now more convenient to use the second formulation. Definition 5.1. Let Σ be the groupoid with objects the finite sets n := {1,..., n} and morphisms the bijections between them. A Σ-object in a category C is a contravariant functor Σ C. Remark 5.2. Let S be a Σ-object in C. Then each S(n) has a right Σ n -action. Definition 5.3. Let C be a symmetric monoidal category with finite colimits. Then the category ΣC of Σ-objects has a canonical monoidal product, given by (S T )(n) := ( ) S(k) Σk (T (n 1 ) T (n k )) Σn1 Σ nk Σ n, where the coproduct is taken over all partitions of n of length k, and the last Σ n denotes the coproduct of Σ n copies of the unit in C, with the usual action of Σ n. Definition 5.4. An operad over C is a monoid object in ΣC. Remark 5.5. There is a forgetful functor from operads over C to ΣC. The free functor is the left adjoint to this, and it can be directly constructed as in the example above. 5

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

Categories and functors

Categories and functors Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called

More information

LECTURE 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

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there

More information

SOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2

SOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor

More information

Algebraic Geometry

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

Unital associahedra. and homotopy unital homotopy associative algebras. Andrew TONKS London Metropolitan University

Unital associahedra. and homotopy unital homotopy associative algebras. Andrew TONKS London Metropolitan University Unital associahedra and homotopy unital homotopy associative algebras Andrew TONKS London Metropolitan University with Fernando MURO Universidad de Sevilla Outline Classical algebraic definition arises

More information

Category Theory. Categories. Definition.

Category Theory. Categories. Definition. Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling

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

OVERVIEW OF SPECTRA. Contents

OVERVIEW OF SPECTRA. Contents OVERVIEW OF SPECTRA Contents 1. Motivation 1 2. Some recollections about Top 3 3. Spanier Whitehead category 4 4. Properties of the Stable Homotopy Category HoSpectra 5 5. Topics 7 1. Motivation There

More information

CONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.

CONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams. CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.

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

Groupoids and Faà di Bruno Formulae for Green Functions

Groupoids and Faà di Bruno Formulae for Green Functions Groupoids and Faà di Bruno Formulae for Green Functions UPC UAB London Metropolitan U. September 22, 2011 Bialgebras of trees Connes-Kreimer bialgebra of rooted trees: is the free C-algebra H on the set

More information

EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY

EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital

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

Nonabelian Poincare Duality (Lecture 8)

Nonabelian Poincare Duality (Lecture 8) Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any

More information

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories

More information

Lecture 17: Invertible Topological Quantum Field Theories

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

More information

Twisted Equivariant Cohomology and Orbifolds

Twisted Equivariant Cohomology and Orbifolds Twisted Equivariant Cohomology and Orbifolds Laura Scull Fort Lewis College joint with Dorette Pronk (Dalhousie University) July 2011 Outline Categories in Equivariant Homotopy Introduction to Equivariant

More information

BEN KNUDSEN. Conf k (f) Conf k (Y )

BEN KNUDSEN. Conf k (f) Conf k (Y ) CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective

More information

The Ordinary RO(C 2 )-graded Cohomology of a Point

The Ordinary RO(C 2 )-graded Cohomology of a Point The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important

More information

Operad-algebras and homotopy categories

Operad-algebras and homotopy categories Operad-algebras and homotopy categories Robert G. Hank Department of Mathematics University of Minnesota Minneapolis, Minnesota 55454 USA May 8, 2012 Abstract We provide background material necessary to

More information

An introduction to calculus of functors

An introduction to calculus of functors An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about

More information

58 CHAPTER 2. COMPUTATIONAL METHODS

58 CHAPTER 2. COMPUTATIONAL METHODS 58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study

More information

Project: Construction of the Fundamental Group

Project: Construction of the Fundamental Group Project: Construction of the Fundamental Group Renzo s math 472 This worksheet is designed to lead you to define and discover our first functor: the fundamental group. 1 Definitions First of all, let us

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

arxiv:math/ v1 [math.at] 6 Oct 2004

arxiv:math/ v1 [math.at] 6 Oct 2004 arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences

More information

p,q H (X), H (Y ) ), where the index p has the same meaning as the

p,q H (X), H (Y ) ), where the index p has the same meaning as the There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore

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

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday

More information

Topological algebra based on sorts and properties as free and cofree universes

Topological algebra based on sorts and properties as free and cofree universes Topological algebra based on sorts and properties as free and cofree universes Vaughan Pratt Stanford University BLAST 2010 CU Boulder June 2 MOTIVATION A well-structured category C should satisfy WS1-5.

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

OPERAD BIMODULE CHARACTERIZATION OF ENRICHMENT. V2

OPERAD BIMODULE CHARACTERIZATION OF ENRICHMENT. V2 OPERAD BIMODULE CHARACTERIZATION OF ENRICHMENT. 2 STEFAN FORCEY 1. Idea In a recent talk at CT06 http://faculty.tnstate.edu/sforcey/ct06.htm and in a research proposal at http://faculty.tnstate.edu/sforcey/class_home/research.htm

More information

PART I. Abstract algebraic categories

PART I. Abstract algebraic categories PART I Abstract algebraic categories It should be observed first that the whole concept of category is essentially an auxiliary one; our basic concepts are those of a functor and a natural transformation.

More information

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

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

More information

Deligne s. Kathryn Hess. Institute of Geometry, Algebra and Topology Ecole Polytechnique Fédérale de Lausanne

Deligne s. Kathryn Hess. Institute of Geometry, Algebra and Topology Ecole Polytechnique Fédérale de Lausanne Institute of Geometry, Algebra and Topology Ecole Polytechnique Fédérale de Lausanne Colloquium Wayne State University 25 October 2010 Outline 1 cohomology 2 3 Definition [, 1945] Let k be any commutative

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

Introduction to Chiral Algebras

Introduction to Chiral Algebras Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument

More information

9 Direct products, direct sums, and free abelian groups

9 Direct products, direct sums, and free abelian groups 9 Direct products, direct sums, and free abelian groups 9.1 Definition. A direct product of a family of groups {G i } i I is a group i I G i defined as follows. As a set i I G i is the cartesian product

More information

Joseph Muscat Universal Algebras. 1 March 2013

Joseph Muscat Universal Algebras. 1 March 2013 Joseph Muscat 2015 1 Universal Algebras 1 Operations joseph.muscat@um.edu.mt 1 March 2013 A universal algebra is a set X with some operations : X n X and relations 1 X m. For example, there may be specific

More information

Lecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.

Lecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT. Lecture 15: Duality We ended the last lecture by introducing one of the main characters in the remainder of the course, a topological quantum field theory (TQFT). At this point we should, of course, elaborate

More information

Math 210B. Profinite group cohomology

Math 210B. Profinite group cohomology Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the

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

Enveloping algebras of Hom-Lie algebras

Enveloping algebras of Hom-Lie algebras Journal of Generalized Lie Theory and Applications Vol. 2 (2008), No. 2, 95 108 Enveloping algebras of Hom-Lie algebras Donald YAU Department of Mathematics, The Ohio State University at Newark, 1179 University

More information

7. Homotopy and the Fundamental Group

7. Homotopy and the Fundamental Group 7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have

More information

43 Projective modules

43 Projective modules 43 Projective modules 43.1 Note. If F is a free R-module and P F is a submodule then P need not be free even if P is a direct summand of F. Take e.g. R = Z/6Z. Notice that Z/2Z and Z/3Z are Z/6Z-modules

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

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

EQUIVARIANT AND NONEQUIVARIANT MODULE SPECTRA

EQUIVARIANT AND NONEQUIVARIANT MODULE SPECTRA EQIVARIANT AND NONEQIVARIANT MODLE SPECTRA J. P. MAY Abstract. Let be a compact Lie group, let R be a commutative algebra over the sphere -spectrum S, and let R be its underlying nonequivariant algebra

More information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean Algebras, Boolean Rings and Stone s Representation Theorem Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to

More information

Groupoid Representation Theory

Groupoid Representation Theory Groupoid Representation Theory Jeffrey C. Morton University of Western Ontario Seminar on Stacks and Groupoids February 12, 2010 Jeffrey C. Morton (U.W.O.) Groupoid Representation Theory UWO Feb 10 1 /

More information

Adjoints, naturality, exactness, small Yoneda lemma. 1. Hom(X, ) is left exact

Adjoints, naturality, exactness, small Yoneda lemma. 1. Hom(X, ) is left exact (April 8, 2010) Adjoints, naturality, exactness, small Yoneda lemma Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The best way to understand or remember left-exactness or right-exactness

More information

Groupoids and Orbifold Cohomology, Part 2

Groupoids and Orbifold Cohomology, Part 2 Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:

More information

arxiv:math/ v1 [math.at] 5 Oct 1999

arxiv:math/ v1 [math.at] 5 Oct 1999 arxiv:math/990026v [math.at] 5 Oct 999 REPRESENTATIONS OF THE HOMOTOPY SURFACE CATEGORY OF A SIMPLY CONNECTED SPACE MARK BRIGHTWELL AND PAUL TURNER. Introduction At the heart of the axiomatic formulation

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset

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

Lie Algebra Cohomology

Lie Algebra Cohomology Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

Adjunctions! Everywhere!

Adjunctions! Everywhere! Adjunctions! Everywhere! Carnegie Mellon University Thursday 19 th September 2013 Clive Newstead Abstract What do free groups, existential quantifiers and Stone-Čech compactifications all have in common?

More information

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute

More information

SYMBOLIC DYNAMICS AND SELF-SIMILAR GROUPS

SYMBOLIC DYNAMICS AND SELF-SIMILAR GROUPS SYMBOLIC DYNAMICS AND SELF-SIMILAR GROUPS VOLODYMYR NEKRASHEVYCH Abstract. Self-similar groups and permutational bimodules are used to study combinatorics and symbolic dynamics of expanding self-coverings.

More information

Lecture 1: Overview. January 24, 2018

Lecture 1: Overview. January 24, 2018 Lecture 1: Overview January 24, 2018 We begin with a very quick review of first-order logic (we will give a more leisurely review in the next lecture). Recall that a linearly ordered set is a set X equipped

More information

Assume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is.

Assume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is. COMMUTATIVE ALGERA LECTURE 2: MORE CATEGORY THEORY VIVEK SHENDE Last time we learned about Yoneda s lemma, and various universal constructions initial and final objects, products and coproducts (which

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

Representations of quivers

Representations of quivers Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice

More information

Some remarks on Frobenius and Lefschetz in étale cohomology

Some remarks on Frobenius and Lefschetz in étale cohomology Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)

More information

GENERAL THEORY OF LOCALIZATION

GENERAL THEORY OF LOCALIZATION GENERAL THEORY OF LOCALIZATION DAVID WHITE Localization in Algebra Localization in Category Theory Bousfield localization Thank them for the invitation. Last section contains some of my PhD research, under

More information

We then have an analogous theorem. Theorem 1.2.

We then have an analogous theorem. Theorem 1.2. 1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.

More information

The Fundamental Group

The Fundamental Group The Fundamental Group Renzo s math 472 This worksheet is designed to accompany our lectures on the fundamental group, collecting relevant definitions and main ideas. 1 Homotopy Intuition: Homotopy formalizes

More information

UNIVERSAL DERIVED EQUIVALENCES OF POSETS

UNIVERSAL DERIVED EQUIVALENCES OF POSETS UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for

More information

OMEGA-CATEGORIES AND CHAIN COMPLEXES. 1. Introduction. Homology, Homotopy and Applications, vol.6(1), 2004, pp RICHARD STEINER

OMEGA-CATEGORIES AND CHAIN COMPLEXES. 1. Introduction. Homology, Homotopy and Applications, vol.6(1), 2004, pp RICHARD STEINER Homology, Homotopy and Applications, vol.6(1), 2004, pp.175 200 OMEGA-CATEGORIES AND CHAIN COMPLEXES RICHARD STEINER (communicated by Ronald Brown) Abstract There are several ways to construct omega-categories

More information

Endomorphism Rings of Abelian Varieties and their Representations

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

More information

Reconsidering MacLane. Peter M. Hines

Reconsidering MacLane. Peter M. Hines Reconsidering MacLane Coherence for associativity in infinitary and untyped settings Peter M. Hines Oxford March 2013 Topic of the talk: Pure category theory... for its own sake. This talk is about the

More information

Higher-Dimensional Algebra III: n-categories and the Algebra of Opetopes John C. Baez and James Dolan

Higher-Dimensional Algebra III: n-categories and the Algebra of Opetopes John C. Baez and James Dolan Higher-Dimensional Algebra III: n-categories and the Algebra of Opetopes John C. Baez and James Dolan Department of Mathematics, University of California Riverside, California 92521 USA email: baez@math.ucr.edu,

More information

Higher Categories, Homotopy Theory, and Applications

Higher Categories, Homotopy Theory, and Applications Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems

More information

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations

More information

GALOIS CATEGORIES MELISSA LYNN

GALOIS CATEGORIES MELISSA LYNN GALOIS CATEGORIES MELISSA LYNN Abstract. In abstract algebra, we considered finite Galois extensions of fields with their Galois groups. Here, we noticed a correspondence between the intermediate fields

More information

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we

More information

What are Iteration Theories?

What are Iteration Theories? What are Iteration Theories? Jiří Adámek and Stefan Milius Institute of Theoretical Computer Science Technical University of Braunschweig Germany adamek,milius @iti.cs.tu-bs.de Jiří Velebil Department

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

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

Equational Logic. Chapter Syntax Terms and Term Algebras

Equational Logic. Chapter Syntax Terms and Term Algebras Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

Lecture II: Curve Complexes, Tensor Categories, Fundamental Groupoids

Lecture II: Curve Complexes, Tensor Categories, Fundamental Groupoids Lecture II: Curve Complexes, Tensor Categories, Fundamental Groupoids 20 Goal The aim of this talk is to relate the concepts of: divisor at infinity on the moduli space of curves fundamental group(oid)

More information

Universal Algebra for Logics

Universal Algebra for Logics Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic

More information

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.

More information

The Adjoint Functor Theorem.

The Adjoint Functor Theorem. The Adjoint Functor Theorem. Kevin Buzzard February 7, 2012 Last modified 17/06/2002. 1 Introduction. The existence of free groups is immediate from the Adjoint Functor Theorem. Whilst I ve long believed

More information

Quantum Groups and Link Invariants

Quantum Groups and Link Invariants Quantum Groups and Link Invariants Jenny August April 22, 2016 1 Introduction These notes are part of a seminar on topological field theories at the University of Edinburgh. In particular, this lecture

More information

Algebraic Topology Homework 4 Solutions

Algebraic Topology Homework 4 Solutions Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to

More information

Topological K-theory

Topological K-theory Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions

More information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

More information

Ribbon braids and related operads

Ribbon braids and related operads Ribbon braids and related operads Nathalie Wahl Merton College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Trinity 2001 Abstract This thesis consists of two parts, both

More information

sset(x, Y ) n = sset(x [n], Y ).

sset(x, Y ) n = sset(x [n], Y ). 1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,

More information

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1. MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection

More information

LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES

LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES VIVEK SHENDE Historically, sheaves come from topology and analysis; subsequently they have played a fundamental role in algebraic geometry and certain

More information

Applications of 2-categorical algebra to the theory of operads. Mark Weber

Applications of 2-categorical algebra to the theory of operads. Mark Weber Applications of 2-categorical algebra to the theory of operads Mark Weber With new, more combinatorially intricate notions of operad arising recently in the algebraic approaches to higher dimensional algebra,

More information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC Homological Algebra: Assignment #3 (Solutions) TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate

More information

Noncommutative geometry and quantum field theory

Noncommutative geometry and quantum field theory Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological

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

BERTRAND GUILLOU. s G q+r

BERTRAND GUILLOU. s G q+r STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an

More information