Presentation by Borel subalgebras and Chevalley generators for quantum enveloping algebras

We provide an alternative approach to the Faddeev-Reshetikhin-Takhtajan presentation of the quantum group U_q(g), with L-operators as generators and relations ruled by an R-matrix. We look at U_q(g) as being generated by the quantum Borel subalgebras U_q(b_+) and U_q(b_-), and we use the standard presentation of the latters as quantum function algebras. When g = gl(n) these Borel quantum function algebras are generated by the entries of a triangular q-matrix, thus eventually U_q(gl(n)) is generated by the entries of an upper triangular and a lower triangular q-matrix, which share the same diagonal. The same elements generate over the ring of Laurent polynomials the unrestricted integer form of U_q(gl(n)) of De Concini and Procesi, which we present explicitly, together with a neat description of the associated quantum Frobenius morphisms at roots of 1. All this holds, mutatis mutandis, for g = sl(n) too.Comment: AMS-TeX, 17 pages. Final version appeared in "Proceedings of the Edinburgh Mathematical Society

Geometrical Meaning of R-matrix Action for Quantum Groups at Roots of 1

The present work splits in two parts: first, we perform a straightforward generalization of results from [Re], proving autoquasitriangularity of quantum groups $U_q(\frak{g})$ and their unrestricted specializations at roots of 1, in particular the function algebra $F[H]$ of the Poisson group $H$ dual of $G$; second, as a main contribution, we prove the convergence of the (specialized) $R$--matrix action to a birational automorphism of a 2$\ell$--fold ramified covering of the specialization of $U_q(\frak{g})$ at a primitive $\ell$--th root of 1, and of a 2-fold ramified covering of $H$, thus giving a geometric content to the notion of triangularity (or autoquasitriangularity) for quantum groups.Comment: 23 pages, AMS-TeX C, Version 3.0; final author's version, as appeared in the printed pape

On the radical of Brauer algebras

The radical of the Brauer algebra B_f^x is known to be non-trivial when the parameter x is an integer subject to certain conditions (with respect to f). In these cases, we display a wide family of elements in the radical, which are explicitly described by means of the diagrams of the usual basis of B_f^x . The proof is by direct approach for x=0, and via classical Invariant Theory in the other cases, exploiting then the well-known representation of Brauer algebras as centralizer algebras of orthogonal or symplectic groups acting on tensor powers of their standard representation. This also gives a great part of the radical of the generic indecomposable B_f^x-modules. We conjecture that this part is indeed the whole radical in the case of modules, and it is the whole part in a suitable step of the standard filtration in the case of the algebra. As an application, we find some more precise results for the module of pointed chord diagrams, and for the Temperley-Lieb algebra - realised inside B_f^1 - acting on it.Comment: AMS-TeX file, 2 figures (in EPS format), 25 pages. This is the final version, to appear in "Mathematische Zeitschrift". Comparing to the previous one, it has been streamlined and shortened - yet the mathematical content stands the same. The list of references has been update

Duality functors for quantum groupoids

