All Questions
Tagged with a-infinity-algebras at.algebraic-topology
23 questions
2
votes
1
answer
230
views
On the definition of a derived $A_\infty$-category
Let $\mathcal{A}$ be an $A_\infty$-category. The derived $A_\infty$-category is defined to be the 0th cohomology category of the category of twisted complexes of $\mathcal{A}$.
I have troubles ...
- 219
3
votes
0
answers
261
views
On the Hochschild cohomology of the minimal model of an $A_\infty$ algebra
Suppose $(A, (\mu_k))$ is a (curved) $A_\infty$ algebra, and let $(\tilde A, (\tilde\mu_k))$ be its minimal model. Now, we have two Hochschild cohomology rings $HH^*(A)$ and $HH^*(\tilde A)$. (It may ...
- 2,789
3
votes
0
answers
365
views
Construction of derived Quot schemes
I am studying the construction of derived Quot schemes in the paper Borisov, Katzarkov, and Sheshmani - “Shifted symplectic structures on derived Quot-stacks”.
Derived quot stacks are constructed from ...
- 479
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
3
votes
0
answers
114
views
Can chain homotopy induce space homotopy at $E_\infty$ level?
Space-level homotopy induces (co)chain homotopy, but I've never heard of the converse. I am not sure if it is simply not true?
However, for good enough spaces (finite type nilpotent), Mandell proved ...
- 5,230
7
votes
0
answers
211
views
$A_{\infty}$ multiplications on Morse cochain complex
Can the higher order $A_{\infty}$ multiplications defined by Fukaya be made trivial(by perturbing gradient trees) when Morse cochain complex is isomorphic to Morse cohomology, in which case the cup ...
- 745
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
2
votes
0
answers
92
views
Monoidal structure on left dg-modules over a brace algebra
Relating to my other question: Modules over Hopf Algebras and $E_2$-algebras
Preliminary: Let $A$ be an associative dg-algebra that is also an algebra over the brace operad. Let $M$ and $N$ be left ...
- 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
15
votes
1
answer
558
views
Defining Massey products as transgressions
Let $A$ be a dg algebra, and $x, z \in A$ cocycles. Let's consider the maps
$$ A \to A \oplus A \to A$$
given by $y \mapsto (xy,yz)$ and $(u,v) \mapsto uz-xv$, respectively. We think of this as ...
- 40.3k
10
votes
0
answers
268
views
Isomorphisms between minimal $A_\infty$-algebras having identical $k$-truncations
Let $A_m =(A,0,m_2,m_3,\dots)$ and $A_n=(A,0,n_2,n_3,\dots)$ be two $A_\infty$-structures on a vector space $A$. Assume that
i) $A_m$ and $A_n$ are isomorphic, and
ii) $A_m$ and $A_n$ have the same ...
- 523
8
votes
1
answer
674
views
Frobenius $A_{\infty}$-bialgebras?
Recall that a finite dimensional associative algebra $A$ over a field $k$ is called a symmetric Frobenius algebra (sometimes called "closed" Frobenius algebra) if its equipped with a symmetric non ...
- 2,035
13
votes
2
answers
1k
views
The cohomology plus what characterizes the rational homotopy type?
For simplicity let me work only with connected and simply connected spaces. "Space" will mean a space of this type.
A space is rational if its homotopy groups are rational vector spaces (...
- 27.5k
7
votes
2
answers
523
views
Geometric information on transferred structure
Let $(M,g)$ be a Riemannian manifold, let $\Omega^*(M)$ denote the cochain complex of differential forms on $M$ and $H^*(M)$ its cohomology considered as a chain complex with trivial differential. We ...
- 2,035
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
8
votes
1
answer
353
views
Does there exist a model of chains on oriented manifolds with both a strict intersection pairing and strict functoriality for closed embeddings?
Let $M$ be a smooth oriented $n$-dimensional manifold. My favorite model of $\operatorname{Chains}_\bullet(M) \otimes \mathbb R$ is the space of smooth compactly-supported de Rham forms on $M$, ...
- 54.6k
12
votes
2
answers
799
views
Reference for functors in Kadeishvili's C_\infty paper
In his paper Cohomology $C_\infty$-algebra and rational homotopy type, Tornike Kadeishvili describes how the rational cohomology of a simply-connected space carries the structure of a $C_\infty$-...
- 35.9k
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
16
votes
6
answers
3k
views
Is an A-infinity thing the same the same as strict thing viewed through a homotopy equivalence?
If I have a topological monoid ($X,\mu$), a space $Y$ and a homotopy equivalence $f,g$ between them, then $Y$ has the structure of an $A_\infty$ space defined 'pointwise' by
$$ y_1 * y_2 := g \left(\...
- 461
4
votes
3
answers
221
views
Homology of bundles over a triangulated base and $A_\infty$-algebras
Let $p:E \to B$ be a fiber bundle over a triangulated base $B$ with fiber $F$, $\sigma$ simplex in $B$, $\sigma \mapsto H_{*}(p^{-1}(\sigma)) \simeq H_{*}(F)$ the obvious map and let $\mathcal{S}$ be ...
- 2,734
3
votes
1
answer
895
views
$A_{\infty}$ structure of (co)homology of a space
Let $X$ be a topological space, and $Homeo(X)$ the group of self-homeomorphisms of $X$.
(1) What is the exact meaning of: $H^*(X)$ is a an $A_\infty$-module over $Homeo(X)$?
(2) Does $H_*(X)$ also ...
- 2,734
5
votes
0
answers
677
views
Is a certain A-infinity algebra (homologically) smooth?
An A-infinity algebra $A$ is smooth a'la Kontsevich if it is perfect as an $A$-$A$-bimodule. I am wondering about the standard tricks to show smoothness of given algebras. A relatively basic example ...
- 3,758