🔢 mathematics

Białynicki-Birula Decompositions of Nakajima Quiver Varieties, Quiver Chains and Star-Shaped Quivers

This paper investigates the Białynicki--Birula decomposition of Nakajima quiver varieties under a natural $\mathbb C^*$ -action, characterizing fixed points via quiver chain representations and deriving motivic decompositions, with specific applications to star-shaped quivers.

Original authors: Juan Sebastian Numpaque-Roa

Published 2026-07-21

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Juan Sebastian Numpaque-Roa

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe of mathematics as a giant, invisible city built not of bricks and mortar, but of shapes, patterns, and rules. In this city, there is a special neighborhood called algebraic geometry, where mathematicians study "varieties"—which are just fancy names for shapes defined by equations. Some of these shapes are incredibly complex, twisting and turning in many dimensions, making them hard to navigate. To understand them, mathematicians often look for "fixed points," which are like the quiet, unmoving centers of a spinning top. If you can find these centers and understand how the rest of the shape flows toward or away from them, you can figure out the entire shape's structure, its size, and its hidden secrets. This paper dives deep into a specific, bustling district of this mathematical city known as Nakajima quiver varieties. These are special shapes that appear in physics and advanced math, often used to model how particles interact or how complex systems organize themselves. The big question the authors tackle is: "If we spin these shapes in a specific way, where do they settle down, and what does that tell us about the whole shape?"

The paper, written by Juan Sebastian Numpaque-Roa, acts like a master cartographer mapping out these complex shapes using a technique called Bia lynicki-Birula decomposition. Think of a Nakajima quiver variety as a giant, multi-layered cake. The author introduces a special "spinning" action (a mathematical operation involving scaling) that causes the cake to settle. As the spinning slows down, the cake doesn't just stop; it flows into distinct layers, each landing on a specific, stable "fixed point." The paper's main discovery is that these fixed points aren't just random spots; they are actually representations of simpler, chain-like structures the author calls quiver chains.

To visualize this, imagine the original complex shape is a tangled ball of yarn. The spinning action untangles it, revealing that the core of the ball is actually made of several neat, straight strings (the quiver chains) linked together. The paper proves that every time the shape settles into a fixed point, it looks exactly like one of these chains. Furthermore, the author shows that the "upward flow" (the part of the shape that leads to a fixed point) is like a smooth, straight slide connecting the main shape to these chains. This is a huge deal because it allows mathematicians to calculate the "motivic class" of the entire shape. In everyday terms, the motivic class is like a unique mathematical fingerprint or a detailed inventory of the shape's ingredients. By breaking the complex shape down into these simpler chains, the author can write a precise formula for the fingerprint of the whole thing.

The paper goes a step further by focusing on a specific type of shape called a star-shaped quiver. Imagine a star with a central hub and several arms. For these specific shapes, the author classifies exactly what the fixed points look like when the "arms" are simple (type 1, 1, 1...). They find that these fixed points form a specific kind of geometric space that looks like a product of projective spaces (which are like generalized versions of a sphere or a plane). For more complex versions of these stars, the author provides a detailed recipe—a long, explicit formula—to calculate the motivic class of the entire shape. This recipe involves summing up contributions from all possible ways the shape can break down into chains, using a mathematical tool called the Grothendieck ring of varieties.

The authors are very sure of their findings; they don't just suggest these patterns exist, they prove them using rigorous logic and established mathematical tools like deformation theory and moduli spaces. They explicitly rule out the idea that the fixed points are random or unstructured; instead, they are strictly organized into these quiver chains. The paper doesn't just say "it's complicated"; it says, "Here is the exact map, and here is the formula to count every piece." By translating the behavior of these high-dimensional shapes into the language of chains and slides, the paper provides a powerful new way to understand and compute the properties of these fascinating mathematical objects, offering a clearer view of the hidden architecture of the universe of shapes.

Technical Summary: Bia lynicki–Birula Decompositions of Nakajima Quiver Varieties, Quiver Chains and Star-Shaped Quivers

Problem Statement
The paper addresses the geometric and topological structure of Nakajima quiver varieties, $M_\theta(Q, d)$ , which are semiprojective hyperkähler varieties central to geometric representation theory and mathematical physics. Specifically, the work investigates the Bia lynicki–Birula (BB) decomposition associated with the natural $\mathbb{C}^*$ -action on these varieties. This action scales the maps along the reversed arrows of the doubled quiver while preserving the maps along the original arrows. The primary objective is to characterize the fixed-point locus of this action, describe the geometry of the resulting BB stratification (specifically the dimensions of the attracting fibers), and compute the motivic class of the variety in terms of the moduli spaces of these fixed points.

