Balanced and cobalanced representations of posets
Let \({\mathbf V}=(V(s),V)_{s\in S}\) be a representation of a finite partially ordered set \(S\) (an \(S\)-space) over a field \(k\), that is, the map \(s\mapsto V(s)\) is a homomorphism of posets from \(S\) to the lattice of subspaces of the space \(V\) [see e.g. \textit{D. Simson}, ``Linear representations of partially ordered sets and vector space categories, Gordon \& Breach (1992; Zbl 0818.16009)]. Such a representation is called a type if \(V=k\). A representation \(\mathbf V\) is completely decomposable if it is isomorphic to a direct sum of types. Given a type \(\mathbf T\) and an \(S\)-space \(\mathbf V\) the \(\mathbf T\)-socle \(\mathbf{V(T)}\) of \(\mathbf V\) is the sum of the images of all homomorphisms \(f\colon{\mathbf T}\to{\mathbf V}\). A subrepresentation \(\mathbf W\) of \(\mathbf V\) is balanced provided every type is projective with respect to the exact sequence \(0\to{\mathbf W}\to{\mathbf V}\to{\mathbf V}/{\mathbf W}\to 0\). If this is the case the above sequence is said to be balanced. There is a dual notion of a cobalanced sequence. One of the main results of the paper is a construction of a balanced projective cover of a representation \(\mathbf V\), that is, a balanced exact sequence \(0\to{\mathbf U}\to{\mathbf P}\to{\mathbf V}\to 0\) with \(P\) completely decomposable satisfying a universal property with respect to balanced epimorphisms \({\mathbf W}\to{\mathbf V}\) with \(\mathbf W\) completely decomposable. A dual construction of a cobalanced injective hull is also given. Next the authors define balanced representation of \(S\) as those \(\mathbf V\) such that \(\mathbf{V(T)}\) is a balanced subrepresentation of \(\mathbf V\) for every type \(\mathbf T\). Denote by \(K(0)\) the class of all \(S\)-spaces. For \(n>0\) the classes \(K(n)\) of \(S\)-spaces are defined inductively as follows: \(K(n)\) is the class of all \(S\)-spaces \(\mathbf U\) for which there exists a balanced exact sequence \(0\to{\mathbf U}\to{\mathbf V}\to{\mathbf W}\to 0\) with \(\mathbf V\) completely decomposable and \(\mathbf W\) in \(K(n-1)\) [see \textit{A. A. Kravchenko}, Mat. Zametki 45, No. 5, 32-37 (1989; Zbl 0695.20032)]. It is shown that \(K(1)\) is the class of all balanced representations of \(S\). The poset \(S\) is said to have finite \(K(n)\)-type if there exist only finitely many isomorphism classes of indecomposable objects in \(K(n)\). It is proved that for \(n\geq 0\) if the poset \(S\) has width at most \(n+2\) then each \(S\)-space in \(K(n)\) is completely decomposable. The width of \(S\) is the maximal number of pairwise incomparable elements in \(S\). If the poset has width at most \(n+3\) then \(S\) has still finite \(K(n)\)-type. Finally, if \(S\) is a poset consisting of \(n+4\) pairwise incomparable elements then \(S\) has infinite \(K(n)\)-type. The results can be translated into the category of Butler groups and quasi-homomorphisms introduced by \textit{M. C. R. Butler} [Proc. Lond. Math. Soc., III. Ser. 18, 635-652 (1968; Zbl 0179.32603)].
- Balanced Butler groups
- Butler groups and representations of infinite rank
- Coxeter transformations and representations of partially ordered sets
- scientific article; zbMATH DE number 3826103 (Why is no real title available?)
- scientific article; zbMATH DE number 707210 (Why is no real title available?)
- Invariants for classes of indecomposable representations of finite posets
- On four subspaces of a vector space
- Partially ordered sets of finite type
- Representations of finite posets and valuated groups
- Torsion-Free Modules and Diagrams of Vector Spaces
This page was built for publication: Balanced and cobalanced representations of posets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4384673)
