×

Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\). (English) Zbl 1232.17023

Let \(\text{sl}_2(\mathbb C)\) be the Lie algebra of \(2 \times 2\) traceless matrices with entries in the complex field \(\mathbb C\) and let \(U\) denote its universal enveloping algebra. Recall that an exponential map \(exp\) can be defined on the matrix rings \(M_{\lambda + 1}({\mathbb C})\) (with \(\lambda\) a non-negative integer) in terms of power series, taking any matrix \(A\) into \(\exp(A)= \sum_{k=0}^{ \infty} {{A^k} \over {k!}}\). Using this and the universal property of \(U\), the authors introduce a sequence of exponential maps indexed by \(\lambda\) from \(U\) to \(\text{GL}_{\lambda + 1}(\mathbb C)\). Various properties of these maps are studied, and elements in their kernels and images are explicitly calculated.
Then it is proved that, for every non-principal ultrafilter \(F\) on \(\omega\), \(U\) embeds into the corresponding ultraproduct \(\prod_F M_{\lambda + 1} ({\mathbb C})\), which leads to define a new natural exponential map \(\text{EXP}\) from \(U\) to \(\prod_F \text{GL}_{\lambda +1} (\mathbb C)\). It is shown that this equips \(U\) with the structure of a (non-commutative) exponential ring. Moreover part of the kernel of \(EXP\) is again explicitly calculated. The function \(\text{EXP}\) is also compared with another exponential map, defined by Serre in the completion \(\hat{U}\) of \(U\) on the ideal of \(\hat{U}\) generated by the (standard) generators of \(U\).
A suitable norm in \(\prod_F M_{\lambda +1} (\mathbb C)\) (taking its values in a non-standard ultrapower of the real field) endows \(U\) with a natural topology, which, together with the corresponding topology on the ultraproduct of the \(\text{GL}_{\lambda + 1}(\mathbb C)\), makes \(\text{EXP}\) a continuous map and the subgroup generated by \(\text{EXP}(U)\) a topological group.
Finally, by using another norm on the various \(M_{\lambda + 1}(\mathbb C)\), the asymptotic cone relative to that norm and again non-principal ultrafilters, the authors embed \(U\) in a complete metric space, on which \(U\) has a faithful continuous action.

MSC:

17B35 Universal enveloping (super)algebras
03C60 Model-theoretic algebra
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Baker, A., Matrix Groups: An introduction to Lie Group Theory (2002), Springer-Verlag · Zbl 1009.22001
[2] Chang, C. C.; Keisler, H. J., Model Theory (1973), North-Holland: North-Holland Amsterdam · Zbl 0276.02032
[3] de Cornulier, Y., Dimension of asymptotic cones of Lie Groups, Journal of Topology, 1, 342-361 (2008) · Zbl 1157.22003
[4] Dixmier, J., Enveloping Algebras (1977), North Holland · Zbl 0366.17007
[5] Erdmann, K.; Wildon, M., (Introduction to Lie Algebras. Introduction to Lie Algebras, SUMS series (2006), Springer) · Zbl 1139.17001
[6] Eršov, Ju. L., New examples of undecidable theories, Algebra i Logika Sem., 5, 5, 37-47 (1966), (in Russian)
[7] Herzog, I., The pseudo-finite dimensional representations of \(s l(2, k)\), Selecta Mathematica, 7, 241-290 (2001) · Zbl 1084.17004
[8] Herzog, I.; L’Innocente, S., The nonstandard quantum plane, Annals of Pure and Applied Logic, 156, 1, 78-85 (2008) · Zbl 1158.03021
[9] Horn, R. A.; Johnson, C. R., Topics in Matrix Analysis (1994), Cambridge University Press · Zbl 0801.15001
[10] Humphreys, J., (Introduction to Lie Algebras and Representation Theory. Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics, vol. 9 (1970), Springer) · Zbl 0254.17004
[11] Jacobson, N., Structure of Rings (1964), American Mathematical Society Colloquium Publications, p. 37
[12] Kramer, L.; Tent, K., Asymptotic cones and ultrapowers of Lie groups, The Bulletin of Symbolic Logic, 10, 2, 175-185 (2004) · Zbl 1067.03073
[13] L’Innocente, S.; Macintyre, A., Towards decidability of the theory of pseudo-finite dimensional representations of \(s l_2 k; I\), (Ehrenfeucht, A.; Marek, V. W.; Srebrny, M., Andrzej Mostowski and Foundational Studies (2007), IOS Press), 235-260 · Zbl 1148.03006
[14] L’Innocente, S.; Prest, M., Rings of definable scalars of Verma modules, Journal of Algebra and its applications, 6, 5, 779-787 (2007) · Zbl 1152.03026
[15] Macintyre, A., Model theory of exponentials on Lie Algebras, Mathematical Structures in Computer Science, 18, 189-204 (2008) · Zbl 1138.03030
[16] Rossmann, W., Lie Groups: An Introduction through Linear Groups (2002), Oxford University Press · Zbl 0989.22001
[17] Serre, J. P., (Lie Algebras and Lie Groups: 1964 Lectures Given at Harvard University. Lie Algebras and Lie Groups: 1964 Lectures Given at Harvard University, LNM, vol. 1500 (1992)) · Zbl 0742.17008
[18] van den Dries, L., Exponential rings, exponential polynomials and exponential functions, Pacific Journal of Mathematics, 113, 1, 51-66 (1984) · Zbl 0603.13019
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.