We present a formal algebraic language to deal with quantum deformations of Lie-Rinehart algebras - or Lie algebroids, in a geometrical setting. In particular, extending the ice-breaking ideas introduced by Xu in [Ping Xu, "Quantum groupoids", Comm. Math. Phys. 216 (2001), 539-581], we provide suitable notions of "quantum groupoids". For these objects, we detail somewhat in depth the formalism of linear duality; this yields several fundamental antiequivalences among (the categories of) the two basic kinds of "quantum groupoids". On the other hand, we develop a suitable version of a "quantum duality principle" for quantum groupoids, which extends the one for quantum groups - dealing with Hopf algebras - originally introduced by Drinfeld (cf. [V. G. Drinfeld, "Quantum groups", Proc. ICM (Berkeley, 1986), 1987, pp. 798-820], sec. 7) and later detailed in [F. Gavarini, "The quantum duality principle", Annales de l'Institut Fourier 53 (2002), 809-834].Comment: La-TeX file, 47 pages. Final version, after galley proofs correction, published in "Journal of Noncommutative Geometry". Compared with the previously posted version, we streamlined the whole presentation, we fixed a few details and we changed a bit the list of reference

A global quantum duality principle for subgroups and homogeneous spaces

For a complex or real algebraic group G, with g:=Lie(G), quantizations of global type are suitable Hopf algebras F_q[G] or U_q(g) over C[q,q^{-1}]. Any such quantization yields a structure of Poisson group on G, and one of Lie bialgebra on g : correspondingly, one has dual Poisson groups G^* and a dual Lie bialgebra g^*. In this context, we introduce suitable notions of quantum subgroup and of quantum homogeneous space, in three versions: weak, proper and strict (also called "flat" in the literature). The last two notions only apply to those subgroups which are coisotropic, and those homogeneous spaces which are Poisson quotients; the first one instead has no restrictions. The global quantum duality principle (GQDP) - cf. [F. Gavarini, "The global quantum duality principle", J. Reine Angew. Math. 612 (2007), 17-33] - associates with any global quantization of G, or of g, a global quantization of g^*, or of G^*. In this paper we present a similar GQDP for quantum subgroups or quantum homogeneous spaces. Roughly speaking, this associates with every quantum subgroup, resp. quantum homogeneous space, of G, a quantum homogeneous space, resp. a quantum subgroup, of G^*. The construction is tailored after four parallel paths - according to the different ways one has to algebraically describe a subgroup or a homogeneous space - and is "functorial", in a natural sense. Remarkably enough, the output of the constructions are always quantizations of proper type. More precisely, the output is related to the input as follows: the former is the coisotropic dual of the coisotropic interior of the latter - a fact that extends the occurrence of Poisson duality in the GQDP for quantum groups. Finally, when the input is a strict quantization then the output is strict too - so the special role of strict quantizations is respected. We end the paper with some examples and application.Comment: 43 pages, La-TeX file. Final version, published in "Documenta Mathematica

Algebraic supergroups of Cartan type

I present a construction of connected affine algebraic supergroups G_V associated with simple Lie superalgebras g of Cartan type and with g-modules V. Conversely, I prove that every connected affine algebraic supergroup whose tangent Lie superalgebra is of Cartan type is necessarily isomorphic to one of the supergroups G_V that I introduced. In particular, the supergroup constructed in this way associated with g := W(n) and its standard representation is described somewhat more in detail. In addition, *** an "Erratum" is added here *** after the main text to fix a mistake which was kindly pointed out to the author by prof. Masuoka after the paper was published: this "Erratum" is accepted for publication in "Forum Mathematicum", it appears here in its final form (but prior to proofreading). In it, I also explain more in detail the *Existence Theorem* for algebraic supergroups of Cartan type which comes out of the main result in the original paper.Comment: Main file: La-TeX file, 47 pages, already published (see below). Erratum: La-TeX file, 6 pages, to appear (see below). For the main file, the original publication is available at www.degruyter.com (cf. the journal reference here below

Dual Affine Quantum Groups

Let $\hat{\mathfrak{g}}$ be an untwisted affine Kac-Moody algebra, with its Sklyanin-Drinfel'd structure of Lie bialgebra, and let $\hat{\mathfrak{h}}$ be the dual Lie bialgebra. By dualizing the quantum double construction - via formal Hopf algebras - we construct a new quantum group $U_q(\hat{\mathfrak{h}})$, dual of $U_q(\hat{\mathfrak{g}})$. Studying its restricted and unrestricted integer forms and their specializations at roots of 1 (in particular, their classical limits), we prove that $U_q(\hat{\mathfrak{h}})$ yields quantizations of $\hat{\mathfrak{h}}$ and $\hat{G}^\infty$ (the formal group attached to $\hat{\mathfrak{g}}$), and we construct new quantum Frobenius morphisms. The whole picture extends to the untwisted affine case the results known for quantum groups of finite type.Comment: 36 pages, AMS-TeX file. This the author's final version, corresponding to the pronted journal version. arXiv admin note: text overlap with arXiv:q-alg/951102