Parametrizations of infinite biconvex sets in affine root systems.

From MaRDI portal
Publication:2493356



Abstract: We investigate in detail relationships between the set mathfrakBinfty of all infinite ``biconvex sets in the positive root system Delta+ of an arbitrary untwisted affine Lie algebra mathfrakg and the set mathcalWinfty of all infinite ``reduced word of the Weyl group of mathfrakg. The study is applied to the classification of ``convex orders on Delta+ (cf. cite{kI}), which are indispensable to construct ``convex bases of Poincar'e-Birkhoff-Witt type of the upper triangular subalgebra Uq+ of the quantized universal enveloping algebra Uq(mathfrakg). We construct a set by using data of the underlying finite-dimensional simple Lie algebra, and bijective mappings and such that abla=varPhiinftycircchi, where Winfty is an quotient set of mathcalWinfty and varPhiinftycolonWinftyomathfrakBinfty is a natural injective mapping.


Let \(\Delta\) be the root system of a Kac-Moody Lie algebra \(\mathfrak g\), \(\Delta_+\) the set of all positive roots relative to the root basis \(\Pi=\{\alpha_i\mid i\in{\mathbf I}\}\), and \(W=\langle s_i\mid i\in{\mathbf I}\rangle\) the Weyl group of \(\mathfrak g\), where \(s_i\) is the reflection associated with \(\alpha_i\). We call a subset \(B\subset\Delta_+\) a biconvex set if it satisfies the following conditions: (i) \(\beta,\gamma\in B\), \(\beta+\gamma\in\Delta_+\Rightarrow\beta+\gamma\in B\); (ii) \(\beta,\gamma\in\Delta_+\setminus B\), \(\beta+\gamma\in\Delta_+\Rightarrow\beta+\gamma\in\Delta_+\setminus B\). In this paper, the author investigates in detail relationships between infinite reduced words and infinite real biconvex sets in the case where \(\mathfrak g\) is an arbitrary untwisted affine Lie algebra. The study is applied to the classification of ``convex orders on \(\Delta_+\), which is indispensable to construct ``convex bases of Poincaré-Birkhoff-Witt type of the strictly upper-triangular subalgebra \(U^+_q\) of the quantized universal enveloping algebra \(U_q(\mathfrak g)\).











This page was built for publication: Parametrizations of infinite biconvex sets in affine root systems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2493356)