- Source: Homotopy associative algebra
In mathematics, an algebra such as
(
R
,
+
,
⋅
)
{\displaystyle (\mathbb {R} ,+,\cdot )}
has multiplication
⋅
{\displaystyle \cdot }
whose associativity is well-defined on the nose. This means for any real numbers
a
,
b
,
c
∈
R
{\displaystyle a,b,c\in \mathbb {R} }
we have
a
⋅
(
b
⋅
c
)
−
(
a
⋅
b
)
⋅
c
=
0
{\displaystyle a\cdot (b\cdot c)-(a\cdot b)\cdot c=0}
.
But, there are algebras
R
{\displaystyle R}
which are not necessarily associative, meaning if
a
,
b
,
c
∈
R
{\displaystyle a,b,c\in R}
then
a
⋅
(
b
⋅
c
)
−
(
a
⋅
b
)
⋅
c
≠
0
{\displaystyle a\cdot (b\cdot c)-(a\cdot b)\cdot c\neq 0}
in general. There is a notion of algebras, called
A
∞
{\displaystyle A_{\infty }}
-algebras, which still have a property on the multiplication which still acts like the first relation, meaning associativity holds, but only holds up to a homotopy, which is a way to say after an operation "compressing" the information in the algebra, the multiplication is associative. This means although we get something which looks like the second equation, the one of inequality, we actually get equality after "compressing" the information in the algebra.
The study of
A
∞
{\displaystyle A_{\infty }}
-algebras is a subset of homotopical algebra, where there is a homotopical notion of associative algebras through a differential graded algebra with a multiplication operation and a series of higher homotopies giving the failure for the multiplication to be associative. Loosely, an
A
∞
{\displaystyle A_{\infty }}
-algebra
(
A
∙
,
m
i
)
{\displaystyle (A^{\bullet },m_{i})}
is a
Z
{\displaystyle \mathbb {Z} }
-graded vector space over a field
k
{\displaystyle k}
with a series of operations
m
i
{\displaystyle m_{i}}
on the
i
{\displaystyle i}
-th tensor powers of
A
∙
{\displaystyle A^{\bullet }}
. The
m
1
{\displaystyle m_{1}}
corresponds to a chain complex differential,
m
2
{\displaystyle m_{2}}
is the multiplication map, and the higher
m
i
{\displaystyle m_{i}}
are a measure of the failure of associativity of the
m
2
{\displaystyle m_{2}}
. When looking at the underlying cohomology algebra
H
(
A
∙
,
m
1
)
{\displaystyle H(A^{\bullet },m_{1})}
, the map
m
2
{\displaystyle m_{2}}
should be an associative map. Then, these higher maps
m
3
,
m
4
,
…
{\displaystyle m_{3},m_{4},\ldots }
should be interpreted as higher homotopies, where
m
3
{\displaystyle m_{3}}
is the failure of
m
2
{\displaystyle m_{2}}
to be associative,
m
4
{\displaystyle m_{4}}
is the failure for
m
3
{\displaystyle m_{3}}
to be higher associative, and so forth. Their structure was originally discovered by Jim Stasheff while studying A∞-spaces, but this was interpreted as a purely algebraic structure later on. These are spaces equipped with maps that are associative only up to homotopy, and the A∞ structure keeps track of these homotopies, homotopies of homotopies, and so forth.
They are ubiquitous in homological mirror symmetry because of their necessity in defining the structure of the Fukaya category of D-branes on a Calabi–Yau manifold who have only a homotopy associative structure.
Definition
= Definition
=For a fixed field
k
{\displaystyle k}
an
A
∞
{\displaystyle A_{\infty }}
-algebra is a
Z
{\displaystyle \mathbb {Z} }
-graded vector space
A
=
⨁
p
∈
Z
A
p
{\displaystyle A=\bigoplus _{p\in \mathbb {Z} }A^{p}}
such that for
d
≥
1
{\displaystyle d\geq 1}
there exist degree
2
−
d
{\displaystyle 2-d}
,
k
{\displaystyle k}
-linear maps
m
d
:
(
A
∙
)
⊗
d
→
A
∙
{\displaystyle m_{d}\colon (A^{\bullet })^{\otimes d}\to A^{\bullet }}
which satisfy a coherence condition:
∑
1
≤
p
≤
d
0
≤
q
≤
d
−
p
(
−
1
)
α
m
d
−
p
+
1
(
a
d
,
…
,
a
p
+
q
+
1
,
m
p
(
a
p
+
q
,
…
,
a
q
+
1
)
,
a
q
,
…
,
a
1
)
=
0
{\displaystyle \sum _{\begin{matrix}1\leq p\leq d\\0\leq q\leq d-p\end{matrix}}(-1)^{\alpha }m_{d-p+1}(a_{d},\ldots ,a_{p+q+1},m_{p}(a_{p+q},\ldots ,a_{q+1}),a_{q},\ldots ,a_{1})=0}
,
where
α
=
(
−
1
)
deg
(
a
1
)
+
⋯
+
deg
(
a
q
)
−
q
{\displaystyle \alpha =(-1)^{{\text{deg}}(a_{1})+\cdots +\deg(a_{q})-q}}
.
= Understanding the coherence conditions
=The coherence conditions are easy to write down for low degreespgs 583–584.
d=1
For
d
=
1
{\displaystyle d=1}
this is the condition that
m
1
(
m
1
(
a
1
)
)
=
0
{\displaystyle m_{1}(m_{1}(a_{1}))=0}
,
since
1
≤
p
≤
1
{\displaystyle 1\leq p\leq 1}
giving
p
=
1
{\displaystyle p=1}
and
0
≤
q
≤
d
−
1
{\displaystyle 0\leq q\leq d-1}
. These two inequalities force
m
d
−
p
+
1
=
m
1
{\displaystyle m_{d-p+1}=m_{1}}
in the coherence condition, hence the only input of it is from
m
1
(
a
1
)
{\displaystyle m_{1}(a_{1})}
. Therefore
m
1
{\displaystyle m_{1}}
represents a differential.
d=2
Unpacking the coherence condition for
d
=
2
{\displaystyle d=2}
gives the degree
0
{\displaystyle 0}
map
m
2
{\displaystyle m_{2}}
. In the sum there are the inequalities
1
≤
p
≤
2
0
≤
q
≤
2
−
p
{\displaystyle {\begin{matrix}1\leq p\leq 2\\0\leq q\leq 2-p\end{matrix}}}
of indices giving
(
p
,
q
)
{\displaystyle (p,q)}
equal to
(
1
,
0
)
,
(
1
,
1
)
,
(
2
,
0
)
{\displaystyle (1,0),(1,1),(2,0)}
. Unpacking the coherence sum gives the relation
m
2
(
a
2
,
m
1
(
a
1
)
)
+
(
−
1
)
deg
(
a
1
)
−
1
m
2
(
m
1
(
a
2
)
,
a
1
)
+
m
1
(
m
2
(
a
1
,
a
2
)
)
=
0
{\displaystyle m_{2}(a_{2},m_{1}(a_{1}))+(-1)^{\deg(a_{1})-1}m_{2}(m_{1}(a_{2}),a_{1})+m_{1}(m_{2}(a_{1},a_{2}))=0}
,
which when rewritten with
(
−
1
)
deg
a
m
1
(
a
)
=
d
(
a
)
{\displaystyle (-1)^{\deg a}m_{1}(a)=d(a)}
and
(
−
1
)
deg
a
1
m
2
(
a
2
,
a
1
)
=
a
2
⋅
a
1
{\displaystyle (-1)^{\deg a_{1}}m_{2}(a_{2},a_{1})=a_{2}\cdot a_{1}}
as the differential and multiplication, it is
d
(
a
2
⋅
a
1
)
=
(
−
1
)
deg
(
a
1
)
d
(
a
2
)
⋅
a
1
+
a
2
⋅
d
(
a
1
)
{\displaystyle d(a_{2}\cdot a_{1})=(-1)^{\deg(a_{1})}d(a_{2})\cdot a_{1}+a_{2}\cdot d(a_{1})}
,
which is the Leibniz rule for differential graded algebras.
d=3
In this degree the associativity structure comes to light. Note if
m
3
=
0
{\displaystyle m_{3}=0}
then there is a differential graded algebra structure, which becomes transparent after expanding out the coherence condition and multiplying by an appropriate factor of
(
−
1
)
k
{\displaystyle (-1)^{k}}
, the coherence condition reads something like
m
2
(
m
2
(
a
⊗
b
)
⊗
c
)
−
m
2
(
a
⊗
m
2
(
b
⊗
c
)
)
=
±
m
3
(
m
1
(
a
)
⊗
b
⊗
c
)
±
m
3
(
a
⊗
m
1
(
b
)
⊗
c
)
±
m
3
(
a
⊗
b
⊗
m
1
(
c
)
)
±
m
1
(
m
3
(
a
⊗
b
⊗
c
)
)
.
{\displaystyle {\begin{aligned}m_{2}(m_{2}(a\otimes b)\otimes c)-m_{2}(a\otimes m_{2}(b\otimes c))=&\pm m_{3}(m_{1}(a)\otimes b\otimes c)\\&\pm m_{3}(a\otimes m_{1}(b)\otimes c)\\&\pm m_{3}(a\otimes b\otimes m_{1}(c))\\&\pm m_{1}(m_{3}(a\otimes b\otimes c)).\end{aligned}}}
Notice that the left hand side of the equation is the failure for
m
2
{\displaystyle m_{2}}
to be an associative algebra on the nose. One of the inputs for the first three
m
3
{\displaystyle m_{3}}
maps are coboundaries since
m
1
{\displaystyle m_{1}}
is the differential, so on the cohomology algebra
(
H
∗
(
A
∙
,
m
1
)
,
[
m
2
]
)
{\displaystyle (H^{*}(A^{\bullet },m_{1}),[m_{2}])}
these elements would all vanish since
m
1
(
a
)
=
m
1
(
b
)
=
m
1
(
c
)
=
0
{\displaystyle m_{1}(a)=m_{1}(b)=m_{1}(c)=0}
. This includes the final term
m
1
(
m
3
(
a
⊗
b
⊗
c
)
)
{\displaystyle m_{1}(m_{3}(a\otimes b\otimes c))}
since it is also a coboundary, giving a zero element in the cohomology algebra. From these relations we can interpret the
m
3
{\displaystyle m_{3}}
map as a failure for the associativity of
m
2
{\displaystyle m_{2}}
, meaning it is associative only up to homotopy.
d=4 and higher order terms
Moreover, the higher order terms, for
d
≥
4
{\displaystyle d\geq 4}
, the coherent conditions give many different terms combining a string of consecutive
a
p
+
i
,
…
,
a
p
+
1
{\displaystyle a_{p+i},\ldots ,a_{p+1}}
into some
m
p
{\displaystyle m_{p}}
and inserting that term into an
m
d
−
p
+
1
{\displaystyle m_{d-p+1}}
along with the rest of the
a
j
{\displaystyle a_{j}}
's in the elements
a
d
,
…
,
a
1
{\displaystyle a_{d},\ldots ,a_{1}}
. When combining the
m
1
{\displaystyle m_{1}}
terms, there is a part of the coherence condition which reads similarly to the right hand side of
d
=
3
{\displaystyle d=3}
, namely, there are terms
±
m
d
(
a
d
,
…
,
a
2
,
m
1
(
a
1
)
)
±
⋯
±
m
d
(
m
1
(
a
d
)
,
a
d
−
1
,
…
,
a
1
)
±
m
1
(
m
d
(
a
d
,
…
,
a
1
)
)
.
{\displaystyle {\begin{aligned}&\pm m_{d}(a_{d},\ldots ,a_{2},m_{1}(a_{1}))\\&\pm \cdots \\&\pm m_{d}(m_{1}(a_{d}),a_{d-1},\ldots ,a_{1})\\&\pm m_{1}(m_{d}(a_{d},\ldots ,a_{1})).\end{aligned}}}
In degree
d
=
4
{\displaystyle d=4}
the other terms can be written out as
±
m
3
(
m
2
(
a
4
,
a
3
)
,
a
2
,
a
1
)
±
m
3
(
a
4
,
m
2
(
a
3
,
a
2
)
,
a
1
)
±
m
3
(
a
4
,
a
3
,
m
2
(
a
2
,
a
1
)
)
±
m
2
(
m
3
(
a
4
,
a
3
,
a
2
)
,
a
1
)
±
m
2
(
a
4
,
m
3
(
a
3
,
a
2
,
a
1
)
)
,
{\displaystyle {\begin{aligned}&\pm m_{3}(m_{2}(a_{4},a_{3}),a_{2},a_{1})\\&\pm m_{3}(a_{4},m_{2}(a_{3},a_{2}),a_{1})\\&\pm m_{3}(a_{4},a_{3},m_{2}(a_{2},a_{1}))\\&\pm m_{2}(m_{3}(a_{4},a_{3},a_{2}),a_{1})\\&\pm m_{2}(a_{4},m_{3}(a_{3},a_{2},a_{1})),\end{aligned}}}
showing how elements in the image of
m
3
{\displaystyle m_{3}}
and
m
2
{\displaystyle m_{2}}
interact. This means the homotopy of elements, including one that's in the image of
m
2
{\displaystyle m_{2}}
minus the multiplication of elements where one is a homotopy input, differ by a boundary. For higher order
d
>
4
{\displaystyle d>4}
, these middle terms can be seen how the middle maps
m
2
,
…
,
m
d
−
1
{\displaystyle m_{2},\ldots ,m_{d-1}}
behave with respect to terms coming from the image of another higher homotopy map.
= Diagrammatic interpretation of axioms
=There is a nice diagrammatic formalism of algebras which is described in Algebra+Homotopy=Operad explaining how to visually think about this higher homotopies. This intuition is encapsulated with the discussion above algebraically, but it is useful to visualize it as well.
Examples
= Associative algebras
=Every associative algebra
(
A
,
⋅
)
{\displaystyle (A,\cdot )}
has an
A
∞
{\displaystyle A_{\infty }}
-infinity structure by defining
m
2
(
a
,
b
)
=
a
⋅
b
{\displaystyle m_{2}(a,b)=a\cdot b}
and
m
i
=
0
{\displaystyle m_{i}=0}
for
i
≠
2
{\displaystyle i\neq 2}
. Hence
A
∞
{\displaystyle A_{\infty }}
-algebras generalize associative algebras.
= Differential graded algebras
=Every differential graded algebra
(
A
∙
,
d
)
{\displaystyle (A^{\bullet },d)}
has a canonical structure as an
A
∞
{\displaystyle A_{\infty }}
-algebra where
m
1
=
d
{\displaystyle m_{1}=d}
and
m
2
{\displaystyle m_{2}}
is the multiplication map. All other higher maps
m
i
{\displaystyle m_{i}}
are equal to
0
{\displaystyle 0}
. Using the structure theorem for minimal models, there is a canonical
A
∞
{\displaystyle A_{\infty }}
-structure on the graded cohomology algebra
H
A
∙
{\displaystyle HA^{\bullet }}
which preserves the quasi-isomorphism structure of the original differential graded algebra. One common example of such dga's comes from the Koszul algebra arising from a regular sequence. This is an important result because it helps pave the way for the equivalence of homotopy categories
Ho
(
dga
)
≃
Ho
(
A
∞
-alg
)
{\displaystyle {\text{Ho}}({\text{dga}})\simeq {\text{Ho}}(A_{\infty }{\text{-alg}})}
of differential graded algebras and
A
∞
{\displaystyle A_{\infty }}
-algebras.
= Cochain algebras of H-spaces
=One of the motivating examples of
A
∞
{\displaystyle A_{\infty }}
-algebras comes from the study of H-spaces. Whenever a topological space
X
{\displaystyle X}
is an H-space, its associated singular chain complex
C
∗
(
X
)
{\displaystyle C_{*}(X)}
has a canonical
A
∞
{\displaystyle A_{\infty }}
-algebra structure from its structure as an H-space.
= Example with infinitely many non-trivial mi
=Consider the graded algebra
V
∙
=
V
0
⊕
V
1
{\displaystyle V^{\bullet }=V_{0}\oplus V_{1}}
over a field
k
{\displaystyle k}
of characteristic
0
{\displaystyle 0}
where
V
0
{\displaystyle V_{0}}
is spanned by the degree
0
{\displaystyle 0}
vectors
v
1
,
v
2
{\displaystyle v_{1},v_{2}}
and
V
1
{\displaystyle V_{1}}
is spanned by the degree
1
{\displaystyle 1}
vector
w
{\displaystyle w}
. Even in this simple example there is a non-trivial
A
∞
{\displaystyle A_{\infty }}
-structure which gives differentials in all possible degrees. This is partially due to the fact there is a degree
1
{\displaystyle 1}
vector, giving a degree
k
{\displaystyle k}
vector space of rank
1
{\displaystyle 1}
in
(
V
∙
)
⊗
k
{\displaystyle (V^{\bullet })^{\otimes k}}
. Define the differential
m
1
{\displaystyle m_{1}}
by
m
1
(
v
0
)
=
w
m
1
(
v
1
)
=
w
,
{\displaystyle {\begin{aligned}m_{1}(v_{0})=w\\m_{1}(v_{1})=w,\end{aligned}}}
and for
d
≥
2
{\displaystyle d\geq 2}
m
d
(
v
1
⊗
w
⊗
k
⊗
v
1
⊗
w
⊗
(
d
−
2
)
−
k
)
=
(
−
1
)
k
s
d
v
1
0
≤
k
≤
d
−
2
m
d
(
v
1
⊗
w
⊗
(
d
−
2
)
⊗
v
2
)
=
s
d
+
1
v
1
m
d
(
v
1
⊗
w
⊗
(
d
−
1
)
)
=
s
d
+
1
w
,
{\displaystyle {\begin{aligned}m_{d}(v_{1}\otimes w^{\otimes k}\otimes v_{1}\otimes w^{\otimes (d-2)-k})&=(-1)^{k}s_{d}v_{1}&0\leq k\leq d-2\\m_{d}(v_{1}\otimes w^{\otimes (d-2)}\otimes v_{2})&=s_{d+1}v_{1}\\m_{d}(v_{1}\otimes w^{\otimes (d-1)})&=s_{d+1}w,\end{aligned}}}
where
m
n
=
0
{\displaystyle m_{n}=0}
on any map not listed above and
s
n
=
(
−
1
)
(
n
−
1
)
(
n
−
2
)
/
2
{\displaystyle s_{n}=(-1)^{(n-1)(n-2)/2}}
. In degree
d
=
2
{\displaystyle d=2}
, so for the multiplication map, we have
m
2
(
v
1
,
v
1
)
=
−
v
1
m
2
(
v
1
,
v
2
)
=
v
1
m
2
(
v
1
,
w
)
=
w
.
{\displaystyle {\begin{aligned}m_{2}(v_{1},v_{1})&=-v_{1}\\m_{2}(v_{1},v_{2})&=v_{1}\\m_{2}(v_{1},w)&=w.\end{aligned}}}
And in
d
=
3
{\displaystyle d=3}
the above relations give
m
3
(
v
1
,
v
1
,
w
)
=
v
1
m
3
(
v
1
,
w
,
v
1
)
=
−
v
1
m
3
(
v
1
,
w
,
v
2
)
=
−
v
1
m
3
(
v
1
,
w
,
w
)
=
−
w
.
{\displaystyle {\begin{aligned}m_{3}(v_{1},v_{1},w)&=v_{1}\\m_{3}(v_{1},w,v_{1})&=-v_{1}\\m_{3}(v_{1},w,v_{2})&=-v_{1}\\m_{3}(v_{1},w,w)&=-w.\end{aligned}}}
When relating these equations to the failure for associativity, there exist non-zero terms. For example, the coherence conditions for
v
1
,
v
2
,
w
{\displaystyle v_{1},v_{2},w}
will give a non-trivial example where associativity doesn't hold on the nose. Note that in the cohomology algebra
H
∗
(
V
∙
,
[
m
2
]
)
{\displaystyle H^{*}(V^{\bullet },[m_{2}])}
we have only the degree
0
{\displaystyle 0}
terms
v
1
,
v
2
{\displaystyle v_{1},v_{2}}
since
w
{\displaystyle w}
is killed by the differential
m
1
{\displaystyle m_{1}}
.
Properties
= Transfer of A∞ structure
=One of the key properties of
A
∞
{\displaystyle A_{\infty }}
-algebras is their structure can be transferred to other algebraic objects given the correct hypotheses. An early rendition of this property was the following: Given an
A
∞
{\displaystyle A_{\infty }}
-algebra
A
∙
{\displaystyle A^{\bullet }}
and a homotopy equivalence of complexes
f
:
B
∙
→
A
∙
{\displaystyle f\colon B^{\bullet }\to A^{\bullet }}
,
then there is an
A
∞
{\displaystyle A_{\infty }}
-algebra structure on
B
∙
{\displaystyle B^{\bullet }}
inherited from
A
∙
{\displaystyle A^{\bullet }}
and
f
{\displaystyle f}
can be extended to a morphism of
A
∞
{\displaystyle A_{\infty }}
-algebras. There are multiple theorems of this flavor with different hypotheses on
B
∙
{\displaystyle B^{\bullet }}
and
f
{\displaystyle f}
, some of which have stronger results, such as uniqueness up to homotopy for the structure on
B
∙
{\displaystyle B^{\bullet }}
and strictness on the map
f
{\displaystyle f}
.
Structure
= Minimal models and Kadeishvili's theorem
=One of the important structure theorems for
A
∞
{\displaystyle A_{\infty }}
-algebras is the existence and uniqueness of minimal models – which are defined as
A
∞
{\displaystyle A_{\infty }}
-algebras where the differential map
m
1
=
0
{\displaystyle m_{1}=0}
is zero. Taking the cohomology algebra
H
A
∙
{\displaystyle HA^{\bullet }}
of an
A
∞
{\displaystyle A_{\infty }}
-algebra
A
∙
{\displaystyle A^{\bullet }}
from the differential
m
1
{\displaystyle m_{1}}
, so as a graded algebra,
H
A
∙
=
ker
(
m
1
)
m
1
(
A
∙
)
{\displaystyle HA^{\bullet }={\frac {{\text{ker}}(m_{1})}{m_{1}(A^{\bullet })}}}
,
with multiplication map
[
m
2
]
{\displaystyle [m_{2}]}
. It turns out this graded algebra can then canonically be equipped with an
A
∞
{\displaystyle A_{\infty }}
-structure,
(
H
A
∙
,
0
,
[
m
2
]
,
m
3
,
m
4
,
…
)
{\displaystyle (HA^{\bullet },0,[m_{2}],m_{3},m_{4},\ldots )}
,
which is unique up-to quasi-isomorphisms of
A
∞
{\displaystyle A_{\infty }}
-algebras. In fact, the statement is even stronger: there is a canonical
A
∞
{\displaystyle A_{\infty }}
-morphism
(
H
A
∙
,
0
,
[
m
2
]
,
m
3
,
m
4
,
…
)
→
A
∙
{\displaystyle (HA^{\bullet },0,[m_{2}],m_{3},m_{4},\ldots )\to A^{\bullet }}
,
which lifts the identity map of
A
∙
{\displaystyle A^{\bullet }}
. Note these higher products are given by the Massey product.
Motivation
This theorem is very important for the study of differential graded algebras because they were originally introduced to study the homotopy theory of rings. Since the cohomology operation kills the homotopy information, and not every differential graded algebra is quasi-isomorphic to its cohomology algebra, information is lost by taking this operation. But, the minimal models let you recover the quasi-isomorphism class while still forgetting the differential. There is an analogous result for A∞-categories by Maxim Kontsevich and Yan Soibelman, giving an A∞-category structure on the cohomology category
H
∗
(
D
∞
b
(
X
)
)
{\displaystyle H^{*}(D_{\infty }^{b}(X))}
of the dg-category consisting of cochain complexes of coherent sheaves on a non-singular variety
X
{\displaystyle X}
over a field
k
{\displaystyle k}
of characteristic
0
{\displaystyle 0}
and morphisms given by the total complex of the Cech bi-complex of the differential graded sheaf
H
o
m
∙
(
F
∙
,
G
∙
)
{\displaystyle {\mathcal {Hom}}^{\bullet }({\mathcal {F}}^{\bullet },{\mathcal {G}}^{\bullet })}
pg 586-593. In this was, the degree
k
{\displaystyle k}
morphisms in the category
H
∗
(
D
∞
b
(
X
)
)
{\displaystyle H^{*}(D_{\infty }^{b}(X))}
are given by
Ext
(
F
∙
,
G
∙
)
{\displaystyle {\text{Ext}}({\mathcal {F}}^{\bullet },{\mathcal {G}}^{\bullet })}
.
Applications
There are several applications of this theorem. In particular, given a dg-algebra, such as the de Rham algebra
(
Ω
∙
(
X
)
,
d
,
∧
)
{\displaystyle (\Omega ^{\bullet }(X),d,\wedge )}
, or the Hochschild cohomology algebra, they can be equipped with an
A
∞
{\displaystyle A_{\infty }}
-structure.
= Massey structure from DGA's
=Given a differential graded algebra
(
A
∙
,
d
)
{\displaystyle (A^{\bullet },d)}
its minimal model as an
A
∞
{\displaystyle A_{\infty }}
-algebra
(
H
A
∙
,
0
,
[
m
2
]
,
m
3
,
m
4
,
…
)
{\displaystyle (HA^{\bullet },0,[m_{2}],m_{3},m_{4},\ldots )}
is constructed using the Massey products. That is,
m
3
(
x
3
,
x
2
,
x
1
)
=
⟨
x
3
,
x
2
,
x
1
⟩
m
4
(
x
4
,
x
3
,
x
2
,
x
1
)
=
⟨
x
4
,
x
3
,
x
2
,
x
1
⟩
⋯
{\displaystyle {\begin{aligned}m_{3}(x_{3},x_{2},x_{1})&=\langle x_{3},x_{2},x_{1}\rangle \\m_{4}(x_{4},x_{3},x_{2},x_{1})&=\langle x_{4},x_{3},x_{2},x_{1}\rangle \\&\cdots &\end{aligned}}}
It turns out that any
A
∞
{\displaystyle A_{\infty }}
-algebra structure on
H
A
∙
{\displaystyle HA^{\bullet }}
is closely related to this construction. Given another
A
∞
{\displaystyle A_{\infty }}
-structure on
H
A
∙
{\displaystyle HA^{\bullet }}
with maps
m
i
′
{\displaystyle m_{i}'}
, there is the relation
m
n
(
x
1
,
…
,
x
n
)
=
⟨
x
1
,
…
,
x
n
⟩
+
Γ
{\displaystyle m_{n}(x_{1},\ldots ,x_{n})=\langle x_{1},\ldots ,x_{n}\rangle +\Gamma }
,
where
Γ
∈
∑
j
=
1
n
−
1
Im
(
m
j
)
{\displaystyle \Gamma \in \sum _{j=1}^{n-1}{\text{Im}}(m_{j})}
.
Hence all such
A
∞
{\displaystyle A_{\infty }}
-enrichments on the cohomology algebra are related to one another.
= Graded algebras from its ext algebra
=Another structure theorem is the reconstruction of an algebra from its ext algebra. Given a connected graded algebra
A
=
k
A
⊕
A
1
⊕
A
2
⊕
⋯
{\displaystyle A=k_{A}\oplus A_{1}\oplus A_{2}\oplus \cdots }
,
it is canonically an associative algebra. There is an associated algebra, called its Ext algebra, defined as
Ext
A
∙
(
k
A
,
k
A
)
{\displaystyle \operatorname {Ext} _{A}^{\bullet }(k_{A},k_{A})}
,
where multiplication is given by the Yoneda product. Then, there is an
A
∞
{\displaystyle A_{\infty }}
-quasi-isomorphism between
(
A
,
0
,
m
2
,
0
,
…
)
{\displaystyle (A,0,m_{2},0,\ldots )}
and
Ext
A
∙
(
k
A
,
k
A
)
{\displaystyle \operatorname {Ext} _{A}^{\bullet }(k_{A},k_{A})}
. This identification is important because it gives a way to show that all derived categories are derived affine, meaning they are isomorphic to the derived category of some algebra.
See also
A∞-category
Associahedron
Mirror symmetry conjecture
Homological mirror symmetry
Homotopy Lie algebra
Derived algebraic geometry