Showing 1–2 of 2 results for author: Mériaux, A
-
Admissible Diagrams in U_{q}^{w}(g) and Combinatoric Properties of Weyl Groups
Authors:
Antoine Mériaux,
Gérard Cauchon
Abstract:
Consider a complex simple Lie algebra g of rank n. Denote by Πa system of simple roots, by W the corresponding Weyl group, consider a reduced expression w = s_{α_{1}} ... s_{α_{t}} (each α_{i} in Π) of some w \in W and call diagram any subset of {1, ..., t}. We denote by U_{q}^{w}(g) the "quantum nilpotent" algebra defined by J. C. Jantzen. We prove (theorem 5.3. 1) that the positive diagrams na…
▽ More
Consider a complex simple Lie algebra g of rank n. Denote by Πa system of simple roots, by W the corresponding Weyl group, consider a reduced expression w = s_{α_{1}} ... s_{α_{t}} (each α_{i} in Π) of some w \in W and call diagram any subset of {1, ..., t}. We denote by U_{q}^{w}(g) the "quantum nilpotent" algebra defined by J. C. Jantzen. We prove (theorem 5.3. 1) that the positive diagrams naturally associated with the positive subexpressions (of the reduced expression of w) in the sense of R. Marsh and K. Rietsch, coincide with the admissible diagrams constructed by G. Cauchon which describe the natural stratification of Spec(U_{q}^{w}(g)). If the Lie algebra g is of type A_{n} and w is choosen in order that U_{q}^{w}(g) is the quantum matrices algebra O_{q}(M_{p,m}(k)) with m = n-p+1 (see section 2.1), then the admissible diagrams are known (G. Cauchon) to be the Le - diagrams in the sense of A. Postnikov . In this particular case, the equality of Le - diagrams and positive subexpressions (of the reduced expression of w) have also been proved (with quite different methods) by A. Postnikov and by T. Lam and L. Williams.
△ Less
Submitted 4 February, 2009;
originally announced February 2009.
-
Cauchon diagrams for quantized enveloping algebras
Authors:
Antoine Mériaux
Abstract:
Let $\mathfrak{g}$ be a finite dimensional complex simple Lie algebra, $\mathbb{K}$ a commutative field and $q$ a nonzero element of $\mathbb{K}$ which is not a root of unity. To each reduced decomposition of the longest element $w_0$ of the Weyl group $W$ corresponds a PBW basis of the quantised enveloping algebra $\mathcal{U}_q^+(\mathfrak{g})$, and one can apply the theory of deleting-derivat…
▽ More
Let $\mathfrak{g}$ be a finite dimensional complex simple Lie algebra, $\mathbb{K}$ a commutative field and $q$ a nonzero element of $\mathbb{K}$ which is not a root of unity. To each reduced decomposition of the longest element $w_0$ of the Weyl group $W$ corresponds a PBW basis of the quantised enveloping algebra $\mathcal{U}_q^+(\mathfrak{g})$, and one can apply the theory of deleting-derivation to this iterated Ore extension. In particular, for each decomposition of $w_0$, this theory constructs a bijection between the set of prime ideals in $\mathcal{U}_q^+(\mathfrak{g})$ that are invariant under a natural torus action and certain combinatorial objects called Cauchon diagrams. In this paper, we give an algorithmic description of these Cauchon diagrams when the chosen reduced decomposition of $w_0$ corresponds to a good ordering (in the sense of Lusztig \cite{Lu2}) of the set of positive roots. This algorithmic description is based on the constraints that are coming from Lusztig's admissible planes \cite{Lu2}: each admissible plane leads to a set of constraints that a diagram has to satisfy to be Cauchon. Moreover, we explicitely describe the set of Cauchon diagrams for explicit reduced decomposition of $w_0$ in each possible type. In any case, we check that the number of Cauchon diagrams is always equal to the cardinal of $W$. In \cite{CM}, we use these results to prove that Cauchon diagrams correspond canonically to the positive subexpressions of $w_0$. So the results of this paper also give an algorithmic description of the positive subexpressions of any reduced decomposition of $w_0$ corresponding to a good ordering.
△ Less
Submitted 10 February, 2009; v1 submitted 7 July, 2008;
originally announced July 2008.
