Blackbox computation of $A_\infty$-algebras
Rings and Algebras
2009-05-27 v4 Algebraic Topology
Abstract
Kadeishvili's proof of the minimality theorem induces an algorithm for the inductive computation of an -algebra structure on the homology of a dg-algebra. In this paper, we prove that for one class of dg-algebras, the resulting computation will generate a complete -algebra structure after a finite amount of computational work.
Cite
@article{arxiv.0807.3869,
title = {Blackbox computation of $A_\infty$-algebras},
author = {Mikael Vejdemo-Johansson},
journal= {arXiv preprint arXiv:0807.3869},
year = {2009}
}
Comments
11 pages, accepted to the Georgian Journal of Mathematics: Kadeishvili Festschrift issue, tweaked bibliography