[Paper Review] Connes-Kreimer quantizations and PBW theorems for pre-Lie algebras

Travis Schedler|arXiv (Cornell University)|Jul 10, 2009

Advanced Topics in Algebra15 references3 citations

TL;DR

This paper presents a unified construction of Connes-Kreimer quantization for pre-Lie algebras using universal enveloping algebras of twisted Lie algebras in symmetric sequences. It provides a simple proof of the quantized PBW theorem for Lie algebras arising from pre-Lie products over arbitrary commutative rings, and extends both quantization and PBW theorems to pre-Lie algebras in arbitrary abelian symmetric monoidal categories with limits, including a generalization of Stover's PBW result.

ABSTRACT

The Connes-Kreimer renormalization Hopf algebras are examples of a canonical quantization procedure for pre-Lie algebras. We give a simple construction of this quantization using the universal enveloping algebra for so-called twisted Lie algebras (Lie algebras in the category of symmetric sequences of k-modules). As an application, we obtain a simple proof of the (quantized) PBW theorem for Lie algebras which come from a pre-Lie product (over an arbitrary commutative ring). More generally, we observe that the quantization and the PBW theorem extend to pre-Lie algebras in arbitrary abelian symmetric monoidal categories with limits. We also extend a PBW theorem of Stover for connected twisted Lie algebras to this categorical setting.

Motivation & Objective

• To provide a conceptual and uniform construction of Connes-Kreimer quantization for pre-Lie algebras using the universal enveloping algebra of twisted Lie algebras.
• To establish a simple proof of the quantized Poincaré-Birkhoff-Witt (PBW) theorem for Lie algebras derived from pre-Lie products over arbitrary commutative rings.
• To generalize the quantization and PBW theorems to pre-Lie algebras in arbitrary abelian symmetric monoidal categories with limits.
• To extend Stover’s PBW theorem for connected twisted Lie algebras to the categorical framework of symmetric sequences and abelian categories.

Proposed method

• Utilizes the category of symmetric sequences of $\mathbf{k}$-modules to define twisted Lie algebras, which are Lie algebras internal to this category.
• Constructs the Connes-Kreimer quantization via the universal enveloping algebra of a twisted Lie algebra derived from a pre-Lie algebra.
• Applies the theory of S-modules and symmetric sequences to handle the algebraic structure of the quantization process in a categorical setting.
• Employs the universal property of enveloping algebras to establish isomorphisms that imply PBW-type theorems in the quantized setting.
• Extends results from the classical case over a field to arbitrary commutative base rings using categorical and homological techniques.
• Generalizes Stover’s PBW theorem by lifting it to the setting of abelian symmetric monoidal categories with limits, preserving the structure of connected twisted Lie algebras.

Experimental results

Research questions

• RQ1 How can the Connes-Kreimer quantization procedure for pre-Lie algebras be systematically constructed using algebraic structures in symmetric sequences?
• RQ2 What is the role of twisted Lie algebras in providing a uniform framework for quantization and PBW theorems in pre-Lie algebras?
• RQ3 Can the quantized PBW theorem for Lie algebras induced by pre-Lie products be proven in a simpler way using this construction?
• RQ4 To what extent do the quantization and PBW theorems extend beyond the classical setting to arbitrary abelian symmetric monoidal categories with limits?
• RQ5 How can Stover’s PBW theorem for connected twisted Lie algebras be generalized to this categorical and algebraic framework?

Key findings

• The Connes-Kreimer quantization of a pre-Lie algebra is canonically realized as the universal enveloping algebra of the associated twisted Lie algebra in the category of symmetric sequences.
• A new, simplified proof of the quantized PBW theorem is obtained for Lie algebras arising from pre-Lie products over any commutative ring.
• The quantization and PBW theorems are extended to pre-Lie algebras in arbitrary abelian symmetric monoidal categories with limits, generalizing classical results.
• The construction provides a categorical framework that unifies quantization and PBW phenomena across different algebraic and topological settings.
• Stover’s PBW theorem for connected twisted Lie algebras is generalized to the setting of symmetric sequences and abelian categories with limits.
• The method reveals that the PBW isomorphism arises naturally from the universal property of enveloping algebras in the context of twisted Lie algebras.