On Cartan Invariants and Blocks of Zassenhaus Algebras #

In this article, we determine the Cartan invariants for Zassenhaus algebras W(1,n). This is done by reducing representations of generalized restricted Cartan type Lie algebra W(1,n) to representations of restricted Lie algebras W(1,1) and of ± b𝔰 ± b𝔩(2), and then extending Feldvoss-Nakano's argument on W(1,1) to the case W(1,n).     

Formal Expansion of Harish-Chandra Homomorphism

Abstract

Let 𝔤 be a complex semisimple Lie algebra with adjoint group G and let 𝔥 be a Cartan subalgebra of 𝔤. Let Â(𝔤) and Â(𝔥) denote the algebra of differential operators with formal power series coefficients on 𝔤 and 𝔥 respectively. We construct a subalgebra A _𝔤 of Â(𝔤) containing all the pull-backs of the differential operators in G attached to any element x in 𝔤. We also consider the projection P: A _𝔤 → Â _𝔥. Then, we calculate explicity the pull-back of the differential operator in G attached to an element h in 𝔥 modulo Ker P.     

Generalized cartan type k lie algebras in characteristic 0

The Lie algebra of Cartan type K which occurs as a subalgebra of the Lie algebra of derivations of the polynomial algebra F[x₀, x₁,…, x_n,x_n?1,…,x_?n], where F is a field of characteristic 0, was generalized by the first author to a class which included a subalgebra of the derivations of the Laurent polynomials F[x₀,x₁,…, x_n,x_?1,…,x_?n,X₀ ^?1x₁ ^-1,…,x_n ^?1,…,x_?1 ^?1…,x_?n ^?1]A further generalization of these algebras is the main topic of this paper. We show when these algebras are simple, determine all possible     

On Finite Quantum Groups at −1

This is a contribution to the classification of finite-dimensional pointed Hopf algebras. We are concerned with the case when the group of group-like elements is Abelian of exponent 2. We attach to such a pointed Hopf algebra a generalized simply-laced Cartan matrix; we conjecture that the Hopf algebra is finite-dimensional if and only if the Cartan matrix is of finite type. We prove the conjecture for the types A_n and A_n⁽¹⁾. We obtain the classification of all possible Hopf algebras with Cartan matrix A_n. We use the lifting method developed by Hans-Jürgen Schneider and the first-named author. Presented by S. MontgomeryMathematics Subject Classifications (2000) Primary: 17B37; secondary: 16W30.This work was partially supported by CONICET, Agencia Córdoba Ciencia – CONICOR, FOMEC and Secyt (UNC).     

Nonlinear Lie derivations on upper triangular matrices

Let M _n (𝔸) and T _n (𝔸) be the algebra of all n?×?n matrices and the algebra of all n?×?n upper triangular matrices over a commutative unital algebra 𝔸, respectively. In this note we prove that every nonlinear Lie derivation from T _n (𝔸) into M _n (𝔸) is of the form A?→?AT???TA?+?A _??+?ξ(A)I _n , where T?∈?M _n (𝔸), ??:?𝔸?→?𝔸 is an additive derivation, ξ?:?T _n (𝔸)?→?𝔸 is a nonlinear map with ξ(AB???BA)?=?0 for all A,?B?∈?T _n (𝔸) and A _? is the image of A under???applied entrywise.     

Additivity of Lie multiplicative maps on triangular algebras

Let 𝒜 and ? be unital algebras over a commutative ring ?, and ? be a (𝒜,??)-bimodule, which is faithful as a left 𝒜-module and also as a right ?-module. Let 𝒰?=?Tri(𝒜,??,??) be the triangular algebra and 𝒱 any algebra over ?. Assume that Φ?:?𝒰?→?𝒱 is a Lie multiplicative isomorphism, that is, Φ satisfies Φ(ST???TS)?=?Φ(S)Φ(T)???Φ(T)Φ(S) for all S, T?∈?𝒰. Then Φ(S?+?T)?=?Φ(S)?+?Φ(T)?+?Z _S,T for all S, T?∈?𝒰, where Z _S,T is an element in the centre 𝒵(𝒱) of 𝒱 depending on S and T.     

