Ideals of identities of representations of nilpotent lie algebras

Let L be a Lie algebra, nilpotent of class 2, over an infinite field K, and suppose that the centre C of L is one dimensional; such Lie algebras are called Heisenberg algebras. Let ρ:L→hom _KV be a finite dimensional representation of the Heisenberg algebra L such that ρ(C) contains non-singular linear transformations of V, and denote l(ρ) the ideal of identities for the representation ρ. We prove that the ideals of identities of representations containing I(ρ) and generated by multilinear polynomials satisfy the ACC. Let sl ₂(L) be the Lie algebra of the traceless 2×2 matrices over K, and suppose the characteristic of K equals 2. As a corollary we obtain that the ideals of identities of representations of Lie algebras containing that of the regular representation of sl ₂(K) and generated by multilinear polynomials, are finitely based. In addition we show that one cannot simply dispense with the condition of multilinearity. Namely, we show that the ACC is violated for the ideals of representations of Lie algebras (over an infinite field of characteristic 2) that contain the identities of the regular representation of sl ₂(K).     

Rigid representations of a double quiver of type A, and Richardson elements in seaweed Lie algebras

In this paper, we show that there is always an open adjointorbit in the nilpotent radical of a seaweed Lie algebra in gl_n(k),thus answering positively in this gl_n(k) case to a questionraised independently by Michel Duflo and Dmitri Panyushev. Theproof gives an explicit construction, using -filtered modulesof quasi-hereditary algebras arising from quotients of the doubleof quivers of type A. An example of a seaweed Lie algebra ina simple Lie algebra of type E₈ not admitting an open orbitin its nilpotent radical is given.     

Explicit Hilbert spaces for certain unipotent representations III

In this paper we construct a family of small unitary representations for real semisimple Lie groups associated with Jordan algebras. These representations are realized on L²-spaces of certain orbits in the Jordan algebra. The representations are spherical and one of our key results is a precise L²-estimate for the Fourier transform of the spherical vector. We also consider the tensor products of these representations and describe their decomposition.     

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.     

Nonembeddable Factors of the Enveloping Algebras of Semisimple Lie Algebras

It is shown that the enveloping algebra of every (finite dimensional,complex) semisimple Lie algebra has a factor ring which cannotbe embedded in any Artinian ring. The proof helps to clarifythe connection between primary decomposition and embeddability,which was obscured in the original proof [3] that U(sl₂(C))admits a nonembeddable factor.     

Nest Representations of Directed Graph Algebras

