Abstract:In this paper we study the structure of Gabriel quivers of tame symmetric algebras of period four. More precisely, we focus on algebras having Gabriel quiver {\it biregular}, i.e. the numbers of arrows starting and ending at any vertex are equal, and do not exceed $2$. We describe the local structure of biregular Gabriel quivers of tame symmetric algebras of period four, including certain idempotent algebras. The main result of this paper shows that, in fact, these Gabriel quivers have local structure exactly as Gabriel quivers of so called {\it weighted surface algebras}, which partially extends known characterization of algebras of generalized quaternion type.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to describe the local structure of the Gabriel quiver of Tame Symmetric Algebras of Period Four (TSP4), especially the local structure of the biregular Gabriel quiver of these algebras. Specifically, the authors focus on TSP4 algebras with biregular Gabriel quivers, that is, algebras in which the in - degree and out - degree of each vertex are equal and do not exceed 2. They aim to describe the local structure of these algebras and prove that the local structure of these Gabriel quivers is exactly the same as the local structure of the Gabriel quiver of the so - called weighted surface algebras, which extends previous research results to a certain extent.
### Main Results
The main result of the paper shows that if the Gabriel quiver of a GQT (Generalized Quaternion Type) algebra is biregular, then all 1 - regular vertices belong to specific blocks, in the following forms:
\[ \text{V1: } \quad \bullet \xrightarrow{} \circ \xleftarrow{} \]
\[ \text{V2: } \quad \bullet \xrightarrow{} \circ \xrightarrow{} \circ \xleftarrow{} \bullet \]
where the black vertices represent 1 - regular vertices and the white vertices represent 2 - regular vertices.
### Research Background
- **Tame Algebras**: The indecomposable modules of this type of algebras can be divided into a finite number of discrete families and a finite number of one - parameter families in each dimension.
- **Periodic Algebras**: Every non - projective module in this type of algebras is periodic, that is, there exists some \( n\geq1 \) such that \( \Omega^n(M)\cong M \).
- **Weighted Surface Algebras**: This is a special type of symmetric algebras of period 4 defined by Erdmann and Skowroński, which is associated with triangulated real compact surfaces.
### Paper Structure
1. **Introduction**: Introduces the research background and motivation.
2. **Basic Concepts**: Reviews the basic concepts in the representation theory of algebras.
3. **Tame Symmetric Periodic Algebras**: Summarizes the important results about tame symmetric algebras of period 4.
4. **Preliminary Results**: Discusses some preliminary results about 1 - regular vertices.
5. **Key Propositions**: Describes the local structure of the Gabriel quiver around 1 - vertices, which is the most central result in the paper.
6. **Proof of the Main Theorem**: Gives a detailed proof of the main theorem.
### Conclusion
Through the above research, the authors successfully described the local structure of the biregular Gabriel quiver of tame symmetric algebras of period 4 and proved that these structures are consistent with the local structure of the Gabriel quiver of weighted surface algebras. This result not only extends previous classification work but also provides a new perspective for further research on this type of algebras.