2003/06/12 by Benjamin Enriquez, B. Enriquez, Pavel Etingof +3
Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Quantum Algebra (math.QA) #math.QA
paper · pdf · doi:10.48550/arxiv.math/0306212
arxiv created 2003/06/12 · openalex publication_date 2003/06/12 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof that any Etingof-Kazhdan quantization functor is an equivalence of categories between quantized universal enveloping (QUE) algebras and Lie bialgebras over a formal series ring (dequantization). We apply the same argument to construct dequantizations of formal solutions of the quantum Yang-Baxter equation and of quasitriangular QUE algebras. We also give structure results for the props involved in quantization of Lie bialgebras, which yield an associator-independent proof that the prop of QUE algebras is a flat deformation of the prop of co-Poisson universal enveloping algebras.