arXiv ScienceSearch

arXiv · 2509.05743

Chevalley bases for extended affine Lie algebras

Abstract

Claude Chevalley provided a basis for a {finite dimensional} simple complex Lie algebra called the Chevalley basis. This basis has the distinguishing property that all the structure constants are integers. Chevalley groups, which are similar to Lie groups but over finite fields, can be constructed using these bases. Parallel results also hold in affine Lie algebras. We develop a uniform theory of Chevalley bases for extended affine Lie algebras of an arbitrary type consistent with the ordinary theory for finite and affine cases. It explains how a Chevalley basis for a finite-dimensional simple Lie algebra or an affine Lie algebra can be extended to one for the covering extended affine Lie algebras.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Saeid Azam. 2025-09-06. Chevalley bases for extended affine Lie algebras. https://arxiv.org/abs/2509.05743

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

KEEP EXPLORING

Related papers

Graded Necklace Lie Bialgebras and Batalin-Vilkovisky Formalism

An involutive Lie bialgebra induces a Batalin-Vilkovisky operator on its exterior algebra. We introduce a graded generalization of the necklace Lie bialgebra, which depends on a choice of a quiver $Q$. We relate the resulting Batalin-Vilkovisky structure to the Batalin-Vilkovisky structure coming from a degree $-1$ symplectic form on a suitably defined representation variety of the quiver $Q$. The morphism intertwining these Batalin-Vilkovisky algebras will be given by a twisted trace, recovering the usual (super)trace and the odd trace.

math.QA

Freeness and divisibility for right $H$-simple left $H$-comodule algebras over a pointed Hopf algebra $H$

Let $H$ be a pointed Hopf algebra and let $A$ be a right $H$-simple left $H$-comodule algebra. We show that every relative $(H,A)$-Hopf module is free as an $A$-module and that this freeness characterizes the class of pointed Hopf algebras. We give a criterion for the category of relative $(H,A)$-Hopf modules to be semisimple. We also show that $A$ can be embedded into a left $H$-comodule algebra of a specific form when $H$ and $A$ are $\mathbb{N}_0$-graded. As a consequence, we prove that if $H$ is finite-dimensional and $A^{\mathrm{co} H}=\Bbbk$, then $A$ is finite-dimensional and $\dim A$ divides $\dim H$.

math.QA

$C_2$-Cofiniteness and Rationality of the Icosahedral Orbifold $V_{L_2}^{A_5}$

Let $L_2=\mathbb{Z}α$ be the rank-one root lattice with $(α,α)=2$, and let $A_5$ act on the lattice vertex operator algebra $V_{L_2}$ through an icosahedral subgroup of $\operatorname{Aut}(V_{L_2})\cong PSL_2(\mathbb{C})$. We prove that the fixed-point vertex operator algebra $V_{L_2}^{A_5}$ is strongly rational.

math.QA