pith. sign in

arxiv: 2606.19708 · v1 · pith:MALC6IFXnew · submitted 2026-06-18 · 🧮 math.QA · math.RT

Geometric realization of affine bases: the Kronecker quiver case

Yumeng Wu , Jie Xiao This is my paper

Pith reviewed 2026-06-26 15:28 UTC · model grok-4.3

classification 🧮 math.QA math.RT
keywords Kronecker quiverPBW basiscanonical basisquantized enveloping algebraperverse sheavestransition matrixflag sheaf complexesrepresentation varieties
0
0 comments X

The pith

Flag sheaf complexes on representation strata realize PBW basis elements for the Kronecker quiver and show the transition to the canonical basis is upper triangular with diagonal 1.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs geometric realizations of PBW basis elements in the negative part of the quantized enveloping algebra for the Kronecker quiver by means of flag sheaf complexes over the strata X(α,m) of representation varieties. It gives a geometric description of the simple constituents that appear when these complexes are restricted to the strata, allowing direct comparison with the simple perverse sheaves IC(X(α),L_χ) that define Lusztig's canonical basis. Combined with a purity result for the F_q-structures, this yields another proof that the canonical basis elements span the composition algebra and makes the change-of-basis coefficients explicit as multiplicities of local systems in the restrictions of intersection cohomology complexes to smaller strata. A reader would care because the algebraic transition between two bases is thereby reduced to a geometric counting problem whose coefficients have an immediate interpretation in terms of sheaf data.

Core claim

By realizing PBW basis elements via flag sheaf complexes over the strata X(α,m) and describing the simple constituents of their restrictions, the paper compares these complexes with Lusztig's simple perverse sheaves IC(X(α),L_χ). This comparison, together with purity, shows that the transition matrix from the canonical basis to the PBW basis is upper triangular with diagonal entries equal to 1 and that the coefficients are the multiplicities of local systems appearing in the restrictions of the intersection cohomology complexes to smaller strata; in the Kronecker case the same argument recovers the triangularity and the positivity of the coefficient polynomials.

What carries the argument

Flag sheaf complexes over the strata X(α,m) of representation varieties, whose restrictions yield simple constituents that are compared to the simple perverse sheaves IC(X(α),L_χ).

If this is right

  • The elements defined by Lusztig's perverse sheaves form a basis of the composition algebra.
  • The transition matrix from the canonical basis to the PBW basis is upper triangular with ones on the diagonal.
  • The transition coefficients admit a direct geometric interpretation as multiplicities of local systems in restrictions of intersection cohomology complexes.
  • The coefficient polynomials satisfy positivity properties in the Kronecker quiver case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same flag-complex construction might be tried on other affine quivers to test whether the triangularity and geometric coefficient interpretation persist.
  • The local-system multiplicities may correspond to known combinatorial counts attached to representations of the Kronecker quiver.
  • Explicit low-dimensional computations of these multiplicities could produce new tables of basis-change polynomials for small rank cases.

Load-bearing premise

The geometric description of the simple constituents appearing in the restrictions of the flag sheaf complexes to the strata X(α,m) is accurate and sufficient to identify them with the simple perverse sheaves.

What would settle it

An explicit calculation for some dimension vector α and integer m in which the multiplicity of a local system in the restriction of a flag sheaf complex fails to equal the corresponding entry of the transition matrix between the two bases.

read the original abstract

