Desingularizations of quiver Grassmannians via graded quiver varieties (Q2445891): Difference between revisions

Let \(Q\) be an acyclic quiver, and let \(\mathcal{S}\) be the associated Nakajima category associated to \(Q.\) Let \(\mathcal{M}_{0}\left( d\right) \) be the graded affine quiver variety associated with \(Q\) and the dimension vector \(d\), and let \(\mathcal{M}\left( d\right) \) be the variety of representations of the regular Nakajima category \(\mathcal{R}\). \textit{H. Nakajima} [J. Am. Math. Soc. 14, No. 1, 145--238 (2001; Zbl 0981.17016)] has constructed is a proper, surjective morphism (a pre-desingularization as the domain is smooth) \(\pi:\mathcal{M}\left( d\right) \rightarrow\mathcal{M}_{0}\left( d\right) \) which carries a representation in \(\mathcal{M}\left( d\right) \) to its restriction\ to \(\mathcal{S}.\) In the work being reviewed, the authors construct pre-desingularizations and desingularizations of quiver Grassmannians under certain conditions. Let \(M\) be a module over \(\mathcal{S}\) with dimension vector \(d\); then \(M\) corresponds to a point in \(\mathcal{M}_{0}\left( d\right)\). Let \(w\) be a dimension vector, \(w\leq d.\) If the intermediate Kan extension \(K_{LR}\left( M\right) \) is rigid (i.e., its space of self-extensions vanishes), then the map on Grassmannians \(\pi_{\text{Gr}}:\coprod\)Gr\(_{\left( v,w\right) }\left( K_{LR}\left( M\right) \right) \rightarrow\)Gr\(_{w}\left( M\right) \)\ given by sending \(U\subset K_{LM}\left( M\right) \) to its restriction is shown to be a pre-desingularization. Here the coproduct is taken over certain vectors \(v\) which relate to the irreducible components of Gr\(_{w}\left( M\right) \).\ Assuming the rigidity condition, the authors consider the bistable Grassmannian Gr\(_{\left( v,w\right) }^{bs}\left( K_{LR}\left( M\right) \right) ,\) that is, the closure of the set of points which correspond to bistable submodules. Then it is shown that the map \(\pi ^{bs}:\coprod\)Gr\(_{\left( v,w\right) }^{bs}\left( K_{LR}\left( M\right) \right) \rightarrow\)Gr\(_{w}\left( M\right) \) sending \(U\subset K_{LM}\left( M\right) \) to its restriction is a desingularization, i.e., a pre-desingularization which induces an isomorphism between dense open subsets. It is unclear whether Gr\(_{\left( v,w\right) }^{bs}\left( K_{LR}\left( M\right) \right) \) is a proper restriction of Gr\(_{\left( v,w\right) }\left( K_{LR}\left( M\right) \right) \) as the authors conjecture that these two Grassmannians are equal. It is not the case that \(K_{LR}\left( M\right) \) is always rigid -- in fact, an example example is provided to show this -- however some sufficient conditions are provided. The work above is then applied to iterated algebras of Dynkin type, showing that for finite dimensional \(M\) the intermediate Kan extension is rigid, hence \(\pi^{bs}\) is a desingularization. The specific example of Dynkin type \(D_{4}\) is made explicit. The results obtained here are similar to [\textit{G. Cerulli Irelli} et al., Adv. Math. 245, 182--207 (2013; Zbl 1336.16015)], in fact the main results here are modeled after results from that paper. The inclusions of Kan extensions and bistable modules are new here -- the work of Cerulli, Feigin, and Reineke used objects from a certain category of contravariant functors, and the closure of a collection of subrepresentations, instead of these objects. A section of the paper under review is devoted to this connection, where it is shown that the other work is a specialization of this one.