Quivers of type \(\mathbb D_n\), semi-invariants and complete intersections (Q448390): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(\mathbb{K}\) be an algebraically closed field, and let \(Q\) be a finite quiver with \(n\) vertices\(.\) It is well known that to each dimension vector \(\mathbf{d=}\left( d_{1},\dots,d_{n}\right) \mathbf{\in}\mathbb{N}^{n}\) one has the \(\mathbb{K}\)-vector space of representations rep\(\left( Q,\mathbf{d}\right) ,\) and GL\(\left( \mathbf{d}\right) :=\prod\)GL\(\left( d_{i},\mathbb{K}\right) \) acts on rep\(\left( Q,\mathbf{d}\right) \) in a natural way. If rep\(\left( Q,\mathbf{d}\right) \) contains an open orbit, say GL\(\left( \mathbf{d}\right) \cdot T,\) then rep\(\left( Q,\mathbf{d}\right) \) has only finitely many orbits, exactly one of which is open; furthermore there is a finite set \(f_{1},\dots,f_{s}\) of irreducible monic polynomials (in \(\mathbb{K}\left[ \text{rep}\left( Q,\mathbf{d}\right) \right] \)) whose zero sets are the irreducible components of codimension 1 of rep\(\left( Q,\mathbf{d}\right) \backslash\)GL\(\left( \mathbf{d}\right) \cdot T.\) Let \(\mathcal{Z}_{Q,\mathbf{d}}\) be the closed subvariety of rep\(\left( Q,\mathbf{d}\right) \) consisting the common zeros of \(f_{1},\dots,f_{s}.\) If \(\mathcal{Z}_{Q,\mathbf{d}}\) has codimension \(s\) then \(\mathcal{Z} _{Q,\mathbf{d}}\) is said to be a (set theoretic) complete intersection. Here, the focus is on finding necessary and sufficient conditions for \(\mathcal{Z}_{Q,\mathbf{d}}\) to be a complete intersection in the case where \(Q\) is a connected quiver of type \(\mathbb{D}_{n}\) (i.e., the underlying Dynkin diagram is of type \(\mathbb{D}_{n}\)). In this situation (as well as any other where \(Q\) is a disjoint union of Dynkin diagrams of type \(\mathbb{A} ,\mathbb{D}\), or \(\mathbb{E}),\) rep\(\left( Q,\mathbf{d}\right) \) does contain an open orbit GL\(\left( \mathbf{d}\right) \cdot T.\) For the case under consideration, \(\mathbf{d}\) is assumed to be sincere, i.e., \(T\left( k\right) \neq0\) for all vertices \(k.\) To describe the necessary and sufficient conditions required, the author introduces the notion of a folded rectangle. Loosely, a folded rectangle is a collection of vertices of the Auslander-Reiten quiver with a special vertex: a ``bent down corner''. A folded rectangle which satisfies extra conditions which depend on the representation \(T\) above is called a folded rectangle suitable for \(T\). The main result is that \(\mathcal{Z}_{Q,\mathbf{d}}\) is a complete intersection if and only if there is no folded rectangle suitable for \(T\), when \(T\) is the representative of the open orbit of a representation space given by a sincere dimension vector. As an application of the result above, a result of Reidtmann and Zwara is refined. We can decompose the \(T\) above as a direct sum of indecomposable representations \(T_{1}^{\lambda_{1}}\oplus\cdots\oplus T_{r}^{\lambda_{r}}.\) Previously, Reidtmann and Zwara proved that \(\mathcal{Z}_{Q,\mathbf{d}}\) is a complete intersection if (but not only if) \(\lambda_{i}\geq2\) for all \(i\). (Indeed, one of the conditions for \(T\) to have a suitable folded rectangle is for \(\lambda_{i}=1\) for some \(i\).) It is shown that if \(\mathcal{Z} _{Q,\mathbf{d}}\) is not a complete intersection, then there is a unique \(\lambda_{i}\) with \(\lambda_{i}=1.\) Also, \(\mathcal{Z}_{Q,\mathbf{d+e}_{i}}\) is a complete intersection but \(\mathcal{Z}_{Q,\mathbf{d+e}_{j}}\) is not, where \(\mathbf{e}_{i},\mathbf{e}_{j}\in\mathbb{N}^{n}\) are ``standard basis vectors'' and \(i\neq j.\) | |||
Property / review text: Let \(\mathbb{K}\) be an algebraically closed field, and let \(Q\) be a finite quiver with \(n\) vertices\(.\) It is well known that to each dimension vector \(\mathbf{d=}\left( d_{1},\dots,d_{n}\right) \mathbf{\in}\mathbb{N}^{n}\) one has the \(\mathbb{K}\)-vector space of representations rep\(\left( Q,\mathbf{d}\right) ,\) and GL\(\left( \mathbf{d}\right) :=\prod\)GL\(\left( d_{i},\mathbb{K}\right) \) acts on rep\(\left( Q,\mathbf{d}\right) \) in a natural way. If rep\(\left( Q,\mathbf{d}\right) \) contains an open orbit, say GL\(\left( \mathbf{d}\right) \cdot T,\) then rep\(\left( Q,\mathbf{d}\right) \) has only finitely many orbits, exactly one of which is open; furthermore there is a finite set \(f_{1},\dots,f_{s}\) of irreducible monic polynomials (in \(\mathbb{K}\left[ \text{rep}\left( Q,\mathbf{d}\right) \right] \)) whose zero sets are the irreducible components of codimension 1 of rep\(\left( Q,\mathbf{d}\right) \backslash\)GL\(\left( \mathbf{d}\right) \cdot T.\) Let \(\mathcal{Z}_{Q,\mathbf{d}}\) be the closed subvariety of rep\(\left( Q,\mathbf{d}\right) \) consisting the common zeros of \(f_{1},\dots,f_{s}.\) If \(\mathcal{Z}_{Q,\mathbf{d}}\) has codimension \(s\) then \(\mathcal{Z} _{Q,\mathbf{d}}\) is said to be a (set theoretic) complete intersection. Here, the focus is on finding necessary and sufficient conditions for \(\mathcal{Z}_{Q,\mathbf{d}}\) to be a complete intersection in the case where \(Q\) is a connected quiver of type \(\mathbb{D}_{n}\) (i.e., the underlying Dynkin diagram is of type \(\mathbb{D}_{n}\)). In this situation (as well as any other where \(Q\) is a disjoint union of Dynkin diagrams of type \(\mathbb{A} ,\mathbb{D}\), or \(\mathbb{E}),\) rep\(\left( Q,\mathbf{d}\right) \) does contain an open orbit GL\(\left( \mathbf{d}\right) \cdot T.\) For the case under consideration, \(\mathbf{d}\) is assumed to be sincere, i.e., \(T\left( k\right) \neq0\) for all vertices \(k.\) To describe the necessary and sufficient conditions required, the author introduces the notion of a folded rectangle. Loosely, a folded rectangle is a collection of vertices of the Auslander-Reiten quiver with a special vertex: a ``bent down corner''. A folded rectangle which satisfies extra conditions which depend on the representation \(T\) above is called a folded rectangle suitable for \(T\). The main result is that \(\mathcal{Z}_{Q,\mathbf{d}}\) is a complete intersection if and only if there is no folded rectangle suitable for \(T\), when \(T\) is the representative of the open orbit of a representation space given by a sincere dimension vector. As an application of the result above, a result of Reidtmann and Zwara is refined. We can decompose the \(T\) above as a direct sum of indecomposable representations \(T_{1}^{\lambda_{1}}\oplus\cdots\oplus T_{r}^{\lambda_{r}}.\) Previously, Reidtmann and Zwara proved that \(\mathcal{Z}_{Q,\mathbf{d}}\) is a complete intersection if (but not only if) \(\lambda_{i}\geq2\) for all \(i\). (Indeed, one of the conditions for \(T\) to have a suitable folded rectangle is for \(\lambda_{i}=1\) for some \(i\).) It is shown that if \(\mathcal{Z} _{Q,\mathbf{d}}\) is not a complete intersection, then there is a unique \(\lambda_{i}\) with \(\lambda_{i}=1.\) Also, \(\mathcal{Z}_{Q,\mathbf{d+e}_{i}}\) is a complete intersection but \(\mathcal{Z}_{Q,\mathbf{d+e}_{j}}\) is not, where \(\mathbf{e}_{i},\mathbf{e}_{j}\in\mathbb{N}^{n}\) are ``standard basis vectors'' and \(i\neq j.\) / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alan Koch / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14L24 / 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: 6078358 / 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 | |||
complete intersections | |||
Property / zbMATH Keywords: complete intersections / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
invariants | |||
Property / zbMATH Keywords: invariants / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2012.01.001 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2008313815 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the zero set of semi-invariants for \(\mathbb{D}_n\)-quivers. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4102017 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3889229 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebren, Darstellungsköcher, Überlagerungen und zurück / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tame quivers, semi-invariants, and complete intersections. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the zero set of semi-invariants for quivers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the zero set of semi-invariants for tame quivers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The rational invariants of the tame quivers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A classification of irreducible prehomogeneous vector spaces and their relative invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-Invariants of Quivers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lifting smooth homotopies of orbit spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degenerations for modules over representation-finite algebras / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:20, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quivers of type \(\mathbb D_n\), semi-invariants and complete intersections |
scientific article |
Statements
Quivers of type \(\mathbb D_n\), semi-invariants and complete intersections (English)
0 references
6 September 2012
0 references
Let \(\mathbb{K}\) be an algebraically closed field, and let \(Q\) be a finite quiver with \(n\) vertices\(.\) It is well known that to each dimension vector \(\mathbf{d=}\left( d_{1},\dots,d_{n}\right) \mathbf{\in}\mathbb{N}^{n}\) one has the \(\mathbb{K}\)-vector space of representations rep\(\left( Q,\mathbf{d}\right) ,\) and GL\(\left( \mathbf{d}\right) :=\prod\)GL\(\left( d_{i},\mathbb{K}\right) \) acts on rep\(\left( Q,\mathbf{d}\right) \) in a natural way. If rep\(\left( Q,\mathbf{d}\right) \) contains an open orbit, say GL\(\left( \mathbf{d}\right) \cdot T,\) then rep\(\left( Q,\mathbf{d}\right) \) has only finitely many orbits, exactly one of which is open; furthermore there is a finite set \(f_{1},\dots,f_{s}\) of irreducible monic polynomials (in \(\mathbb{K}\left[ \text{rep}\left( Q,\mathbf{d}\right) \right] \)) whose zero sets are the irreducible components of codimension 1 of rep\(\left( Q,\mathbf{d}\right) \backslash\)GL\(\left( \mathbf{d}\right) \cdot T.\) Let \(\mathcal{Z}_{Q,\mathbf{d}}\) be the closed subvariety of rep\(\left( Q,\mathbf{d}\right) \) consisting the common zeros of \(f_{1},\dots,f_{s}.\) If \(\mathcal{Z}_{Q,\mathbf{d}}\) has codimension \(s\) then \(\mathcal{Z} _{Q,\mathbf{d}}\) is said to be a (set theoretic) complete intersection. Here, the focus is on finding necessary and sufficient conditions for \(\mathcal{Z}_{Q,\mathbf{d}}\) to be a complete intersection in the case where \(Q\) is a connected quiver of type \(\mathbb{D}_{n}\) (i.e., the underlying Dynkin diagram is of type \(\mathbb{D}_{n}\)). In this situation (as well as any other where \(Q\) is a disjoint union of Dynkin diagrams of type \(\mathbb{A} ,\mathbb{D}\), or \(\mathbb{E}),\) rep\(\left( Q,\mathbf{d}\right) \) does contain an open orbit GL\(\left( \mathbf{d}\right) \cdot T.\) For the case under consideration, \(\mathbf{d}\) is assumed to be sincere, i.e., \(T\left( k\right) \neq0\) for all vertices \(k.\) To describe the necessary and sufficient conditions required, the author introduces the notion of a folded rectangle. Loosely, a folded rectangle is a collection of vertices of the Auslander-Reiten quiver with a special vertex: a ``bent down corner''. A folded rectangle which satisfies extra conditions which depend on the representation \(T\) above is called a folded rectangle suitable for \(T\). The main result is that \(\mathcal{Z}_{Q,\mathbf{d}}\) is a complete intersection if and only if there is no folded rectangle suitable for \(T\), when \(T\) is the representative of the open orbit of a representation space given by a sincere dimension vector. As an application of the result above, a result of Reidtmann and Zwara is refined. We can decompose the \(T\) above as a direct sum of indecomposable representations \(T_{1}^{\lambda_{1}}\oplus\cdots\oplus T_{r}^{\lambda_{r}}.\) Previously, Reidtmann and Zwara proved that \(\mathcal{Z}_{Q,\mathbf{d}}\) is a complete intersection if (but not only if) \(\lambda_{i}\geq2\) for all \(i\). (Indeed, one of the conditions for \(T\) to have a suitable folded rectangle is for \(\lambda_{i}=1\) for some \(i\).) It is shown that if \(\mathcal{Z} _{Q,\mathbf{d}}\) is not a complete intersection, then there is a unique \(\lambda_{i}\) with \(\lambda_{i}=1.\) Also, \(\mathcal{Z}_{Q,\mathbf{d+e}_{i}}\) is a complete intersection but \(\mathcal{Z}_{Q,\mathbf{d+e}_{j}}\) is not, where \(\mathbf{e}_{i},\mathbf{e}_{j}\in\mathbb{N}^{n}\) are ``standard basis vectors'' and \(i\neq j.\)
0 references
quivers
0 references
quiver representations
0 references
complete intersections
0 references
invariants
0 references
0 references