Desingularization of quiver Grassmannians for Dynkin quivers. (Q2437475)

The paper under review continues the study of the authors about singular quiver Grassmannians, providing desingularizations of irreducible components of arbitrary quiver Grassmannians over Dynkin quivers. Given a Dynkin quiver \(\mathcal Q\), being a directed graph whose unoriented underlying graph is a Dynkin diagram, a representation \(M\) of \(\mathcal Q\), and a dimension vector \(e\), the quiver Grassmannian \(Gr_e(M)\) is the variety of subrepresentations of \(M\) of dimension vector \(e\). When \(M\) has good homological properties, \(Gr_e(M)\) is smooth. However, the general analysis needs a desingularization of the quiver Grassmannian. The construction of a desingularization lies on the definition of an algebra \(B_{\mathcal Q}\) for the quiver \(\mathcal Q\) which has global dimension at most two, such that the original module category \(\mathrm{mod\,}k\mathcal Q\) embeds into the subcategory \(\mathrm{mod\,}B_{\mathcal Q}\) of objects of projective and injective dimensions at most one, where all non-trivial extensions in \(\mathrm{mod\,}k\mathcal Q\) vanish after the embedding. This is to avoid the natural embedding \(M\mapsto\Hom(-,M)\) of \(\mathrm{mod\,}k\mathcal Q\) into \((\mathrm{mod\,}k\mathcal Q)^{op}\) which give projective functors of dimension two, in general. A quiver \(\widehat{\mathcal Q}\) is constructed from \(B_{\mathcal Q}\) and, for every representation \(M\) over \(\mathcal Q\), a representation \(\widehat M\) over \(\widehat{\mathcal Q}\) arises. This, together with a fully faithful functor \(\Lambda\) from the category of representations of \(\mathcal Q\) to the one in \(B_{\mathcal Q}\) with good homological properties, completes the ingredients of the construction. Then, it is constructed the desingularization map \(\pi_{[N]}\colon Gr_{\dim\widehat N}(\widehat M)\to Gr_e(M)\), where \(\widehat N\) is a representation over \(\widehat{\mathcal Q}\) coming from an isomorphism class of representations \([N]\) over \(\mathcal Q\) of dimension vector \(e\). The variety \(Gr_{\dim\widehat N}(\widehat M)\) is smooth with irreducible equidimensional connected components, and the fibers of the map can be described in terms of a quiver Grassmannian over \(\widehat{\mathcal Q}\) itself, once we know the irreducible components of the singular \(Gr_e(M)\). The article finishes by showing some particular examples of the construction.