Abstract:We define the preprojective algebra of a finite EI quiver. We prove that it is isomorphic to a centain tensor algebra. For a finite EI quiver of Cartan type, we prove that the corresponding preprojective algebra is isomorphic to the generalized preprojective algebra.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to define and study the preprojective algebras of finite EI quivers. Specifically, the author aims to:
1. **Define the preprojective algebras of finite EI quivers**: For a finite EI quiver \((Q, X)\), how to define its corresponding preprojective algebra \(\Pi(Q, X)\). This problem stems from generalizing the classical concept of preprojective algebras from finite quivers to more complex finite EI quivers.
2. **Prove the isomorphism relationship**: Prove that the defined preprojective algebra \(\Pi(Q, X)\) is isomorphic to a certain tensor algebra. Specifically, for a finite acyclic EI quiver \((Q, X)\), its preprojective algebra \(\Pi(Q, X)\) is isomorphic to the tensor algebra over \(KC\), where \(KC\) is a category algebra, and the generators of the tensor algebra are \(Ext^1_{KC}(D(KC), KC)\).
3. **Isomorphism in special cases**: For the EI quiver \((Q^{\circ}, X)\) associated with the Cartan triple \((C, D, \Omega)\), prove that its preprojective algebra \(\Pi(Q^{\circ}, X)\) is isomorphic to the generalized preprojective algebra \(\Pi(C', D', \Omega')\). This further reveals the connections between preprojective algebras, Lie algebras, and cluster algebras.
### Specific problems and conclusions
- **Define preprojective algebras**: By introducing the concepts of bisets and their duals, the preprojective algebra \(\Pi(Q, X)\) of a finite EI quiver is defined.
- **Main Theorem A**: For a finite acyclic EI quiver \((Q, X)\), its preprojective algebra \(\Pi(Q, X)\) is isomorphic to the tensor algebra \(T_{KC}(Ext^1_{KC}(D(KC), KC))\) over \(KC\).
- **Theorem B**: Suppose \((C, D, \Omega)\) is a Cartan triple, and the field \(K\) has enough roots of unity. Let \((Q^{\circ}, X)\) be the EI quiver derived from the Cartan triple \((C, D, \Omega)\), then its preprojective algebra \(\Pi(Q^{\circ}, X)\) is isomorphic to the generalized preprojective algebra \(\Pi(C', D', \Omega')\).
These results not only generalize the theory of classical preprojective algebras but also establish a profound connection between the preprojective algebras of finite EI quivers, tensor algebras, and generalized preprojective algebras.