The operads tag has no wiki summary.

**8**

votes

**2**answers

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

**3**

votes

**2**answers

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

**7**

votes

**3**answers

344 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, ...

**2**

votes

**1**answer

181 views

### What is the definition of “the $L_\infty$ part of a $G_\infty$ morphism”?

We know that in Tamarkin's proof of Kontsevich's formality theorem, he defined the $G_\infty$ structure on the Hochschild cochain complex $C^\cdot(A,A)$ and constructed a $G_\infty$ morphism from ...

**9**

votes

**0**answers

171 views

### Are pivotal categories the algebras for a cartesian monad?

It seems to be "known" but not written down that the following are more-or-less equivalent:
...

**8**

votes

**1**answer

217 views

### Generating the graded S_n-module associated to an operad

Suppose I have a symmetric operad $\mathcal{P}$ defined over $\text{Vect}_{\mathbb{K}}$ with generators and relations in degrees at most $l$. Now suppose I already know $\mathcal{P}(k)$ as an ...

**3**

votes

**1**answer

318 views

### How strong is the condition that an operad splits, i.e. O(n)=O(s)xO(n-s)?

I recently proved something for the operad $Comm$ valued in a model category $M$ and am trying to generalize it to other symmetric operads. I'm very new to operads, so please forgive me if there are ...

**3**

votes

**0**answers

195 views

### Boardman Vogt W construction for modules over an operad

The W construction of Boardman and Vogt gives a cofibrant replacement for operads. In http://arxiv.org/abs/math/9907073, Salvatore describes a cofibrant replacement for algebras over an operad. Is ...

**5**

votes

**1**answer

605 views

### Is there a cheap proof that (homotopy) endomorphisms are functorial?

This is, in some sense, the homotopy version of this question.)
If $C$ is a category with $iC$ the subcategory of isomorphisms, there is a functor $X \mapsto End(X)$ from $iC$ to the category of ...

**3**

votes

**1**answer

406 views

### $A_{\infty}$ structure questions

Hello,
I would like explanation or clear source for some things related to $A_{\infty}$-spaces, via Stasheff's polytopes.
I tried not to think about them, because they seem too complicated for me; I ...

**9**

votes

**1**answer

642 views

### Compatibility of the KZ connection with operadic composition

In what sense is the Knizhnik-Zamolodchikov connection compatible with the operadic composition in the little discs operad and/or the operad of $\overline{M}\_{0,n}$'s?
Here are (some) details, ...

**8**

votes

**0**answers

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

**0**

votes

**0**answers

349 views

### []-infinity algebra and Projective representation

This is a very vague question.
We know that some algebra structures can be viewed as modules of some fantastic stuff, call T. Such examples include: Abelian groups are $\mathbb{Z}$-modules, chain ...

**5**

votes

**1**answer

477 views

### Where does the definition of “Tower of Algebras” come from?

A tower of algebras is a sequence of algebras
$$A_0 \hookrightarrow A_1 \hookrightarrow \cdots \hookrightarrow A_n \hookrightarrow \cdots$$
with embeddings $A_n \otimes A_m \hookrightarrow A_{n+m}$ ...

**2**

votes

**2**answers

378 views

### Homotopic monoids and $A_\infty$ spaces

Informally, an $A_\infty$-space is a monoid whose laws are only satisfied up to homotopy.
Let’s define now what I will call a "homotopic monoid" to be a space $M$ together with a point $e\in{}M$ and ...

**8**

votes

**4**answers

1k views

### Why are operads so closely connected to mathematical physics?

Mark Sapir's question inspired me to ask the question in the title. A lot of mathematicians who have done work related to mathematical physics (e.g Kontsevich, Stasheff, Getzler, Manin, etc.) have ...

**23**

votes

**7**answers

2k views

### Why are operads useful?

The question is not about where operads are used, I know that. It is about what makes them useful. For example, van Kampen diagrams are useful in combinatorial group theory because these are planar ...

**8**

votes

**1**answer

402 views

### Is there a “derived” Free $P$-algebra functor for an operad $P$?

Recall that an operad (in vector spaces, say) $P$ consists of a collection of vector spaces $P(n)$ for $n\geq 0$, such that $P(n)$ is equipped with an action by the symmetric group $S_n$, with maps ...

**13**

votes

**3**answers

1k views

### Relation between monads, operads and algebraic theories

I've begun to interest in algebraic theories and their categorical models: in particular monads, generalized multicategories and operads, lawvere theories and their generalization. Is there any ...

**5**

votes

**3**answers

888 views

### Monad arising from operad

It's known that from every operad arises a cartesian monad whose algebras are the algebras for the operad. Leinster proved that there are different operads from which arise the same monad, in this way ...

**12**

votes

**2**answers

526 views

### GL(V)-representation theory for a Lie bracket kernel

Let $V$ be a vector space over a field of characteristic $0$, and let $L_k(V)$ be the degree $k$ part of the free Lie algebra over $V$. There is an exact sequence
$$0\to D_n(V)\to L_1(V)\otimes ...

**14**

votes

**0**answers

542 views

### Splitting of homomorphism from cactus group to permutation group

We all learned in kindergarten that the category of finite-dimensional (type I, say) $U_q(\mathfrak{g})$-modules is braided monoidal for $\mathfrak{g}$ a complex semisimple Lie algebra. This gives an ...

**16**

votes

**7**answers

2k views

### Shuffle Hopf algebra: how to prove its properties in a slick way?

Let $k$ be a commutative ring with $1$, and let $V$ be a $k$-module. Let $TV$ be the $k$-module $\bigoplus\limits_{n\in\mathbb N}V^{\otimes n}$, where all tensor products are over $k$.
We define a ...

