We use dualities of quiver moduli induced by reflection functors to describe generating series of motives of Kronecker moduli spaces of central slope as solutions of algebraic and q-difference equations.
- Paper ID: 2410.07913
- Title: Motives of Central Slope Kronecker Moduli
- Authors: Alexandre Astruc, Frédéric Chapoton, Karen Martinez, Markus Reineke
- Classification: math.AG (Algebraic Geometry), math.RT (Representation Theory)
- Published Journal: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 19
- Paper Link: https://arxiv.org/abs/2410.07913
This paper describes the generating series of motives for central slope Kronecker moduli spaces as solutions to algebraic and q-difference equations, utilizing dualities of quiver moduli spaces induced by reflection functors.
- Importance of Kronecker Moduli Spaces: Kronecker moduli spaces are geometric invariant theory (GIT) quotients that parametrize equivalence classes of tuples of linear maps under base change. Beyond their intrinsic interest as moduli spaces for difficult linear algebra problems, they have important applications in vector bundle theory, moduli spaces of semistable sheaves, tropical vertices of tori, and Gromov-Witten invariants.
- Specificity of Central Slope: The special case where numerical parameters differ by only 1 is called central slope. Weist proved in 2013 a simple formula for its Euler characteristic using torus localization techniques.
- Connection with Tamari Lattices: The second author observed that this Euler characteristic coincides with the number of intervals in higher-order Tamari lattices, making it crucial to understand the Betti numbers of central slope Kronecker moduli spaces, with the ultimate goal of directly connecting them to Tamari interval combinatorics.
The key step in this paper is to achieve the above goal by describing the generating function of motives for central slope Kronecker moduli spaces using algebraic q-difference equations. This characterization becomes possible by exploiting various dualities of Kronecker moduli spaces, primarily arising from reflection functors in quiver representation theory.
- Established isomorphisms of quiver moduli spaces induced by reflection functors (Theorem 3.2), providing the theoretical foundation for subsequent dualities.
- Proved key dualities of Kronecker moduli spaces (Corollaries 4.1 and Theorem 4.2), particularly the isomorphism of framed moduli spaces:
Kd,kd(m),fr≃Kd,(m−k)d+1(m),fr
- Derived duality identities for generating functions (Corollaries 5.1 and 5.2), establishing relationships between moduli spaces of different slopes.
- Provided main results for the central slope case (Theorems 1.1 and 6.4): The generating series F(t) of framed moduli space motives satisfies the algebraic functional equation:
F(t)=∏i=1m∏j=1m−2F(v2i−2j−2t)−11−v2i−m−1t
- Re-proved Weist's Euler characteristic formula and established the connection with the number of intervals in generalized Tamari lattices (Corollary 6.5).
This paper studies the generating series of motives for central slope Kronecker moduli spaces Kd,d(m) and framed moduli spaces Kd,d(m),fr, where:
- Input: Representations of m-arrow Kronecker quivers and stability conditions
- Output: Virtual motives of moduli spaces and their generating functions
- Constraints: Central slope condition (equal dimension vectors)
For a finite acyclic quiver Q, dimension vector d, and stability condition Θ:
- Representation space: Rd(Q)=⨁α:i→jHomC(Vi,Vj)
- Structure group: Gd=∏i∈Q0GL(Vi)
- Moduli space: MdΘ-sst(Q)=RdΘ-sst(Q)//Gd
For a sink i in quiver Q, define:
- Reflected quiver siQ: All arrows at i are reversed
- Reflection operator si: Acts on dimension vectors and stability conditions
- Reflection functor Si+: Establishes equivalence between representation categories
The key result is the moduli space isomorphism:
MdΘ-sst(Q)≃MsidsiΘ-sst(siQ)
By adding a framing vertex 0 and framing vector n, construct the extended quiver Q^:
- New stability condition: Θ^i=CΘi−κi, Θ^0=κ(d)
- Framed moduli space: Md,nΘ-fr(Q)=Md^Θ^-sst(Q^)
Defined in the motive quantum affine space:
- Virtual motive: [X]vir=(−L1/2)−dimX⋅[X]
- Generating series: F(t)=1+∑d≥1[Kd,d(m),fr]virtd
- Systematic Application of Reflection Functor Dualities: First systematic application of reflection functor techniques to motive calculations for Kronecker moduli spaces.
- Clever Parameter Selection: In the proof of Theorem 4.2, non-trivial isomorphisms of framed moduli spaces are achieved through careful choice of stability parameters.
- Operator Techniques: Introduces operators ∇(k) and Δ to handle relationships between generating functions:
∇(k)B(t)=v−v−1vB(vkt)−v−1B(v−kt)
- Functional Equation Method: Transforms geometric problems into algebraic functional equations, solved using Lagrange inversion formula.
The paper provides concrete computational results for small dimensions in the case m=3, showing motive coefficients as Laurent polynomials in v:
- K1,1(3),fr: 1,1,1
- K2,2(3),fr: 1,2,3,3,3,2,1
- K3,3(3),fr: 1,2,5,8,11,12,13,12,11,8,5,2,1
- K4,4(3),fr: 1,2,5,10,18,28,40,50,58,62,64,62,58,50,40,28,18,10,5,2,1
Through the recursion relation given in Corollary 6.3:
md=[Pd−1]vir[P(m−1)d]vir∑d1+⋯+dm−1=d−1v∑i(m−2i)di∏imdi
The correctness of the above numerical results can be verified.
- Establishment of Functional Equations: Successfully represents the generating function of motives for central slope Kronecker moduli spaces as solutions to specific algebraic functional equations.
- Re-proof of Weist's Euler Characteristic Formula: By specializing v to 1, re-obtains Weist's result:
[td]G(t)=d((m−2)d+1)m−1(d−1(m−1)2d+m−2)
- Establishment of Tamari Lattice Connection: Proves that the Euler characteristic of Kd,d−1(m) equals the number of intervals of index d in the (m-2)-Tamari lattice.
For the case m=3, computational results perfectly match OEIS sequences A000260, A255918, verifying the correctness of theoretical results.
- Kronecker Moduli Space Theory:
- Drezet (1987,1988): Established fundamental duality theory
- Reineke (2003): Computed Poincaré polynomials for smooth projective cases
- Weist (2013): Proved Euler characteristic formula for central slope using torus localization
- Motive Theory of Quiver Moduli Spaces:
- Reineke (2010,2011): Developed Poisson automorphisms and cohomology theory for quiver moduli spaces
- Engel-Reineke (2008): Studied smooth models of framed moduli spaces
- Mozgovoy (2014): Introduced Donaldson-Thomas invariants
- Tamari Lattice Theory:
- Bousquet-Mélou et al. (2011): Computed interval numbers in generalized Tamari lattices
- Bergeron-Préville-Ratelle (2012): Studied connections with multivariate diagonal harmonic functions
This paper establishes for the first time a direct connection between Kronecker moduli space motives and Tamari lattice combinatorics, opening new research directions in this field.
- Theoretical Breakthrough: Successfully establishes a complete theoretical framework for generating functions of motives for central slope Kronecker moduli spaces.
- Computational Tools: Provides effective recursion formulas and functional equations for practical computation of these motives.
- Geometric-Combinatorial Correspondence: Establishes profound connections between algebraic geometric objects and combinatorial objects (Tamari lattices).
- Technical Constraints: Methods primarily apply to the central slope case; generalization to arbitrary slopes requires further technical development.
- Computational Complexity: While recursion formulas are provided, computation for large dimensions remains challenging.
- Combinatorial Interpretation: Although connections with Tamari lattices are established, direct combinatorial interpretation of powers of v in motives is lacking.
- Combinatorial Statistics: Seek statistics on Tamari intervals whose partition function equals the motive of central slope Kronecker moduli spaces.
- Generalization: Extend methods to more general slopes and more complex quivers.
- Application Extensions: Explore connections with other algebraic geometry and representation theory problems.
- Strong Technical Innovation: Cleverly combines reflection functors, framed moduli spaces, and motive theory, demonstrating profound mathematical insight.
- Theoretical Completeness: From basic definitions to final results, the logical chain is complete and proofs are rigorous.
- Computational Feasibility: Not only provides theoretical results but also offers concrete computational methods and numerical verification.
- Cross-disciplinary Connection: Successfully connects algebraic geometry, representation theory, and combinatorics.
- High Technical Threshold: Requires deep background in algebraic geometry and representation theory, limiting the audience.
- Limited Application Scope: Primarily concentrated at the theoretical level; practical application value awaits further exploration.
- Incomplete Combinatorial Interpretation: While connections with Tamari lattices are established, combinatorial understanding of motive structure remains insufficient.
- Academic Value: Provides new research tools and perspectives for Kronecker moduli space theory.
- Methodological Contribution: Application of reflection functors in motive calculations may inspire related research.
- Cross-disciplinary Impact: May promote development of interdisciplinary research between algebraic geometry and combinatorics.
- Theoretical Research: Suitable for scholars studying quiver representation theory, moduli space geometry, and motive theory.
- Computational Applications: Provides tools for research requiring computation of specific moduli space invariants.
- Teaching Reference: Can serve as reference material for advanced graduate students learning modern algebraic geometry methods.
The paper cites important literature in the field, including:
- Rei03, Rei10, Rei11: Reineke's foundational work on quiver moduli space theory
- Wei13: Weist's important result on central slope Euler characteristic
- BMF+11: Key literature on generalized Tamari lattice theory
- ER08: Theoretical foundations of framed moduli spaces
- Dre87, Dre88: Classical results on Kronecker moduli space duality
These references form the solid theoretical foundation for this paper's research.