Homology of twisted quiver bundles with relations

From MaRDI portal
Publication:2285296



Abstract: We study the Ext modules in the category of left modules over a twisted algebra of a finite quiver over a ringed space (X,mathcalOX), allowing for the presence of relations. We introduce a spectral sequence which relates the Ext modules in that category with the Ext modules in the category of mathcalOX-modules. Contrary to what happens in the absence of relations, this spectral sequence in general does not degenerate at the second page. We also consider local Ext sheaves. Under suitable hypotheses, the Ext modules are represented as hypercohomology groups


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.



Cites work









This page was built for publication: Homology of twisted quiver bundles with relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2285296)