BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Fabio Gavarini

Fabio Gavarini contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.QAmath.RAmath.RTmath.AG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Quantum Duality Principle for quantum continuous Kac-Moody algebras

For the quantized universal enveloping algebra U_h(g_X) associated with a continuous Kac-Moody algebra g_X as in [A. Appel, F. Sala, "Quantization of continuum Kac-Moody algebras", Pure Appl. Math. Q. 16 (2020), no. 3, 439-493], we prove that a suitable formulation of the Quantum Duality Principle holds true, both in a "formal" version - i.e., applying to the original definition of U_h(g_X) as a formal QUEA over the algebra of formal series in h - and in a "polynomial" one - i.e., for a suitable polynomial form of U_h(g_X) over the algebra of Laurent polynomials in q. In both cases, the QDP states that a suitable subalgebra of the given quantization of the Lie bialgebra g_X is in fact a suitable quantization (in formal or in polynomial sense) of a connected Poisson group G^*_X dual to g_X .

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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].

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Global splittings and super Harish-Chandra pairs for affine supergroups

This paper dwells upon two aspects of affine supergroup theory, investigating the links among them. First, I discuss the "splitting" properties of affine supergroups, i.e. special kinds of factorizations they may admit - either globally, or pointwise. Second, I present a new contribution to the study of affine supergroups by means of super Harish-Chandra pairs (a method already introduced by Koszul, and later extended by other authors). Namely, I provide an explicit, functorial construction Ψwhich, with each super Harish-Chandra pair, associates an affine supergroup that is always globally strongly split (in short, gs-split) - thus setting a link with the first part of the paper. On the other hand, there exists a natural functor Φfrom affine supergroups to super Harish-Chandra pairs: then I show that the new functor Ψ- which goes the other way round - is indeed a quasi-inverse to Φ, provided we restrict our attention to the subcategory of affine supergroups that are gs-split. Therefore, (the restrictions of) Φand Ψare equivalences between the categories of gs-split affine supergroups and of super Harish-Chandra pairs. Such a result was known in other contexts, such as the smooth differential or the complex analytic one, or in some special cases, via different approaches: the novelty in the present paper lies in that I construct a different functor Ψand thus extend the result to a much larger setup, with a totally different, more geometrical method (very concrete indeed, and characteristic free). The case of linear algebraic groups is treated also as an intermediate, inspiring step. Some examples, applications and further generalizations are presented at the end of the paper.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A quantum duality principle for subgroups and homogeneous spaces

We develop a quantum duality principle for subgroups of a Poisson group and its dual, in two formulations. Namely, in the first one we provide functorial recipes to produce quantum coisotropic subgroups in the dual Poisson group out of any quantum subgroup (in a tautological sense) of the initial Poisson group, while in the second one similar recipes are given only starting from coisotropic subgroups. In both cases this yields a Galois-type correspondence, where a quantum coisotropic subgroup is mapped to its complementary dual; moreover, in the first formulation quantum coisotropic subgroups are characterized as being the fixed points in this Galois' reciprocity. By the natural link between quantum subgroups and quantum homogeneous spaces then we argue a quantum duality principle for homogeneous spaces too, where quantum coisotropic spaces are the fixed elements in a suitable Galois' reciprocity. As an application, we provide an explicit quantization of the space of Stokes matrices with the Poisson structure given by Dubrovin and Ugaglia. The *paper is actually under revision* to fix some minor, technical issues. The geometric objects considered here (Poisson groups, subgroups and homogeneous spaces) are "global" - as opposed to "formal" - and quantizations are considered as standard - i.e.non topological - Hopf algebras over the ring of Laurent polynomials (or other non-topological rings). Instead, a "local/formal" version of this work is developed in math.QA/0412465 - which is in final form - due to appear in "Advances in Mathematics". The example of Stokes matrices mentioned above is considered in math.QA/0412465 as well.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Algebraic supergroups with Lie superalgebras of classical type

We show that every connected affine algebraic supergroup defined over a field k, with diagonalizable maximal torus and whose tangent Lie superalgebra is a k-form of a complex simple Lie superalgebra of classical type is a Chevalley supergroup, as it is defined and constructed explicitly in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 215 (2012), no. 1014].

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Chevalley Supergroups of type D(2,1;a)