This paper is a comprehensive study of the nest representationsfor the free semigroupoid algebra L_G of a countable directedgraph G as well as its norm-closed counterpart, the tensor algebraT⁺(G). We prove that the finite-dimensional nest representations separatethe points in L_G, and a fortiori, in T⁺(G). The irreduciblefinite-dimensional representations separate the points in L_Gif and only if G is transitive in components (which is equivalentto being semisimple). Also the upper triangular nest representationsseparate points if and only if for every vertex x T(G) supportinga cycle, x also supports at least one loop edge. We also study faithful nest representations. We prove that L_G(or T⁺(G) admits a faithful irreducible representation if andonly if G is strongly transitive as a directed graph. More generally,we obtain a condition on G which is equivalent to the existenceof a faithful nest representation. We also give a conditionthat determines the existence of a faithful nest representationfor a maximal type N nest. 2000 Mathematics Subject Classification47L80, 47L55, 47L40.     

Embedding Properties of Metabelian Lie Algebras and Metabelian Discrete Groups

We show that for every natural number m a finitely generatedmetabelian group G embeds in a quotient of a metabelian groupof type FP_m. Furthermore, if m 4, the group G can be embeddedin a metabelian group of type FP_m. For L a finitely generatedmetabelian Lie algebra over a field K and a natural number mwe show that, provided the characteristic p of K is 0 or p >m, then L can be embedded in a metabelian Lie algebra of typeFP_m. This result is the best possible as for 0 < p m everymetabelian Lie algebra over K of type FP_m is finite dimensionalas a vector space.     

Metric Lie algebras with maximal isotropic centre

A metric Lie algebra is a Lie algebra equipped with an invariant non-degenerate symmetric bilinear form. It is called indecomposable if it is not the direct sum of two metric Lie algebras. We are interested in describing the isomorphism classes of indecomposable metric Lie algebras. In the present paper we restrict ourselves to a certain class of solvable metric Lie algebras which includes all indecomposable metric Lie algebras with maximal isotropic centre. We will see that each metric Lie algebra belonging to this class is a twofold extension associated with an orthogonal representation of an abelian Lie algebra. We will describe equivalence classes of such extensions by a certain cohomology set. In particular we obtain a classification scheme for indecomposable metric Lie algebras with maximal isotropic centre and the classification of metric Lie algebras of index 2.     

Lie Powers of Modules for Groups of Prime Order

Let L(V) be the free Lie algebra on a finite-dimensional vectorspace V over a field K, with homogeneous components Lⁿ(V) forn 1. If G is a group and V is a KG-module, the action of Gextends naturally to L(V), and the Lⁿ(V) become finite-dimensionalKG-modules, called the Lie powers of V. In the decompositionproblem, the aim is to identify the isomorphism types of indecomposableKG-modules, with their multiplicities, in unrefinable directdecompositions of the Lie powers. This paper is concerned withthe case where G has prime order p, and K has characteristicp. As is well known, there are p indecomposables, denoted hereby J₁,...,J_p, where J_r has dimension r. A theory is developedwhich provides information about the overall module structureof LV) and gives a recursive method for finding the multiplicitiesof J₁,...,J_p in the Lie powers Lⁿ(V). For example, the theoryyields decompositions of L(V) as a direct sum of modules isomorphiceither to J₁ or to an infinite sum of the form J_r J_{p-1} J_{p-1} ... with r 2. Closed formulae are obtained for the multiplicitiesof J₁,..., J_p in Lⁿ(J_p and Lⁿ(J_{p-1). For r < p-1, the indecomposableswhich occur with non-zero multiplicity in Lⁿ(J_r) are identifiedfor all sufficiently large n. 2000 Mathematical Subject Classification:17B01, 20C20.     

The homotopy invariance of the string topology loop product and string bracket

Let Mⁿ be a closed, oriented, n-manifold, and LM its free loopspace. In [Chas and Sullivan, ‘String topology’,Ann. of Math., to appear] a commutative algebra structure inhomology, H_*(LM), and a Lie algebra structure in equivarianthomology , were defined.In this paper, we prove that these structures are homotopy invariantsin the following sense. Let f:M₁ M₂ be a homotopy equivalenceof closed, oriented n-manifolds. Then the induced equivalence,Lf:LM₁ LM₂ induces a ring isomorphism in homology, and an isomorphismof Lie algebras in equivariant homology. The analogous statementalso holds true for any generalized homology theory h_* thatsupports an orientation of the M_i. Received February 5, 2007.     

Seminormal Representations of Weyl Groups and Iwahori-Hecke Algebras

The purpose of this paper is to describe a general procedurefor computing analogues of Young's seminormal representationsof the symmetric groups. The method is to generalize the Jucys-Murphyelements in the group algebras of the symmetric groups to arbitraryWeyl groups and Iwahori-Hecke algebras. The combinatorics ofthese elements allows one to compute irreducible representationsexplicitly and often very easily. In this paper we do thesecomputations for Weyl groups and Iwahori-Hecke algebras of typesA_n, B_n, D_n, G₂. Although these computations are in reach fortypes F₄, E₆ and E₇, we shall postpone this to another work.1991 Mathematics Subject Classification: primary 20F55, 20C15;secondary 20C30, 20G05.     

The embedding ofU q(sl (2)) and sine algebras in generalized Clifford algebras

In this note, we establish the connection between certain quantum algebras and generalized Clifford algebras (GCA). Precisely, we embed the quantum tori Lie algebra andU _q(sl (2)) in GCA.     

Vertex Algebras and Combinatorial Identities

In the 1980's, J. Lepowsky and R. Wilson gave a Lie-theoretic interpretation of Rogers–Ramanujan identities in terms of level 3 representations of affine Lie algebra sl(2,C)~. When applied to other representations and affine Lie algebras, Lepowsky and Wilson's approach yielded a series of other combinatorial identities of the Rogers–Ramanujan type. At about the same time, R. Baxter rediscovered Rogers–Ramanujan identities within the context of statistical mechanics. The work of R. Baxter initiated another line of research which yielded numerous combinatorial and analytic generalizations of Rogers–Ramanujan identities. In this note, we describe some ideas and results related to Lepowsky and Wilson's approach and indicate the connections with some results in combinatorics and statistical physics.     

Local Cohomology of BP*BP-Comodules

Given a spectrum X, we construct a spectral sequence of BP_*BP-comodulesthat converges to BP_*(L_nX), where L_nX is the Bousfield localizationof X with respect to the Johnson–Wilson theory E(n)_*.The E₂-term of this spectral sequence consists of the derivedfunctors of an algebraic version of L_n. We show how to calculatethese derived functors, which are closely related to local cohomologyof BP_*-modules with respect to the ideal I_n+1. 2000 MathematicsSubject Classification 55N22, 55P60, 16W30.     

Classification of 2-step nilpotent Lie algebras of dimension 9 with 2-dimensional center

A Lie algebra L is called 2-step nilpotent if L is not abelian and [L,L] lies in the center of L. 2-step nilpotent Lie algebras are useful in the study of some geometric problems, and their classification has been an important problem in Lie theory. In this paper, we give a classification of 2-step nilpotent Lie algebras of dimension 9 with 2-dimensional center.     

Generalising Group Algebras

We generalise group algebras to other algebraic objects withbounded Hilbert space representation theory; the generalisedgroup algebras are called ‘host’ algebras. The mainproperty of a host algebra is that its representation theoryshould be isomorphic (in the sense of the Gelfand–Raikovtheorem) to a specified subset of representations of the algebraicobject. Here we obtain both existence and uniqueness theoremsfor host algebras as well as general structure theorems forhost algebras. Abstractly, this solves the question of whena set of Hilbert space representations is isomorphic to therepresentation theory of a C*-algebra. To make contact withharmonic analysis, we consider general convolution algebrasassociated to representation sets, and consider conditions fora convolution algebra to be a host algebra.     

Cocycles on a finite dimensional quotient of uq (sl(2))

We prove that certain algebra quotients of Hopf algebras are twisted Hopf algebras. On the other handu_q (sl(2)) is a crossed product of a central subalgebra with a quotient [Ubar], when q is a root of 1. Using the cocycle involved in this crossed product we construct non-trivial complex cocycles τ and we find the isomorphism classes of the corresponding twisted Hopf algebras _τ [Ubar]. These provide complex projective representations of [Ubar] which are not ordinary representations.     

Hopf-Cyclic Homology and Relative Cyclic Homology of Hopf-Galois Extensions

Let H be a Hopf algebra and let M_s (H) be the category of allleft H-modules and right H-comodules satisfying appropriatecompatibility relations. An object in M_s (H) will be calleda stable anti-Yetter–Drinfeld module (over H) or a SAYDmodule, for short. To each M M_s (H) we associate, in a functorialway, a cyclic object Z_* (H, M). We show that our constructioncan be used to compute the cyclic homology of the underlyingalgebra structure of H and the relative cyclic homology of H-Galoisextensions. Let K be a Hopf subalgebra of H. For an arbitrary M M_s (K)we define a right H-comodule structure on so that becomes an object in M_s (H). Under some assumptions on K and M we computethe cyclic homology of . As a direct application of this result, we describe the relativecyclic homology of strongly graded algebras. In particular,we calculate the cyclic homology of group algebras and quantumtori. Finally, when H is the enveloping algebra of a Lie algebra g,we construct a spectral sequence that converges to the cyclichomology of H with coefficients in a given SAYD module M. Wealso show that the cyclic homology of almost symmetric algebrasis isomorphic to the cyclic homology of H with coefficientsin a certain SAYD module. 2000 Mathematics Subject Classification16E40 (primary), 16W30 (secondary).