[Paper Review] Twisted exterior derivatives for enveloping algebras

Zoran Škoda|arXiv (Cornell University)|Jun 5, 2008

Algebraic structures and combinatorial models5 references3 citations

TL;DR

This paper introduces a twisted exterior derivative on enveloping algebras by extending derivations from the completed symmetric algebra of a Lie algebra's dual to a larger algebra incorporating the exterior algebra. The construction yields a noncommutative differential calculus where differentials and coordinates satisfy commutation relations as formal power series in partial derivatives; while the exterior derivative squares to zero, the Leibniz rule is deformed, generalizing classical differential calculus to noncommutative settings.

ABSTRACT

We extend the representations of finite-dimensional Lie algebra by derivations of the completed symmetric algebra of its dual to the derivations of a bigger algebra which includes the exterior algebra on the Lie algebra. This enables a construction of a twisted version of the exterior differential calculus with the enveloping algebra in the role of the coordinate algebra. In this twisted version, the commutators between noncommutative differentials and coordinates are formal power series in partial derivatives. The square of the corresponding exterior derivative is zero like in the classical case, but the Leibniz rule is deformed.

Motivation & Objective

• To extend derivations from the completed symmetric algebra of a Lie algebra's dual to a larger algebra containing the exterior algebra.
• To construct a noncommutative differential calculus where the enveloping algebra plays the role of the coordinate algebra.
• To define a twisted exterior derivative whose square vanishes, preserving a key property of classical differential calculus.
• To deform the Leibniz rule in the differential calculus while maintaining nilpotency of the exterior derivative.
• To formalize commutation relations between noncommutative differentials and coordinates as formal power series in partial derivatives.

Proposed method

• Extend Lie algebra representations by derivations from the completed symmetric algebra to a larger algebra that includes the exterior algebra on the Lie algebra.
• Construct a twisted exterior derivative using the extended derivations, ensuring its square is zero.
• Define the commutator between noncommutative coordinates and differentials as a formal power series in partial derivatives.
• Utilize the enveloping algebra as the coordinate algebra in the new differential calculus framework.
• Deform the Leibniz rule for the exterior derivative while preserving nilpotency.
• Work within the framework of formal power series to handle noncommutative relations between differential forms and coordinates.

Experimental results

Research questions

• RQ1 How can derivations of the symmetric algebra be extended to include the exterior algebra on a Lie algebra?
• RQ2 What conditions ensure that the twisted exterior derivative remains nilpotent in the noncommutative setting?
• RQ3 How do the commutators between noncommutative coordinates and differentials behave in this construction?
• RQ4 In what way is the Leibniz rule deformed in the new differential calculus?
• RQ5 Can a consistent noncommutative differential calculus be constructed using the enveloping algebra as the coordinate algebra?

Key findings

• The twisted exterior derivative is constructed such that its square vanishes, preserving a fundamental property of classical differential calculus.
• The commutator between noncommutative differentials and coordinates is expressed as a formal power series in partial derivatives.
• The Leibniz rule for the exterior derivative is deformed, distinguishing the construction from the classical case.
• The extension of derivations from the symmetric algebra to the larger algebra including the exterior algebra is mathematically consistent and well-defined.
• The enveloping algebra successfully serves as the coordinate algebra in the new noncommutative differential calculus framework.