Methodology
The author employs a systematic approach combining hyperkähler reduction, Geometric Invariant Theory (GIT), deformation theory, and motivic integration techniques:

Identification of Fixed Points: The paper establishes that fixed points of the $\mathbb{C}^*$ -action on $M_\theta(Q, d)$ correspond to quiver chains. A quiver chain is defined as a representation of an auxiliary quiver $Q_\ell$ (constructed by replicating the vertices and edges of $Q$ over $\ell$ "levels") satisfying specific relations derived from the complex moment map condition.
Stability Equivalence: Using techniques adapted from King's work on quiver moduli and Álvarez-Cónsul and García-Prada's work on Higgs bundles, the author proves that the stability of a quiver chain with respect to a specific stability parameter $\theta_\ell$ is equivalent to the stability of the associated collapsed Nakajima quiver representation with respect to $\theta$ . This allows the construction of the moduli space of quiver chains as a fine moduli space.
BB Stratification and Deformation Theory: The paper utilizes the deformation theory of the moduli space to analyze the tangent space at fixed points. By decomposing the deformation complex into weight spaces under the $\mathbb{C}^*$ -action, the author computes the dimensions of the attracting and repelling fibers (the "upward" and "downward" flows). This involves analyzing the cohomology of weight-graded deformation complexes.
Motivic Computation: To compute the motivic class $[M_\theta(Q, d)]$ in the Grothendieck ring of varieties, the paper applies the BB decomposition formula, which expresses the class of the total space as a sum of the classes of the fixed-point components multiplied by the classes of affine spaces (the fibers). For the specific case of star-shaped quivers, the author employs a motivic analogue of Fei's formula (based on Reineke's work on Harder-Narasimhan filtrations) to compute the classes of the quiver-chain moduli spaces. This involves stratifying the space of representations with relations by rank profiles and utilizing properties of flag varieties and vector bundles.

Key Contributions and Results

Characterization of Fixed Points (Theorem 3.2, 3.15): The fixed-point locus $M_\theta(Q, d)^{\mathbb{C}^*}$ is shown to be isomorphic to a disjoint union of moduli spaces of $\theta_\ell$ -stable quiver chains, $M_{\theta_\ell}(Q_\ell, d_\ell, R_\ell)$ . This generalizes the identification of fixed points in Higgs bundle moduli spaces with holomorphic chains.
Geometry of the Stratification (Proposition 4.6, 4.7): The paper provides a formula for the motivic class of the Nakajima quiver variety:
$[M_\theta(Q, d)] = \sum_{d_\ell} [M_{\theta_\ell}(Q_\ell, d_\ell, R_\ell)] \cdot \mathbb{L}^{N_{d_\ell}}$
where $\mathbb{L}$ is the class of the affine line and $N_{d_\ell}$ is the dimension of the attracting fiber. A significant result is that for the star-shaped quiver, $N_{d_\ell}$ is independent of the specific component $d_\ell$ and equals $1 - \langle d, d \rangle_Q$ , implying the attracting fibers are Lagrangian.
Classification for Star-Shaped Quivers (Theorem 5.5): For star-shaped quivers with dimension vectors of type $(1, \dots, 1)$ , the moduli space of quiver chains is explicitly classified. It is shown to be isomorphic to a product of projective spaces $\mathbb{P}^{n_2-2} \times \dots \times \mathbb{P}^{n_\ell-2}$ (or empty if dimensions are too small).
Explicit Motivic Formula (Theorem 5.10): The paper derives a closed formula for the motivic class of the full Nakajima quiver variety for star-shaped quivers in a suitable localization of the Grothendieck ring. This formula is expressed as a sum over decompositions of the dimension vector, involving terms related to general linear groups, Grassmannians, and rank profiles.

Significance
The paper claims to provide a systematic study of the BB decomposition for Nakajima quiver varieties, offering a new perspective distinct from previous motivic approaches (such as Wyss's use of motivic Hall algebras and arithmetic Fourier transforms). By explicitly analyzing the fixed-point loci via quiver chains, the work provides additional geometric information about the stratification of the moduli space. The results connect the geometry of Nakajima varieties to the combinatorics of quiver chains and flag varieties, offering a concrete method to compute motivic invariants for star-shaped quivers, which are linked to parabolic Higgs bundles and moduli spaces of hyperpolygons. The classification of fixed points and the explicit computation of motivic classes serve as tools for understanding the Betti numbers and topological structure of these varieties.

More like this