Lie powers and Witt vectors

In the study of Lie powers of a module V in prime characteristic p, a basic role is played by certain modules B _n introduced by Bryant and Schocker. The isomorphism types of the B _n are not fully understood, but these modules fall into infinite families , one family B(k) for each positive integer k not divisible by p, and there is a recursive formula for the modules within B(k). Here we use combinatorial methods and Witt vectors to show that each module in B(k) is isomorphic to a direct sum of tensor products of direct summands of the kth tensor power V ^{⊗ k} . To the memory of Manfred Schocker.     

An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

In this paper we give a term equivalence between the simple k-cyclic Post algebra of order p, L _p,k, and the finite field F(p ^k) with constants F(p). By using Lagrange polynomials, we give an explicit procedure to obtain an interpretation Φ₁ of the variety V(L _p,k) generated by L _p,k into the variety V(F(p ^k)) generated by F(p ^k) and an interpretation Φ₂ of V(F(p ^k)) into V(L _p,k) such that Φ₂Φ₁(B) = B for every B ε V(L _p,k) and Φ₁Φ₂(R) = R for every R ε V(F(p ^k)).     

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.     

The non-projective part of the Lie module for the symmetric group

The Lie module of the group algebra F\mathfrakS_n{{F\mathfrak{S}_n}} of the symmetric group is known to be not projective if and only if the characteristic p of F divides n. We show that in this case its non-projective summands belong to the principal block of F\mathfrakS_n{{F\mathfrak{S}_n}} . Let V be a vector space of dimension m over F, and let L ⁿ (V) be the n-th homogeneous part of the free Lie algebra on V; this is a polynomial representation of GL _m (F) of degree n, or equivalently, a module of the Schur algebra S(m, n). Our result implies that, when m ≥ n, every summand of L ⁿ (V) which is not a tilting module belongs to the principal block of S(m, n), by which we mean the block containing the n-th symmetric power of V.     

Projective Summands in Tensor Products of Simple Modules of Finite Dimensional Hopf Algebras

Abstract

Let H be a finite dimensional Hopf algebra over a field k. We show that H contains a unique maximal Hopf ideal J _w (H) contained in J(H), the Jacobson radical of H. We give various characterizations of J _w (H), for example J _w (H) = Ann _H ((H/J(H))^?n ) for all large enough n. The smallest positive integer n with this property is denoted by l _w (H). We prove that l _w (H) equals the smallest number n such that (H/J(H))^?n contains every projective indecomposable H/J _w (H)-module as a direct summand. This also equals the minimal n such that the tensor product of n suitable simple H-modules contains the projective cover of the trivial H/J _w (H)-module as a direct summand. We define projective homomorphisms between H-modules, which are used to obtain various reciprocity laws for tensor products of simple H-modules and their projective indecomposable direct summands. We also discuss some consequences of our general results in case H = kG is a group algebra of a finite group G and k is a field of characteristic p.     

Large spaces of symmetric matrices of bounded rank are decomposable ∗

Let k and n be positive integers such that kn. Let S_n (F) denote the space of all n×n symmetric matrices over the field F with char F≠2. A subspace L of S_n (F) is said to be a k-subspace if rank Ak for every A?L.

Now suppose that k is even, and write k=2r. We say a k∥-subspace of S_n (F) is decomposable if there exists in Fⁿ a subspace W of dimension n?r such that x^tAx=0 for every x?W A?L.

We show here, under some mild assumptions on k n and F, that every k∥-subspace of S_n (F) of sufficiently large dimension must be decomposable. This is an analogue of a result obtained by Atkinson and Lloyd for corresponding subspaces of F^m,n .     

Free 2-step nilpotent Lie algebras and indecomposable representations

Given an algebraically closed field F of characteristic 0 and an F-vector space V, let L(V)?=?V⊕Λ²(V) denote the free 2-step nilpotent Lie algebra associated to V. In this paper, we classify all uniserial representations of the solvable Lie algebra 𝔤?=??x??L(V), where x acts on V via an arbitrary invertible Jordan block.     

Approximation by Faber-Laurent rational functions in the mean of functions of callsL p(Γ) with 1

Çavu§  A.  Israfilov  D. M. 《分析论及其应用》1995,11(1):105-118

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Primarite DeL p(L r), 1<p,r<∞

