Poisson identities of enveloping algebras

Let L be a restricted Lie algebra. The symmetric algebra S_p(L) of the restricted enveloping algebra u(L) has the structure of a Poisson algebra. We give necessary and sufficient conditions on L in order for the symmetric algebra S_p(L) to satisfy a multilinear Poisson identity. We also settle the same problem for the symmetric algebra S(L) of a Lie algebra L over an arbitrary field. The first author was partially supported by MIUR of Italy. The second author was partially supported by Grant RFBR-04-01- 00739. Received: 31 October 2005     

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.     

A Lower Bound for the Norm of the Minimal Residual Polynomial

Let S be a compact infinite set in the complex plane with 0∉S, and let R _n be the minimal residual polynomial on S, i.e., the minimal polynomial of degree at most n on S with respect to the supremum norm provided that R _n (0)=1. For the norm L _n (S) of the minimal residual polynomial, the limit k(S):=lim_n?￥ⁿ?{L_n(S)}\kappa(S):=\lim_{n\to\infty}\sqrt[n]{L_{n}(S)} exists. In addition to the well-known and widely referenced inequality L _n (S)≥κ(S) ⁿ , we derive the sharper inequality L _n (S)≥2κ(S) ⁿ /(1+κ(S)²ⁿ ) in the case that S is the union of a finite number of real intervals. As a consequence, we obtain a slight refinement of the Bernstein–Walsh lemma.     

X-inner automorphisms of enveloping rings

In this paper, we determine the X-inner automorphisms of the smash product R # U(L) of a prime ring R by the universal enveloping algebra U(L) of a characteristic 0 Lie algebra L. Specifically, we show that any such automorphism σ stabilizing R can be written as a product σ = σ₁σ₂, where σ₁ is induced by conjugation by a unit of Q₃(R), the symmetric Martindale ring of quotients of R, and σ₂ is induced by conjugation by a unit of Q₃(T). Here S = Q_l(R) is the left Martindale ring of quotients of R and T is the centralizer of S in S # U(L) - R # U(L). One of the subtleties of the proof is that we must work in several unrelated overrings of R # U(L).     

Bin packing can be solved within 1 + ε in linear time

For any listL ofn numbers in (0, 1) letL* denote the minimum number of unit capacity bins needed to pack the elements ofL. We prove that, for every positive ε, there exists anO(n)-time algorithmS such that, ifS(L) denotes the number of bins used byS forL, thenS(L)/L*≦1+ε for anyL providedL* is sufficiently large. The work of this author was supported by NSF Grant MCS 70-04997.     

Construction of minimal cocycles arising from specific differential equations

Blending methods of Topological Dynamics and Control Theory, we develop a new technique to construct compact-Lie-group-valued minimal cocycles arising as fundamental matrix solutions of linear differential equations with recurrent coefficients subject to a given constraint. The precise requirement on the coefficients is that they belong to a specified closed convex subsetS of the Lie algebraL of the Lie group. Our result is proved for a very thin class of cocycles, since the dimension ofS is allowed to be much smaller than that ofL, and the only assumption onS is thatL ₀(S) =L, whereL ₀(S) is the ideal ofL(S) generated by the difference setS − S, andL(S) is the Lie subalgebra ofL generated byS. This covers a number of differential equations arising in Mathematical Physics, and applies in particular to the widely studied example of the Rabi oscillator. Supported in part by a Research Council grant from Rutgers University. Supported in part by NSF Grant DMS92-02554.     

Corrigendum: Gluings of Modular Lattices

In Day and Hermann (Order, 5:85–101, 1988) it has been stated that for every S-cover of a lattice L there is an extension L′ of L in the variety of L and a bounded S-cover of L′ which restricts to the given S-cover and has each block L′(x) in the variety of L(x). A correct proof of this statement is given, here.     

β级星像函数类和凸像函数类的扩展问题

本文利用文[2,3]的引理和算子L(a,c)f(z)的一些性质.结合Hadamard乘积,研究了算子L(a,c)f(z),获得了L(a,c)f(z)∈S*(β)和L(a,c)f(z)∈K(β)的充分条件,推广了文[2,3]的相关结论.     

ON STABLE LINE SEGMENTS IN ALL TRIANGULATIONS OF A PLANAR POINT SET

Abstract. Let S be a set of finite plauar points. A llne segment L(p, q) with p, q E Sis called a stable line segment of S, if there is no Line segment with two endpoints in S intersecting L(p, q). In this paper, some geometric properties of the set of all stable line segments     

Derivations on the Algebra of τ-Compact Operators Affiliated with a Type I von Neumann Algebra

Let M be a type I von Neumann algebra with the center Z, and a faithful normal semi-finite trace τ. Consider the algebra L(M, τ) of all τ-measurable operators with respect to M and let S ₀(M, τ) be the subalgebra of τ-compact operators in L(M, τ). We prove that any Z-linear derivation of S ₀(M, τ) is spatial and generated by an element from L(M, τ).      

