Overview
In a study focusing on connected quivers of tame type, researchers investigated the intersection cohomology complexes that appear as Lusztig sheaves in the geometric construction of quantized affine algebras. The work analyzes the restriction of these perverse sheaves to specific locally closed strata in the representation category of the quiver, proving pointwise purity on designated loci and establishing a semisimple decomposition over larger strata. Furthermore, the analysis accounts for the relationship between the canonical basis and the Poincaré–Birkhoff–Witt (PBW) basis, providing a geometric derivation for the positivity of their transition coefficients and the unitriangular structure of the transition matrix.
Research Context
Let $Q$ denote a connected quiver of tame type, and let $U_v^-$ represent the positive part of the corresponding quantized affine algebra. Under George Lusztig's geometric framework for constructing the canonical basis of $U_v^-$, the simple perverse sheaves that appear, up to shift, as direct summands of flag sheaf complexes are realized as intersection cohomology complexes of the form $\operatorname{IC}(X(c,m),\mathcal{L}_{\chi})$.
Understanding the internal structure of these intersection cohomology complexes requires examining how they behave when restricted across the stratified representation space $\operatorname{rep} Q$, specifically on subsets defined by the standard decomposition of tame quiver representations.
Approach
The research examines the restrictions of the complexes $\operatorname{IC}(X(c,m),\mathcal{L}_{\chi})$ to locally closed subsets, designated as $Y(c,m)$. These subsets are formed by fixing the following three components within the module category $\operatorname{rep} Q$:
- The preprojective summands,
- The non-homogeneous regular summands,
- The preinjective summands.
The geometric analysis centers on the behavior of the sheaves along the remaining homogeneous regular component, specifically examining loci where this component decomposes into a direct sum of pairwise non-isomorphic quasi-simple modules.
Findings
The study establishes two central structural results for the restricted intersection cohomology complexes:
- Pointwise purity: The authors prove pointwise purity on the loci where the homogeneous regular part consists of a direct sum of pairwise non-isomorphic quasi-simple modules.
- Semisimple decomposition: A semisimple decomposition is established for the restrictions of the intersection cohomology complexes to the corresponding larger strata.
Additionally, the investigation evaluates the graded multiplicities of the local systems associated with irreducible characters of symmetric groups. The study demonstrates that these graded multiplicities directly determine the transition coefficients required to pass from the canonical basis to the PBW basis constructed via quiver representations.
Why This Matters
The identified relationship between graded multiplicities of local systems and basis coefficients resolves a fundamental structural question in quantum group theory: it provides a concrete geometric explanation for why the transition coefficients between the canonical basis and the quiver-theoretic PBW basis are positive, as well as why the corresponding transition matrix is unitriangular.