Affine quivers and canonical bases (Q1802681): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Indecomposable representations of graphs and algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4058711 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The construction of ALE spaces as hyper-Kähler quotients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quivers, Perverse Sheaves, and Quantized Enveloping Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3897070 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4052279 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representations of K-species and bimodules / rank | |||
Normal rank |
Latest revision as of 17:19, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Affine quivers and canonical bases |
scientific article |
Statements
Affine quivers and canonical bases (English)
0 references
5 December 1993
0 references
Let \(U\) be the quantized enveloping algebra, and \(U=U^ +\otimes U^ \circ\otimes U^ -\) its triangular decomposition. The author gave a purely geometric construction of \(U^ \leq=U^ \circ\otimes U^ -\) in terms of perverse sheaves on moduli space of representations of a quiver; and described a canonical basis of \(U^ -\) with very favourable properties in [J. Am. Math. Soc. 4, 365-421 (1991; Zbl 0738.17011)]. According to \textit{J. McKay} [Proc. Symp. Pure Math. 37, 183-186 (1980; Zbl 0451.05026)], there is a natural \(1\)-\(1\) correspondence between symmetric affine Cartan matrices and finite subgroups \(\Gamma\) of \(SL(\rho)\), where \(\rho\) is a two-dimensional \(\mathbb{C}\)-vector space. In this paper, the author gives a description of the simple perverse sheaves in concrete terms which form the canonical basis in the affine case, and he shows in this case that the construction of \(U^ \leq\) can be reformulated in terms of the corresponding finite group \(\Gamma\) of \(SL(\rho)\). Thus, in the affine case, \(U^ \leq\) (and hence, \(U\)) are constructed directly in terms of \(\Gamma\). If one replaces \(\Gamma\) by a closed reductive infinite subgroup of \(SL(\rho)\), then one gets an infinite graph: of type \(A\) (infinite in both directions), of type \(B\) (infinite in one direction, finite in the other) or type \(D\), and then the finite case can be extended in an obvious way to the infinite case, and the infinite case is actually simpler.
0 references
affine Coxeter graph
0 references
quantized enveloping algebra
0 references
simple perverse sheaves
0 references
canonical basis
0 references