The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
1answer
146 views

Condition on a Hopf operad for tensor product in the base categoy 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. ...
-1
votes
0answers
90 views

What is the meaning of “Homotopy of Little disc Operads” [migrated]

I want to understand what means the homotopy of the little discs operad. I'm starting to research in this area and I have some questions. 1) I don't understand why little discs operad is a ...
1
vote
0answers
124 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?
8
votes
1answer
208 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 ...
1
vote
0answers
125 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
4answers
1k views

Deligne's conjecture (the little discs operad one)

Deligne's conjecture states that the Hochschild cochain complex of an A-infinity algebra is an algebra over the operad of chains on the topological little discs operad. Of course the conjecture has ...
4
votes
0answers
176 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 ...
3
votes
0answers
96 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
253 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
139 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 ...
7
votes
1answer
201 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 ...
7
votes
1answer
318 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
203 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 ...
6
votes
0answers
239 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
137 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 ...
7
votes
0answers
229 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 ...
6
votes
2answers
509 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 ...
1
vote
2answers
251 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 ...
6
votes
4answers
360 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 ...
3
votes
1answer
211 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 ...
14
votes
3answers
786 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 ...
14
votes
2answers
3k views

Kontsevich's conjectures on the Grothendieck-Teichmüller group?

Reading Kontsevich's "Operads and Motives in Deformation Quantization", I was wondering about the state of the many conjectures concerning the Grothendieck-Teichmüller group in chapter 4. (Also, where ...
7
votes
1answer
264 views

Is the operadic butterfly symmetric?

The operadic butterfly is a diagram in the category of operads in vector spaces. It extends the short exact sequence relating commutative, associative and Lie operads. $$\begin{array}{ccccc} & ...
3
votes
1answer
162 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 $$ ...
12
votes
2answers
368 views

Introducing division strategically in operads to accommodate formulas like the Baker-Campbell-Hausdorff formula

I am not as familiar with operad terminology as I'd like to be, so I might be missing some well-known term in the area. If so, I'd appreciate any pointers to the correct terms. Consider the following ...
1
vote
0answers
90 views

Exact sequence of L-infinity-algebras

We call a sequence of $L_\infty$-algebras (weak) maps $$0\to L\xrightarrow{f} M\xrightarrow{g} N\to 0$$ is exact if it is exact on the the underlying chain complexes level. Thought I don't know ...
4
votes
0answers
210 views

Does abstract nonsense of model categories determine the “nonlinear” morphisms of $L_\infty$ algebras?

Recall that a Lie algebra is a module for the operad $\mathrm{Lie}$, which is freely generated by a binary antisymmetric operation $\beta$ modulo an equation that is quadratic in $\beta$. There is a ...
6
votes
1answer
236 views

Identifying the little disk operad with parenthesized braids

Let $D_2$ be the topological operad of little disks. This operad can be modelled "combinatorially" in terms of an operad of groupoids called $\newcommand{\PaB}{\mathbf{PaB}}\PaB$, the operad of ...
15
votes
1answer
898 views

Little disks operad and $Gal (\bar {Q}/Q)$

My question is simple: How do the little disks operad and $Gal (\bar {Q}/Q)$ relate? I realize that a huge amount of heavy-machinery can be brought into an answer to this, but I'm struggling ...
7
votes
2answers
324 views

Correspondence between operads and $\infty$-operads with one object

Given a simplicial operad one can form its category of operators. This is a simplicial category with a functor to the category of finite pointed sets which is a bijection on objects and whose ...
17
votes
1answer
3k views

What's up with Wick's theorem?

Sorry about the dumb title. I'd like to understand Wick's theorem. More specifically, I have seen it pop up in several different contexts and I am really puzzled by the different statements of it ...
7
votes
1answer
459 views

Seeking errata for Berger-Moerdijk Axiomatic Homotopy Theory for Operads

The paper I'm referring to can be found here. It came out in 2003. I've been told by professors before that I should be careful relying on things from this paper, because it contained errors. Is ...
1
vote
0answers
79 views

Generating series of free PROs