Minimal Bar Tableaux

Motivated by recent results of Stanley, we generalize the rank of a partition λ to the rank of a shifted partition S(λ). We show that the number of bars required in a minimal bar tableau of S(λ) is max(o, e + (ℓ(λ) mod 2)), where o and e are the number of odd and even rows of λ. As a consequence we show that the irreducible projective characters of S_n vanish on certain conjugacy classes. Another corollary is a lower bound on the degree of the terms in the expansion of Schur’s Q_λ symmetric functions in terms of the power sum symmetric functions. Received November 20, 2003     

On the central value of symmetric square L-functions

Let S _k (N, χ) be the space of cusp forms of weight k, level N and character χ. For let L(s, sym² f) be the symmetric square L-function and be the Rankin–Selberg square attached to f. For fixed k ≥ 2, N prime, and real primitive χ, asymptotic formulas for the first and second moment of the central value of L(s, sym² f) and over a basis of S _k (N, χ) are given as N → ∞. As an application it is shown that a positive proportion of the central values L(1/2, sym² f) does not vanish. The author was supported by NSERC grant 311664-05.     

Large classes of minimally supported frequency wavelets of<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(ℝ) and<Emphasis Type="Italic">H</Emphasis><Superscript>2</Superscript>(ℝ)

We introduce a new method to construct large classes of minimally supported frequency (MSF) wavelets of the Hardy space H ² (ℝ)and symmetric MSF wavelets of L ² (ℝ),and discuss the classification of such wavelets. As an application, we show that there are uncountably many such wavelet sets of L ² (ℝ)and H ² (ℝ).We also enumerate some of the symmetric wavelet sets of L ² (ℝ)and all wavelet sets of H ² (ℝ)consisting of three intervals. Finally, we construct families of MSF wavelets of L ₂ (ℝ)with Fourier transform even and not vanishing in any neighborhood of the origin.     

Renorming in the space of Bochner integrable functionsL 1(μ,X)

A sufficient condition is given when a subspaceL⊂L ₁(μ,X) of the space of Bochner integrable function, defined on a finite and positive measure space (S, Φ, μ) with values in a Banach spaceX, is locally uniformly convex renormable in terms of the integrable evaluations {∫ _A fdμ;f∈L}. This shows the lifting property thatL ₁(μ,X) is renormable if and only ifX is, and indicates a large class of renormable subspaces even ifX does not admit and equivalent locally uniformly convex norm.     

A remark on extension of into isometries

In this paper, we prove that an into isometry form S（l（n）^∞） to S（E）, which under some conditions, can be extended to be a linear isometry defined on the whole space. Therefore we improve the results of [Ding, G. G.： The isometric extension of an into mapping from the unit sphere S（l（2）^∞） to S（Lμ^1）. Acta Mathematica Sinica, English Series, 22（6）, 1721-1724 （2006）].     

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.     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

A nilpotent Roth theorem

Let T and S be invertible measure preserving transformations of a probability measure space (X, ℬ, μ). We prove that if the group generated by T and S is nilpotent, then exists in L ²-norm for any u, v∈L ^∞(X, ℬ, μ). We also show that for A∈ℬ with μ(A)>0 one has . By the way of contrast, we bring examples showing that if measure preserving transformations T, S generate a solvable group, then (i) the above limits do not have to exist; (ii) the double recurrence property fails, that is, for some A∈ℬ, μ(A)>0, one may have μ(A∩T _-n A∩S ^{- n} A)=0 for all n∈ℕ. Finally, we show that when T and S generate a nilpotent group of class ≤c, in L ²(X) for all u, v∈L ^∞(X) if and only if T×S is ergodic on X×X and the group generated by T ^-1 S, T ^-2 S ²,..., T ^-c S ^c acts ergodically on X. Oblatum 19-V-2000 & 5-VII-2001?Published online: 12 October 2001     

On the construction of the conjugate hull of Brandt semigroups

In this paper the characterizations of conjugate hulls ψ (S). ϕ(S),T(S) and θ(S) on a Brandt semigroupS are given. By using these results we can pro thatT(S) is self-conjugate in ψ(S) for a Brandt semigroupS. This work is supported by National Natural Science Foundation of China     

Pseudo-Eisenstein forms and cohomology¶of arithmetic groups. I

Let ψ be a compactly supported closed differential form on the e[P] of the Borel–Serre boundary of an arithmetically defined locally symmetric space S. A closed compactly supported differential form E (ψ) on S is defined by a pseudo-Eisenstein series attached to ψ. Its degree is the degree of ψ shifted by the codimension of e[P] in S. Non-vanishing results for the cohomology class [E(ψ)] represented by E(ψ) are obtained by use of Poincaré duality and results on cohomology classes represented by ordinary Eisenstein series. Received: 21 July 2001 / Revised version: 17 September 2001