 Rigid quiver representation

A finite-dimensional quiver representation is rigid when ${\mathrm{Ext}}_Q^1(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.