G-exceptional vector bundles on \(\mathbb P^2\) and representations of quivers
Recall the following definitions: A vector bundle on a homogeneous variety \(G/P\) (for this paper \(G=SL(n+1)\) and \(P\) is a parabolic subgroup) is called homogeneous if \(g^\ast E \cong E\) for all \(g\in G\). A homogeneous vector bundle \(E\) on \(G/P\) is called \(G\)-\textit{simple} if \(\text{Hom}(E,E)^G \cong {\mathbb C}\), is called \(G\)-\textit{rigid} if \(\text{Ext}^1(E,E)^G =0\) and is called \(G\)-\textit{exceptional} if it is \(G\)-simple and \(\text{Ext}^1(E,E)^G=0\) for \(i\geq 1\). One defines \textit{Fibonacci} bundles \({\mathcal C}_k\) recursiveley, for \(V={\mathbb C}^3\), with \({\mathcal C}_0={\mathcal O}(-d)\), \({\mathcal C}_1={\mathcal O}\): \[ 0\to {\mathcal O}(-d) \to S^dV\otimes {\mathcal O} \to {\mathcal C}_2 \to 0 \] \[ 0\to {\mathcal C}_{k-1} \to \text{Hom}({\mathcal C}_{k-1}, {\mathcal C}_k)\otimes {\mathcal O}_k \to {\mathcal C}_{k+1} \to 0 \] The duals of Fibonacci bundles \({\mathcal C}_3\) are called \textit{almost square bundles}. In the frame of the result of Bondal-Kapranov that the category of homogeneous vector bundles on \({\mathbb P}^2\) is equivalent to the category of finite dimensional representations of a certain quiver with certain relations, one determines the representations corresponding to the almost square bundles (the explanation of the name comes from the shape of the associated representation). One proves that all almost square bundle on \({\mathbb P}^2\) are simple and stable and all Fibonacci bundles are \(G\)-exceptional.
representations of quivers with relations
scientific article; zbMATH DE number 5549363
scientific article