Quivers of sections on toric orbifolds (Q420676)

Fix an algebraically closed characteristic field \(k.\) Let \(Q=\left( Q_{0},Q_{1}\right) \) be a quiver whose arrows are labelled by a map \(l:\mathbb{Z}^{Q_{1}}\rightarrow\mathbb{Z}^{d},\) and let \(\mathbb{Z}^{Q_{0}}\) be the free abelian group generated by the vertices. Let \(\theta\) be a weight, that is, \(\theta=\sum_{i\in Q_{0}}\theta_{i}\mathbf{e}_{i}\), where \(\sum\theta_{i}=0\) and \(\left\{ \mathbf{e}_{i}\right\} _{i\in Q_{0}}\) is the standard basis for \(\mathbb{Z}^{Q_{0}}.\) Let \(R\) be the weights which arise from \(\ker l\) through the map \(\mathbf{e}_{a}\mapsto\mathbf{e}_{h\left( a\right) }-\mathbf{e}_{t\left( a\right) }\) (where \(a\) is an arrow with head \(h\left( a\right) \) and tail \(t\left( a\right) \)). Fix a basis \(\mathcal{B}\) for \(R.\) A refined representation of \(\left( Q,l\right) \) is a representation \(\overline{W}:=\left( W_{i},w_{a}\right) \) along with isomorphisms \(f_{b}:k\rightarrow\bigotimes_{i\in Q_{0}}\left( \det W\right) ^{\otimes b_{i}},\) where \(b=\sum_{i\in Q_{0}}b_{i}\mathbf{e}_{i}\in \mathcal{B}.\) This is independent of the choice of \(\mathcal{B}.\) If \(\alpha\) is the dimension vector for \(\overline{W}\) then \(\theta\) gives rise to a character \(\chi_{\theta}\;\)of \(\text{GL}\left( \alpha\right) =\prod_{i\in Q_{0}}\text{GL}\left( W_{i}\right) \) given by \(\chi_{\theta}\left( g\right) =\prod_{i\in Q_{0}}\det\left( g_{i}\right) ^{\theta_{i}}.\) Let \(\mathcal{R}\left( Q,l,\alpha\right) \) be the moduli space of isomorphism classes of refined representations of \(\text{GL} \left( \alpha\right) \) -- an explicit description is given in the paper. We say the refined quiver representation \(\overline{W}:=\left( W_{i} ,w_{a}\right) \) is \(\theta\)-semistable if \(\sum\theta_{i}\dim\left( W_{i}^{\prime}\right) \geq0\) for all subrepresentations \(\overline{W^{\prime }}\) of \(\overline{W}\): if the equality is strict we say \(\overline{W}\) is \(\theta\)-stable. Then it is shown that \(\overline{W}\) \ is \(\theta\)-semistable if and only if the corresponding point in \(\mathcal{R}\left( Q,l,\alpha \right) \) is \(\chi_{\theta}\)-semistable. The result is still true if ``semistable'' is replaced by ``stable''. This allows for a construction of moduli stacks \(\mathcal{M}_{\theta}\left( Q,l,\alpha\right) \) of refined representations. Let \(\mathcal{X}\) be a projective toric orbifold, and let \(\mathcal{L}\) \(=\left( L_{0},\dots,L_{r}\right) \) be a collection of line bundles on \(\mathcal{X}.\) Then one can define a labelled quiver \(\left( Q,\text{div} \right) \) with vertices \(\left\{ 0,\dots,r\right\} \) and arrows \(i\rightarrow j\) corresponding to the \(T_{\mathcal{X}}\)-invariant sections in \(\Gamma\left( \mathcal{X},L_{j}\otimes L_{i}^{\vee}\right) \) . The labelling div is induced by sending an arrow \(a\) to its corresponding divisor, and for any weight \(\theta\) there is a rational map \(\psi_{\theta}:\mathcal{X} \dashrightarrow\mathcal{M}_{\theta}\left( Q,\text{div},\left( 1,1,\dots ,1\right) \right) .\) If we let \(\mathcal{L}_{\text{bpf}}\) be the set of base-point free line bundles \(L_{i}^{\vee}\otimes L_{j}\) where \(L_{i} ,L_{j}\in\mathcal{L},\) then if rank\(_{\mathbb{Z}}\mathcal{L=}\) rank\(_{\mathbb{Z}}\mathcal{L}_{\text{bpf}}\) there is a \(\theta\) such that \(\psi_{\theta}\) is a morphism \(\mathcal{X}\rightarrow\mathcal{M}_{\theta }\left( Q,\text{div},\left( 1,1,\dots,1\right) \right) .\) Furthermore, this morphism is representable if any only if \(\bigoplus_{L_{j}\in\mathcal{L} }L_{j}\) is \(\pi\)-ample, that is, if for every \(k\)-rational point of \(\mathcal{X}\) the representation of the stabilizer group at that point is faithful. Finally, if \(G\leq\text{GL}\left( n,k\right) \) is finite and abelian, then the authors show how to recover the stack \(\left[ \mathbb{A}^{n}/G\right] \) as well as Hilb\(^{G}\left( \mathbb{A}^{n}\right) .\)