Unital associahedra. and homotopy unital homotopy associative algebras. Andrew TONKS London Metropolitan University
|
|
- Lucas Horton
- 5 years ago
- Views:
Transcription
1 Unital associahedra and homotopy unital homotopy associative algebras Andrew TONKS London Metropolitan University with Fernando MURO Universidad de Sevilla
2 Outline Classical algebraic definition arises from a topological operad Unital Associahedra: spaces of trees-with-corks D.g. operad ua governing homotopy unital A algebras [Fukaya-Ono-Oh-Ohta, Hirsh-Millès, Lyubashenko] Operad of Associahedra: spaces of trees [Boardman-Vogt, Stasheff] Cellular chain complex D.g. operad A governing homotopy associative d.g. algebras
3 Outline Algebra Differential graded operads A algebras ua algebras Combinatorics Rooted planar trees with leaves and corks Operations: contracting and grafting Pruning binary trees Cell complexes Classical associahedra Cubical construction Polytope construction Relation to A algebras Unital associahedra Cubical construction Cellular construction Relation to ua algebras
4 Prototypical d.g. operad: multilinear endo morphisms If (M, d) is a differential graded k-module, consider E M (n) =hom k (M n, M), (n 0) with the identity and substitution operations u =(M id M) E M (1), E M (m) k E M (n) i EM (n+m 1) These satisfy the relations u 1 a = a = a i u and { ( 1) b c (a j c) i+n 1 b ( 1 j < i ) (a i b) j c = a i (b j i+1 c) ( i j < m + i ) for M l a M, M m b M, M n c M in E M.
5 Definition A d.g. operad O is a sequence of d.g. k-modules (O(n)) n 0, with u O(1), O(m) k O(n) i O(n + m 1) for each 1 i m, satisfying u 1 a = a = a i u and { ( 1) b c (a j c) i+n 1 b ( 1 j < i ) (a i b) j c = a i (b j i+1 c) ( i j < m + i ) for a O(l), b O(m), c O(n). E M is termed the endomorphism operad of M. All operads here will be non-symmetric. [Later: all trees are planar and rooted]
6 Algebras over d.g. operads An O-algebra is an object M together with an operad morphism O E M (or O(n) k M n M, n 0) Examples Consider the non-symmetric operad A with A (0) =0, A (n) =k (n 1) Then an A -algebra is just an associative algebra. Consider the non-symmetric operad ua with ua (0) =k, ua (n) =k (n 1) Then a ua -algebra is just an associative algebra with unit.
7 Homotopy algebra Problem: Given two homotopy equivalent complexes A B, A is an O-algebra B is an O-algebra Solution: Replace O by a minimal resolution O O Then A is an O -algebra B is an O -algebra
8 Theorem (Stasheff 1963) A CW complex is a loop space it is an A -space. The A structure is a lifting of the obvious associative algebra structure on the homology of the a loop space. The following more recent result has the same form: Deligne Conjecture Let A be an associative algebra. The Hochschild cochain complex C (A, A) has a G -algebra structure inducing the known Gerstenhaber algebra structure on Hochschild cohomology.
9 Koszul Duality for Operads [GK,... ] Consider the adjoint functors Bar and Cobar and the Koszul dual dg AlgebrasOperads 2 B( ) dg CoalgebrasCooperads 2 Ω (C, C, d C ) = Ω ( ) T (s 1 C), = s 1 d C s +(s 1 ) 2 C s ΩBO
10 A quadratic operad O is Koszul iff the cobar construction of the Koszul dual cooperad is a resolution: quadratic: Ω(O ) O 0 (R) Free(X) O 0 Generators X concentrated in valence 2 Relations R in valence 3 (that is, weight 2) Example: associative operad A Koszul dual cooperad: 0 O Cofree(sX) (s 2 R) 0 Example: (O = A ) A structure on M coalgebra structure on s 1 M
11 The A operad From the purely algebraic formalism of Koszul duality: A is the d.g. operad such that As a graded operad, it is freely generated by µ n A (n) of degree n 2 (n 2) It has a differential defined on the generators by d(µ n ) = ( 1) qp+(q 1)i µ p i µ q. p+q 1=n 1 i p Thus an A -algebra is a d.g. k-module M with a binary operation m 2 and (higher) homotopies M n mn M, dm n +m n d = ( 1) qp+(q 1)i m p (1 M (i 1) m q 1 M (p i)). p+q 1=n 1 i p
12 Resolutions of Quadratic + Linear + Constant Operads Let O be an operad admitting a presentation of the form 0 (R) Free(X) O 0 where the ideal is generated by its part of weight 2, R = (R) (k X Free(X) (2) ) R X = 0 Let qr be the quadratic image of the relations, where q : Free(X) Free(X) (2) and define a quadratic operad 0 (qr) Free(X) qo 0 with its classical Koszul dual cooperad 0 qo Cofree(sX) (s 2 qr) 0 Consider the morphism ϕ : qr X k whose graph is R, R = { a ϕ(a) : a qr }
13 The above data induce a curved cooperad structure (qo, d ϕ, θ φ ) termed the Koszul dual dg cooperad O of O. The operad O is termed Koszul if the associated quadratic operad qo is Koszul in the classical sense. Theorem (Gálvez-Tonks-Vallette, Hirsch-Millès) The cobar construction of the Koszul dual dg cooperad O is a resolution of a Koszul (linear + quadratic + constant) operad O, Examples O := Ω(qO, d ϕ, θ ϕ ) O Batalin-Vilkovisky algebras are quadratic+linear, (a b) ( (a) b) (a (b)) [ a, b ] = 0 Unital associative algebras are quadratic+constant, a 1 a = 1 a a = 0
14 Appplication: definition of homotopy unital algebras Fukaya Oh Ohta Ono introduced homotopy units into the picture in their work in symplectic geometry. Lyubashenko, Millès Hirsch gave equivalent definitions. Definition ua has underlying graded operad freely generated by µ S n+m O(n), S [n + m], S = m, in degree µ S n+m = 2m + n 2, (n 2ifm = 0), with d(µ {i} 1+1 )=µ 2+0 i µ {1} 0+1 u, i {1, 2}. d(µ S n+m) = ±µ S 1 p+s i µ S 2 q+t, p+q 1=n s+t=m 1 i p S 1 i S 2 =S
15 Some easy combinatorial structures
16 Planar rooted trees with corks and leaves v 5 v 6 v 7 v 8 v 9 v 4 v3 v 1 v 2 v 0 v 8 v 4 v3 v 1 Vertices may not have degree two. The vertex order determines the planar structure. Usually we only draw the internal vertices and the corks. In the picture: v 1, v 3, v 4 are internal, v 8 is a cork.
17 Contraction of inner edges, and grafting at leaf edges v 8 v 4 e v3 v 1 v 8 [e] v 1 2 =
18 Binary trees with one cork and 2leaves
19 Pruning of one edge in a binary tree T = e1 e 2 e 3, T \ e 1 =, T \ e 2 =, T \ e 3 =.
20 Classical associahedra
21 Boardman Vogt constructed the classical associahedra as / K n = H T, H T =[0, 1] n 2 binary trees T with n leaves and no corks (x 1,...,x n 2 ) H T is a length labelling of the inner edges of T. x 2 x 1 Whenever T /e = T /e then identifies the corresponding negative faces of H T and H T. 0. 0
22 The associahedra K 3 and K 4 as cubical complexes
23 The associahedra form a topological operad Operad structure i on the family (K n ) is defined by maps H T H T H T i T given by an insertion of coordinates in a grafting x 1 x 2 2 y 2 y1 = y 2 y1 1 x 1 x 2 = (x 1, 1, y 1, y 2, x 2 ). with an inclusion as a positive face.
24 Associahedra as polytopes One may forget the cubical subdivision: the associahedron K n can be represented as an (n 2)-dimensional polytope. Its face poset is the category of planar rooted trees with n leaves, no corks and no degree 2 vertices. Inclusion of faces corresponds to collapses T T /e. The unique (n 2)-cell of K n is the corolla C n. We may write K T for the codimension r face of K n corresponding to a tree T with n leaves and r inner edges. Recall: codimension 1 faces of K n are given by K p i K q. These correspond to trees with a unique internal edge e = {v 1, v i+1 }, obtained by grafting corollas C p i C q. More generally K T i K T = K T i T.
25 K 3. K 4
26 Associahedra and A algebras Associahedra admit orientations such that the d.g. operad A can be recovered by taking the cellular chains: A = (C (K n, k)) n 2 It is freely generated as a graded operad by the fundamental classes µ n =[K n ] C n 2 (K n, k), n 2, The differential is given by the polytope boundary d(µ n ) = ( 1) qp+(q 1)i µ p i µ q. p+q 1=n 1 i p The exact signs depend on the orientations chosen. That is, the cellular chains on the (polytopal) associahedra gives the operad encoding A -algebras.
27 Unital associahedra
28 We define unital associahedra using quotients of cubes, / Kn u = H T, H T =[0, 1] 2m+n 2 binary trees T with n leaves and 0 m < corks (x 1,...,x 2m+n 2 ) H T is a length labelling of the inner edges of T. x 3 x 2 =(x 1, x 2, x 3 ) H T. x 1 If T /e = T /e, identifies negative faces of H T and H T. Of course, both of these faces have the same dimension. However, if T contains a corked edge e, then will identify a negative face of H T with the lower-dimensional cube H T \e indexed by the pruned tree.
29 0 b a max(a,b) b 0 a 0 a 0 a 0 a a 0 0 0
30 Example: 2-cells H T of the unital associahedron K u 2 These cells correspond to binary trees with 2 leaves and 1 cork: Edges with white corks have length 1 (as do others so labelled)
31 The unital associahedra form a topological operad Theorem The cubical maps H T H T H T i T given by grafting and inclusion of positive faces x 1 x 3 1 x 2 x 4 y 3 y 2 y1 = y 3 y 2 y1 1 =(x 1, x 2,1, y 1, y 2, y 3, x 3, x 4 ) x 1 x 3 x 2 x 4 are compatible with the identifications. The collection (K u n ) with the induced operations j forms a cofibrant object in the model category of topological operads.
32 A better cellular structure: cork filtration Theorem There is a sequence of trivial cofibrations K u n,0 K u n,1 K u n,2 K u n where: The first stage Kn,0 u is the classical associahedron Each further stage Kn,m u is the quotient of binary trees T with n leaves and mcorks The cofibrations K u n,m 1 K u n,m are formed by attaching copies of (2m + n 2)-dimensional cells K n+m [0, 1] m. The attachment is along K n+m ([0, 1] m ). H T
33 The first stage of the cork filtration After the classical associahedron K u n,0 = K n, the next stage in the cork filtration also has a straightforward description: Theorem For n 1 the space Kn,1 u is the mapping cylinder of (σ i ) i : n+1 K n+1 K n, i=1 where σ i : K n+1 K n are the associahedral degeneracy maps.
34 Stage Kn,1 u of the first four unital associahedra K u 0,1 :, K u 1,1 :, K u 2,1 :, K u 3,1 :
35 The second stage of the cork filtration: The smallest example is given by trees with no leaves and at most two corks, K 0,2
36 Remarks Each unital associahedron K u n is a contractible CW complex (but not a poytope). The cells K u T of the unital associahedron K u n are in bijection with the set of all planar rooted trees T with n leaves, m b black corks and m w white corks, in which no vertex has degree two, and the case (n, m b )=(0, 1) is also excluded. The operad composition is cellular: K u T i K u T = K u T i T
37 Theorem The cells of the unital associahedra admit orientations (inherited by those on K n+m [0, 1] m ) such that the d.g. operad (C (K u n, k)) obtained by taking cellular chains is naturally isomorphic to the operad ua for the homotopy unital associative algebras of Fukaya Oh Ohta Ono.
38 Final Example: attempting to visualize K u 1,2 This stage of the cork filtration of K1 u indexed by consists of three 3-cells, The first 3-cell (and, symmetrically, the last) has faces.
39
40 The second 3-cell has faces of the form
41 THANK YOU FOR YOUR ATTENTION
42
43
44
45
46
arxiv: v1 [math.qa] 10 Oct 2011
UNITAL ASSOCIAHEDRA arxiv:.959v [math.qa] Oct 2 FERNANDO MURO AND ANDREW TONKS Abstract. We construct a topological cellular operad such that the algebras over its cellular chains are the homotopy unital
More informationHomotopical Algebra Summer Day in Barcelona 2012
Homotopical Algebra Summer Day in Barcelona 2012 MTM2010-15831 Barcelona, 13 July, 2012 1 Homotopical Algebra Summer Day in Barcelona A day of talks and informal exchange held at the IMUB research centre
More informationKoszul duality for operads
Koszul duality for operads Bruno Vallette (This is in Chapters 6 and 7 of Loday-Vallette; we ll do exercises 1,7,8,9,10.) 1 Motivation We are interested in an arbitrary of P -algebras. We would like to
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 informationHomotopy Batalin-Vilkovisky algebras
Homotopy Batalin-Vilkovisky algebras Bruno VALLETTE (Université de Nice Sophia-Antipolis/MPIM) Seminar on Algebra, Geometry and Physics (MPIM, 14/09/09) Joint work with Imma Gálvez and Andy Tonks Overview
More informationHigher Algebra with Operads
University of Nice Sophia Antipolis (Newton Institute, Cambridge) British Mathematical Colloquium March 27, 2013 Plan 1 2 3 Multicomplexes A -algebras Homotopy data and mixed complex structure Homotopy
More informationDeformation theory of algebraic structures
Deformation theory of algebraic structures Second Congrès Canada-France June 2008 (Bruno Vallette) Deformation theory of algebraic structures June 2008 1 / 22 Data: An algebraic structure P A vector space
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 information1 Hochschild Cohomology and A : Jeff Hicks
1 Hochschild Cohomology and A : Jeff Hicks Here s the general strategy of what we would like to do. ˆ From the previous two talks, we have some hope of understanding the triangulated envelope of the Fukaya
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 informationDeligne 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 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 informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationarxiv:math/ v2 [math.qa] 30 Mar 2005
THE OPERAD QUAD IS KOSZUL JON EIVIND VATNE arxiv:math/04580v2 [math.qa] 30 Mar 2005 Abstract. The purpose of this paper is to prove the koszulity of the operad Quad, governing quadri-algebras. That Quad
More informationHypercommutative Operad as a Homotopy QuotientofBV
Commun. Math. Phys. 322, 697 729 2013 Digital Object Identifier DOI 10.1007/s00220-013-1737-7 Communications in Mathematical Physics Hypercommutative Operad as a Homotopy QuotientofBV A. Khoroshkin 1,2,
More informationOperad-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 informationStasheffs A -algebras and Homotopy Gerstenhaber Algebras. Tornike Kadeishvili A. Razmadze Mathematical Institute of Tbilisi State University
1 Stasheffs A -algebras and Homotopy Gerstenhaber Algebras Tornike Kadeishvili A. Razmadze Mathematical Institute of Tbilisi State University 1 Twisting Elements 2 A dg algebra (A, d : A A +1, : A A A
More informationDRAFT DOCUMENT. Benoit Fresse
OPERADS & GROTHENDIECK-TEICHMÜLLER GROUPS DRAFT DOCUMENT by Benoit Fresse x 1 x 2 x 3 x 4 x 1 x 2 x 3 x 4 OPERADS & GROTHENDIECK-TEICHMÜLLER GROUPS DRAFT DOCUMENT BENOIT FRESSE Abstract This preprint
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 informationModuli spaces of graphs and homology operations on loop spaces of manifolds
Moduli spaces of graphs and homology operations on loop spaces of manifolds Ralph L. Cohen Stanford University July 2, 2005 String topology:= intersection theory in loop spaces (and spaces of paths) of
More informationA Hodge decomposition spectral sequence for E n-homology
A Hodge decomposition spectral sequence for E n -homology Royal Institute of Technology, Stockholm Women in Homotopy Theory and Algebraic Geometry, Berlin, 14.09.2016 1 2 3 A Hodge spectral sequence for
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationRemarks on deformation quantization of vertex Poisson algebras
Remarks on deformation quantization of vertex Poisson algebras Shintarou Yanagida (Nagoya) Algebraic Lie Theory and Representation Theory 2016 June 13, 2016 1 Introduction Vertex Poisson algebra (VPA)
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 informationHOMOLOGY OF GENERALIZED PARTITION POSETS
HOMOLOGY OF GENERALIZED PARTITION POSETS BRUNO VALLETTE Abstract. We define a family of posets of partitions associated to an operad. We prove that the operad is Koszul if and only if the posets are Cohen-
More informationKathryn Hess. International Conference on K-theory and Homotopy Theory Santiago de Compostela, 17 September 2008
Institute of Geometry, Ecole Polytechnique Fédérale de Lausanne International Conference on K-theory and Homotopy Theory Santiago de Compostela, 17 September 2008 Joint work with John Rognes. Outline 1
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 informationarxiv: v4 [math.kt] 11 May 2011
FREE RESOLUTIONS VIA GRÖBNER BASES arxiv:0912.4895v4 [math.kt] 11 May 2011 VLADIMIR DOTSENKO AND ANTON KHOROSHKIN Abstract. For associative algebras in many different categories, it is possible to develop
More informationON THE COBAR CONSTRUCTION OF A BIALGEBRA. 1. Introduction. Homology, Homotopy and Applications, vol.7(2), 2005, pp T.
Homology, Homotopy and Applications, vol.7(2), 2005, pp.109 122 ON THE COBAR CONSTRUCTION OF A BIALGEBRA T. KADEISHVILI (communicated by Tom Lada) Abstract We show that the cobar construction of a DG-bialgebra
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationDerived A-infinity algebras in an operadic context. Contents MURIEL LIVERNET CONSTANZE ROITZHEIM SARAH WHITEHOUSE. 1 A review of known results 2
Derived A-infinity algebras in an operadic context MURIEL LIVERNET CONSTANZE ROITZHEIM SARAH WHITEHOUSE Derived A-infinity algebras were developed recently by Sagave. Their advantage over classical A-infinity
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
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 informationIterated bar complexes of E infinity algebras and homology theories
Algebraic & Geometric Topology 11 (2011) 747 838 747 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 1 algebra
More informationGroupoids 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 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 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 informationGrothendieck duality for affine M 0 -schemes.
Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and
More informationHigher Prop(erad)s. Philip Hackney, Marcy Robertson*, and Donald Yau UCLA. July 1, 2014
Higher Prop(erad)s Philip Hackney, Marcy Robertson*, and Donald Yau UCLA July 1, 2014 Philip Hackney, Marcy Robertson*, and Donald Yau (UCLA) Higher Prop(erad)s July 1, 2014 1 / 1 Intro: Enriched Categories
More informationarxiv:math/ v1 [math.dg] 5 Jan 2004
PROP profile of Poisson geometry S.A. Merkulov arxiv:math/040034v [math.dg] 5 Jan 004 The genetic code appears to be universal;... Britannica. 0. Abstract. The first instances of algebraic and topological
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 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 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 informationRealization problems in algebraic topology
Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization
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 informationA spectral sequence for the homology of a finite algebraic delooping
A spectral sequence for the homology of a finite algebraic delooping Birgit Richter joint work in progress with Stephanie Ziegenhagen Lille, October 2012 Aim: 1) Approximate Quillen homology for E n -algebras
More informationOPERAD 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 informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
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 information(communicated by Ross Street)
Homology, Homotopy and Applications, vol.6(1), 2004, pp.363 411 DIAGONALS ON THE PERMUTAHEDRA, MULTIPLIHEDRA AND ASSOCIAHEDRA SAMSON SANEBLIDZE and RONALD UMBLE (communicated by Ross Street) Abstract We
More informationIntroduction 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 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 informationThe Lambrechts Stanley model of configuration spaces
Invent. math. https://doi.org/10.1007/s00222-018-0842-9 The Lambrechts Stanley model of configuration spaces Najib Idrissi 1 Received: 1 December 2016 / Accepted: 15 November 2018 The Author(s) 2018 Abstract
More informationThe 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 informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationDe 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 informationLECTURE 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 informationSerre A -functors. Oleksandr Manzyuk. joint work with Volodymyr Lyubashenko. math.ct/ Notation. 1. Preliminaries on A -categories
Serre A -functors Oleksandr Manzyuk joint work with Volodymyr Lyubashenko math.ct/0701165 0. Notation 1. Preliminaries on A -categories 2. Serre functors 3. Serre A -functors 0. Notation k denotes a (ground)
More informationJUVITOP OCTOBER 22, 2016: THE HOPKINS-MILLER THEOREM
JUVITOP OCTOBER 22, 2016: THE HOPKINS-MILLER THEOREM XIAOLIN (DANNY) SHI Outline: (1) Introduction: Statement of Theorem (2) Obstruction: The Bousfield Kan Spectral Sequence (3) Computations Reference:
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 informationEILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
More informationPlan Feynman categories Universal constructions. Feynman categories. Ralph Kaufmann. IAS and Purdue University. IAS, Dec
Feynman categories Ralph Kaufmann IAS and Purdue University IAS, Dec 6. 2013 References Main paper(s) with B. Ward and J. Zuniga. 1 Feynman categories: Arxiv 1312.1269 2 Examples in: The odd origin of
More informationChromatic unstable homotopy, plethories, and the Dieudonné correspondence
Chromatic unstable homotopy, plethories, and the Dieudonné correspondence Alpine Algebraic and Applied Topology Conference Tilman Bauer, KTH Stockholm August 18, 2016 Tilman Bauer, KTH Stockholm Unstable
More informationAn 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 informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationThe geometry and algebra of master equations, BV operators and Feynman transforms
The geometry and algebra of master equations, BV operators and Feynman transforms Ralph Kaufmann Purdue University and MPIM Bonn University of Pittsburgh, May 14, 2014 References Main papers with B. Ward
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 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 information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationGauge Theory and Mirror Symmetry
Gauge Theory and Mirror Symmetry Constantin Teleman UC Berkeley ICM 2014, Seoul C. Teleman (Berkeley) Gauge theory, Mirror symmetry ICM Seoul, 2014 1 / 14 Character space for SO(3) and Toda foliation Support
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 informationBERTRAND 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 informationarxiv:math/ v3 [math.qa] 9 Oct 2006
A PAIRING BETWEEN GRAPHS AND TREES arxiv:math/0502547v3 [math.qa] 9 Oct 2006 DEV P. SINHA In this paper we develop a canonical pairing between trees and graphs, which passes to their quotients by Jacobi
More informationMinisymposium on Categorical Algebra, Homotopy Theory, and Applications
CSASC 2011 Minisymposium on Categorical Algebra, Homotopy Theory, and Applications This minisymposium encompasses a broad area where algebraic and category-theoretical methods are combined, aiming at applications
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 5
CLASS NOTES MATH 527 (SPRING 2011) WEEK 5 BERTRAND GUILLOU 1. Mon, Feb. 14 The same method we used to prove the Whitehead theorem last time also gives the following result. Theorem 1.1. Let X be CW and
More informationOMEGA-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 informationRewriting Systems and Discrete Morse Theory
Rewriting Systems and Discrete Morse Theory Ken Brown Cornell University March 2, 2013 Outline Review of Discrete Morse Theory Rewriting Systems and Normal Forms Collapsing the Classifying Space Outline
More informationA -algebras. Matt Booth. October 2017 revised March 2018
A -algebras Matt Booth October 2017 revised March 2018 1 Definitions Work over a field k of characteristic zero. All complexes are cochain complexes; i.e. the differential has degree 1. A differential
More informationCOMBINATORICS OF POLYHEDRA FOR n-categories
COMBINATORICS OF POLYHEDRA FOR n-categories TODD TRIMBLE In these notes, we give some combinatorial techniques for constructing various polyhedra which appear to be intimately connected with the geometry
More informationarxiv: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 informationp,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 informationOn the Merkulov construction of A -(co)algebras
On the Merkulov construction of A -(co)algebras Estanislao Herscovich Abstract The aim of this short note is to complete some aspects of a theorem proved by S. Merkulov in [7], Thm. 3.4, as well as to
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 informationBar constructions for topological operads and the Goodwillie derivatives of the identity
ISSN 1364-0380 (on line) 1465-3060 (printed) 833 Geometry & Topology Volume 9 (2005) 833 934 Published: 23 May 2005 Revised: 13 December 2005 (see footnote 3 on page 834) Bar constructions for topological
More informationarxiv: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 informationExtensions of motives and higher Chow groups
Extensions of motives and higher Chow groups A. J. Scholl Introduction This note has two purposes: the first is to give a somewhat different description of the higher cycle class map defined by Bloch [3]
More information370 INDEX AND NOTATION
Index and Notation action of a Lie algebra on a commutative! algebra 1.4.9 action of a Lie algebra on a chiral algebra 3.3.3 action of a Lie algebroid on a chiral algebra 4.5.4, twisted 4.5.6 action of
More informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More informationEnveloping 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 informationAXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY
AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY JOHN R. KLEIN Abstract. In [Kl] we defined a variant of Farrell-Tate cohomology for a topological group G and any naive G-spectrum E by taking the homotopy
More informationMultiplicative properties of Atiyah duality
Multiplicative properties of Atiyah duality Ralph L. Cohen Stanford University January 8, 2004 Abstract Let M n be a closed, connected n-manifold. Let M denote the Thom spectrum of its stable normal bundle.
More informationQuillen cohomology and Hochschild cohomology
Quillen cohomology and Hochschild cohomology Haynes Miller June, 2003 1 Introduction In their initial work ([?], [?], [?]), Michel André and Daniel Quillen described a cohomology theory applicable in very
More informationPROPped up graph cohomology
PROPped up graph cohomology M. Markl and A.A. Voronov 2 Instutute of Mathematics, Academy of Sciences, Žitná 25, 5 67 Praha, The Czech Republic, markl@math.cas.cz 2 School of Mathematics, University of
More informationBATALIN-VILKOVISKY ALGEBRAS AND CYCLIC COHOMOLOGY OF HOPF ALGEBRAS
BATALIN-VILKOVISKY ALGEBRAS AND CYCLIC COHOMOLOGY OF HOPF ALGEBRAS LUC MENICHI Abstract. We show that the Connes-Moscovici negative cyclic cohomology of a Hopf algebra equipped with a character has a Lie
More informationTHE INTRINSIC FORMALITY OF E n -OPERADS
THE INTRINSIC FORMALITY OF E n -OPERADS BENOIT FRESSE AND THOMAS WILLWACHER Abstract. We establish that E n-operads satisfy a rational intrinsic formality theorem for n 3. We gain our results in the category
More informationINVERSION OF INTEGRAL SERIES ENUMERATING PLANAR TREES
Séminaire Lotharingien de Combinatoire 53 (2005), Article B53d INVERSION OF INTEGRAL SERIES ENUMERATING PLANAR TREES JEAN-LOUIS LODAY Abstract. We consider an integral series f(x, t) which depends on the
More informationDGLA STRUCTURE ON THE DEFORMATION COMPLEX OF LEIBNIZ PAIRS. E. Hoefel. Abstract
DGLA STRUCTURE ON THE DEFORMATION COMPLEX OF LEIBNIZ PAIRS E. Hoefel UFPR - Departamento de Matemática - C.P. 019081 Curitiba - Paraná - Brasil 81531-990 email: hoefel@mat.ufpr.br Abstract In this note
More informationTopology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2
Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Andrew Ma August 25, 214 2.1.4 Proof. Please refer to the attached picture. We have the following chain complex δ 3
More informationJ. M. CASAS, (1) J.-L. LODAY (2) and T. PIRASHVILI (3) 1. Introduction
LEIBNIZ n-algebras J. M. CASAS, (1) J.-L. LODAY (2) and T. PIRASHVILI (3) (1) Dpto Matematica Aplicada, Universidad de Vigo, 36005 Pontevedra, Spain (2) IRMA, ULP et CNRS, 7, rue R. Descartes, 67084 Strasbourg,
More information