# Questions tagged [a-infinity-algebras]

For questions about $A_\infty$-algebras as introduced by Stasheff in 1963 and related structures.

82
questions

**1**

vote

**0**answers

61 views

### Why is an operad of associative algebras Koszul?

Let $Assoc$ be an operad of associative algebras. What does it mean for $A$ to be a Koszul operad? Is it related to standard Koszul duality for algebras? As far as I understand, if $Assoc_{\infty}$ ...

**3**

votes

**0**answers

95 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 ...

**2**

votes

**0**answers

103 views

### A infinity structure on Yoneda Ext group

I am currently trying to control an $A_\infty$-algebra of the form $\mathrm{Ext}_X(F\oplus F'[2n-2],F\oplus F'[2n-2])$ where $X$ is a nice enough scheme and $F,F'$ are sheaves that are NOT locally ...

**1**

vote

**0**answers

67 views

### Construct $A_\infty$ bimodules maps from dg-maps

Let $ A $ be a dg-algebra. Let $U,V,W$ and $Z$ be dg-bimodules over $A$-$A$. Suppose I have cofibrant replacements $\pi_U : Up \rightarrow U$ (as right dg-module) and $\pi_W : pW \rightarrow W$ (as ...

**7**

votes

**1**answer

312 views

### Are exterior algebras intrinsically formal as associative dg algebras?

(Cross-posted from mathematics stackexchange.)
Fix a finite dimensional vector space $V$ over a field of characteristic zero, and let $R=Sym(V[1])$ be the free graded commutative algebra generated by ...

**1**

vote

**0**answers

89 views

### L-infinity algebra of deformations of an L-infinity algebra?

From Schlessinger-Stasheff we know that a deformation problem should come with an associated $L_\infty$-algebra, so that gauge-equivalence classes of solutions to its Maurer-Cartan equation (the "MC ...

**3**

votes

**0**answers

93 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^*(\...

**1**

vote

**0**answers

70 views

### Two definitions of minimal models

Is there any relationship between both definitions of minimal models? (the couple of definitions I know are the one mentioned in Lefèvre's thesis, in the sense that the differential is zero, and the ...

**6**

votes

**0**answers

174 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 ...

**4**

votes

**0**answers

86 views

### Natural transformation of $A_\infty$-functors lifted from homology

Suppose you have two $A_\infty$-functors $\mathcal{F,G}:\mathcal{A}\longrightarrow \mathcal{B}$ which descend to $F,G:A \longrightarrow B$ in homology (here $A=H^0(\mathcal{A})$ and same for $\mathcal{...

**5**

votes

**1**answer

172 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 ...

**7**

votes

**0**answers

229 views

### Chromatic polynomial and the circle

In https://arxiv.org/pdf/1208.5781.pdf
It is proved that there is spectral sequence converging to $H^*(M^G,R)$ with the E1 page given by the graph cohomology complex $C_A(G)$ where $A:=H^*(M,R)$.
My ...

**6**

votes

**1**answer

153 views

### Is the existence of $A_{\infty}$-inverse a consequence of Homotopy Transfer Theorem?

Let $k$ be a field of characteristic $0$ and $(A,d_A)$, $(B,d_B)$ be two differential graded (dg) algebras over $k$. Let $f: A\to B$ be a closed degree $0$ map of dg-algebras and $g: B\to A$ be a map ...

**10**

votes

**1**answer

327 views

### If C is a cocomplete coalgebra, then $\psi:C\rightarrow B\Omega C$ is a filtered quasi-isomorphism

I am reading the PhD thesis thesis of Kenji Lefèvre-Hasegawa and the corresponding errata by Bernhard Keller, my question is about the first error found in the thesis. Lemma 1.3.2.3 c states 'the ...

**3**

votes

**0**answers

54 views

### Reference Request: Central Curvature “Fix”

Context: In Lagrangian-Floer theory, the (an) $\mathbf{A}_\infty$-algebra of a Lagrangian is curved. However, the curvature is central. One consequence of this is that you can get an uncurved $\mathbf{...

**4**

votes

**1**answer

355 views

### Is it possible to define linear $A_\infty$-categories as special $\infty$-categories?

A functor $N\colon\mathrm{Cat}_{A_\infty}\longrightarrow\mathrm{Cat}_\infty$ is constructed in a paper [1] by Faonte. This gives a way to get an $\infty$-category by starting with an $A_\infty$-...

**10**

votes

**1**answer

359 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)$...

**3**

votes

**0**answers

105 views

### Strict units in A-infinity algebras

In Kontsevich-Soibelman's paper "Notes on $A_\infty$-algebras, $A_\infty$-categories and non-commutative geometry", $A_\infty$-algebras with strict units are defined so units act trivially on higher ...

**1**

vote

**0**answers

67 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 ...

**5**

votes

**2**answers

297 views

### Is the underlying vector space of the minimal model of an $A_{\infty}$-algebra canonical?

On the page 4 of these notes it is stated that an $A_{\infty}$-algebra $A$ is necessarily is quasi-isomorphic to an $A_{\infty}$-algebra $HA$ with trivial differential. Moreover, $HA$ is unique up to ...

**3**

votes

**1**answer

290 views

### Homology of bar complex vs homology of indecomposables

$\require{AMScd}$
Background: This question is about the bar and cobar constructions, and their relationship with the indecomposables of a dg-algebra. A brief summary of the bar and cobar ...

**3**

votes

**0**answers

95 views

### Explicit description of periodic map $S : HC_{i} \to HC_{i-2}$ for dg and $A_\infty$ algebras

Let $A$ some associative unital $k$-algebra, let $HC_*(A)$ is cyclic homology of $A$ and $HH_*(A)$ is hochschild homology of $A$. Then we have Connes exact sequence:
$$ ... \xrightarrow[]{} HH_n(A) \...

**2**

votes

**1**answer

333 views

### A-infinity modules

Using: https://arxiv.org/pdf/math/9910179.pdf as a reference...
My question involves spelling out explicitly the comment in 4.2 -
"Equivalently, the datum of an $A_\infty$-structure on a graded ...

**5**

votes

**1**answer

240 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 ...

**2**

votes

**0**answers

60 views

### Notion of “strict $A_\infty$ centre”

There is definition of "$A_\infty$ Centre" in article The A_\infty-Centre of the Yoneda Algebra and the Characteristic Action of Hochschild Cohomology on the Derived Category at p.28. It can be ...

**5**

votes

**1**answer

298 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 ...

**9**

votes

**1**answer

357 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 ...

**12**

votes

**0**answers

240 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 ...

**1**

vote

**0**answers

55 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 ...

**10**

votes

**0**answers

139 views

### A theorem of Gugenheim on twisted tensor products

Suppose $A$ is a DGA algebra and $C$ a DGA coalgebra. An $(A,C)$-bimodule is an object $M$ that is both a right $A$-module and a left $C$-comodule in the evident compatible way. An $(A,C)$-bundle is ...

**4**

votes

**0**answers

115 views

### Which dg-algebras have minimal model which is $A_{fin}$?

$A_{fin}$ algebra it is $A_\infty$ algebra with $m_n = 0$ for $n >> 0$ and $A^i = 0$ for $|i| >> 0$.
Suppose that we have (compact) dg-algebra $A$, we can build $A_\infty$ minimal model ...

**2**

votes

**0**answers

93 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. ...

**3**

votes

**0**answers

48 views

### Can one relate $K_0$ of an $A_\infty$-category $\mathcal A$ to $K_0(Fun_{A_\infty}(\mathcal A, \mathcal A))$?

For an $A_\infty$-category $\mathcal A$, one defines the group $K_0(\mathcal A)$ by
$$K_0(\mathcal A) := \mathbb Z \operatorname{Ob} \operatorname{Tw} \mathcal A / \left<[A]+[B]-[C]\right>$$
...

**12**

votes

**1**answer

986 views

### Why Grothendieck's Homotopy Hypothesis is so difficult?

Recall that Grothendieck's Homotopy Hypothesis states that the homotopy category of weak globular $n$-groupoids (as in https://arxiv.org/pdf/1009.2331.pdf) is equivalent to the category of homotopy $n$...

**3**

votes

**0**answers

214 views

### Tensor product of $A_{\infty}$ algebra morphisms, reference

Let $\Bbbk$ be a field of charachteristic zero. Let $(A, m_{\bullet}^{A})$ be an unital $A_{\infty}$ algebra. Let $B$ be a differential graded algebra. Then $B\otimes A$ carries an $A_{\infty}$ ...

**3**

votes

**0**answers

253 views

### (co)chain homotopy of dg algebras ($A_{\infty}$ algebras) and other notion of homotopy

In this question I will work over a field of char. $0$. Let $f,g\: : \: A\to B$ be dg algebras morphism between two cochain (commutative) dg algebras $A,B$ (assume positively graded). Let $h$ be a ...

**5**

votes

**0**answers

206 views

### Recovering an A-infinity structure on an Ext-algebra from a quiver presentation

Let $A=KQ/I$ be a basic finite dimensional algebra given by a quiver with relations. Let $S$ denote the direct sum of the corresponding simple modules.
According to [Keller: A-infinity algebras in ...

**10**

votes

**0**answers

208 views

### Formulation of $A_\infty$ structures in terms of coalgebras

There are two ways to define $A_\infty$ structures. The elementary one seems rather intuitive when I think of higher homotopies. I.e. an $A_\infty$ structure on a $\mathbb{Z}$-graded vector $A$ space ...

**9**

votes

**0**answers

233 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 ...

**5**

votes

**0**answers

336 views

### DG model of A-infinity category

Given a $k$-linear dg category $\mathcal{C}_{dg},$ I can produce an ($A_\infty$-quasi-equivalent) $k$-linear $A_\infty$ category $\mathcal{C}_{A_\infty}$ by taking the homotopy category $H^0(\mathcal{...

**5**

votes

**0**answers

191 views

### Partial formality of A-infinity structure implies formality

Let $A$ be a (finite dimensional, unital, associative) $k$-algebra, where $k$ is a (algebraically closed) field. Let $M$ be a (finite dimensional) $A$-module. Then, it is known that $\operatorname{Ext}...

**8**

votes

**4**answers

873 views

### Why are quasi-isomorphisms of homotopy algebras only defined for arity 1?

When reading about homotopy algebras (e.g. $L_\infty$-algebras, $A_\infty$-algebras), an $\infty$-morphism $f$ is called an $\infty$-quasi-isomorphism if $f_1$ is a quasi-isomorphism.
Recall/Example (...

**7**

votes

**0**answers

342 views

### Reconstructing a nilpotent Lie algebra from its cohomology with $A_{\infty}$-structure

Let $L$ be a nilpotent Lie algebra (over a field of char 0) and $CE^{\bullet}(L)$ be its Chevalley-Eilenberg dg-algebra. By homotopy transfer, there exists a structure of an $A_{\infty}$-algebra on ...

**5**

votes

**1**answer

510 views

### $Ext$-algebra generated by $Hom$ and $Ext^1$ as $A_\infty$-algebra?

In [Keller: A-infinity algebras in representation theory, Proposition 1(b)], Keller states that for an associative algebra the $Ext$-algebra of the simples is generated by $Ext^1(S,S)$ as an $A_\infty$...

**4**

votes

**0**answers

145 views

### Natural transformations of $A_\infty$-functors (between dg-categories) are “directed homotopies” (reference?)

Let $\mathbf A$ and $\mathbf B$ be dg-categories over a field, viewed as $A_\infty$-categories. The $A_\infty$-category (actually, dg-category) of strictly unital $A_\infty$-functors $\mathbf A \to \...

**8**

votes

**1**answer

499 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 ...

**5**

votes

**0**answers

144 views

### $A_\infty$ structure on sum of twists of structure sheaf

Fix $n$ and let $P^n$ be projective $n$-space. Let $S = k[x_0, \dots, x_n]$. Set $A^0 = \bigoplus_{d \ge 0} H^0(P^n, \mathcal{O}(d))$ and $A^n = \bigoplus_{d < -n} H^n(P^n, \mathcal{O}(d))$.
I ...

**11**

votes

**2**answers

949 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 (...

**1**

vote

**0**answers

125 views

### Cohomology of a graded differential algebra with L-infinity action by a Lie algebra relative to a sub algebra

Suppose $A$ is a graded differential algebra, $h\subset g$ is an ideal, and that there is an $L_\infty$ action by $g/h$ on $A$. Is there any theorem that gives a quasi-isomorphism between the Lie-...

**11**

votes

**1**answer

568 views

### Are $(\infty,1)$-categories $A_\infty$ categories?

Let $X$ be a set. One can define a non-symmetric colored version of the non-unital $A_\infty$ operad as follows. The set of colors is the set of ordered pairs in $X$. Let $(x_1,y_1),\dots,(x_n,y_n)$...