All Questions
7 questions
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
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
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
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
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
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