Questions tagged [operads]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
75 views

The S-module Ass is same as the composite of Com and Lie

It has been cited in several places (eg. https://arxiv.org/pdf/1912.05519.pdf) that the S-module Ass is isomorphic to the composite of the S-modules Com and Lie. Is there a reference which gives the ...
user avatar
  • 101
5 votes
0 answers
147 views

Another model for $\infty$-operads?

There are several well-developed notions of $\infty$-operad in the literature, which are nowadays known to be equivalent (see e.g. the introduction of Chu-Haugseng-Heuts. However, another model is ...
user avatar
2 votes
0 answers
66 views

Riemann-Hilbert-type correspondence for locally constant factorization algebras

This is related to a previous post, but a bit softer and should probably stand on its own. In Appendix A of "Higher Algebra", Lurie shows that for a reasonably good topological space, there ...
user avatar
6 votes
1 answer
208 views

$\mathbb{E}_M$ as colimit of little cubes operads

In Lurie's "Higher Algebra", Remark 5.4.5.2 towards the end, there is the following statement: "It follows that $\mathbb{E}_M$ can be identified with the colimit of a diagram of $\infty$...
user avatar
1 vote
0 answers
61 views

Koszul complex of the cobar construction is acyclic

This is a follow-up question on my question on math stackexchange (https://math.stackexchange.com/questions/4399553/proof-that-the-coaugmented-cobar-construction-of-a-cooperad-is-acyclic) I think I ...
user avatar
  • 173
7 votes
0 answers
89 views

Identity for the associator involving a third root of unity

This is a reference request. I came across the class of nonassociative algebras satisfying the following identity: $$ (a,b,c)+\omega(b,c,a)+\omega^2(c,a,b)=0. $$ Here: by an "algebra" I mean a ...
user avatar
6 votes
0 answers
256 views

Transfer of E-infinity algebra structures

Skip to the bottom for my questions, first some discussion: It is a celebrated theorem of Kadeišvili that $A_{\infty}$-algebra structures can be transferred along homotopy equivalences so that the ...
user avatar
3 votes
0 answers
129 views

Augmented algebras over $\infty$-operads via the envelope

Let $\mathcal{O}^\otimes$ be an $\infty$-operad and $\mathcal{C}^\otimes$ a symmetric monoidal $\infty$-category, both in the sense of Lurie's Higher Algebra. By augmented $\mathcal{O}^\otimes$-...
user avatar
1 vote
1 answer
83 views

Differential of the Twisted complex for algebraic operads

I have a question about the proof of lemma 6.4.12 in the book Algebraic Operads (Loday-Vallette) which I do not seem to be able to fully complete on my own. Hopefully, somebody here can point out what ...
user avatar
  • 173
1 vote
1 answer
307 views

Is there an operad homotopifying the Koszul rule?

In homotopy theory one has the idea of a homotopy-commutative multiplication, in which one replaces the relation $$ab=ba$$ in a commutative monoid/group/ring/etc. for an unspecified homotopy. One ...
user avatar
  • 6,346
4 votes
0 answers
153 views

Is there a 1-categorical treatment of operadic left Kan extensions in the literature?

Lurie develops in Section 3.1.2 of Higher Algebra a notion of operadic left Kan extension used to compute free algebras, giving a left adjoint $\mathrm{Alg}_{\mathcal{O}}(\mathcal{C})\to\mathrm{Alg}_{\...
user avatar
  • 6,346
6 votes
0 answers
200 views

Generalising supercommutativity as a grading by the $1$-truncated sphere spectrum

A discussion that has been going recently is that supersymmetry corresponds to grading over the sphere spectrum, coming from an insight due to Kapranov. To formalise such a statement, one needs a ...
user avatar
  • 6,346
5 votes
0 answers
106 views

Definition of $E_{n}$-operad in dgCat

In "Derived Algebraic Geometry and Deformation Quantization" Toën defines in 5.1.2 an $E_{n}$-monoidal A-linear dg-category as an $E_{n}$-monoid in the symmetric monoidal $\infty$-category $...
user avatar
  • 577
2 votes
0 answers
163 views

What is an invertible operad?

Let $\mathcal V$ be a nice symmetric monoidal ($\infty$-)category, and consider the ($\infty$-)category $Op(\mathcal V)$ of $\mathcal V$-enriched (symmetric) operads, symmetric monoidal under the ...
user avatar
  • 49.2k
1 vote
1 answer
223 views

Lawvere theory of Lawvere theories

There is a coloured operad $sOp$ such that $sOp$-algebras are single-coloured operads. This operad has a simple description in terms of generators and relations, say, as an operad $F(X)/R$. There is a ...
user avatar
2 votes
0 answers
123 views

Can there be a non-trivial $A_\infty$-algebra which is Z/2-graded?

I am not used to $A_\infty$-algebras, so I am sorry if this is a stupid question. It seems that an $A_\infty$-algebra $A$ is typically a $\mathbb Z$-graded vector space $A$ along with morphisms $$ m_k:...
user avatar
  • 21
3 votes
1 answer
171 views

Functors that preserve monoids

In the comments section of this question there was a question that I don't know if it has been asked on the site. It is well-known and easily proved that lax monoidal functors preserve monoids. So the ...
user avatar
  • 457
3 votes
0 answers
99 views

Understanding the disintegration of unital $\infty$-operads

In section 2.3.4 of Higher Algebra, Lurie shows that any unital $\infty$-operad (whose underlying $\infty$-category is an $\infty$-groupoid) can be obtained by gluing together a family of reduced $\...
user avatar
2 votes
0 answers
64 views

Are there examples of brace algebras that are not operads?

The most typical example of a brace algebra is the brace algebra structure on the Hochschild complex of an associative algebra. This is a particular case of the following construction applied to the ...
user avatar
  • 457
2 votes
1 answer
53 views

Right action by an operad on a non symmetric collection

Suppose we have a non symmetric operad $\mathcal{O}$, a collection of sets $\{P(n)\}_{n\geq 0}$ and maps $$P(n)\otimes \mathcal{O}(k_1)\otimes\cdots \otimes \mathcal{O}(k_n)\to P(k_1+\cdots + k_n)$$ ...
user avatar
  • 348
3 votes
1 answer
128 views

Is the category of topological operads left proper?

I just learned that there is a model structure on the category $Op_{Top}$ of topological operads, due to Berger-Moerdjik [1], obtained by right transfer of the Quillen model structure on $Top$. Since $...
user avatar
5 votes
1 answer
212 views

Enriched coends which preserve equivalences

Although this question might be formulated in higher generality, let me try to be concrete: Let $(\mathbf{Top},\times,*)$ be the monoidal category of compactly generated weak Hausdorff spaces; and let ...
user avatar
  • 1,563
6 votes
1 answer
182 views

Monochromatic infinity operads as algebras over the "operad operad"

In the "ordinary" operad category, it is known that there is a colored operad $Op$ with set of colors $\mathbb{N}$ corresponding to "degrees" of vertices and with operations ...
user avatar
9 votes
0 answers
206 views

What is the operad for homotopy associative, homotopy commutative objects?

There is an operad whose algebras are objects with a homotopy unital multiplication -- the $A_2$ operad. There is an operad whose algebras are objects with a homotopy unital, homotopy associative ...
user avatar
  • 49.2k
4 votes
1 answer
176 views

Operadic cohomology in terms of infinitesimal composition

Given a non symmetric operad $\mathcal{O}$, is there an explicit description of its (André-Quillen or other) cohomology in low degrees in terms of infinitesimal composition? I ask because I am ...
user avatar
  • 348
3 votes
0 answers
197 views

Ginzburg Kapranov paper on Koszul duality

I am studying the article "Koszul duality for operads" by Ginzburg and Kapranov, https://arxiv.org/pdf/0709.1228.pdf. The problem is that this version of the paper contains empty spaces ...
user avatar
7 votes
0 answers
183 views

Higher categorical / operadic approach to homotopy associative, homotopy commutative, $H_\infty$ ring spectra?

Let $\mathcal C$ be a symmetric monoidal $\infty$-category, and let $O$ be an operad (for example, $O$ could be an $A_m$ or $E_n$ operad or a tensor product thereof, and $\mathcal C$ could be spaces ...
user avatar
  • 49.2k
2 votes
1 answer
59 views

Bigraded operadic suspension

I know from this paper by Ward that one can obtain the (signs of) the Gerstenhaber bracket using operadic suspension on any operad $\mathcal{O}$. More precisely, the insertion $\tilde{\circ}$ of the ...
user avatar
  • 457
6 votes
1 answer
120 views

Is there a filtered splitting of product labelling spaces?

For a well-based space $X$ denote by $C(\mathbb{R};X)$ the unordered configuration space of points on the real line with labels in $X$, and a point can vanish if its label reaches the basepoint. (...
user avatar
  • 1,563
2 votes
1 answer
162 views

Generalised operad structures

We can naively consider an operad as a collection $\{P(n)\}_{n\geq 0}$ of vector spaces $P(n)$ consisting of "functions" with $n$ inputs and one output, equipped with a number of ...
user avatar
  • 348
4 votes
1 answer
260 views

map of endomorphism operad

Let $\mathbf{Top}$ be the category of (nice) topological spaces. For any space $Z$, define $\mathbf{End}_{\text{operad}}(Z)$ as the endomorphism operad. Is there always a map of operads $$\mathbf{End}...
user avatar
  • 520
5 votes
1 answer
214 views

Boardman-Vogt resolution of the little 2-cubes operad

If $\mathbf{P}$ is a (coloured) operad, one can build a topological operad $W(\mathbf{P})$ called the $W$-construction or the Boardman-Vogt resolution of $\mathbf{P}$. Let me denote the resulting map ...
user avatar
  • 499
1 vote
0 answers
65 views

Functor from modular operads to (wheeled) properads

In Algebra+Homotopy=Operad in the conclusion it says that there is a commutative square of functors $\require{AMScd}$ \begin{CD} modular\, operads @>>> properads\\ @VVV @VVV\\ cyclic\, ...
user avatar
  • 183
8 votes
0 answers
161 views

Maps between unitary little disks operads and non-unitary little disks operads

Derived mapping spaces between little $d$-disks operads $E_d$ play an important role in embedding calculus. For example, Dwyer-Hess expresses the homotopy of framed long knots as loop spaces such ...
user avatar
  • 7,432
1 vote
0 answers
96 views

Degree shift of multilinear maps

Let $V$ be a graded vector space over $\mathbb{k}$ and $V[1]$ its odd degree shift. Given $k$, $l\in \mathbb{N}_0$, is there a natural way to define the following map, $$ \psi: \hom_{\mathbb{k}}(V^{\...
user avatar
  • 444
4 votes
0 answers
64 views

Planar dendroidal sets?

The meta picture is: (non-planar) dendroidal sets are to symmetric colored operads as simplicial sets are to categories. This suggests that one should have the notion of planar dendroidal sets (with a ...
user avatar
2 votes
0 answers
220 views

References for Homotopy transfer problem

I am trying to read Algebra+homotopy=operad by Bruno Vallette. Consider the following set up : chain complexes $(A,d_A),(H,d_H)$, a degree $1$ morphism of chain complexes $h:(A,d_A)\rightarrow (A,d_A)...
user avatar
3 votes
1 answer
146 views

Boardman-Vogt construction for PROP(erads)

Let $\left\lbrace \mathsf{O}(n)\right\rbrace_{n\in \mathbb{N}} $ be an operad in a symmetric monoidal category $(\mathsf{C},\otimes, \mathbf{1})$ which in addition has the structure of a model ...
user avatar
  • 183
9 votes
2 answers
316 views

How to characterize $E_n$ morphisms from $\mathrm{Mod}(A)$ to $\mathrm{Mod}(B)$?

Suppose $A$ and $B$ are $E_{\infty}$ rings, then $\mathrm{Mod}(A)$ and $\mathrm{Mod}(B)$ are $E_{\infty}$ monoidal categories (left modules over those rings). We can ask about $E_n$ colimit-preserving ...
user avatar
  • 1,703
5 votes
0 answers
124 views

How does a map from permutahedra to associahedra factor through multiplihedra?

Let $P_i$ denote permutahedra, $K_i$ associahedra and $J_i$ multiplihedra. In their famous paper on operadic diagonals, Saneblidze and Umble use a projection $p_i: P_i \to K_{i+1}$ which factors as $...
user avatar
6 votes
0 answers
117 views

Recovering operad units from homotopy units

It is my understanding that the $\infty$-category of non-unital connected topological monoids is equivalent to the $\infty$-category of connected topological groups. It follows that the functor from ...
user avatar
4 votes
1 answer
304 views

Different ways to “deloop” a (topological) $A_\infty$-algebra

Let $\varphi:A\to \mathrm{Ass}$ be an $A_\infty$-operad in topological spaces, and let $X$ be an $A$-algebra. I see three possibilities to construct a delooping out of $X$: Rectify $X$ by taking the ...
user avatar
  • 1,563
3 votes
0 answers
253 views

$E_{\infty}$-algebras à la Lurie

Let $D(\mathbb{F}_p)$ and $\mathcal{D}(\mathbb{F}_p)$ be the derived category and derived infinity-category of cochain complexes of $\mathbb{F}_p$-vector spaces. If $A$ is a sheaf of cdgas over $\...
user avatar
8 votes
0 answers
139 views

A question on recognition of equivariant loop spaces

I have a question about equivariant loop space that has been bothering me, and that I have not been able to find an answer to in the obvious places. We know from the work of Segal that to give a loop ...
user avatar
8 votes
2 answers
319 views

Conceptual explanation for the sign in front of some binary operations

In several situations, I've seen that given a binary operation on a graded module $m:A\otimes A\to A$, a new operation $M(x,y)=(-1)^{|x|}m(x,y)$ is defined so that it satisfies some properties. One ...
user avatar
  • 457
2 votes
1 answer
166 views

Detailed proof of $\mathfrak{s}^{-1}\mathrm{End}_V\cong \mathrm{End}_{\Sigma V}$

I asked this question on MSE but I want to ask it again here with some more context sine it received no answers. In Chapter 3 (Algebra) of the book Operads in Algebra, Topology and Physics by Markl, ...
user avatar
  • 457
7 votes
0 answers
628 views

Beginner's guide to $A_{\infty}$-algebras

I have some general questions about $A_{\infty}$-algebras. Altough I understand bare definition from nLab I have no association how to think intuitively about them. Which picture one should have in ...
user avatar
0 votes
0 answers
100 views

Is the free algebra over an operad an algebra over that operad?

I'm asking here this question I asked on MSE that got no answers. Let $V$ be a dg-module and $P$ an operad. The free $P$-algebra on $V$ is defined by $P(V)=\bigoplus_{r=0}^\infty (P(r)\otimes V^{\...
user avatar
  • 457
11 votes
1 answer
220 views

Infinity-homotopies

Koszul duality for operads allows for straightforward generalizations of $A$-infinity algebras and $A$-infinity morphisms for the so called Koszul operads $\mathcal{O}$, among which we find the ...
user avatar
5 votes
1 answer
214 views

Is operadic desuspension inverse to operadic suspension?

Given a graded vector space $V$ over a field $k$, consider it's suspension $\Sigma V$ such that $(\Sigma V)^i=V^{i-1}$. For an operad of graded vector spaces over a field $\mathcal{O}$, the operadic ...
user avatar
  • 457

1
2 3 4 5 6