Depth Generated Simple Lie Algebras

A Lie module algebra for a Lie algebra L is an algebra and L-module A such that L acts on A by derivations. The depth Lie algebra of a Lie algebra L with Lie module algebra A acts on a corresponding depth Lie module algebra . This determines a depth functor from the category of Lie module algebra pairs to itself. Remarkably, this functor preserves central simplicity. It follows that the Lie algebras corresponding to faithful central simple Lie module algebra pairs (A,L) with A commutative are simple. Upon iteration at such (A,L), the Lie algebras are simple for all i ∈ ω. In particular, the (i ∈ ω) corresponding to central simple Jordan Lie algops (A,L) are simple Lie algebras. Presented by Don Passman.     

On the Generalized Enveloping Algebra of a Color Lie Algebra

Let G be an abelian group, ε an anti-bicharacter of G and L a G-graded ε Lie algebra (color Lie algebra) over a field of characteristic zero. We prove that for all G-graded, positively filtered A such that the associated graded algebra is isomorphic to the G-graded ε-symmetric algebra S(L), there is a G- graded ε-Lie algebra L and a G-graded scalar two cocycle , such that A is isomorphic to U _ω (L) the generalized enveloping algebra of L associated with ω. We also prove there is an isomorphism of graded spaces between the Hochschild cohomology of the generalized universal enveloping algebra U(L) and the generalized cohomology of the color Lie algebra L. Supported by the EC project Liegrits MCRTN 505078.     

Highest weight representations of a Lie algebra of Block type

For a field F of characteristic zero and an additive subgroup G of F, a Lie algebra B(G) of the Block type is defined with the basis {Lα,i, c|α∈G, -1≤i∈Z} and the relations [Lα,i,Lβ,j] = ((i 1)β- (j 1)α)Lα β,i j αδα,-βδi j,-2c,[c, Lα,i] = 0. Given a total order (?) on G compatible with its group structure, and anyα∈B(G)0*, a Verma B(G)-module M(A, (?)) is defined, and the irreducibility of M(A,(?)) is completely determined. Furthermore, it is proved that an irreducible highest weight B(Z )-module is quasifinite if and only if it is a proper quotient of a Verma module.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Maximal subspaces for solutions of the second order abstract cauchy problem

For a continuous, increasing function ω: R → R \{0} of finite exponential type, this paper introduces the set Z(A, ω) of all x in a Banach space X for which the second order abstract differential equation (2) has a mild solution such that [ω(t)]-1u(t,x) is uniformly continues on R , and show that Z(A, ω) is a maximal Banach subspace continuously embedded in X, where A ∈ B(X) is closed. Moreover, A|z(A,ω) generates an O(ω(t))strongly continuous cosine operator function family.     

Strong Arens irregularity of Beurling algebras with a locally convex topology

Let G be a locally compact group with a weight function ω. Recently, we have shown that the Banach space L₀^∞ (G,1/ω) can be identified with the strong dual of L¹(G, ω)equipped with some locally convex topologies τ. Here we use this duality to introduce an Arens multiplication on (L¹(G, ω), τ)**, and prove that the topological center of (L¹(G, ω), τ)** is (L¹(G, ω); this enables us to conclude that (L¹(G, ω), τ) is Arens regular if and only if G is discrete. We also give a characterization for Arens regularity of L₀^∞ (G, 1/ω)¹. Received: 8 March 2005     

Global existence and time decay of small solutions to the landau-ginzburg type equations

We study the Cauchy problem for the nonlinear dissipative equations (0.1) uo∂u-αδu + Β|u|^2/n u = 0,x ∃ Rⁿ,t } 0,u(0,x) = u0(x),x ∃ Rⁿ, where α,Β ∃ C, ℜα 0. We are interested in the dissipative case ℜα 0, and ℜδ(α,Β)≥ 0, θ = |∫ u0(x)dx| ⊋ 0, where δ(α, Β) = ##|α|^n-1n^n/2 / ((n + 1)|α|² + α^{2 n/2}. Furthermore, we assume that the initial data u₀ ∃ L^p are such that (1 + |x|)^αu0 ∃ L¹, with sufficiently small norm ∃ = (1 + |x|)^α u₀ 1 + u₀ p, wherep 1, α ∃ (0,1). Then there exists a unique solution of the Cauchy problem (0.1)u(t, x) ∃ C ((0, ∞); L^∞) ∩ C ([0, ∞); L¹ ∩ L^p) satisfying the time decay estimates for allt0 u(t)||_∞ Cɛt^-n/2(1 + η log 〈t〉)^-n/2, if hg = θ^2/n 2_π ℜδ(α, Β) 0; u(t)||_∞ Cɛt^-n/2(1 + Μ log 〈t〉)^-n/4, if η = 0 and Μ = θ^4/n 4π)² (ℑδ(α, Β))² ℜ((1 + 1/n) υ1-1 υ2) 0; and u(t)||_∞ Cɛt^-n/2(1 + κ log 〈t〉)^-n/6, if η = 0, Μ = 0, κ 0, where υl,l = 1,2 are defined in (1.2), κ is a positive constant defined in (2.31).     

