Desingularization of quiver Grassmannians for Dynkin quivers. (Q2437475): Difference between revisions

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.