An algebraic-geometric parametrization of the canonical basis (Q1921272): Difference between revisions

The summary of the author leaves nothing to do. ``One of the observations of \textit{G. Lusztig} [Prog. Math. 123, 531-568 (1994; Zbl 0845.20034)] has been that the canonical basis [\textit{G. Lusztig}, J. Am. Math. Soc. 3, 447-498 (1990; Zbl 0703.17008)] of the + part of a quantized enveloping algebra attached to a Cartan matrix of finite type is naturally in bijection with a collection of subsets of the set ``totally positive'' elements in \(G(R((\varepsilon)))\), where \(G\) is a semisimple simply connected algebraic group attached to the dual Cartan matrix and \(\varepsilon\) is an indeterminate [see also \textit{G. Lusztig}, Total positivity and canonical bases, in ``Algebraic groups and related subjects'', Cambridge Univ. Press (Cambridge, 1997)]. This collection of subsets is not defined in algebraic-geometric terms since its definition involves positive real numbers. This paper arose from the desire to replace this collection of subsets by some algebraic-geometric objects which make sense over any field and still are in bijection with the canonical basis. For simplicity we will restrict ourselves to the simply laced case. (The general case can be easily reduced to it.) We replace \(G(R((\varepsilon)))\) by \(G_s= G(C[[\varepsilon]]/ \varepsilon^sC[[\varepsilon]])\) where \(s\) is some large integer; this is regarded as an algebraic group over \(C\) of dimension \(s\dim G\). We replace the collections of subsets above by a finite collection of closed, irreducible algebraic subvarieties of \(G_s\). This collection of subvarieties of \(G_s\) is naturally in bijection with a large subset of the canonical basis which becomes the entire canonical basis as \(s\to\infty\). The bijection is established at the combinatorial level. I do not know how to relate directly the canonical basis with the subvarieties above''.