On open orbits and their complements (Q910474): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Representation theory of artin algebras iii almost split sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934557 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3889229 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tilted Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite root systems, representations of graphs and invariant theory. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3686804 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite dimensional hereditary algebras of wild representation type / 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: Semi-Invariants of Quivers / rank | |||
Normal rank |
Latest revision as of 14:54, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On open orbits and their complements |
scientific article |
Statements
On open orbits and their complements (English)
0 references
1990
0 references
Let k be an algebraically closed field, Q be a quiver without oriented cycles, say with vertex set \(\{\) 1,...,n\(\}\), and kQ be the path algebra of Q. For a vector ḏ\(=(d_ 1,...,d_ n)\in N^ n\), denote by R(Q,ḏ) the affine variety of k-representations X of Q with \(X(i)=k^{d_ i}\). Then the group GL(ḏ)\(=\prod^{n}_{i=1}GL(d_ i)\) acts linearly on R(Q,ḏ) such that the GL(ḏ)-orbits in R(Q,ḏ) are just isomorphism classes. Let \(T_ 1,...,T_ r\) be pairwise non-isomorphic representations of Q, \(T=T_ 1^{\lambda_ 1}\oplus...\oplus T_ r^{\lambda_ r}\) with \(\lambda_ i>0\) big enough and such that the support of T is all of Q. Moreover, assume that \(Ext^ 1(T,T)=0\). This implies that T has an open GL(\underbar{dim} T)- orbit in R(Q,\underbar{dim} T). The main result of the paper is the following description of the complement of this orbit. From a construction of \textit{K. Bongartz} [Lect. Notes Math. 903, 26-38 (1981; Zbl 0478.16025)] T admits a canonical completion \(\tilde T\) to a tilting module \(T\oplus \tilde T\), and let \(T_{r+1},...,T_ n\) be pairwise non-isomorphic direct summands of \(\tilde T\) which are not isomorphic to \(T_ 1,...,T_ r\). For \(j=r+1,...,n\), denote by \({\mathcal D}_ j\) the closure of the set of representations in R(Q,\underbar{dim} T) that contain \(T_ j\) as a direct summand. For \(i=1,...,r\), call \(T_ i\) essential if it is either a submodule or a quotient of some representation in the full subcategory of mod kQ whose objects are direct sums of \(T_ k^{\nu_ k}\), \(\nu_ k\geq 0\), \(k\neq i\). If \(T_ i\) is essential, let \({\mathcal C}_ i\) be the closure of the set of representations in R(Q,\underbar{dim} T) which contains \(T_ i^{\lambda_ i+1}\) as a direct summand. The authors prove that the irreducible components of the complement of the GL(\underbar{dim} T)- orbit of T in R(Q,\underbar{dim} T) are the \({\mathcal C}_ i's\) for \(T_ i\) essential and \({\mathcal D}_{r+1},...,{\mathcal D}_ n\). The codimension of \({\mathcal D}_{r+1},...,{\mathcal D}_ n\) in R(Q,\underbar{dim} T) is one, and the codimension of \({\mathcal C}_ i\) is \(\lambda_ i+1>1\). Moreover, every component is the closure of an orbit.
0 references
path algebra
0 references
affine variety of k-representations
0 references
tilting module
0 references
direct sums
0 references
irreducible components
0 references
codimension
0 references
orbit
0 references