{"id":"arxiv/2610.13803","url":"https://arxiv.org/abs/2610.13803","tags":["math.AT","math.AG","math.CT"],"score":0,"title":"The (right) homotopy between two A$_{\\infty}$-morphisms","domain":"math.AT","source":"arxiv","authors":["Mattia Ornaghi"],"reviews":0,"subject":"math.AT","summary":"Let $f$, $g\\colon A\\to B$ be two A$_{\\infty}$-morphisms between two A$_{\\infty}$-algebras (linear over a commutative ring $\\mathbb{K}$). In this paper, we compare different notions of (right) homotopy between $f$ and $g$. We note that the A$_{\\infty}$-algebra $B\\otimes R$, where $R:=\\mathbb{K}[t,dt]$, is a model for the interval $[0,1]\\times B$ in the sense of Fukaya-Oh-Ohta-Ono, and we give a short alternative proof, in the unfiltered case, of the existence of comparison morphisms between such models. We use it to prove that two A$_{\\infty}$-morphisms are homotopic à la Seidel if and only…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-09","reactions":{}}