2011/09/16 by Fabio Gavarini, Gavarini, Fabio
Mathematics · Physics and Astronomy · #17B37 #20G42 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #Nonlinear Waves and Solitons #Primary 16T05 #Quantum Algebra (math.QA) #Secondary 81R50 #math.QA #msc:16T05 #msc:17B37 #msc:20G42 #msc:81R50
paper · pdf · doi:10.48550/arxiv.1109.3729
This is the author's contribution to the Proceedings of the "Rencontres Mathématiques de Glanon - 2002"
arxiv created 2011/09/16 · openalex publication_date 2011/09/16 · arxiv updated 2011/09/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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].