Abstract:We propose a definition of expander representations of quivers, generalizing dimension (or linear algebra) expanders, as a qualitative refinement of slope stability. We prove existence of uniform expander representations for any wild quiver over an algebraically closed base field, using the concept of general subrepresentations and spectral properties of Cartan matrices.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define a new concept for the representations of quivers, namely "expander representations", and prove that for any wild quiver, there exist uniform expander representations over an algebraically closed base field. Specifically, the author proposes to define expander representations based on a qualitative improvement of slope - stability, and proves the existence of these representations by introducing the general sub - representation type and the spectral properties of the Cartan matrix.
### Main problem decomposition:
1. **Define expander representations**:
- The author proposes a way to define expander representations based on a qualitative improvement of slope - stability. This definition generalizes the previous concept of dimension expanders.
- The core of the definition is: for a given slope function \(\mu\), if a representation \(V\) satisfies that for all non - zero sub - representations \(U\subset V\), when \(\kappa(U)\leq\delta\cdot\kappa(V)\), we have \(\mu(U)<\mu(V)-\epsilon\), then \(V\) is called a \((\delta,\epsilon)\)-expander representation.
2. **Prove the existence of uniform expander representations**:
- The author proves that for any wild quiver, there exist uniform expander representations. This is achieved by using the general sub - representation type and the spectral properties of the Cartan matrix.
- Specifically, the author constructs uniform expansion coefficients using the spectral gap of the Cartan matrix (i.e., the difference between the two smallest eigenvalues).
3. **Relationship with existing work**:
- The paper relates the newly proposed concept of expander representations to the existing dimension expanders and shows its application in the generalized Kronecker quiver, providing explicit expansion coefficients.
- The author also discusses the relationship between expander representations and preprojective or preinjective representations, and proves that uniform expander representations cannot be composed solely of these types of representations.
### Summary of mathematical formulas:
- **Euler form**:
\[
\langle d, e\rangle=\sum_{i\in Q_0}d_i e_i-\sum_{\alpha: i\rightarrow j}d_i e_j
\]
- **Slope function**:
\[
\mu(d)=\frac{\Theta(d)}{\kappa(d)}
\]
- **Expansion condition**:
\[
\mu(U)<\mu(V)-\epsilon\quad\text{when}\quad\kappa(U)\leq\delta\cdot\kappa(V)
\]
- **Spectral properties of the Cartan matrix**:
\[
\lambda_1 < \lambda_2\leq\cdots\leq\lambda_n
\]
where \(\lambda_1\) is the smallest eigenvalue and is negative.
Through these definitions and proofs, the author successfully provides a proof of the existence of uniform expander representations for wild quivers and offers new perspectives and tools for future research.