The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
0answers
13 views

Composition law in the colored operad whose algebras are (symmetric) operads

In Berger-Moerdijk, Resolution of coloured operads and rectification of homotopy algebras (1.5.6) there is a description of the operad, whose algebras are non-colored symmetric operads. I have some ...
4
votes
1answer
94 views

bijection between S-modules and Schur functors

Given a $\mathbb{S}$-module, we can construct a Schur functor, which is an endo functor in the category of vectorspaces. But given a Schur functor, how can we get back the $\mathbb{S}$-module? In ...
3
votes
0answers
62 views

Symmetric tensor powers as tensors over symmetric group algebra [migrated]

Let $V$ be a $k$-vector space and $V^{\otimes n}$ the $n$-fold tensor power of $V$ and let $\mathbb{S}_n$ be the symmetric group of an n-element set, with its signum representation denoted by ...
4
votes
1answer
174 views

An example for a construction on monads/operads?

Suppose that $C$ is a bicategory. (I only need a monoidal category, i.e. one object bicategory, but I will stick with bicategories, since theory of monads is more commonly stated in that setting). A ...
1
vote
1answer
180 views

maps from labelled configuration space to section space / iterated loop space

In the paper Mapping class group and function spaces: a survey, F. Cohen, M.A. Maldonado, 2014, page 3, Section 3: for a $m$-manifold $M$, consider the disc bundle $D(M)$ in the tangent bundle ...
9
votes
1answer
217 views

Tensor products over operads and bar constructions