Highest weight representations of a family of Lie algebras of Block type

For an additive subgroup G of a field F of characteristic zero, a Lie algebra B（G） of Block type is defined with basis {Lα,i｜ α∈G, i∈Z＋} and relations [Lα,i, Lβ,j] = （β-α）Lα＋β,i＋j＋（αj-βi）Lα＋β,Lα＋β,i＋j-1.It is proved that an irreducible highest weight B（Z）-module is quasifinite if and only if it is a proper quotient of a Verma module. Furthermore, for a total order λ on G and any ∧∈B（G）0^＊（the dual space of B（G）0 = span{L0,i｜i∈Z＋}）, a Verma B（G）-module M（∧,λ） is defined, and the irreducibility of M（A,λ） is completely determined.     

Strict topology over the space of measures with continuous translations on a locally compact foundation semigroup

Let $ \mathfrak{S} $ \mathfrak{S} be a locally compact semigroup, ω be a weight function on $ \mathfrak{S} $ \mathfrak{S} , and M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) be the weighted semigroup algebra of $ \mathfrak{S} $ \mathfrak{S} . Let L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) be the C*-algebra of all M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)-measurable functions g on $ \mathfrak{S} $ \mathfrak{S} such that g/ω vanishes at infinity. We introduce and study a strict topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) and show that the Banach space L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) can be identified with the dual of M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) endowed with β ¹($ \mathfrak{S} $ \mathfrak{S} , ω). We finally investigate some properties of the locally convex topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω).     

On universality of the Lerch zeta-function

It is known that the Lerch zeta-function L(λ, α, s) with transcendental parameter α is universal in the Voronin sense; i.e., every analytic function can be approximated by shifts L(λ, α, s + iτ) uniformly on compact subsets of some region. In this paper, the universality for some classes of composite functions F(L(λ, α, s)) is obtained. In particular, general theorems imply the universality of the functions sin(L(λ, α, s)) and sinh(L(λ, α, s)).     

Modular Lie powers and the Solomon descent algebra

Let V be an r-dimensional vector space over an infinite field F of prime characteristic p, and let L_n(V) denote the nth homogeneous component of the free Lie algebra on V. We study the structure of L_n(V) as a module for the general linear group GL_r(F) when n=pk and k is not divisible by p and where r≥n. Our main result is an explicit 1-1 correspondence, multiplicity-preserving, between the indecomposable direct summands of L_k(V) and the indecomposable direct summands of L_n(V) which are not isomorphic to direct summands of V^⊗n. Our approach uses idempotents of the Solomon descent algebras, and in addition a correspondence theorem for permutation modules of symmetric groups. Second author supported by Deutsche Forschungsgemeinschaft (DFG-Scho 799).     

Estimates of the weak distance between finite-dimensional Banach spaces

We prove a variant of a theorem of N. Alon and V. D. Milman. Using it we construct for everyn-dimensional Banach spacesX andY a measure space Ω and two operator-valued functionsT: Ω→L(X, Y),S: Ω→L(Y, X) so that ∫_Ω S(ω)oT(ω)dω is the identity operator inX and ∫_Ω||S(ω)||·||T(ω)||dω=O(n ^α ) for some absolute constantα<1. We prove also that any subset of the unitn-cube which is convex, symmetric with respect to the origin and has a sufficiently large volume possesses a section of big dimension isomorphic to ak-cube. Research supported in part by a grant of the Israel Academy of Sciences.     

