Abstract:In this thesis, we study counts of quiver representations over finite rings of truncated power series. We prove a plethystic formula relating counts of quiver representations over these rings and counts of jets on fibres of quiver moment maps. This solves a conjecture of Wyss and allows us to compute both counts on additional examples, using local zeta functions. The relation between counts of representations and counts of jets generalises the relation between Kac polynomials and counts of points on preprojective stacks. Pursuing this analogy, we establish further properties of our counts. We show that, for totally negative quivers, counts of jets converge to p-adic integrals on fibres of quiver moment maps. One expects a relation between these p-adic integrals and BPS invariants of preprojective algebras i.e. Kac polynomials. For small rank vectors, we also prove that the polynomials counting indecomposable quiver representations over finite rings have non-negative coefficients. Moreover, we show that jet schemes of fibres of quiver moment maps are cohomologically pure in that setting, so that their Poincaré polynomials are given by the former counts. This is reminiscent of the structure of cohomological Hall algebras, which are built from the cohomology of preprojective stacks. Finally, we compute the cohomology of jet spaces of preprojective stacks explicitly for the A2 quiver. Building on the structure of the preprojective cohomological Hall algebra of A2, we propose a candidate analogue of the BPS Lie algebra and conjecture the existence of a Hall product on the cohomology of these jet spaces.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to calculate the number of quiver representations with multiplicities over the ring of finite - truncated power series. Specifically, the author solves the following problems by studying the relationship between the two kinds of counting:
1. **Counting of quiver representations**: For a given multiplicity quiver \((Q, n)\), calculate the number \(A(Q,n),r\) of absolutely indecomposable (locally free) quiver representations of rank \(r\) over the finite field \(F_q\).
2. **Counting of solutions to the moment map equation**: For a given multiplicity quiver \((Q, n)\), calculate the number of solutions to the moment map equation \(\mu(Q,n),r(x,y) = 0\) over the finite field \(F_q\).
### Specific problem description
#### 1. Counting of quiver representations
The author focuses on how to calculate the number of representations of multiplicity quivers. Quiver representations are an important concept in algebra, especially in representation theory. A multiplicity quiver means that different multiplicities are assigned to the vertices of the quiver, which makes the study of quiver representations more complex and interesting.
#### 2. Counting of solutions to the moment map equation
The moment map is a concept in symplectic geometry and also has important applications in quiver representation theory. The solutions to the moment map equation can be understood as certain special points in the quiver representation space. Calculating the number of these solutions helps to understand the space structure of quiver representations.
### Main results
The author proves a plethystic formula between these two kinds of counting, which links the counting of quiver representations to the counting of solutions to the moment map equation. Specifically, the author proves the following theorem:
\[
\sum_{d \in \mathbb{Z}_{\geq 0}^{Q_0}} \frac{\sharp F_q\mu^{-1}_{(Q,n),r}(0)}{\sharp F_q GL_d}\cdot q^{\langle d,d \rangle}t^d=\text{Exp}_{q,t}\left(\sum_{d \in \mathbb{Z}_{\geq 0}^{Q_0}\setminus\{0\}}\frac{A(Q,n),r(q)}{1 - q^{-1}}\cdot t^d\right)
\]
where:
- \(\mu^{-1}_{(Q,n),r}(0)\) represents the solution set of the moment map equation \(\mu(Q,n),r(x,y) = 0\).
- \(A(Q,n),r(q)\) represents the number of absolutely indecomposable representations of rank \(r\) of the multiplicity quiver \((Q, n)\) over the finite field \(F_q\).
- \(\langle d,d \rangle\) is the Euler form related to the quiver.
### Solution methods
The author solves the above problems through the following steps:
1. **Introducing the plethystic formula**: Use the geometric properties of quiver representations and moment maps to introduce a plethystic formula to connect the two kinds of counting.
2. **Adapting existing proofs**: Based on the geometric properties of pre - projective algebras constructed by Geiss, Leclerc and Schröer, adjust Mozgovoy's proof method.
3. **Verifying the conjecture**: Prove Wyss's conjecture, that is, for a completely negative quiver, the counting of solutions converges to a p -adic integral.
### Significance
This result not only extends Mozgovoy's formula, but also provides a new perspective for understanding the counting of multiplicity quiver representations. In addition, it provides a theoretical basis for future research, especially for the study of the homology Hall algebra and BPS invariants of multiplicity quivers.