**6**

votes

**1**answer

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

**5**

votes

**1**answer

549 views

### PBW theorem over a Q-algebra, without freeness or flatness

Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-Lie algebra, which is not necessarily free as a $k$-module. Let $S\left(L\right)$ denote the symmetric algebra of $L$ (over $k$), constructed ...

**6**

votes

**1**answer

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

**6**

votes

**1**answer

541 views

### Classifying spaces of E_1 - spaces

Hello,
I try to understand aspects of homotopy coherence, in particular "recognition principle" of May.
About the following I did not think a lot, but I decided to ask here anyway, so to save ...

**4**

votes

**1**answer

941 views

### A-infinity structure of E-infinity algebras

This is perhaps somewhat related to this question. Fix a field $k$ of characteristic $p>0$. Suppose that $A$ is an $E_\infty$-algebra over $k$. Then $A$ also has an $A_\infty$-algebra structure, ...

**14**

votes

**1**answer

642 views

### Higher homotopy algebraic structure on the homology of an operad

Given a DGA $A$, then by standard techniques such as homological perturbation theory, the ring structure on the homology $H(A)$ extends to a minimal $A_\infty$-algebra structure such that $H(A)$ is ...

**8**

votes

**0**answers

268 views

### Question about $A_\infty$ maps

Given $A_\infty$-spaces $X$ and $Y$, Boardman and Vogt defined an $A_\infty$-map from $X$ to $Y$ to be a map $f: X \to Y$ of underlying based spaces and an $A_\infty$-structure on the reduced mapping ...

**18**

votes

**1**answer

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

**1**

vote

**0**answers

477 views

### Recognition principle

Hello,
The classical statement of the recognition principle (after Boardman, Vogt, Milgram and May) that I know is:
Let $X$ be a (group-like) topological space acted on by the little $n$-discs ...

**6**

votes

**1**answer

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

**4**

votes

**1**answer

398 views

### Repairing the Lie operad in characterstic 2?

Recall: We present an operad (with $S_n$-action) in $R-Mod$ for any commutative ring $R$ not of characteristic 2 generated by a single element in degree $2$ satisfying the following identities:
...

**14**

votes

**2**answers

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

**3**

votes

**1**answer

597 views

### Automorphisms of the rooted tree operad

This follows Ryan Budney's comment to the question asked here.
What is the automorphism group of the rooted tree operad?
(By the rooted tree operad, I just mean the operad with object rooted ...

**1**

vote

**2**answers

691 views

### What are operad automorphisms?

What is the general concept of an *operad automorphism*$?$ Is there a "standard" definition?
[added after comment] If an operad automorphism is an invertible operad endomorphism, how then is operad ...

**15**

votes

**1**answer

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

**12**

votes

**1**answer

910 views

### koszul duality and algebras over operads

Given a pair of Koszul dual algebras, say $S^*(V)$ and $\bigwedge^*(V^*)$ for some vector space $V$, one obtains a triangulated equivalence between their bounded derived categories of ...

**6**

votes

**1**answer

451 views

### Do you recognise this variant of the cubes operad?

In the subject of operads one comes across many quirky variants of more or less the same operad. The cubes operad has many incarnations with various interesting properties. In a recent paper I came ...

**26**

votes

**5**answers

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

**2**

votes

**1**answer

367 views

### Extending a property of commutative algebras to C infinity algebras

If A is a commutative algebra and B is an X- algebra, then the tensor product $A \otimes B$ is an X-algebra (so for example, $Com \otimes Lie$ is a Lie algebra). This is seen using the language of ...

**5**

votes

**2**answers

630 views

### Operad terminology - Operads with and without O(0).

In the Markl, Schneider and Stasheff text, topological operads are an indexed collection of spaces $O(n)$ for $n \in \{1,2,3,\cdots\}$ satisfying some axioms. In May's text, the index set is allowed ...

**29**

votes

**3**answers

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

**12**

votes

**1**answer

581 views

### Are G_infinity algebras B_infinity? Vice versa?

What is the relationship between $G_\infty$ (homotopy Gerstenhaber) and $B_\infty$ algebras?
In Getzler & Jones "Operads, homotopy algebra, and iterated integrals for double loop spaces" (a paper ...

**8**

votes

**2**answers

616 views

### Right actions of operads and monads

Given an operad $A$, there is an associated monad $M_A$ given by $M_A(X) = \coprod_n A(n) \otimes X^{\otimes n}$ such that being an $A$-algebra and being an algebra over the monad $M_A$ is the same ...

**8**

votes

**2**answers

548 views

### Is the cohomology of a topological operad a cooperad?

For cohomology with coefficients in a field $F$ the map $H^\cdot(X;F) \otimes H^\cdot(Y;F) \to H^\cdot(X \times Y;F)$ of the Kunneth theorem is an isomorphism of algebras over $F$. I am correct in ...

**6**

votes

**1**answer

329 views

### Transmutation versus operads

A while ago, I was reading Majid's book Foundations of quantum group theory, and Section 9.4 has a rather fascinating description of a Tannaka-Krein reconstruction result for quantum groups. In ...

**9**

votes

**2**answers

289 views

### When do PROP-morphisms induce adjunctions?

If (C,tensor,1) is a symmetric monoidal category and f:A-->B is a morphism of PROPs (or monoidal cats = colored PROPs), one gets a forgetful functor f^*:B-Alg(C)-->A-Alg(C) (where ...

**6**

votes

**1**answer

441 views

### Pontryagin product from an operad

For a topological group G, we have a Pontryagin product in homology by multiplying representative cycles. This gives the homology the structure of an associative graded algebra. Am I correct in ...