Unitary Lie Algebras and Lie Tori of Type BC_r, r \geq 3

Bruce Allison; Georgia Benkart

Home/Archive/arXiv

arXiv · 0811.3263

Unitary Lie Algebras and Lie Tori of Type BC_r, r \geq 3

Bruce Allison·Georgia Benkart

View original source ↗Read source document ↗Export metadata ↓

Abstract

A Lie G-torus of type X_r is a Lie algebra with two gradings -- one by an abelian group G and the other by the root lattice of a finite irreducible root system of type X_r. In this paper we construct a centreless Lie G-torus of type BC_r, which we call a unitary Lie G-torus, as it is a special unitary Lie algebra of a nondegenerate G-graded hermitian form of Witt index r over an associative torus with involution. We prove a structure theorem for centreless Lie G-tori of type BC_r, r \geq 3, that states that any such Lie torus is bi-isomorphic to a unitary Lie G-torus, and we determine necessary and sufficient conditions for two unitary Lie G-tori to be bi-isomorphic. The motivation to investigate Lie G-tori came from the theory of extended affine Lie algebras, which are natural generalizations of the affine and toroidal Lie algebras. Every extended affine Lie algebra possesses an ideal which is a Lie n-torus of type X_r for some irreducible root system X_r, where by an n-torus we mean that the group G is a free abelian group of rank n for some n \geq 0. The structure theorem above enables us to classify centreless Lie n-tori of type BC_r, r \geq 3. We show that they are determined by pairs consisting of a quadratic form K on an n-dimensional Z_2-vector space and of an orbit of the orthogonal group of K. We use that result to construct extended affine Lie algebras of type BC_r, r \geq 3. Our article completes a large project involving many earlier papers and many authors to determine the centreless Lie n-tori of all types.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Bruce Allison, Georgia Benkart. 2008-11-20. Unitary Lie Algebras and Lie Tori of Type BC_r, r \geq 3. https://arxiv.org/abs/0811.3263

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Constructive recurrences for determinants and permanents of banded Toeplitz matrices

For fixed nonnegative integers $m_1,m_2$, let $A_n=(a_{j-i})_{i,j=1}^n$ be the leading $n\times n$ section of a Toeplitz matrix with lower and upper semibandwidths $m_1$ and $m_2$. We give two constructive Laplace-expansion methods for scalar recurrences of $\det A_n$ and $\perm A_n$. The increasing-rows method eliminates a fixed family of boundary cofactors and gives recurrence order at most $d=\binom{m_1+m_2}{m_1}$ for both sequences. The row-column method closes normalized boundary minors recursively and packages them in a sparse transfer matrix. Its reachable states are classified exactly: level $j$ is indexed by a pair of $j$-subsets of $[m_1]$ and $[m_2]$. Hence the transfer dimension is $d$, and we obtain an explicit formula for the number of nonzero transitions. For determinants, the complementary cofactors of the increasing-rows construction are coordinates of the classical compound companion representation. The independently constructed row-column transfer has the Widom characteristic polynomial and is generically similar to the compound transfer. Thus the order $d$ recurrence is generically minimal for the unrestricted fixed-band determinant family. For permanents the same state graph gives the binomial upper bound, without a general minimality claim. The pentadiagonal case recovers Sweet's order-six determinant recurrence and its permanent analogue, while the one-superdiagonal family gives closed scalar recurrences and rational generating functions. Position-dependent band weights preserve the finite state graph but replace the constant transfer by a cocycle. For cyclic determinants, Fourier diagonalization produces all subset products of the symbol roots and a generically minimal annihilator of degree $2^{m_1+m_2}$, corresponding to the passage from one exterior degree to the full exterior algebra.

math.RA↗

arXiv2026

Dedekind Poisson Algebras over Arbitrary Fields

We study Poisson algebras in which every Poisson subalgebra is a Poisson ideal, called Dedekind Poisson algebras, over arbitrary fields and without any finite-dimensionality assumption. In characteristic different from 2, combining the two operations by $x*y=xy+[x,y]$ connects the problem with Outcalt's classical classification of power-associative H-algebras and yields the same structural type. We obtain a complete classification by a direct two-operation argument valid in every characteristic. This approach also shows that characteristic 2 retains additional Poisson information which cannot be recovered from the single product $*$.

math.RA↗

arXiv2026

On the Structure of Low-Dimensional Poisson Algebras over Arbitrary Fields

We investigate the structure of Poisson algebras of dimensions at most three over an arbitrary field. Our approach is based on the internal structure of the associated commutative associative and Lie algebras, with particular emphasis on the associative square $P^2$, the derived Lie algebra $[P,P]$, the Lie center, the associative annihilator, idempotents, ideals and decomposability. We obtain a complete classification in dimensions one and two and give a structural classification in dimension three. In dimension two, we prove that the associative and Lie multiplications cannot be simultaneously non-zero. In dimension three, the classification is organized according to the dimension and position of the derived Lie algebra and, in the case of trivial Lie multiplication, according to the dimension of $P^2$. The arbitrary-field setting leads to phenomena which do not occur over the complex field. In particular, quadratic and cubic field extensions appear naturally in the classification, some families depend on equivalence classes of symmetric bilinear forms and on the structure of three-dimensional Lie algebras over the ground field, and characteristic $2$ gives an additional family of Poisson algebras with both multiplications non-zero. Over the complex field, the resulting classification specializes, up to changes of basis and notation, to the known classifications in dimensions at most three.

math.RA↗