FAITHFUL REPRESENTATIONS OF MINIMAL DIMENSION OF CURRENT HEISENBERG LIE ALGEBRAS

Abstract

Given a Lie algebra 𝔤 over a field of characteristic zero k, let μ(𝔤) = min{dim π : π is a faithful representation of 𝔤}. Let 𝔥m be the Heisenberg Lie algebra of dimension 2m + 1 over k and let k [t] be the polynomial algebra in one variable. Given m ∈ ℕ and p ∈ k [t], let 𝔥m, p = 𝔥m ⊗ k [t]/(p) be the current Lie algebra associated to 𝔥m and k [t]/(p), where (p) is the principal ideal in k [t] generated by p. In this paper we prove that [Formula: see text]. We also prove a result that gives information about the structure of a commuting family of operators on a finite dimensional vector space. From it is derived the well-known theorem of Schur on maximal abelian subalgebras of 𝔤𝔩(n, k ).