Let \begin{equation} G := \biguplus_{p \geq 0} \: \biguplus_{q \geq 0} G(p, q) \end{equation} be a bigraded set of generators and $\mathcal{F}(G)$ be the free PRO generated by $G$ (see [1] for a net ...
29
votes
3answers
2k views

Algebras over the little disks operad

Hello, The so-called "recognition principle" of Boardman-Vogt and May leaves me unsatisfied. My problem is the following: The "recognition principle" says that every "group-like" algebra over the ...
11
votes
1answer
588 views

Are Lurie's operads special SMCs?

In Higher Operads, Higher Categories, Leinster nicely characterizes operads among monoidal categories (as PROs). Roughly speaking, a monoidal category comes from an operad if its set of objects is ...
4
votes
1answer
434 views

Which E_∞-spaces are homotopy colimits of k-truncated E_∞-spaces?

This question is closely related to my previous question about modules over truncated sphere spectra, in particular, it has the same motivation. Recall that every space (or ∞-groupoid) can be ...
7
votes
0answers
262 views

When can I assure that the representation theory of a PROP is faithful?

Recall that a PROP is a symmetric monoidal category whose object-set is freely $\otimes$-generated by a single object $x\in P$. A representation or algebra for a prop $P$ in a symmetric monoidal ...
11
votes
1answer
557 views

On Tamarkin's proof of Etingof-Kazhdan quantization of Lie bialgebra

This question is motivated by the desire to understand better the interplay between Drinfeld associators, algebraic structures up to homotopy and related results. Recall that a Lie bialgebra is a Lie ...
26
votes
5answers
2k views

What are natural questions to ask about an operad?

I just discovered that something I've been working with has the structure of an operad. So I'm wondering what natural basic questions does one ask about operads? For example, if I knew I had the ...
3
votes
1answer
229 views

Repertory of the different sorts of operads

Many different types of operads have emerged in recent years (symmetric, shuffle, cyclic, anticyclic, coloured, etc.). I would like, for any of these, list the following data: Description of the ...
9
votes
1answer
226 views

Non-$\Sigma$ $E_n$ algebras?

Any symmetric operad can be considered as an non-$\Sigma$ operad by throwing away permutations. Does anyone know what sort of structure one gets for algebras over $C_n$ the little n-cubes operad, or ...
2
votes
1answer
177 views

PROPs representations, free module analog

Ordinary operad with one ouput can be obviously regarded as free module on itself. Is there are analogous construction for operad with many outputs (PROP)? This must be difficult question, but what is ...
6
votes
1answer
284 views

Semidirect products and PROPs

$\newcommand{\p}{\mathcal{P}}$Let G be a group, and let $G_n$ denote the wreath product $G^n \rtimes \Sigma_n$. There seems to be a notion of a PROP $\p$ where the role of the symmetric groups ...
4
votes
2answers
288 views

A (too?) simple notion of “closed multicategory”

Suppose I define a multicategory $M=(Ob(M),Hom_M)$ to be simply closed if for every sequence $S=(b_1,\ldots,b_n;x)$ of $n+1$ objects in $M$, we provide an object $Exp(S)\in Ob(M)$, and for every ...
2
votes
1answer
194 views

Maps between operads of different arities

Is there a category of operads which allows morphisms which take operations to operations with more or fewer arguments? One example should be when you fix arguments to obtain maps with fewer inputs. ...
6
votes
1answer
412 views

How does Berger-Moerdijk's relative Boardman-Vogt work?

In "The Boardman-Vogt resolution of operads in monoidal model categories," the authors construct factorizations of sufficiently nice operad maps $P\to Q$ into a cofibration followed by a weak ...
8
votes
2answers
499 views

Delooping and unreduced operads

Suppose I have an operad $P(n)$ in topological spaces in the sense of the book by Markl, Shnider and Stasheff, i.e. there is no space $P(0)$. In agreement with some of the answers to this question, I ...
6
votes
1answer
573 views

Do I need to know what an infinity-Gerstenhaber algebra is, and if so, what is it?

I am in the following situation. I have two (rather explicit and specific) dg commutative algebras $R,S$ over a field of characteristic $0$. In fact, $S$ is an $R$-algebra, in that I have a map $R ...
3
votes
2answers
506 views

How to define the equivalence of Maurer-Cartan elements in an $L_{\infty}$-algebra?

First let $L^{\bullet}$ be a pro-nilpotent differential graded Lie algebra (dgla). We have the set of Maurer-Cartan elements in $L^{\bullet}$ ($MC(L^{\bullet})$) which are $\alpha \in L^1$ such that ...
4
votes
2answers
256 views

Koszul duality for modular operads

Has anyone defined what it means for a modular operad to be Koszul, or what the Koszul dual of a modular operad is? In particular, is it meaningful to say that a modular operad is quadratic? Merkulov, ...