Searcharxiv⌕ Search

arXiv subjects

Gastón Andrés García

Publications and source records attributed to Gastón Andrés García.

12 recordsLinked to original sources

Multiparameter Quantum Supergroups, Deformations and Specializations

In this paper we introduce a multiparameter version of the quantum universal enveloping superalgebras introduced by Yamane in [H. Yamane, "Quantized enveloping algebras associated to simple Lie superalgebras and their universal $R$-matrices", Publ. Res. Inst. Math. Sci. 30 (1994), no. 1, 15-87]. For these objects we consider: - (1) their deformations by twist and by 2-cocycle (both of "toral type"); in particular, we prove that this family is stable under both types of deformations; - (2) their semiclassical limits, which are multiparameter Lie superbialgebras; - (3) the deformations by twist and by 2-cocycle (of "toral type") of these multiparameter Lie superbialgebras: in particular, we prove that this family is stable under these deformations, and that "quantization commutes with deformation".

math.QA↗

Formal multiparameter quantum groups, deformations and specializations

We introduce the notion of formal multiparameter quantum universal enveloping algebras - in short FoMpQUEA - as a straightforward generalization of Drinfeld's quantum group. Then we show that the class of FoMpQUEA's is closed under deformations by ("toral") twists and deformations by ("toral") 2-cocycles: as a consequence, all "multiparameter formal QUEA's" considered so far are recovered, as falling within this class. In particular, we prove that any FoMpQUEA is isomorphic to a suitable deformation, by twist or by 2-cocycle, of Drinfeld's standard QUEA. We introduce also multiparameter Lie bialgebras (in short, MpLbA's), and we consider their deformations, by twist and by 2-cocycles. The semiclassical limit of every FoMpQUEA is a suitable MpLbA, and conversely each MpLbA can be quantized to a suitable FoMpQUEA. In the end, we prove that, roughly speaking, the two processes of "specialization" (of FoMpQUEA to a MpLbA) and of "deformation (by toral twist or toral 2-cocycle)" - at the level of FoMpQUEA's or of MpLbA's - do commute with each other.

math.QA↗

Multiparameter quantum groups at roots of unity

We address the study of multiparameter quamtum groups (=MpQG's) at roots of unity, namely quantum universal enveloping algebras $ U_{\boldsymbol{\rm q}}(\mathfrak{g}) $ depending on a matrix of parameters $ \boldsymbol{\rm q} = {\big( q_{ij} \big)}_{i, j \in I} \, $. This is performed via the construction of quantum root vectors and suitable "integral forms" of $ U_{\boldsymbol{\rm q}}(\mathfrak{g}) \, $, a \textsl{restricted one} - generated by quantum divided powers and quantum binomial coefficients - and an \textsl{unrestricted\/} one - where quantum root vectors are suitably renormalized. The specializations at roots of unity of either forms are the "MpQG's at roots of unity" we look for. In particular, we study special subalgebras and quotients of our MpQG's at roots of unity - namely, the multiparameter version of small quantum groups - and suitable associated quantum Frobenius morphisms, that link the MpQG's at roots of 1 with MpQG's at 1, the latter being classical Hopf algebras bearing a well precise Poisson-geometrical content. A key point in the discussion - often at the core of our strategy - is that every MpQG is actually a 2-cocycle deformation of the algebra structure of (a lift of) the "canonical" one-parameter quantum group by Jimbo-Lusztig, so that we can often rely on already established results available for the latter. On the other hand, depending on the chosen multiparameter $ \boldsymbol{\rm q} $ our quantum groups yield (through the choice of integral forms and their specialization) different semiclassical structures, namely different Lie coalgebra structures and Poisson structures on the Lie algebra and algebraic group underlying the canonical one-parameter quantum group.

math.QA↗

Twisted deformations vs. cocycle deformations for quantum groups

In this paper we study two deformation procedures for quantum groups: deformations by twists, that we call "comultiplication twisting", as they modify the coalgebra structure, while keeping the algebra one -- and deformations by 2-cocycle, that we call "multiplication twisting", as they deform the algebra structure, but save the coalgebra one. We deal with quantum universal enveloping algebras, in short QUEA's, for which we accordingly consider those arising from twisted deformations (in short TwQUEA's) and those arising from 2-cocycle deformations, usually called multiparameter QUEA's (in short MpQUEA's). Up to technicalities, we show that the two deformation methods are equivalent, in that they eventually provide isomorphic outputs, which are deformations (of either kinds) of the "canonical", well-known one-parameter QUEA by Jimbo and Lusztig. It follows that the two notions of TwQUEA's and of MpQUEA's -- which, in Hopf algebra theoretical terms are naturally dual to each other -- actually coincide; thus, that there exists in fact only one type of "pluriparametric deformation" for QUEA's. In particular, the link between the realization of any such QUEA as a MpQUEA and that as a TwQUEA is just a (very simple, and rather explicit) change of presentation.