Modular <Emphasis Type="Italic">W</Emphasis> and <Emphasis Type="Italic">H</Emphasis> Type Lie Algebras

The modular Witt algebra W(p, n) and H(p, 2n) are defined on the polynomial rings Z_p[x₁,...,x_n] and Z_p[X₁,...,x_n, y₁,...,y_n] respectively. We generalize Z_p[x₁,...,xn] and Zp[x₁,...,xn, y₁,...,y_n], so we get the generalized W-type and H-type modular Lie algebras. We find all the derivations of W(p, 1).AMS Subject Classification: Primary 17B40, 17B56.     

Reductivity of the Lie Algebra of a Bilinear Form

Let f: V × V → F be a totally arbitrary bilinear form defined on a finite dimensional vector space V over a field F, and let L(f) be the subalgebra of 𝔤𝔩(V) of all skew-adjoint endomorphisms relative to f. Provided F is algebraically closed of characteristic not 2, we determine all f, up to equivalence, such that L(f) is reductive. As a consequence, we find, over an arbitrary field, necessary and sufficient conditions for L(f) to be simple, semisimple or isomorphic to 𝔰𝔩(n) for some n.     

Uncountable admissibles II: Compactness

AssumeV=L. Let κ be a cardinal and forX⊆κ, n<ω let α _n (X) denote the least ordinal α such thatL _α[X] is Σ _n admissible. In our earlier paperUncountable admissibles I: forcing, we characterized those ordinals of the form σ _n (X) when κ is regular. This paper treats the singular case using Barwise compactness, an effective version of Jensen's covering lemma and β-recursion theory.     

Z-Graded Lie Superalgebras with Depth One over Fields of Prime Characteristic

Let F be a field of characteristic p > 3, and L = ⊕ _i≥minus;1 L _i the finite-dimensional transitive Z-graded simple Lie superalgebral over F. In this paper L is determined if the Z-graded Lie superalgebra L ₋₁ L ₀ is isomorphic to the L ₋₁⊕pl (L ₋₁) or L ₋₁⊕spl (L ₋₁). Received November 10, 1999, Accepted April 7, 2000     

CM values and central L-values of elliptic modular forms

Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for ${\alpha\in K^{\times}}Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for a ? K^×{\alpha\in K^{\times}}. Let L(f, Ω; s) be the Rankin-Selberg L-function attached to (f, Ω) and P(f, Ω) an “Ω-averaged” sum of CM values of f. In this paper, we give a formula expressing the central L-values L(f, Ω; 1/2) in terms of the square of P(f, Ω).     

Ideals and simplicity of unitary Lie algebras

Double graded ideals and simplicity of elementary unitary Lie algebra eu _n (R,⁻, γ) and Steinberg unitary Lie algebra stu _n (R,⁻, γ) are characterized, where R is a unital involutory associative algebra over a field F of characteristic zero, n ⩾ 5.     

On dualL 1-spaces and injective bidual Banach spaces

In a previous paper (Israel J. Math.28 (1977), 313–324), it was shown that for a certain class of cardinals τ,l ¹(τ) embeds in a Banach spaceX if and only ifL ¹([0, 1]^τ) embeds inX ^*. An extension (to a rather wider class of cardinals) of the basic lemma of that paper is here applied so as to yield an affirmative answer to a question posed by Rosenthal concerning dual ℒ₁-spaces. It is shown that ifZ ^* is a dual Banach space, isomorphic to a complemented subspace of anL ¹-space, and κ is the density character ofZ ^*, thenl ¹(κ) embeds inZ ^*. A corollary of this result is that every injective bidual Banach space is isomorphic tol ^∞(κ) for some κ. The second part of this article is devoted to an example, constructed using the continuum hypothesis, of a compact spaceS which carries a homogeneous measure of type ω₁, but which is such thatl ¹(ω₁) does not embed in ℰ(S). This shows that the main theorem of the already mentioned paper is not valid in the case τ = ω₁. The dual space ℰ(S)^* is isometric to , and is a member of a new isomorphism class of dualL ¹-spaces.