In this paper, we study the transition matrix between the PBW basis and the canonical basis for the negative part of the quantized enveloping algebra of the Kronecker quiver from a geometric viewpoint. Building on Lusztig's geometric construction of the canonical basis, we construct sheaf-complex realizations of PBW basis elements by means of flag sheaf complexes over the strata $X(\alpha,m)$ of representation varieties. Our first goal is to give a geometric description of the simple constituents appearing in the restrictions of these flag sheaf complexes to the strata $X(\alpha,m)$. This allows us to compare the PBW-type sheaf complexes with the simple perverse sheaves $IC(X(\alpha),L_\chi)$ arising in Lusztig's construction. Using this description together with a purity result for the relevant $\mathbb{F}_q$-structures, we obtain another proof that the elements defined by Lusztig's perverse sheaves indeed form a basis of the composition algebra.Our second goal is to make the transition coefficients between the PBW basis and the canonical basis geometrically explicit. More precisely, we show that these coefficients are governed by the multiplicities of local systems in the restrictions of intersection cohomology complexes to smaller strata. As a consequence, the transition matrix from the canonical basis to the PBW basis is upper triangular with diagonal entries equal to $1$, and its coefficients admit a direct geometric interpretation. In particular, in the Kronecker quiver case we recover the triangularity of the transition matrix and obtain positivity properties of the corresponding coefficient polynomials.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims to study the transition matrix between the PBW basis and the canonical basis for the negative part of the quantized enveloping algebra of the Kronecker quiver from a geometric viewpoint. It constructs flag sheaf complexes realizing PBW basis elements over strata X(α,m) of representation varieties, gives a geometric description of the simple constituents in their restrictions to these strata, compares them to Lusztig's simple perverse sheaves IC(X(α),L_χ), and applies a purity result on F_q-structures to prove that Lusztig's sheaves form a basis of the composition algebra. It further shows that the transition coefficients are governed by multiplicities of local systems in restrictions of intersection cohomology complexes to smaller strata, implying that the transition matrix from the canonical basis to the PBW basis is upper triangular with 1's on the diagonal and that the coefficients admit a direct geometric interpretation, recovering triangularity and positivity in this case.

Significance. If the geometric descriptions and comparisons hold, the work supplies an alternative proof of the basis property for Lusztig's perverse sheaves together with an explicit geometric interpretation of the transition coefficients. This would be a useful contribution to the geometric study of canonical and PBW bases for quiver representations, particularly in the affine Kronecker case where positivity properties are recovered.

major comments (2)
  1. [Geometric description of constituents and comparison with IC sheaves] The central claims rest on an explicit geometric description of the simple constituents of the restrictions of the flag sheaf complexes to each stratum X(α,m) and a direct comparison of those constituents with the simple perverse sheaves IC(X(α),L_χ). The manuscript must supply concrete calculations or low-dimensional examples verifying that all multiplicities and extensions are accounted for; without this the comparison step (and therefore both the basis proof and the claimed geometric interpretation of the coefficients) cannot be independently confirmed.
  2. [Purity result and transition matrix] The application of the purity result for the relevant F_q-structures to conclude that Lusztig's sheaves form a basis and that the transition matrix is upper triangular with diagonal 1's depends on the completeness of the preceding comparison. Any omission of local systems supported on smaller strata would invalidate the triangularity claim and the geometric interpretation of the coefficients.
minor comments (2)
  1. The abstract refers to 'another proof' of the basis property; a brief comparison with prior geometric approaches (e.g., those using Hall algebras or other sheaf constructions) would help situate the contribution.
  2. Notation for the strata X(α,m), the local systems L_χ, and the flag sheaf complexes should be introduced with a short table or diagram early in the paper to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for explicit verification of the geometric comparisons. We address the two major comments below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Geometric description of constituents and comparison with IC sheaves] The central claims rest on an explicit geometric description of the simple constituents of the restrictions of the flag sheaf complexes to each stratum X(α,m) and a direct comparison of those constituents with the simple perverse sheaves IC(X(α),L_χ). The manuscript must supply concrete calculations or low-dimensional examples verifying that all multiplicities and extensions are accounted for; without this the comparison step (and therefore both the basis proof and the claimed geometric interpretation of the coefficients) cannot be independently confirmed.

    Authors: We agree that low-dimensional examples would strengthen independent verification of the multiplicities and the comparison between flag sheaf constituents and Lusztig's IC sheaves. The general geometric description in the manuscript is exhaustive, but we will add a new subsection with explicit calculations for small dimension vectors (e.g., α = (1,1) and α = (2,1)) that compute the restrictions, list all simple constituents with their multiplicities, and confirm the matching with IC(X(α),L_χ), including extensions. revision: yes

  2. Referee: [Purity result and transition matrix] The application of the purity result for the relevant F_q-structures to conclude that Lusztig's sheaves form a basis and that the transition matrix is upper triangular with diagonal 1's depends on the completeness of the preceding comparison. Any omission of local systems supported on smaller strata would invalidate the triangularity claim and the geometric interpretation of the coefficients.

    Authors: The comparison established in the paper accounts for all local systems, including those supported on smaller strata, via the explicit description of constituents in the restrictions. The purity argument then yields the basis property and triangularity with diagonal 1's. The added examples will also explicitly compute the transition coefficients in low dimensions to illustrate the geometric interpretation and confirm the upper-triangular form. revision: yes

