Homology of twisted quiver bundles with relations (Q2285296)

Motivated by the deformation theory of quivers, this paper studies the Ext modules in the category of left modules over a twisted algebra of a finite quiver over a ringed space, allowing for the presence of relations. Let $(X, \mathcal O_X)$ denote the ringed space. The authors introduce a spectral sequence which relates the Ext modules in that category with the Ext modules in the category of $\mathcal O_X$-modules, and consider local Ext sheaves. It is proved that under suitable hypotheses, the Ext modules are represented as hypercohomology groups. The results generalize earlier work of \textit{P. B. Gothen} and \textit{A. D. Kind} [J. Lond. Math. Soc., II. Ser. 71, No. 1, 85--99 (2005; Zbl 1095.14012)], when no relations are present. Section~2 recalls the definition of a finite quiver $Q$ and other background materials. The concept of $\mathcal M$-twisted quiver algebras $\mathcal A$ with relations $\mathcal K$ is introduced, where $\mathcal M$ is a collection of $\mathcal O_X$-modules labeled by the arrows of $Q$. In particular, the $\mathcal M$-twisted quiver algebra (without relations) of $Q$ is denoted by $\mathcal MQ$. Section~3 proves that under a certain technical assumption on the $\mathcal O_X$-module $\mathcal M$, the category $\mathbf{Rep}(\mathcal MQ)$ of $\mathcal M$-twisted representations of $Q$ is equivalent to the standard category $\mathcal MQ$-\textbf{mod}. Section~4 investigates the special case when each member of $\mathcal M$ is the trivial module $\mathcal O_X$. In Section~5, the authors address the problem of relating the Ext modules in the category $\mathcal A$-\textbf{mod} with those in the category $\mathcal O_X$-\textbf{mod}, and find a spectral sequence relating the two Exts. This spectral sequence in general does not degenerate at the second step. Section~6 verifies that when their first argument is locally free as an $\mathcal O_X$-module, the Ext modules can be realized as hypercohomology groups. Section~7 describes an example (ADHM sheaves) where a vanishing theorem for the Ext groups can be proved.