Let $O$ be an operad in spaces, $A$ an $O$-algebra and $R$ an right $O$-module. One can define $R \otimes_O A$ as the coequalizer of the two maps $ROA$ to $RA$. One can also define $B(R,O,A)$ (as in ...
7
votes
2answers
426 views

What are algebras for the little n-balls/n-cubes/n-something operads exactly?

As a non expert in the theory of topological operads, I find it pretty hard, to understand what algebras for little balls/cubes/something operads are. For all the other famous operads I know (like ...
0
votes
1answer
104 views

iterated loop spaces and configuration spaces [closed]

In the lecture notes by J.P. May, The geometry of iterated loop spaces, Chapter 5, formula (1), (2) and (10), a map $$ \phi: Hom_T(X,\Omega Y)\to Hom_T(SX,Y) $$ is defined. And a map $$ ...
13
votes
1answer
351 views

Homotopy transfer in the opposite direction

Let $X\rightleftarrows Y\circlearrowleft$ be a strong deformation retraction of chain complexes (a.k.a. contraction), i.e. $X\rightarrow Y\rightarrow X$ is the identity, $Y\rightarrow Y$ is a homotopy ...
1
vote
0answers
111 views

Does the Boardman-Vogt tensor product of operads commute with their W-construction

I have absolutely no idea whether this is true or not but it could well be useful for me in the future if it is. If we have topological operads $\mathcal{P}$ and $\mathcal{Q}$ and we let $W$ denote ...
21
votes
2answers
1k views

Why should have Peter May worked with CGWH instead of CGH in “The Geometry of Iterated Loop Space”?

This is a follow-up to Dan Ramras' answer of this question. The following correction can be found in the errata to The Geometry of Iterated Loop space (Page 484 here). The weak Hausdorff rather ...
8
votes
1answer
275 views

When is a quasicategory over $N(\Delta)^{op}$ a planar $\infty$-operad?

In Lurie's DAG II, a notion of monoidal $\infty$-category is given that differs from the notion given in his later book Higher Algebra. In the former, the relevant structure is a cocartesian ...
5
votes
1answer
205 views

Reference Request: Grouplike Algebras over the little $n$-cubes operad are $n$-fold loop spaces

In Geometry of the iterated loop space, Peter May proved his famous recognition theorem, which is, in a simple form, stated on page 3 as the following. There exist $\Sigma$-free operads ...
5
votes
0answers
65 views

Cyclic structure on a balanced (or ribbon) monoidal category

As it is well known, a balanced (and in particular ribbon) monoidal category is an algebra over the framed little 2-discs operad. The latter is homotopy equivalent to the operad of moduli space of ...
6
votes
1answer
296 views

Explict form of $E_\infty$-morphisms between differential graded commutative algebras

This is a partial duplicate to this MO question, I apologize for that. I'm asking since the answers there still do not allow me to work out an answer to my question, which is a bit more specific. ...
5
votes
1answer
161 views

Errata for Getzler-Kapranov “Cyclic operads and Cyclic homology”

Do you know if anyone made an errata for the Getzler-Kapranov paper "Cyclic operads and Cyclic homology"? I was trying to read it, and I have found (at least I think I did) quite a few typos not all ...
5
votes
1answer
417 views

Boardman-Vogt tensor product

Let $\mathbf{sSet}$ be the model category of simplicial sets and $\mathbf{Op}$ the model category of symmetric operads. Equipped with Boardman-Vogt tensor product $ \otimes_{BV}$, the category ...
14
votes
1answer
440 views

Free Loop-Space Recognition Principle

It is well-known that one can detect based loopspaces using the machinery of operads. Namely, given a group-like space $X$ with an action of $\mathbb{E}_n$-operad, then it is homotopy equivalent as an ...
10
votes
1answer
299 views

Tensor product of dendroidal sets: counter-examples

For any smal category $A$, I shall write $\widehat A$ for the category $[A^{\text op}, \mathbf{Set}]$ of presheaves on $A$, and $y_A\colon A \to \widehat A$ for the Yoneda embedding relative to $A$. ...
7
votes
0answers
239 views

A model category for E-infty algebras in a non-monoidal model category?

Given a suitable nice symmetric monoidal category $C$, symmetric monoidally enriched, tensored, and cotensored over a symmetric monoidal category $S$, and an operad $\mathcal{O}$ in $S$, we can ...
4
votes
2answers
299 views

Has this construction, which builds a symmetric multicategory from a commutative monoid, been described or studied anywhere, and if so, where?

Whenever $R$ is a commutative ring, write $R[x^{(n)}]$ for the set of all $p \in R[x]$ such that $p$ is a monic polynomial of degree $n$. Then $R[x^{(n)}]$ is not closed under sums, nor does it ...
3
votes
0answers
217 views

Straightening for $\infty$-operads

There is this straightening/unstraightening procedure of Jacob Lurie's which takes a symmetric monoidal $\infty$-category (which is the data of a coCartesian morphism of simplicial sets $C^\otimes\to ...
9
votes
0answers
208 views

Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...
6
votes
2answers
357 views

Obstructions for $E_n$-algebras

In Alan Robinson's paper, Classical Obstructions and S-algebras, he provides conditions for a ring spectrum to have an $A_n$ and $\mathbb{E}_\infty$-structure. Have the obstructions for an object ...
4
votes
2answers
421 views

$E_n$-space and n-connected pointed space

Is it true that the homotopy category of group-like $E_n$-spaces is equivalent to the homotopy category of pointed $n$-connected spaces ? If it is true, what should be the statement when ...
13
votes
3answers
417 views

Is the Amitsur-Levitzki identity essentially unique?

Let us consider the matrix algebra. $Mat_n(\mathbb{C})$. The Amitsur-Levitzki identity states that for any matrices $X_1, X_2, ..., X_{2n} \in Mat_n(\mathbb{C})$ the sum $\Sigma_{\sigma \in S_{2n}} ...
3
votes
1answer
390 views

$E_{\infty}$ spaces are $A_{\infty}$ spaces

While studying the well-known "Geometry of Iterated Loop Spaces", I found this corollary which is not completely clear to me. (By $\mathcal{M}$ is meant the operad given by $\mathcal{M}(j):=\Sigma_j$, ...
1
vote
0answers
102 views

Finitely co/continuous monad induced by an operad

It is well known that any operad on a nice monoidal category induces a monad. I was wondering which conditions can be imposed on the operad $T$ (say, in a monoidal closed $\cal V$) so that the ...
9
votes
1answer
348 views

$k$-Disk algebras versus $E_k$ algebras

Background: The little $k$-cubes operad is the $(\infty,1)$-operad defined by embedding disjoint unions of $k$-dimensional open cubes rectilinearly into one another, that is using maps ...
4
votes
1answer
418 views

Is there an analog of the Barratt-Eccles construction for group-like E_∞-spaces and E_∞-ring spaces?

The Barratt-Eccles operad is an operad in simplicial sets that provides a particularly nice model of an E∞-operad; algebras in spaces over the Barratt-Eccles operad model E∞-spaces, i.e., homotopy ...
1
vote
0answers
145 views

Reference request: modern proof of the recognition principle [closed]

I'm looking for a modern version of P. May's proof of the recognition principle (in "geometry of iterated loop spaces"). Can someone help me?
11
votes
1answer
316 views

What is this operad-like structure called?

I'd like to know what's the name (if any) of the following categorical structure, and also references where it has been considered. Given a category $C$, let $O=\{O(n)\}_{n\geq 0}$ be a sequence of ...
2
votes
0answers
150 views

What is a morphism of $B_\infty$ algebra

Let $k$ be a commutative ring and $C$ a $ \mathbb{Z}$ graded $k$ module. A $B_\infty$ structure on $C$ is the datum of a differential and a multiplication on $ BC:= \bigoplus^\infty_{i =0} ...
12
votes
1answer
433 views

Condition on a Hopf operad for tensor product in the base category to be a (categorical) coproduct for algebras

A Hopf operad will be an operad endowed with a coproduct $P(n) \longrightarrow P(n) \otimes P(n)$ which is compatible in the obvious sens with operad laws (no more structure is assumed a priori. ...
6
votes
1answer
498 views

understanding the definition of $\infty$-operad of module objects

I'm just trying to understand the following definition: Definition 3.3.3.8 in Higher Algebra by J. Lurie defines the $\infty$-operad of $O$-module objects, and says the following: Let $O^\otimes$ be ...
4
votes
1answer
307 views

What's a good reference for the following obstruction theory yoga?

Fix a colored operad, which I will leave implicit, and a field $\mathbb K$ of characteristic $0$. By algebra in this post I will mean a dg algebra over $\mathbb K$ for the given colored operad. I ...
1
vote
1answer
223 views

comparison between two monadic definitions for an operad

According to May, an operad $\mathcal{C}$ valued in sets is equivalent to a monad in Cat on the endofunctor $C\colon X\mapsto \coprod_i \mathcal{C}(i)\times X^i.$ According to Leinster, an operad is ...
4
votes
0answers
187 views

Where is the Courant operad discussed?

Where is the Courant operad discussed? And hopefully defined precisely. By the Courant operad or rather a suitable generalization of operad to accommodate the inner product, the operad whose ...
7
votes
2answers
316 views

Correspondence between operads and monads requires tensor distribute over coproduct?

In checking the details of the correspondence between operads over a symmetric monoidal category and monads on some associated endofunctor of the category, I cannot make the obvious proof work without ...
8
votes
2answers
512 views

Model structure for cooperads and for coalgebras

I am studying the homotopy theory of (algebraic) operads and I came up with several questions I am unable to answer to. I would like to stress that I don't have applications in mind, I just would like ...
1
vote
1answer
237 views

A question on the definition of operad

The nlab page says A (Set-based) operad is a monoid in the monoidal category $(Psh(ℙ),∘,I)$, where $ℙ$ is the category of $\sqcup_{n\ge 0} S_n$. The monoidal structure is given by the so ...
8
votes
0answers
306 views

Galois action on $E_n$-operads

Let $E_n$ be the little $n$-cubes operad which acts on $n$-fold loop spaces (up to group completion, an $E_n$-action is precisely the data needed to perform an $n$-fold delooping). I am looking for ...
2
votes
1answer
152 views

Embedding e_n -> e_m

Let $e_n$ be the operad of (say, rational) chains of the operad of little n-disks. Consider the natural embedding $e_n\to e_m$, where $n<m$ and $n,m>1$ induced by the embedding $\mathbb{R}^n\to ...
8
votes
0answers
261 views

The spheres operad

I have a rather naive question. Consider the space of all maps $$ S^{j_1} \times S^{j_2} \times \cdots \times S^{j_k} \to S^n $$ for all possible natural numbers $n, k, j_1, \cdots , j_k$. This ...
2
votes
2answers
312 views

Reference for Stasheff Operad

I want a reference for Stasheff operad, where operad maps are defined explicitly at the point-set level. I would also like to ask the question that what exactly do one mean by Stasheff operad? Is ...
7
votes
4answers
385 views

How universal is operadic approach to studying algebras?

I have just started to read about operads, so this question might be silly. So it seems to me that any "reasonable" class of algebras can actually be defined as a class of all algebras over a certain ...
4
votes
1answer
261 views

A_n operad as configuration spaces

$A_\infty$ operad can be described both in terms of Stasheff polytopes and configuration spaces.$A_n$ operad can be described as subspace of Stasheff operad described using Stasheff polytope. Is there ...
3
votes
1answer
186 views

Is the definition of Gerstenhaber bracket related to operads?

I was reading these notes by Keller. On the page 19 he defines the Gerstenhaber bracket on the Hochschild cochain complex. But first of all he defines the operation $\bullet$ on the cochains by $$ ...
6
votes
2answers
528 views

Aspherical operads

Let $O$ be an operad in $\mathtt{SETS}$. Assume that $O(0)$ is empty and $O(1)$ only consists of the identity. Assume for simplicity that $O$ is monochromatic, i.e. we have no labels on the ...
14
votes
3answers
942 views

Good reference for studying operads?

Can you, please, recommend a good text about algebraic operads? I know the main one, namely, Loday-Vallette "Algebraic operads". But it is very big and there is no way you can read it fast. Also ...