Abstract:We study the representation category of thread quivers and their quotients. A thread quiver is a quiver in which some arrows have been replaced by totally ordered sets. Pointwise finite-dimensional (pwf) representations of such a thread quiver admit a Krull-Remak-Schmidt-Azumaya decomposition. We show that an indecomposable representation is induced from an indecomposable representation of a quiver obtained from the original quiver by replacing some of its arrows by a finite linear $\mathbb{A}_n$ quiver. We study injective and projective pwf indecomposable representations and we fully classify them when the quiver satisfies a mild condition. We give a characterization of the indecomposable pwf representations of certain categories whose representation theory has similar properties to finite type or tame type. We further construct new hereditary abelian categories, including a Serre subcategory of pwf representations that includes every indecomposable representation.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the representation theory of thread quivers in which linear arrows are replaced by totally - ordered sets and their quotient categories. Specifically, the authors focus on pointwise finite - dimensional (pwf) representations and explore the following problems:
1. **Krull - Remak - Schmidt - Azumaya Decomposition**: It is proved that indecomposable pwf representations can be induced by indecomposable representations obtained from the original quiver by replacing certain arrows with finite linear \(A_n\) quivers.
2. **Projective and Injective Objects**: The indecomposable projective and injective pwf representations are studied and fully classified under certain conditions of the quiver (i.e., the left - or right - Q - bounded conditions).
3. **Characterization of Indecomposable pwf Representations**: The characterization of indecomposable pwf representations in certain categories whose representation theories have properties similar to those of finite - type or tame - type is given.
4. **Construction of New Hereditary Abelian Categories**: The construction of a new hereditary abelian category of pwf representations, including a Serre subcategory that contains all indecomposable representations.
5. **Study of Hereditary Properties**: The hereditary properties of the pwf representation category are studied when the quiver is left - or right - Q - bounded.
### Formulas and Definitions
To understand these problems more clearly, some key concepts and formulas are listed here:
- **Quiver**: Let \(Q=(Q_0, Q_1, s, t)\) be a quiver, where \(Q_0\) is the set of vertices, \(Q_1\) is the set of arrows, and \(s, t: Q_1\rightarrow Q_0\) are the source and target mappings respectively.
- **Thread Quiver**: A thread quiver \((Q, P)\) is a quiver \(Q\) equipped with a set of totally - ordered sets \(P_{\alpha}\), with one totally - ordered set \(P_{\alpha}\) corresponding to each arrow \(\alpha\in Q_1\).
- **Path Category**: For a thread quiver \((Q, P)\), the path category \(C\) is defined by "replacing" each arrow \(\alpha\) with the set \(P_{\alpha}\).
- **Pointwise Finite - Dimensional Representations**: These representations are covariant \(k\)-linear functors \(M: C\rightarrow\text{mod}(k)\), where \(\text{mod}(k)\) is the category of finite - dimensional \(k\)-vector spaces.
- **Noise Representation**: If the support set \(\text{supp}(M)\) of a representation \(M\) satisfies \(\text{supp}(M)\cap Q_0 = \emptyset\), then \(M\) is called a noise representation.
- **Noise - Free Representation**: If no direct summand of \(M\) is noise, then \(M\) is called a noise - free representation.
### Main Conclusions
- **Theorem A**: Any pointwise finite - dimensional representation \(M\) can be uniquely decomposed into a direct sum of indecomposable representations, and each indecomposable direct summand is either noise or noise - free and is induced by an indecomposable representation of a finite sub - thread quiver.
- **Theorem B**: If \(A\) is left - Q - bounded, then all indecomposable pointwise finite - dimensional projective representations are of the form \(P_J\), where \(J\) is an interval on some \(P_{\alpha}\); similarly, if \(A\) is right - Q - bounded, then all indecomposable pointwise finite - dimensional injective representations are of the form \(I_J\).
- **Theorem C**: When \(C\) is left - or right - Q - bounded...