On the Various Realizations of the Basic Representation of An−1(1) and the Combinatorics of Partitions

The infinite dimensional Lie algebra l _n = A _n–1 ⁽¹⁾ can be realized in several ways as an algebra of differential operators. The aim of this note is to show that the intertwining operators between the realizations of l _n corresponding to all partitions of n can be described very simply by using combinatorial constructions.     

On Some Geometric Representations of GL N (𝔬)

We study a family of complex representations of the group GL _n (𝔬), where 𝔬 is the ring of integers of a non-archimedean local field F. These representations occur in the restriction of the Grassmann representation of GL _n (F) to its maximal compact subgroup GL _n (𝔬). We compute explicitly the transition matrix between a geometric basis of the Hecke algebra associated with the representation and an algebraic basis that consists of its minimal idempotents. The transition matrix involves combinatorial invariants of lattices of submodules of finite 𝔬-modules. The idempotents are p-adic analogs of the multivariable Jacobi polynomials.     

Triple products on  n

Triple products in  _n whose related algebra is  _n itself or  _n are classified up to isomorphism. This classification is obtained using the intimate relation between triple products and Lie (super)algebra structures.     

Extensions of Modules over Hopf Algebras Arising from Lie Algebras of Cartan Type

In this paper we prove that there are no self-extensions of simple modules over restricted Lie algebras of Cartan type. The proof given by Andersen for classical Lie algebras not only uses the representation theory of the Lie algebra, but also representations of the corresponding reductive algebraic group. The proof presented in the paper follows in the same spirit by using the construction of a infinite-dimensional Hopf algebra D(G) u( ) containing u( ) as a normal Hopf subalgebra, and the representation theory of this algebra developed in our previous work. Finite-dimensional hyperalgebra analogs D(G _r ) u( ) have also been constructed, and the results are stated in this setting.     

Automorphisms of Relatively Free Nilpotent Lie Algebras

Let L be a relatively free nilpotent Lie algebra over ? of rank n and class c, with n ≥ 2; freely generated by a set 𝒵. Give L the structure of a group, denoted by R, by means of the Baker–Campbell–Hausdorff formula. Let G be the subgroup of R generated by the set 𝒵 and N _Aut(L)(G) the normalizer in Aut(L) of the set G. We prove that the automorphism group of L is generated by GL _n (?) and N _Aut(L)(G). Let H be a subgroup of finite index in Aut(G) generated by the tame automorphisms and a finite subset X of IA-automorphisms with cardinal s. We construct a set Y consisting of s + 1 IA-automorphisms of L such that Aut(L) is generated by GL _n (?) and Y. We apply this particular method to construct generating sets for the automorphism groups of certain relatively free nilpotent Lie algebras.     

Conjugation in Representations of the Zassenhaus Algebra

Let F be an algebracially closed field of characteristic p > 2, and L be the p ⁿ -dimensional Zassenhaus algebra with the maximal invariant subalgebra L ₀ and the standard filtration {L _i }| ^pn−2 _{i =−1}. Then the number of isomorphism classes of simple L-modules is equal to that of simple L ₀-modules, corresponding to an arbitrary character of L except when its height is biggest. As to the number corresponding to the exception there was an earlier result saying that it is not bigger than p ⁿ . Received May 10, 1999, Accepted December 8, 1999     

Restrictions of Symmetric Invariants of a Complex Semisimple Lie Algebra and Some Applications

