The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
0answers
106 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
267 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
277 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 ...
10
votes
2answers
478 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 ...
12
votes
2answers
389 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 ...
8
votes
1answer
549 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
83 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 ...
12
votes
1answer
687 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
473 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 ...
8
votes
1answer
287 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} & ...
5
votes
1answer
353 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
258 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 ...
11
votes
1answer
776 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 ...
3
votes
1answer
195 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 ...
4
votes
2answers
302 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
208 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. ...
8
votes
2answers
540 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
2answers
665 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
3answers
356 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
1answer
184 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
0answers
179 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
1answer
218 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
1answer
331 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
0answers
209 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
1answer
646 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
1answer
437 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
1answer
650 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
0answers
299 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
0answers
361 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
1answer
504 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
2answers
386 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
4answers
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 ...
24
votes
7answers
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
1answer
412 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
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 ...
5
votes
3answers
935 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
2answers
531 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
0answers
550 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
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 ...
6
votes
1answer
633 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
1answer
575 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
1answer
299 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
559 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
1answer
951 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, ...
15
votes
1answer
666 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
0answers
275 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
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 ...
1
vote
0answers
511 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
1answer
476 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
1answer
406 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: ...