Rigid quiver representation (source code)

= Rigid quiver representation
{title2=$\operatorname{Ext}^1_Q(X,X)=0$}

= Representation without self-extensions
{synonym}

A finite-dimensional <quiver representation> is rigid when $\operatorname{Ext}^1_Q(X,X)=0$. Its <extension complex of quiver representations> then has surjective differential. Equivalently, it has an open orbit under base change. Rigidity constrains arrow ranks and path identities.