All Questions
Tagged with a-infinity-algebras operads
15 questions
8
votes
0
answers
160
views
On the invariance of the Kaledin class
In Formality of DG algebras (after Kaledin), Lunts introduces an $A_\infty$-Hochschild cohomology class, called the Kaledin class, controlling formality of an $A_\infty$-algebra up to a certain order. ...
- 6,777
4
votes
1
answer
391
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,623
8
votes
2
answers
417
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 ...
- 499
12
votes
0
answers
2k
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 ...
- 5,966
4
votes
1
answer
244
views
Are these two natural $A_\infty$-structures on the realization of a cosimplicial commutative algebra isomorphic?
Given a cosimplicial commutative algebra $A^\bullet$ over a field of characteristic zero, there are two ways of producing an $A_\infty$-structure on its realization $|A^\bullet| := \int^\Delta C^*(\...
- 4,709
6
votes
1
answer
246
views
"Left Brace Module"
Let $A$ be an algebra over the brace tree operad and $M$ a module over some base ring.
Is there a good notion of a "left brace module" over a brace algebra?
I do not think the definition of a module ...
- 527
11
votes
1
answer
534
views
On the coalgebraic homotopy transfer theorem
Let $A$ be a dg algebra, say over a field. The Homotopy Transfer Theorem says that $H(A)$ can noncanonically be given the structure of $A_\infty$-algebra, extending the induced multiplication on $H(A)$...
- 40.3k
6
votes
1
answer
302
views
Knot Factorization Homology inputs
Following the paper by Ayala, Francis, and Tanaka: https://arxiv.org/pdf/1409.0848.pdf
If we are talking about knots we are talking about framed 3-manifolds with a framed 1-dimensional sub-manifold ...
- 527
5
votes
1
answer
367
views
Homotopy invariant structure: Stasheff versus Segal
To describe homotopy invariant algebraic structures on spaces, there are different approaches.
The Stasheff / Boardman–Vogt / May approach, where operations and equations are replaced by spaces of ...
- 1,243
10
votes
1
answer
657
views
Tensor products of $\infty$-algebras over operads
Let $A$ and $B$ be $A_\infty$-algebras. It's true, but it's a quite nontrivial fact, that the tensor product $A \otimes B$ can be given the structure of $A_\infty$-algebra, too. What is much easier to ...
- 40.3k
1
vote
0
answers
84
views
Morphism from the Koszul associative cooperad into the Koszul Lie cooperad?
Thinking about whether or not there is a natural way to transform $L_\infty$-algebras into $A_\infty$-algebras, I wonder if there is a morphism of cooperads
$\mathcal{A}ss^i\to\mathcal{L}ie^i$
from ...
- 2,074
2
votes
0
answers
102
views
Does the totality of $E_n$-operads in a given category has any interesting structure?
Suppose we are given a fixed ambient symmetric monoidal model category (I'm mostly interested in chain complexes over char zero fields). Then we have the notion of an $E_n$-operad in that category. ...
- 2,074
4
votes
1
answer
614
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 ...
- 5,562
3
votes
2
answers
504
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 ...
- 3,033
18
votes
1
answer
991
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 ...
- 6,229