Quivers of sections on toric orbifolds (Q420676): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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) .\) | |||
Property / review text: 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) .\) / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alan Koch / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14D23 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6037570 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quivers | |||
Property / zbMATH Keywords: quivers / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quiver representations | |||
Property / zbMATH Keywords: quiver representations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
projective stacks | |||
Property / zbMATH Keywords: projective stacks / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
toric stacks | |||
Property / zbMATH Keywords: toric stacks / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963807935 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1012.2851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable varieties with a twist / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The orbifold Chow ring of toric Deligne-Mumford stacks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-commutative coordinate rings and stacks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Flops of \(G\)-Hilb and equivalences of derived categories by variation of GIT quotient / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Moduli of McKay quiver representations I: the coherent component / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Projective toric varieties as fine moduli spaces of quiver representations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cellular resolutions of noncommutative toric algebras from superpotentials. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to Toric Varieties. (AM-131) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4263531 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: MODULI OF REPRESENTATIONS OF FINITE DIMENSIONAL ALGEBRAS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3622193 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2769834 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quot Functors for Deligne-Mumford Stacks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on toric Deligne-Mumford stacks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4861423 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4669640 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:51, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quivers of sections on toric orbifolds |
scientific article |
Statements
Quivers of sections on toric orbifolds (English)
0 references
23 May 2012
0 references
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) .\)
0 references
quivers
0 references
quiver representations
0 references
projective stacks
0 references
toric stacks
0 references
0 references