[Paper Review] Localization in quiver moduli

Markus Reineke|ArXiv.org|Sep 15, 2005

Algebraic structures and combinatorial models5 references3 citations

TL;DR

This paper establishes a localization framework for projectivized quiver moduli spaces by analyzing fixed points under a natural torus action, revealing that the fixed point set decomposes into moduli of simple representations for modified quivers. The key contribution is a formula for the Euler characteristic of these moduli as the number of cyclic equivalence classes of primitive cycles of a given weight, resolving a conjecture via arithmetic geometry and representation theory.

ABSTRACT

The fixed point set under a natural torus action on projectivized moduli spaces of simple representations of quivers is described. As an application, the Euler characteristic of these moduli is computed.

Motivation & Objective

• To describe the fixed point set of a natural torus action on projectivized moduli spaces of simple quiver representations.
• To compute the Euler characteristic of these moduli spaces using localization techniques.
• To resolve a conjecture on the first derivative of counting polynomials of quiver moduli over finite fields by interpreting it as the Euler characteristic in cohomology with compact support.
• To establish a connection between the global topology of quiver moduli and a special class of representations—string representations—defined via primitive cycles.
• To develop covering-theoretic methods in the context of simple quiver representations to enable the localization analysis.

Proposed method

• The paper studies the action of a maximal torus $T_Q$ on the projectivized moduli space ${\bf P}M_d^{simp}(Q)$ of simple representations of a quiver $Q$.
• It characterizes the $T_Q$-fixed points as corresponding to representations that are graded with respect to a certain weight function, leading to a decomposition of the fixed point set into moduli spaces for 'almost universal abelian coverings' of the original quiver.
• The analysis involves the use of the Euler form $\langle d,e\rangle = \sum_i d_i e_i - \sum_{\alpha:i\to j} d_i e_j$ on the dimension vector lattice $\mathbf{Z}Q_0$.
• The proof of the main result uses induction on the weight of cycles, reducing the computation of the Euler characteristic to the case of single cycle quivers.
• String representations are introduced as a canonical class of simple representations associated to primitive cycles, which are shown to govern the topological structure of the moduli space.
• The connection to arithmetic geometry is established by interpreting the first derivative of the counting polynomial at $q=1$ as the Euler characteristic with compact support, using results from [12].

Experimental results

Research questions

• RQ1 How can the fixed point set of a torus action on the projectivized moduli space of simple quiver representations be described geometrically?
• RQ2 What is the Euler characteristic of the projectivized moduli space of simple representations of a quiver, and how can it be computed via localization?
• RQ3 How does the number of cyclic equivalence classes of primitive cycles of a given weight relate to the topology of the moduli space?
• RQ4 Can the conjecture on the first derivative of the counting polynomial of quiver moduli over finite fields be proven using cohomological methods?
• RQ5 What role do string representations—defined via primitive cycles—play in the global topology of quiver moduli spaces?

Key findings

• The Euler characteristic of the projectivized moduli space ${\bf P}M_d^{simp}(Q)$ equals the number of cyclic equivalence classes of primitive cycles of dimension vector $d$ in the quiver $Q$.
• For the $m$-loop quiver $Q_m$, the Euler characteristic is given by the formula $\chi_c({\bf P}M_d^{simp}(Q_m)) = \frac{1}{d}\sum_{r|d} \mu(\frac{d}{r}) m^r$, where $\mu$ is the Möbius function.
• The fixed point set of the torus action on ${\bf P}M_d^{simp}(Q)$ is a disjoint union of moduli spaces of simple representations for quivers that are 'almost universal abelian coverings' of the original quiver.
• The localization method developed in this paper resolves a conjecture that the first derivative of the counting polynomial of quiver moduli at $q=1$ equals the Euler characteristic with compact support.
• The study reveals that string representations, defined via primitive cycles, are the primary topological invariants of the moduli space, as they 'generate' the cohomological structure.
• Equivariant formality fails for general quiver moduli, as shown by a counterexample where the equivariant cohomology is a torsion module over the equivariant cohomology of a point, limiting direct applications of standard localization theorems.