In this article we show thatL ^p(L ^r) is primary forp andr in ]1,+∞[. If (h _k) _k≧1 denote the Haar basis, we begin with a study of the sequence (h _k ⊗h _i) and, in particular, the space generated by a subsequence of this sequence. In the first part we study the base ofL ^p(L ^r) and in the second part we show that this space is primary.     

The Frattini Subalgebra of Restricted Lie Superalgebras

In the present paper, we study the Frattini subalgebra of a restricted Lie superalgebra （L, [p]）. We show first that if L = A1 ＋ A2 ＋… ＋An, then Фp（L） = Фp（A1） ＋Фp（A2） ＋…＋Фp（An）, where each Ai is a p-ideal of L. We then obtain two results： F（L） = Ф（L） = J（L） = L if and only if L is nilpotent; Fp（L） and F（L） are nilpotent ideals of L if L is solvable. In addition, necessary and sufficient conditions are found for Фp-free restricted Lie superalgebras. Finally, we discuss the relationships of E-p-restricted Lie superalgebras and E-restricted Lie superalgebras.     

On the Simplicity of Lie Algebras Associated to Leavitt Algebras

For any field 𝕂 and integer n ≥ 2, we consider the Leavitt algebra L _𝕂(n); for any integer d ≥ 1, we form the matrix ring S = M _d (L _𝕂(n)). S is an associative algebra, but we view S as a Lie algebra using the bracket [a, b] = ab ? ba for a, b ∈ S. We denote this Lie algebra as S ^?, and consider its Lie subalgebra [S ^?, S ^?]. In our main result, we show that [S ^?, S ^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1 and char(𝕂) does not divide d. In particular, when d = 1, we get that [L _𝕂(n)^?, L _𝕂(n)^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1.     

On Behavior of Solvable Ideals of Lie Algebras Under Outer Derivations

Let L be a finite dimensional Lie algebra over a field F. It is well known that the solvable radical S(L) of the algebra L is a characteristic ideal of L if char F = 0, and there are counterexamples to this statement in case char F = p > 0. We prove that the sum S(L) of all solvable ideals of a Lie algebra L (not necessarily finite dimensional) is a characteristic ideal of L in the following cases: 1) char F = 0; 2) S(L) is solvable and its derived length is less than log₂ p.     

A combinatorial proof of Klyachko’s Theorem on Lie representations

Let L be a free Lie algebra of finite rank r over an arbitrary field K of characteristic 0, and let L_n denote the homogeneous component of degree n in L. Viewed as a module for the general linear group GL(r,K), L_n is known to be semisimple with the isomorphism types of the simple summands indexed by partitions of n with at most r parts. Klyachko proved in 1974 that, for n > 6, almost all such partitions are needed here, the exceptions being the partition with just one part, and the partition in which all parts are equal to 1. This paper presents a combinatorial proof based on the Littlewood-Richardson rule. This proof also yields that if the composition multiplicity of a simple summand in L_n is greater than 1, then it is at least .     

On lower bounds for the widths of classes of functions defined by integral moduli of continuity

We establish lower bounds for the Kolmogorov widths d _2n-1(W ^r H ₁^ω.L _p ) and Gel’fand widths d ^2n-1(W ^r H ₁^ω.L _p ) of the classes of functions W ^r H ₁^ω with a convex integral modulus of continuity ω(t).     

Fibonacci and Lucas congruences and their applications

In this paper we obtain some new identities containing Fibonacci and Lucas numbers. These identities allow us to give some congruences concerning Fibonacci and Lucas numbers such as L _2mn+k ≡ (−1)^(m+1)n L _k (mod L _m ), F _2mn+k ≡ (−1)^(m+1)n F _k (mod L _m ), L _2mn+k ≡ (−1) ^mn L _k (mod F _m ) and F _2mn+k ≡ (−1) ^mn F _k (mod F _m ). By the achieved identities, divisibility properties of Fibonacci and Lucas numbers are given. Then it is proved that there is no Lucas number L _n such that L _n = L ₂ ^k t L _m x ² for m > 1 and k ≥ 1. Moreover it is proved that L _n = L _m L _r is impossible if m and r are positive integers greater than 1. Also, a conjecture concerning with the subject is given.     

0-Minimal Quasi-ideals of Generalized Linear Transformation Semigroups

Abstract

For vector spaces V and W over a field F, L _F (V, W) denotes the set of all linear transformations α : V → W, and for a cardinal number k > 0, let L _F (V, W, k) be the set of all α ∈ L _F (V, W) of rank less than k. For θ ∈ L _F (W, V), let (L _F (V, W, k), θ) denote the semigroup L _F (V, W, k) under the operation ? defined by α ? β = αθβ for all α, β ∈ L _F (V, W, k). In this paper, all 0-minimal quasi-ideals of the semigroup (L _F (V, W, k), θ) are completely characterized. It is also shown from this characterization that every nonzero semigroup (L _F (V, W, k), θ) always has a 0-minimal quasi-ideal.     

Affine cross-polytopes inscribed in a convex body

Let X be an affine cross-polytope, i.e., the convex hull of n segments A ₁ B ₁,…, A _n B _n in \mathbbRⁿ {\mathbb{R}^n} that have a common midpoint O and do not lie in a hyperplane. The affine flag F(X) of X is the chain O ∈ L ₁ ⊂⋯ ⊂ L _n = \mathbbRⁿ {\mathbb{R}^n} , where L _k is the k-dimensional affine hull of the segments A ₁ B ₁,…, A _k B _k , k ≤ n. It is proved that each convex body K ⊂ \mathbbRⁿ {\mathbb{R}^n} is circumscribed about an affine cross-polytope X such that the flag F(X) satisfies the following condition for each k ∈{2,…, n}:the (k−1)-planes of support at A _k and B _k to the body L _k ∩ K in the k-plane L _k are parallel to L _k −1.Each such X has volume at least V(K)/2 ^n(n−1)/2. Bibliography: 5 titles.     

Indecomposable matrices over a distributive lattice

In this paper, the concepts of indecomposable matrices and fully indecomposable matrices over a distributive lattice L are introduced, and some algebraic properties of them are obtained. Also, some characterizations of the set F _n (L) of all n × n fully indecomposable matrices as a subsemigroup of the semigroup H _n (L) of all n × n Hall matrices over the lattice L are given.     

Rates of uniform convergence for empirical processes of strictly stationary β-mixing sequences indexed by an unbounded class of functions

Assume that {Xn} is a strictly stationary β-mixing random sequence with the β-mixing coefficient βk = O(k-r), 0 < r ≤1. Yu (1994) obtained convergence rates of empirical processes of strictly stationary β-mixing random sequence indexed by bounded classes of functions. Here, a new truncation method is proposed and used to study the convergence for empirical processes of strictly stationary β-mixing sequences indexed by an unbounded class of functions. The research results show that if the envelope of the index class of functions is in Lp, p > 2 or p > 4, uniform convergence rates of empirical processes of strictly stationary β-mixing random sequence over the index classes can reach O((nr/(l+r)/logn)-1/2) or O((nr/(1+r)/ log n)-3/4) and that the Central Limit Theorem does not always hold for the empirical processes.``