Nakajima varieties and repetitive algebras (Q374584)

Let \(Q\) be a Dynkin quiver of type \(\mathbb{A},\;\mathbb{D},\) or \(\mathbb{E}.\) Associated to \(Q\) is the path algebra \(\mathbb{C}Q,\) from which one can construct the repetitive algebra \(\widehat{\mathbb{C}Q}:=\bigoplus _{n\in\mathbb{Z}}\mathbb{C}Q\oplus\bigoplus_{n\in\mathbb{Z}}D\left( \mathbb{C}Q\right) ,\) where \(D\left( -\right) \) indicates \(\mathbb{C} \)-linear duality. Generalizing an earlier result of [\textit{D. Hernandez} and \textit{B. Leclerc}, ``Quantum Grothendieck rings and derived Hall algebras'', \url{arXiv:1109.0862}], the authors show that all of the orbit closures of \(\widehat{\mathbb{C}Q}\) are isomorphic to a certain collection of varieties \(\mathfrak{M}_{0}^{\cdot}\left( V,W\right) .\) Let \(\mathbf{d}\) be a finite dimension vector\(.\) One can construct a certain quiver \(\widehat{\Gamma}\) which contains the repetition quiver \(\widehat{Q}\) as a subquiver. Together with \(\mathbf{d},\) \(\widehat{\Gamma}\) can be used to construct certain complex vector spaces \(V\) and \(W\), and an affine algebraic group \(G_{V}\) which acts on the rep\(_{\mathbf{d}}\left( \mathbb{C} \widehat{\Gamma}/R\right) \) for \(R\) a certain ideal. The affine quotient of rep\(_{\mathbf{d}}\left( \mathbb{C}\widehat{\Gamma}/R\right) \) by \(G_{V}\) is denoted \(\mathfrak{M}_{0}^{\cdot}\left( V,W\right) .\) We define \(\mathfrak{M}_{0}^{\cdot}\left( W\right) \) to the the union of such \(\mathfrak{M}_{0}^{\cdot}\left( V,W\right) \) over all \(V\). We also have an open subset of \(\mathfrak{M}_{0}^{\cdot\text{reg}}\left( V,W\right) \) of \(\mathfrak{M}_{0}^{\cdot}\left( V,W\right) \;\)which parameterizes the closed free \(G_{V}\)-orbits, and \(\mathfrak{M}_{0}^{\cdot}\left( V\right) \) is the disjoint union (over all \(V\)) of these subsets. It can be shown that \(\mathfrak{M}_{0}^{\cdot\text{reg}}\left( V,W\right) \) is nonempty if and only if there is a stable representation of \(\mathbb{C}\widehat{\Gamma}/R\) whose underlying graded vector space is \(\left( V,W\right) \) and \(\left( V,W\right) \) is dominant. The variety of \(\mathbf{d}\)-dimensional representations of \(\widehat {\mathbb{C}Q}\) is shown to be isomorphic to \(\mathfrak{M}_{0}^{\cdot}\left( W^{\mathbf{d}}\right) \),via a map \(\psi,\) and this isomorphism is \(G_{W} \)-equivariant. The main result of this paper is as follows. Let \(\mathbf{d}\) be a finite dimension vector. supported on \(\psi\left( \text{proj }\widehat{\mathbb{C} Q}\right) .\) Then there is a bijection between (i) the set of isomorphism classes of representations of \(\widehat{\mathbb{C}Q}\) with dimension vector \(\mathbf{d};\) (2)\ the set of dominant pairs \(\left( V,W^{\mathbf{d}}\right) ;\) and (3) the set of non-empty \(\mathfrak{M}_{0}^{\cdot\text{reg}}\left( V,W^{\mathbf{d}}\right) .\) This allows for a description of the space \(V\) in the dominant pair \(\left( V,W\right) \) associated to a representation of \(\widehat{\mathbb{C}Q}.\)