Related papers: Canonical bases and quiver varieties
In this largely expository article we present an elementary construction of Lusztig's canonical basis in type ADE. The method, which is essentially Lusztig's original approach, is to use the braid group to reduce to rank two calculations.…
We investigate the affine canonical basis and the monomial basis constructed in [LXZ] in Lusztig's geometric setting. We show that the transition matrix between the two bases is upper triangular with 1's in the diagonal and coefficients in…
The canonical basis for quantized universal enveloping algebras associated to the finite--dimensional simple Lie algebras, was introduced by Lusztig. The principal technique is the explicit construction (via the braid group action) of a…
We construct bar-invariant $\mathbb{Z}[q^{\pm 1/2}]-$bases of the quantum cluster algebra of the Kronecker quiver which are quantum analogues of the canonical basis, semicanonical basis and dual semicanonical basis of the cluster algebra of…
Given a quantum group, we prove that the canonical bases of the tensor products of its integrable highest weight modules can be obtained from the canonical bases of the integrable highest weight modules of a bigger quantum group. As a…
We show that minimal models of log canonical pairs exist, assuming the existence of minimal models of smooth varieties.
In this article we define a generalization of Lusztig Lagrangian varieties in the case of arbitrary quivers, possibly carrying loops. As opposed to the Lagrangian varieties constructed by Lusztig, which consisted in nilpotent…
Let $\textbf{U}^+$ be the positive part of the quantum group $\textbf{U}$ associated with a generalized Cartan matrix. In the case of finite type, Lusztig constructed the canonical basis $\textbf{B}$ of $\textbf{U}^+$ via two approaches.…
We prove a formula relating the fermionic forms and the Poincare polynomials of quiver varieties associated to a finite quiver. Applied to quivers of type ADE, our result implies a version of the fermionic conjecture of Lusztig.
We give a systematic description of many monomial bases for a given quantized enveloping algebra and of many integral monomial bases for the associated Lusztig $\mathbb Z[v,v^{-1}]$-form. The relations between monomial bases, PBW bases and…
We develop a general theory of canonical bases for quantum symmetric pairs $(\mathbf{U}, \mathbf{U}^\imath)$ with parameters of arbitrary finite type. We construct new canonical bases for the simple integrable $\mathbf{U}$-modules and their…
We prove that the canonical ring of a canonical variety in the sense of de Fernex and Hacon is finitely generated. We prove that canonical varieties are klt if and only if R(-K_X) is finitely generated. We introduce a notion of nefness for…
We study the canonical basis for the negative part of the quantum generalized Kac-Moody algebra associated to a symmetric Borcherds-Cartan matrix. The algebras associated to two different matrices satisfying certain conditions may coincide.…
We define canonical bases of the higher-level q-deformed Fock space modules of the affine Lie algebra sl(n)^. This generalizes the result of Leclerc and Thibon for the case of level 1. We express the transition matrices between the…
We survey some recent developments on the theory of dual canonical bases for quantum groups and $\imath$quantum groups. The $\imath$quiver algebras were introduced by Wang and the first author, which are used to give two realizations of…
In [Tame_quivers_and_affine_bases_I], we give a Ringel-Hall algebra approach to the canonical bases in the symmetric affine cases. In this paper, we extend the results to general symmetrizable affine cases by using Ringel-Hall algebras of…
In the present article, a basis of the coordinate algebra of the multi-parameter quantized matrix is constructed by using an elementary method due to Lusztig. The construction depends heavily on an anti-automorphism, the bar action. The…
In this paper, the singular Ringel-Hall algebra for a tame quiver is introduced and shown to be isomorphic to the positive part of the quantum extended Kac-Moody algebra. A PBW basis is constructed and a new class of perverse sheaves is…
We relate quantum degree cones, parametrizing PBW degenerations of quantized enveloping algebras, to (negative tight monomial) cones introduced by Lusztig in the study of monomials in canonical bases, to K-theoretic cones for quiver…
Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable.…