Circularity Check

0 steps flagged

No circularity: geometric constructions and comparisons are independent of the target basis properties.

full rationale

The paper constructs flag sheaf complexes on representation varieties of the Kronecker quiver, describes their restrictions to strata X(α,m), and compares the resulting simple constituents to Lusztig's IC(X(α),L_χ) sheaves using standard properties of perverse sheaves and a purity result on F_q-structures. These steps rely on external geometric machinery and Lusztig's prior construction rather than self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The upper-triangular transition matrix with 1's on the diagonal follows from explicit multiplicity counts in the restrictions, which constitute new geometric content rather than a tautological renaming or reduction to inputs by construction. No enumerated circularity pattern applies.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard results from geometric representation theory (perverse sheaves, intersection cohomology, purity over finite fields) without introducing new free parameters or postulated entities.

axioms (1)
  • standard math Standard properties of intersection cohomology complexes and purity theorems for F_q-structures on representation varieties hold and apply to the strata X(α,m).
    Invoked to obtain the basis property and triangularity from the geometric comparison.

pith-pipeline@v0.9.1-grok · 5801 in / 1367 out tokens · 25277 ms · 2026-06-26T15:28:56.760903+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 2 linked inside Pith

  1. [1]

    P. N. Achar.Perverse sheaves and applications to representation theory, volume 258 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2021

    2021

  2. [2]

    Beck and H

    J. Beck and H. Nakajima. Crystal bases and two-sided cells of quantum affine algebras.Duke Mathematical Journal, 123(2):335–402, 2002

    2002

  3. [3]

    A. A. Be˘ ılinson, J. Bernstein, and P. Deligne. Faisceaux pervers. InAnalysis and topology on singular spaces, I (Luminy, 1981), volume 100 ofAst´ erisque, pages 5–171. Soc. Math. France, Paris, 1982

    1981

  4. [4]

    Brundan, A

    J. Brundan, A. Kleshchev, and P. J. McNamara. Homological properties of finite-type Kho- vanov–Lauda–Rouquier algebras.Duke Mathematical Journal, 163(7):1353 – 1404, 2014

    2014

  5. [5]

    Concini, G

    C. Concini, G. Lusztig, and C. Procesi. Homology of the Zero-Set of a Nilpotent Vector Field on a Flag Manifold. J. Amer. Math. Soc., 1:15–34, 01 1988

    1988

  6. [6]

    P. Deligne. La conjecture de Weil : II.Math´ ematiques de l’IH ´ES, 52:137–252, 1980

    1980

  7. [7]

    Jouanolou

    J. Jouanolou. Cohomologie de quelques schemas classiques et theorie cohomologique des classes de chern.In: Illusie, L. (eds) S´ eminaire de G´ eom´ etrie Alg´ ebrique du Bois-Marie 1965–66 SGA 5. Lecture Notes in Mathe- matics., 589

    1965

  8. [8]

    S. Kato. Poincar´ e–Birkhoff–Witt bases and Khovanov–Lauda–Rouquier algebras.Duke Mathematical Journal, 163(3):619 – 663, 2014

    2014

  9. [9]

    S. Kato. An algebraic study of extension algebras.American Journal of Mathematics, 139(3):567–615, 2017

    2017

  10. [10]

    Y. Lan, Y. Wu, and J. Xiao. Structure coefficients for quantum groups, 2025. arXiv 2510.25575

    arXiv 2025

  11. [11]

    Laszlo and M

    Y. Laszlo and M. Olsson. Perverse t-structure on Artin stacks.Mathematische Zeitschrift, 261(4):737–748, 2009

    2009

  12. [12]

    Y. Li. Notes on affine canonical and monomial bases, 2007. arXiv 0610449

    2007

  13. [13]

    Li and Z

    Y. Li and Z. Lin. AR-quiver approach to affine canonical basis elements.Journal of Algebra, 318:562–588, 2006

    2006

  14. [14]

    Z. Lin, J. Xiao, and G. Zhang. Representations of Tame Quivers and Affine Canonical Bases.Publ. Res. Inst. Math. Sci., 47(4):825–885, 2011

    2011

  15. [15]

    G. Lusztig. Canonical bases arising from quantized enveloping algebras.Journal of the American Mathematical Society, 3(2):447–498, 1990

    1990

  16. [16]

    G. Lusztig. Affine quivers and canonical bases.Publications Math´ ematiques de l’Institut des Hautes ´Etudes Scientifiques, 76(1):111–163, Dec 1992

    1992

  17. [17]

    Lusztig.Introduction to quantum groups, volume 110 ofProgress in Mathematics

    G. Lusztig.Introduction to quantum groups, volume 110 ofProgress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 1993

    1993

  18. [18]

    G. Lusztig. Canonical bases and Hall algebras. InRepresentation theories and algebraic geometry, pages 365–399. Springer, 1998

    1998

  19. [19]

    K. McGerty. The Kronecker quiver and bases of quantum affine sl2.Advances in Mathematics, 197(2):411–429, 2005

    2005

  20. [20]

    P. J. McNamara. Representations of Khovanov–Lauda–Rouquier algebras III: symmetric affine type.Mathema- tische Zeitschrift, 287(1):243–286, Oct 2017

    2017

  21. [21]

    J. S. Milne.Etale Cohomology (PMS-33). Princeton University Press, 1980

    1980

  22. [22]

    Mumford, J

    D. Mumford, J. Fogarty, and F. Kirwan. Geometric invariant theory.Springer Verlag Berlin New York, 1994

    1994

  23. [23]

    J. A. Sauter. Springer theory and the geometry of quiver flag varieties. University of Leeds, September 2013

    2013

  24. [24]

    Shoji and Z

    T. Shoji and Z. Zhou. Monomial bases and canonical bases for quantum affine algebras, 2026. arXiv 2605.14247

    Pith/arXiv arXiv 2026

  25. [25]

    Steinberg

    R. Steinberg. On the desingularization of the unipotent variety.Inventiones Mathematicae, 36(1):209–224, Dec 1976

    1976

  26. [26]

    S. Sun. Decomposition Theorem for Perverse sheaves on Artin stacks.Duke Mathematical Journal, 161, 09 2010. 42 YUMENG WU, JIE XIAO

    2010

  27. [27]

    A. Vistoli. Notes on Grothendieck topologies, fibered categories and descent theory, 2007. arXiv math/0412512

    Pith/arXiv arXiv 2007

  28. [28]

    J. Xiao, H. Xu, and M. Zhao. Tame quivers and affine bases I: A Hall algebra approach to the canonical bases. Journal of Algebra, 633:510–562, 2023

    2023

  29. [29]

    P. Zhang. PBW-basis for the composition algebra of the Kronecker algebra.Journal f¨ ur die reine und angewandte Mathematik, 2000(527):97–116, 2000. Beijing International Center for Mathematical Research, Beijing 100871, P. R. China Email address:2506397175@pku.edu.cn (Y. Wu) School of Mathematical Sciences, Beijing Normal University, Beijing 100875, P. R....

    2000