I present a construction "a` la Chevalley" of affine supergroups associated with simple Lie superalgebras of (classical) type D(2,1;a), for any possible value of the parameter a - in particular, including non-integral values of a. This extends the similar work performed in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 215 (2012), no. 1014 - arXiv:0808.0785v8 [math.RA]], where all other simple Lie superalgebras of classical type were considered. The case of simple Lie superalgebras of Cartan type is dealt with in [F. Gavarini, "Algebraic supergroups of Cartan type", Forum Mathematicum (to appear), 92 pages - arXiv:1109.0626v5 [math.RA], so this work completes the program of constructing connected affine supergroups associated with any simple Lie superalgebra.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The global quantum duality principle: theory, examples, and applications

Let R be an integral domain, h non-zero in R such that R/hR is a field, and HA the category of torsionless (or flat) Hopf algebras over R. We call any H in HA "quantized function algebra" (=QFA), resp. "quantized (restricted) universal enveloping algebra" (=QrUEA), at h if H/hH is the function algebra of a connected Poisson group, resp. the (restricted, if R/hR has positive characteristic) universal enveloping algebra of a (restricted) Lie bialgebra. We establish an "inner" Galois' correspondence on HA, via the definition of two endofunctors, ()^\vee and ()', of HA such that: (a) the image of ()^\vee, resp. of ()', is the full subcategory of all QrUEAs, resp. all QFAs, at h; (b) if R/hR has zero characteristic, the restriction of ()^\vee to QFAs and of ()' to QrUEAs yield equivalences inverse to each other; (c) if R/hR has zero characteristic, starting from a QFA over a Poisson group, resp. from a QrUEA over a (restricted) Lie bialgebra, the functor ()^\vee, resp. ()', gives a QrUEA, resp. a QFA, over the dual Lie bialgebra, resp. the dual Poisson group. In particular, (a) yields a recipe to produce quantum groups of both types (QFAs or QrUEAs), (b) gives a characterization of them within HA, and (c) gives a "global" version of the "quantum duality principle" after Drinfeld. We then apply our result to Hopf algebras defined over a field k and extended to the polynomial ring k[h]: this yields quantum groups, hence "classical" geometrical symmetries of Poisson type (via specialization) associated to the "generalized symmetry" encoded by the original Hopf algebra over k. Both the main result and the above mentioned application are illustrated via several examples of many different kinds, which are studied in full detail.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The global quantum duality principle: theory, examples, applications

The "quantum duality principle" states that a quantisation of a Lie bialgebra provides also a quantisation of the dual formal Poisson group and, conversely, a quantisation of a formal Poisson group yields a quantisation of the dual Lie bialgebra as well. We extend this to a much more general result: namely, given any principal ideal domain R, for each prime h in R we establish sort of an "inner" Galois' correspondence on the category HA of torsionless Hopf algebras over R, via the definition of two functors (from HA to itself) such that the image of the first, resp. of the second, is the full subcategory of those Hopf algebras which are commutative, resp. cocommutative, modulo h (i.e. they are "quantum function algebras" (=QFA), resp. "quantum universal enveloping algebras" (=QUEA), at h). In particular we provide a machine to get two quantum groups - a QFA and a QUEA - out of any Hopf algebra H over a field k: just plug in a parameter x and apply the functors to H[x] for h = x. Several relevant examples are studied in full detail: the trivial quantisations, the semisimple groups, the Euclidean group, the Heisenberg group, and the Kostant-Kirillov structure on any Lie algebra; furthermore, an interesting application to renormalisation theory in quantum electro-dynamics is studied, as a sample of application of the principle to a quite large class of problems. This work is a far-reaching "evolution" of the same author's preprint math.QA/9912186: the present paper is entirely self-contained, is more general from the mathematical point of view, and contains additional examples. WARNING: This preprint has been overtaken by a new, deeply enhanced and improved version, available as {\tt math.QA/0303019}; the interested reader is kindly asked to refer to that new preprint.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The global quantum duality principle: a survey through examples

Let R be a 1-dimensional integral domain, let h (non-zero) be a prime element, and let \HA be the category of torsionless Hopf algebras over R. We call H in \HA a "quantized function algebra" (=QFA), resp. "quantized restricted universal enveloping algebras" (=QrUEA), at h if H/hH is the function algebra of a connected Poisson group, resp. the (restricted, if R/hR has positive characteristic) universal enveloping algebra of a (restricted) Lie bialgebra. An "inner" Galois correspondence on \HA is established via the definition of two endofunctors, ( )^\vee and ( )', of \HA such that: (a) the image of ( )^\vee, resp. of ( )', is the full subcategory of all QrUEAs, resp. QFAs, at h; (b) if p := Char(R/hR) = 0, the restrictions of ( )^\vee to QFAs and of ( )' to QrUEAs yield equivalences inverse to each other; (c) if p = 0, then starting from a QFA over a Poisson group G, resp. from a QrUEA over a Lie bialgebra g, the functor ( )^\vee, resp. ( )', gives a QrUEA, resp. a QFA, over the dual Lie bialgebra, resp. a dual Poisson group. In particular, (a) provides a machine to produce quantum groups of both types (either QFAs or QrUEAs), (b) gives a characterization of them among objects of \HA, and (c) gives a "global" version of the so-called "quantum duality principle" (after Drinfeld's, cf. [Dr]). These notes draw a sketch of the construction leading to the "global quantum duality principle". Besides, the principle itself, and in particular the above mentioned application, is illustrated by means of several examples. There are no proofs, but all (of them, and any other detail) can be found instead in arXiv:math/0303019v8 [math.QA].

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

F_q[M_2], F_q[GL_2] and F_q[SL_2] as quantized hyperalgebras

Let U_q(sl_2) be the standard Drinfeld-Jimbo quantized universal enveloping algebra over sl_2, let F_q[SL_2] be the corresponding quantum function algebra, and let R be the ring of Laurent polynomials in q with coefficients in the ring of integers. Let \Cal{U}_q(sl_2) be the unrestricted R-integer form of U_q(sl_2) introduced by De Concini, Kac and Procesi. Within the quantum function algebra F_q[SL_2], we study the subset \Cal{F}_q[SL_2] of all elements which give values in the ring R when paired with \Cal{U}_q(sl_2). In this paper we describe \Cal{F}_q[SL_2]. In particular we provide a presentation of it by generators and relations, and a nice R-spanning set (of PBW type). Moreover, we give a direct proof that \Cal{F}_q[SL_2] is a Hopf subalgebra of F_q[SL_2], and that the specialization of \Cal{F}_q[SL_2] at q=1 is the hyperalgebra U_Z(sl_2^*) associated to the Lie bialgebra sl_2^* dual to sl_2: in other words, \Cal{F}_q[SL_2] is a "quantum hyperalgebra". In fact, our description of \Cal{F}_q[SL_2] is much like the presentation of Lusztig's restricted R-integer form of U_q(sl_2). We describe explicitly also the specializations of \Cal{F}_q[SL_2] at roots of 1, and the associated quantum Frobenius (epi)morphism; these results again closely resemble Lusztig's ones. All this improve results proved in previous work by the first named author basing upon the results of De Concini, Kac and Procesi. The same analysis is done for the analogue algebra \Cal{F}_q[GL_2], with similar results, and also (as a key, intermediate step) for \Cal{F}_q[Mat_2], for which even stronger results hold, in particular a PBW-like theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

F_q[M_n], F_q[GL_n] and F_q[SL_n] as quantized hyperalgebras

The quantized universal enveloping algebra U_q(gl(n)) has two integral forms - over Z[q,q^{-1}] - the restricted (by Lusztig) and the unrestricted (by De Concini and Procesi) one. Dually, the quantum function algebra F_q[GL(n)] has two integral forms, namely those of all elements - of F_q[GL(n)] - which take values in Z[q,q^{-1}] when paired respectively with the restricted or the unrestricted form of U_q(gl(n)). The first one is the well-known form generated over Z[q,q^{-1}] by the entries of a q-matrix and the inverse of its quantum determinant. In this paper instead we study the second integral form, say F'_q[GL(n)], i.e. that of all elements which are Z[q,q^{-1}]-valued over the unrestricted form of U_q(gl(n)). In particular we yield a presentation of it by generators and relations, and a PBW-like theorem: in short, it is an algebra of "quantum divided powers" and "quantum binomial coefficients". Moreover, we give a direct proof that F'_q[GL(n)] is a Hopf subalgebra of F_q[GL(n)], and that its specialization at q=1 is the Z-hyperalgebra over gl(n)^*, the Lie bialgebra dual to gl(n). In addition, we describe explicitly the specializations of F'_q[GL(n)] at roots of 1, and the associated quantum Frobenius (epi)morphism. The same analysis is done for F'_q[SL(n)] and (as a key step) F'_q[Mat(n)]: in fact, for the latter the strongest results are obtained. This work extends to general n>2 the results for n=2, already treated in math.QA/0411440.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

PBW theorems and Frobenius structures for quantum matrices

Let G be either of Mat(n), GL(n) or SL(n), let O_q(G) be the quantum function algebra - over Z[q,q^{-1}] - associated to G, and let O_e(G) be the specialisation of O_q(G) at a root of unity, of odd order l. Then O_e(G) is a module over the corresponding classical function algebra O(G) via the quantum Frobenius morphism, which embeds O(G) as a central subbialgebra of O_e(G). In this note we prove a PBW-like theorem for O_q(G) - more or less known in literature, but not in this form (to the best of the author's knowledge) - and we show that it yields explicit bases of O_e(G) over O(G) when G is Mat(n) or GL(n): in particular, O_e(G) is free of rank l^{dim(G)}. Also, we apply the latter result to prove that O_e(G) is a free Frobenius extensions over O(G), and to compute explicitly the corresponding Nakayama automorphism, again for G being Mat(n) or GL(n) . This extends previous results by Brown, Gordon and Stroppel (see [BG], [BGS2]).

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Quantum duality principle for coisotropic subgroups and Poisson quotients

We develop a quantum duality principle for coisotropic subgroups of a (formal) Poisson group and its dual: namely, starting from a quantum coisotropic subgroup (for a quantization of a given Poisson group) we provide functorial recipes to produce quantizations of the dual coisotropic subgroup (in the dual formal Poisson group). By the natural link between subgroups and homogeneous spaces, we argue a quantum duality principle for Poisson homogeneous spaces which are Poisson quotients, i.e. have at least one zero-dimensional symplectic leaf. Only bare results are presented, while detailed proofs can be found in math.QA/0412465, or in the reference [3]. The last section contains new, unpublished material about examples and applications, which is not included in math.QA/0412465 (nor in its printed version).

0 citations0 reviewsNo code linkedOpen access