Open Research Index

The (right) homotopy between two A$_{\infty}$-morphisms

Mattia Ornaghi

arXivarxiv/2610.13803Oct 9, 2026math.ATscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.13803
curl -X POST /api/v1/records/arxiv/2610.13803/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.13803/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'