Lie algebras and recurrence relations I

We study representations of the Heisenberg-Weyl algebra and a variety of Lie algebras, e.g., su(2), related through various aspects of the spectral theory of self-adjoint operators, the theory of orthogonal polynomials, and basic quantum theory. The approach taken here enables extensions from the one-variable case to be made in a natural manner. Extensions to certain infinite-dimensional Lie algebras (continuous tensor products, q-analogs) can be found as well. Particularly, we discuss the relationship between generating functions and representations of Lie algebras, spectral theory for operators that lead to systems of orthogonal polynomials and, importantly, the precise connection between the representation theory of Lie algebras and classical probability distributions is presented via the notions of quantum probability theory. Coincidentally, our theory is closed connected to the study of exponential families with quadratic variance in statistical theory.     

Clifford-algebraic random walks on the hypercube

The n-dimensional hypercube is a simple graph on 2ⁿ vertices labeled by binary strings, or words, of length n. Pairs of vertices are adjacent if and only if they differ in exactly one position as binary words; i.e., the Hamming distance between the words is one. A discrete-time random walk is easily defined on the hypercube by “flipping” a randomly selected digit from 0 to 1 or vice-versa at each time step. By associating the words as blades in a Clifford algebra of particular signature, combinatorial properties of the geometric product can be used to represent this random walk as a sequence within the algebra. A closed-form formula is revealed which yields probability distributions on the vertices of the hypercube at any time k ≥ 0 by a formal power series expansion of elements in the algebra. Furthermore, by inducing a walk on a larger Clifford algebra, probabilities of self-avoiding walks and expected first hitting times of specific vertices are recovered. Moreover, because the Clifford algebras used in the current work are canonically isomorphic to fermion algebras, everything appearing here can be rewritten using fermion creation/annihilation operators, making the discussion relevant to quantum mechanics and/or quantum computing.     

Lie algebras with quadratic dimension equal to 2

The quadratic dimension of a Lie algebra is defined as the dimension of the linear space spanned by all its invariant non-degenerate symmetric bilinear forms. We prove that a quadratic Lie algebra with quadratic dimension equal to 2 is a local Lie algebra, this is to say, it admits a unique maximal ideal. We describe local quadratic Lie algebras using the notion of double extension and characterize those with quadratic dimension equal to 2 by the study of the centroid of such Lie algebras. We also give some necessary or sufficient conditions for a Lie algebra to have quadratic dimension equal to 2. Examples of local Lie algebras with quadratic dimension larger than 2 are given.     

Bidendriform bialgebras, trees, and free quasi-symmetric functions

We introduce bidendriform bialgebras, which are bialgebras such that both product and coproduct can be split into two parts satisfying good compatibilities. For example, the Malvenuto-Reutenauer Hopf algebra and the non-commutative Connes-Kreimer Hopf algebras of planar decorated rooted trees are bidendriform bialgebras. We prove that all connected bidendriform bialgebras are generated by their primitive elements as a dendriform algebra (bidendriform Milnor-Moore theorem) and then is isomorphic to a Connes-Kreimer Hopf algebra. As a corollary, the Hopf algebra of Malvenuto-Reutenauer is isomorphic to the Connes-Kreimer Hopf algebra of planar rooted trees decorated by a certain set. We deduce that the Lie algebra of its primitive elements is free in characteristic zero (G. Duchamp, F. Hivert and J.-Y. Thibon conjecture).     

Quantum double and multiparameter quantum groups

After Drinfe'd and Jimbo construction [3,7] of quantized universal envelop¬ing algebra associated to each complex simple Lie algebra, larger classes of quasitriangular Hopf algebras as been founded [1,12] and studied [8]. We prove that the multiparameter quantum group defined by Reshetikhin and De Concini-Kac-Procesi are indeed equivalent. Besides we write this algebra as the quantum double of a Borel-type sub-Hopf-algebra     

Categorified central extensions, étale Lie 2-groups and Lie?s Third Theorem for locally exponential Lie algebras

Lie?s Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of infinite-dimensional Lie algebras, which in turn is phrased in terms of an integration procedure for Lie algebra cocycles.This paper remedies the obstructions for integrating cocycles and central extensions from Lie algebras to Lie groups by generalising the integrating objects. Those objects obey the maximal coherence that one can expect. Moreover, we show that they are the universal ones for the integration problem.The main application of this result is that a Mackey-complete locally exponential Lie algebra (e.g., a Banach–Lie algebra) integrates to a Lie 2-group in the sense that there is a natural Lie functor from certain Lie 2-groups to Lie algebras, sending the integrating Lie 2-group to an isomorphic Lie algebra.     

Isomorphism classes of finite dimensional connected Hopf algebras in positive characteristic

We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair associated with these extensions, we construct a cohomology group, which classifies all the extensions up to equivalence. Moreover, we present a 1–1 correspondence between the isomorphism classes and a group quotient of the cohomology group deleting some exceptional points, where the group respects the automorphisms of the abelian matched pair and the exceptional points represent those restricted Lie algebra extensions.     

A Remark on Twists and the Notion of Torsion-free Discrete Quantum Groups

