Representations of quivers on abelian categories and monads on projective varieties (Q436493)

Given a category \(\mathcal{A}\) one can construct representation of quivers in \(\mathcal{A}.\) Explicitly, for a given quiver \(\left( Q_{0},Q_{1}\right) \) one can assign objects of \(\mathcal{A}\) to the vertices and morphisms to \(\mathcal{A}\) to the arrows. The set of all such representations forms a category, denoted Rep\(\left( Q,\mathcal{A}\right) .\) The classical example is where \(\mathcal{A}\) is the category of finite dimensional \(k\)-vector spaces for some field \(k\). This work is a study of quiver representations, particular twisted representations, with an application to describing linear monads on a projective algebraic variety. First, it is shown that Rep\(\left( Q,\mathcal{A}\right) \) retains some of the properties of \(\mathcal{A}.\) For example, if \(\mathcal{A}\) is an additive category, then so is Rep\(\left( Q,\mathcal{A}\right) \); moreover if \(\mathcal{A}\) is abelian then so is Rep\(\left( Q,\mathcal{A}\right) \) \ It is also well-behaved under categorical equivalence, i.e., a categorical equivalence \(\mathcal{A}\rightarrow\mathcal{B}\) induces one on Rep\(\left( Q,\mathcal{A}\right) \rightarrow\)Rep\(\left( Q,\mathcal{B}\right) .\) Next, the authors turn to twisted representations. Suppose \(\mathcal{A}\) is a tensor category, and fix \(M:=\left\{ M_{a}\right\} _{a\in Q_{1}}\) a collection of objects in \(\mathcal{A}.\) A right \(M\)-twisted representation is an assignment of objects \(\left\{ V_{a}\right\} _{a\in Q_{0}}\) of \(\mathcal{A}\) to vertices (as before) and, for each arrow \(t\left( a\right) \rightarrow h\left( a\right) ,\) a morphism \(V_{t\left( a\right) }\rightarrow V_{h\left( a\right) }\otimes M_{a}.\) The notion of left \(M\)-twisted representation is defined analogously. In the category of finite dimensional \(k\)-vector spaces it is shown that there is a quiver \(\tilde{Q}\) which depends on \(Q\) and \(M\) such that the category of \(M\)-twisted representations of \(Q\) is equivalent to the usual category of quiver representations on \(\tilde{Q}.\) This \(\tilde{Q}\) has the same set of vertices as \(Q,\) and the arrows of \(Q\) are replaced by \(m\) arrows, where \(m\) is the dimension of the vector space attached to the arrow of \(Q\). Finally, attention is turned to the theory of monads on a projective algebraic variety. Recall that a monad on a projective abelian variety is a complex \(M_{0}\overset{\alpha}{\hookrightarrow}M_{1}\overset{\beta}{\twoheadrightarrow }M_{2}\) of locally free sheaves. A previous result by the first author shows that the cohomology of a linear monad is a linear torsion-free sheaf on \(\mathbb{P}^{n}\) and vice-versa. Let \(M=H^{0}\left( \mathcal{O} _{\mathbb{P}^{n}}\left( 1\right) \right) .\) A linear monad is then of the form \(V_{1}\otimes\mathcal{O}_{\mathbb{P}^{n}}\left( -1\right) \overset{\alpha}{\hookrightarrow}V_{2}\otimes\mathcal{O}_{\mathbb{P}^{n} }\overset{\beta}{\twoheadrightarrow}V_{3}\otimes\mathcal{O}_{\mathbb{P}^{n} }\left( 1\right) \) for some \(k\)-vector spaces \(V_{1},V_{2},V_{3}.\) Then \(\alpha\) and \(\beta\) can be viewed as elements of Hom\(\left( V_{1} ,V_{2}\right) \otimes M\) and Hom\(\left( V_{2},V_{3}\right) \otimes M,\) and thus linear monads are in 1-1 correspondence with twisted representations of the quiver \(V_{1}\rightarrow V_{2}\rightarrow V_{3}.,\)The quiver is denoted \(\left( A_{3},ba\right) \) (in its most general form in the paper, the maps on the quiver above are denoted \(a\) and \(b\), not \(\alpha\) and \(\beta),\) its twisted representations by Rep\(_{M}\left( A_{3},ba\right) .\) Note that the monad gives rise to only the quiver representations with \(\alpha\) injective, \(\beta\) surjective: we let \(\mathcal{A}\left( n\right) \) denote this subcategory of Rep\(_{M}\left( A_{3},ba\right) .\) It is shown that \(\mathcal{A}\left( n\right) \) is an exact subcategory of Rep\(_{M}\left( A_{3},ba\right) \) which is equivalent to the category of linear sheaves on \(\mathbb{P}^{n}.\)