Questions tagged [operads]
The operads tag has no usage guidance.
300
questions
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 ...
- 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 ...
- 627
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 ...
- 601
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$...
- 601
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 ...
- 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 ...
- 14.5k
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 ...
- 486
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$-...
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 ...
- 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 ...
- 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}_{\...
- 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 ...
- 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 $...
- 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 ...
- 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 ...
- 103
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:...
- 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 ...
- 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 $\...
- 336
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 ...
- 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)$$
...
- 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 $...
- 401
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 ...
- 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 ...
- 7,752
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 ...
- 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 ...
- 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 ...
- 401
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 ...
- 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 ...
- 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. (...
- 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 ...
- 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}...
- 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 ...
- 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\, ...
- 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 ...
- 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^{\...
- 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 ...
- 735
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)...
- 5,293
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 ...
- 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 ...
- 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 $...
- 735
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 ...
- 7,752
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 ...
- 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 $\...
- 71
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 ...
- 745
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 ...
- 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, ...
- 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 ...
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^{\...
- 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 ...
- 14.1k
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 ...
- 457