In this paper twists of reduced locally compact quantum groups are studied. Twists of the dual coaction on a reduced crossed product are introduced and the twisted dual coactions are proved to satisfy a type of Takesaki–Takai duality. The twisted Takesaki–Takai duality implies that twists of discrete, torsion-free quantum groups are torsion-free. Cocycle twists of duals of semisimple, compact Lie are studied leading to a locally compact quantum group contained in the Drinfeld–Jimbo algebra which gives a dual notion of Woronowicz deformations for semisimple, compact Lie groups. These cocycle twists are proven to be torsion-free whenever the Lie group is simply connected.     

Irreducible Lie-Yamaguti algebras

Lie-Yamaguti algebras (or generalized Lie triple systems) are binary-ternary algebras intimately related to reductive homogeneous spaces. The Lie-Yamaguti algebras which are irreducible as modules over their Lie inner derivation algebra are the algebraic counterpart of the isotropy irreducible homogeneous spaces.These systems will be shown to split into three disjoint types: adjoint type, non-simple type and generic type. The systems of the first two types will be classified and most of them will be shown to be related to a Generalized Tits Construction of Lie algebras.     

Some subalgebras of indefinite type Kac-Moody Lie algebras

We show that every Kac-Moody Lie algebra of indefinite type contains a subalgebra with a Dynkin diagram having two adjacent vertices whose edge labels multiply to a number greater than or equal to five. Consequently, every Kac-Moody algebra of indefinite type contains a subalgebra of strictly hyperbolic type, and a free Lie algebra of rank two.     

Askey-Wilson polynomials and the quantum SU(2) group: Survey and applications

Generalised matrix elements of the irreducible representations of the quantum SU(2) group are defined using certain orthonormal bases of the representation space. The generalised matrix elements are relatively infinitesimal invariant with respect to Lie algebra like elements of the quantised universal enveloping algebra of sl(2). A full proof of the theorem announced by Noumi and Mimachi [Proc. Japan Acad. Sci. Ser. A 66 (1990), 146–149] describing the generalised matrix elements in terms of the full four-parameter family of Askey-Wilson polynomials is given. Various known and new applications of this interpretation are presented.Supported by a NATO-Science Fellowship of the Netherlands Organization for Scientific Research (NWO).     

Multiplicative Lie algebras and Schur multiplier

In this paper, we attempt to study the structure of multiplicative Lie algebras, the theory of extensions, the second cohomology groups of multiplicative Lie algebras, and in turn the Schur multipliers. The Schur–Hopf formula is established for multiplicative Lie algebras. We also introduce the group of nontrivial relations satisfied by the Lie product in a multiplicative Lie algebra, and study it as a functor arising from the presentations of multiplicative Lie algebras. Some applications in K-theory are also discussed.     

一类Schrdinger-Virasoro型李代数的量子化

李双代数的量子化是获取新的量子群的重要方法.本文通过Drinfel'd扭元,对一类Schr(o|¨)dinger-Virasoro型李代数进行了量子化,得到了一类既非交换又非余交换的Hopf代数.     

q-Deformation of W（2, 2） Lie Algebra Associated with Quantum Groups

The q-deformation of W (2, 2) Lie algebra is well defined based on a realization of this Lie algebra by using the famous bosonic and fermionic oscillators in physics. Furthermore, the quantum group structures on the q-deformation of W (2, 2) Lie algebra are completely determined. Finally, the 1-dimensional central extension of the q-deformed W (2, 2) Lie algebra is studied, which turns out to be coincided with the conventional W (2, 2) Lie algebra in the q → 1 limit.     

Koszul Duality for Semidirect Products and Generalized Takiff Algebras

We obtain Koszul-type dualities for categories of graded modules over a graded associative algebra which can be realized as the semidirect product of a bialgebra coinciding with its degree zero part and a graded module algebra for the latter. In particular, this applies to graded representations of the universal enveloping algebra of the Takiff Lie algebra (or the truncated current algebra) and its (super)analogues, and also to semidirect products of quantum groups with braided symmetric and exterior module algebras in case the latter are flat deformations of classical ones.     

Lie bialgebra structures on derivation Lie algebra over quantum tori

We investigate Lie bialgebra structures on the derivation Lie algebra over the quantum torus. It is proved that, for the derivation Lie algebra W over a rank 2 quantum torus, all Lie bialgebra structures on W are the coboundary triangular Lie bialgebras. As a by-product, it is also proved that the first cohomology group H ¹(W, W ? W) is trivial.     

The Lie algebra structure and controllability of spin systems

In this paper, we study the controllability properties and the Lie algebra structure of networks of particles with spin immersed in an electro-magnetic field. We relate the Lie algebra structure to the properties of a graph whose nodes represent the particles and an edge connects two nodes if and only if the interaction between the two corresponding particles is active. For networks with different gyromagnetic ratios, we provide a necessary and sufficient condition of controllability in terms of the properties of the above-mentioned graph and describe the Lie algebra structure in every case. For these systems all the controllability notions, including the possibility of driving the evolution operator and/or the state, are equivalent. For general networks (with possibly equal gyromagnetic ratios), we give a sufficient condition of controllability. A general form of interaction among the particles is assumed which includes both Ising and Heisenberg models as special cases. Assuming Heisenberg interaction we provide an analysis of low-dimensional cases (number of particles less than or equal to three) which includes necessary and sufficient controllability conditions as well as a study of their Lie algebra structure. This also provides an example of quantum mechanical systems where controllability of the state is verified while controllability of the evolution operator is not.