Induced $A_\infty$-structures

Resumen

Un $A_\infty$-álgebra $A$ es un módulo sobre un anillo equipado con una familia de "multiplicaciones" $m_i\colon A^{\otimes i}\to A$ satisfaciendo la relación
\[\sum_{r+s+t=n}(-1)^{rs+t}m_{r+1+t}(1^{\otimes r}\otimes m_s\otimes 1^{\otimes s})=0\]
para todos los posibles valores de $n$. Cuando $m_i=0$ para todo $i\neq 2$, esta relación nos dice que $A$ es un álgebra asociativa con multiplicación $m_2$.

Presentaremos cómo esta estructura surge de forma natural en topología y en álgebra, y veremos algunos ejemplos.