Let 𝔤 be a finite-dimensional complex semisimple Lie algebra and σ an arbitrary semisimple automorphism of 𝔤. Let 𝔱 be a Cartan subalgebra of 𝔨 = 𝔤^σ and 𝔥 =Z _𝔤(𝔱) be the centralizer of 𝔱 in 𝔤. Then 𝔥 is a σ-invariant Cartan subalgebra of 𝔤 and 𝔱 = 𝔥^σ. Let W(𝔤, 𝔥) be the Weyl group. One knows that Δ(𝔤, 𝔱), the set of roots of 𝔤 in 𝔱, is also a root system. It is proved that the corresponding Weyl group W(𝔤, 𝔱) is isomorphic to W(𝔤, 𝔥)^σ, which is the subgroup of W(𝔤, 𝔥) consisting of those elements commuting with σ. It is also shown that the image of the restriction map S(𝔥*) ^{W(𝔤, 𝔥)} → S(𝔱*) ^{W(𝔨, 𝔱)}, where S(𝔥*) and S(𝔱*) are the polynomial algebras on 𝔥 and 𝔱, respectively, is exactly S(𝔱*) ^{W(𝔤, 𝔱)}. Based on the above result, we also get a complete classification of the pairs (𝔤, σ) such that 𝔤^σ is noncohomologous to zero in 𝔤.     

Lie Algebra 𝔉-Normalizers are Intravariant

Let 𝔉 be a saturated formation of soluble Lie algebras. Let L be a soluble Lie algebra, and let U be an 𝔉-normalizer of L. Then U is intravariant in L.     

Contact and Frobenius solvable Lie algebras with abelian nilradical

The aim of this work is to characterize the families of Frobenius (respectively, contact) solvable Lie algebras that satisfies the following condition: 𝔤 = 𝔥?V, where 𝔥?𝔤𝔩(V), |dim V?dim 𝔤|≤1 and NilRad(𝔤) = V, V being a finite dimensional vector space. In particular, it is proved that every complex Frobenius solvable Lie algebra is decomposable, whereas that in the real case there are only two indecomposable Frobenius solvable Lie algebras.     

On balanced bases

It is proved that either a given balanced basis of the algebra (n + 1)M₁ M_n or the corresponding complementary basis is of rank n + 1. This result enables us to claim that the algebra (n + 1)M₁ M_n is balanced if and only if the matrix algebra M_n admits a WP-decomposition, i.e., a family of n + 1 subalgebras conjugate to the diagonal algebra and such that any two algebras in this family intersect orthogonally (with respect to the form tr XY) and their intersection is the trivial subalgebra. Thus, the problem of whether or not the algebra (n + 1)M₁ M_n is balanced is equivalent to the well-known Winnie-the-Pooh problem on the existence of an orthogonal decomposition of a simple Lie algebra of type A_n–1 into the sum of Cartan subalgebras.Translated from Matematicheskie Zametki, vol. 77, no. 2, 2005, pp. 213–218.Original Russian Text Copyright © 2005 by D. N. Ivanov.This revised version was published online in April 2005 with a corrected issue number.     

Symplectic meanders

Analogous to the 𝔰𝔩(n) case, we address the computation of the index of seaweed subalgebras of 𝔰𝔭(2n) by introducing graphical representations called symplectic meanders. Formulas for the algebra’s index may be computed by counting the connected components of its associated meander. In certain cases, formulas for the index can be given in terms of elementary functions.     

Extremal Bases for the Adjoint Representations of the Simple Lie Algebras

We construct n distinct weight bases, which we call extremal bases, for the adjoint representation of each simple Lie algebra 𝔤 of rank n: One construction for each simple root. We explicitly describe actions of the Chevalley generators on the basis elements. We show that these extremal bases are distinguished by their “supporting graphs” in three ways. (In general, the supporting graph of a weight basis for a representation of a semisimple Lie algebra is a directed graph with colored edges that describe the supports of the actions of the Chevalley generators on the elements of the basis.) We show that each extremal basis constructed is essentially the only basis with its supporting graph (i.e., each extremal basis is solitary), and that each supporting graph is a modular lattice. Each extremal basis is shown to be edge-minimizing: Its supporting graph has the minimum number of edges. The extremal bases are shown to be the only edge-minimizing as well as the only modular lattice weight bases (up to scalar multiples) for the adjoint representation of 𝔤. The supporting graph for an extremal basis is shown to be a distributive lattice if and only if the associated simple root corresponds to an end node for a “branchless” simple Lie algebra, i.e., type A, B, C, F, or G. For each extremal basis, basis elements for the Cartan subalgebra are explicitly expressed in terms of the h _i Chevalley generators.