On some quiver determinantal varieties (Q2512705)

Let \(k\) be a field of characteristic zero and let \(X := \mathrm{Rep}_\alpha(Q)\) be the variety of \(k\)-representations with dimension vector \(\alpha\) of a quiver \(Q\). For a further dimension vector \(\gamma\) let \(Y := \mathrm{Rep}_{\gamma \hookrightarrow \alpha}(Q)\) be the subvariety of \(X\) consisting of all \(M \in X\) which have a \(\gamma\)-dimensional subrepresentation. If \(Q\) is the Dynkin \(A_2\)-quiver, then \(Y\) is a usual determinantal variety, whence the name ``quiver determinantal variety'' for \(Y\). Let \(V := \mathrm{Gr}{\alpha \choose \gamma}\) and let \(Z\) be the (smooth) subvariety of \(V \times X\) consisting of all pairs \((L,M)\) where \(L\) is a subrepresentation of \(M\). The variety \(Z\) is in fact the total space of a subbundle of the (trivial) vector bundle \(V \times X\) over \(V\). Let \(q:V \times X \rightarrow X\) be the projection. Then \(Y = q(Z)\) and we are thus in the setting of Weyman's abstraction \textit{J. M. Weyman} [Cohomology of vector bundles and syzygies. Cambridge Tracts in Mathematics 149. Cambridge: Cambridge University Press (2003; Zbl 1075.13007)] of Lascoux's construction [\textit{A. Lascoux}, Adv. Math. 30, 202--237 (1978; Zbl 0394.14022)] of a minimal free resolution of determinantal varieties. In this theory the pushforward along \(q\) of a Koszul complex on \(V \times X\) twisted by a chosen vector bundle \(\mathcal{V}\) on \(V\) is considered. This is the so-called Kempf--Lascoux--Weyman complex \(F_\bullet(\mathcal{V})\). If the restriction \(q':Z \rightarrow Y\) of \(q\) is birational (a criterion is given in the paper under review) and \(Y\) has rational singularities, then \(F_\bullet(k)\) for the trivial line bundle is a minimal free resolution of \(k [ Y ]\) as a \(k[ X ]\)-module. This nice situation rarely occurs, however (some counter-examples are given in the paper). In the paper the complex \(F_\bullet(\mathcal{L})\) is studied for line bundles \(\mathcal{L}\) on \(V\) in the case of \(Q\) being a Kronecker quiver. The terms of \(F_\bullet(\mathcal{L})\) are determined and a condition is provided when it resolves a maximal Cohen--Macaulay module supported on \(Y\). Furthermore, a vanishing condition for Kronecker coefficients is deduced. In case \(Y\) is of codimension one in \(X\) and \(q\) is birational, the determinant of \(F_\bullet(\mathcal{L})\) is determined.