math.QA↗

Quantum group deformations and quantum $ R $-(co)matrices vs. Quantum Duality Principle

In this paper we describe the effect on quantum groups -- namely, both QUEA's and QFSHA's -- of deformations by twist and by 2-cocycles, showing how such deformations affect the semiclassical limit. As a second, more important task, we discuss how these deformation procedures can be "stretched" to a new extent, via a formal variation of the original recipes, using "polar twists" and "polar 2-cocycles". These recipes seemingly should make no sense at all, yet we prove that they actually work, thus providing well-defined, more general deformation procedures. Later on, we explain the underlying reason that motivates such a result in light of the "Quantum Duality Principle", through which every "polar twist/2-cocycle" for a given quantum group can be seen as a standard twist/2-cocycle for another quantum group, associated to the original one via the appropriate Drinfeld functor. As a third task, we consider standard constructions involving $R$-(co)matrices in the general theory of Hopf algebras. First we adapt them to quantum groups, then we show that they extend to the case of "polar $R$-(co)matrices", and finally we discuss how these constructions interact with the Quantum Duality Principle. As a byproduct, this yields new special symmetries (isomorphisms) for the underlying pair of dual Poisson (formal) groups that one gets by specialization.

math.QA↗

Simple modules of small quantum groups at dihedral groups

Based on previous results on the classification of finite-dimensional Nichols algebras over dihedral groups and the characterization of simple modules of Drinfeld doubles, we compute the irreducible characters of the Drinfeld doubles of bosonizations of finite-dimensional Nichols algebras over the dihedral groups $\mathbb{D}_{4t}$ with $t\geq 3$. To this end, we develop new techniques that can be applied to Nichols algebras over any Hopf algebra. Namely, we explain how to construct recursively irreducible representations when the Nichols algebra is generated by a decomposable module, and show that the highest-weight of minimum degree in a Verma module determines its socle. We also prove that tensoring a simple module by a rigid simple module gives a semisimple module.

math.QA↗

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type V. Mixed classes in Chevalley and Steinberg groups

We show that all classes that are neither semisimple nor unipotent in finite simple Chevalley or Steinberg groups different from $PSL_n(q)$ collapse (i.e. are never the support of a finite-dimensional Nichols algebra). As a consequence, we prove that the only finite-dimensional pointed Hopf algebra whose group of group-like elements is $PSp_{2n}(q)$, $PΩ^+_{4n}(q)$, $PΩ^-_{4n}(q)$, $^3D_4(q)$, $E_7(q)$, $E_8(q)$, $F_4(q)$, or $G_2(q)$ with q even is the group algebra.

math.QA↗

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type III. Semisimple classes in PSL(n,q)

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to semisimple orbits, have infinite dimension. We introduce a new criterium to determine when a conjugacy class collapses and prove that for infinitely many pairs (n,q), any finite-dimensional pointed Hopf algebra H with G(H) = PSL(n,q) or SL(n,q) is isomorphic to a group algebra.

math.QA↗

Extensions of finite quantum groups by finite groups

We give a necessary and sufficient condition for two Hopf algebras presented as central extensions to be isomorphic, in a suitable setting. We then study the question of isomorphism between the Hopf algebras constructed in 0707.0070v1 as quantum subgroups of quantum groups at roots of 1. Finally, we apply the first general result to show the existence of infinitely many non-isomorphic Hopf algebras of the same dimension, presented as extensions of finite quantum groups by finite groups.

math.QA↗