Admissible sequences and the preprojective component of a quiver. (Q1771326)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Admissible sequences and the preprojective component of a quiver.
scientific article

    Statements

    Admissible sequences and the preprojective component of a quiver. (English)
    0 references
    0 references
    0 references
    21 April 2005
    0 references
    Let \((\Gamma,\Lambda)\) be a quiver (\(\Gamma\) a graph with possibly multiple edges, \(\Lambda\) its orientation). Assume it is finite and has no oriented cycles. The paper concerns the Bernstein-Gelfand-Ponomarev reflection functors on the category \(\text{f.d.}k(\Gamma,\Lambda)\) of finite dimensional representations of \((\Gamma,\Lambda)\) over a fixed field \(k\). Given a sink \(x\) in \((\Gamma,\Lambda)\), that is, a vertex which is not a starting point of any arrow, there is a reflection functor \(F_x^+\colon\text{f.d.}k(\Gamma,\Lambda)\to\text{f.d.}k(\Gamma,\sigma_x\Lambda)\), where \(\sigma_x\Lambda\) is the orientation obtained from \(\Lambda\) by reversing the arrows containing the vertex \(x\). It is known that the reflection functors play a fundamental role in the theory of representations of quivers, see \textit{I. N. Bernstein, I. M. Gel'fand} and \textit{V. A. Ponomarev} [Usp. Mat. Nauk 28, No. 2(170), 19-33 (1973; Zbl 0269.08001)]. A sequence \(S=(x_1,\dots,x_s)\) of vertices of \((\Gamma,\Lambda)\) is called (+)-admissible if \(x_1\) is a sink in \((\Gamma,\Lambda)\) and \(x_i\) is a sink in \((\Gamma,\sigma_{x_{i-1}}\cdots\sigma_{x_{1}}\Lambda)\) for \(i=2,\dots,s\). Let \(F_S=F^+_{x_s}\cdots F^+_{x_1}\). A representation \(M\) of \((\Gamma,\Lambda)\) is called preprojective if \(F_S(M)=0\) for some \(S\). Two admissible sequences are said to be equivalent if one can be obtained from the other by a sequence of transpositions of two consecutive elements which are not connected by an edge in \(\Gamma\). It is proved that for each indecomposable preprojective \(M\) there is unique, up to equivalence, shortest (+)-admissible sequence \(S\) such that \(F_S(M)=0\). Denote the sequence by \(S_M\). The isomorphism class of \(M\) is determined by \(S_M\). There is a natural partial order on the set of equivalence classes of (+)-admissible sequences: \(S\preceq T\) provided \(T\) is a prolongation of \(S\) on the right. The properties of the poset formed by all sequences \(S_M\) are discussed in the paper. Given an indecomposable preprojective representation \(M\) let \(S(\to M)\) by the additive hull of the set of all predecessors \(X\) of \(M\) in the preprojective component such that every path from \(X\) to \(M\) is sectional, see \textit{C. M. Ringel} [Tame algebras and integral quadratic forms, Lect. Notes Math. 1099 (1984; Zbl 0546.16013)]. Another result of the paper asserts that \(S(\to M)\) is a slice if and only if every vertex of \(\Gamma\) occurs in the sequence \(S_M\).
    0 references
    quivers
    0 references
    admissible sequences
    0 references
    reflection functors
    0 references
    preprojective components
    0 references
    slices
    0 references
    preprojective representations
    0 references

    Identifiers