The tag has no wiki summary.

learn more… | top users | synonyms

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 ...
26
votes
6answers
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 ...
23
votes
7answers
1k 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 ...
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 ...
15
votes
7answers
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 ...
15
votes
1answer
876 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 ...
15
votes
0answers
516 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 ...
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 ...
13
votes
3answers
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 ...
13
votes
1answer
591 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 ...
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 ...
12
votes
2answers
508 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 ...
12
votes
2answers
363 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 ...
12
votes
1answer
858 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 ...
12
votes
3answers
749 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 ...
12
votes
1answer
528 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 ...
11
votes
1answer
504 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 ...
11
votes
1answer
565 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 ...
9
votes
1answer
220 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 ...
9
votes
2answers
281 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 ...
9
votes
1answer
620 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, ...
9
votes
0answers
161 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
4answers
998 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 ...
8
votes
2answers
487 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 ...
8
votes
2answers
527 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 ...
8
votes
2answers
602 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
1answer
211 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 ...
8
votes
1answer
384 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 ...
8
votes
0answers
254 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 ...
7
votes
2answers
304 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 ...
7
votes
1answer
438 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 ...
7
votes
1answer
193 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
302 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 ...
7
votes
1answer
260 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} & ...
7
votes
0answers
222 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 ...
7
votes
0answers
248 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 ...
6
votes
4answers
353 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 ...
6
votes
1answer
426 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 ...
6
votes
1answer
563 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 ...
6
votes
1answer
433 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 ...
6
votes
2answers
505 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 ...
6
votes
1answer
279 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
1answer
312 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 ...
6
votes
1answer
229 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 ...
6
votes
1answer
399 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 ...
6
votes
0answers
222 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 ...
5
votes
3answers
815 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 ...
5
votes
1answer
504 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 ...
5
votes
2answers
600 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 ...
5
votes
1answer
519 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 ...