Classification of quasifinite\mathcal{W}_\infty -modules-modules

It is proved that an irreducible quasifinite -module is a highest or lowest weight module or a module of the intermediate series; a uniformly bounded indecomposable weight -module is a module of the intermediate series. For a nondegenerate additive subgroup Λ ofF _n, whereF is a field of characteristic zero, there is a simple Lie or associative algebraW(Λ,n)⁽¹⁾ spanned by differential operatorsuD ₁ ^m …D ₁ ^m foru ∈F[Γ] (the group algebra), andm _i≥0 with , whereD _i are degree operators. It is also proved that an indecomposable quasifinite weightW(Λ,n)⁽¹⁾-module is a module of the intermediate series if Λ is not isomorphic to ℤ. Supported by NSF grant no. 10471091 of China and two grants “Excellent Young Teacher Program” and “Trans-Century Training Programme Foundation for the Talents” from the Ministry of Education of China.     

Almost orthogonal submatrices of an orthogonal matrix

Lett≥1 and letn, M be natural numbers,n<M. Leta=(a _i,j ) be ann xM matrix whose rows are orthonormal. Suppose that the ℓ₂-norms of the columns ofA are uniformly bounded. Namely, for allj Using majorizing measure estimates we prove that for every ε>0 there exists, a setI ⊃ {1,…,M} of cardinality at most such that the matrix , whereA _I =(a _i,j ) _j∈I , acts as a (1+ε)-isomorphism from ℓ ₂ ⁿ into . Research supported in part by a grant of the US-Israel BSF. Part of this research was performed when the author held a postdoctoral position at MSRI. Research at MSRI was supported in part by NSF grant DMS-9022140.     

On the product of the distances of a point from the vertices of a polytope

Letx ₁,...,x _m be points in the solid unit sphere ofE _n and letx belong to the convex hull ofx ₁,...,x _m. Then . This implies that all such products are bounded by (2/m) ^m (m −1) ^m−1. Bounds are also given for other normed linear spaces. As an application a bound is obtained for |p(z ₀)| where andp′(z ₀)=0.     

Concentration and influences

Consider the discrete cube Ω={0,1} ^N , provided with the uniform probabilityP. We denote byd(x, A) the Hamming distance of a pointx of Ω and a subsetA of Ω. We define the influenceI(A) of theith coordinate onA as follows. Forx in Ω, consider the pointT _i (x) obtained by changing the value of theith coordinate. Then We prove that we always have Since it is easy to see that , this recovers the well known fact that ∫_Ω d(x, A)dP(x) is at most of order whenP(A)≥1/2. The new information is that ∫_Ω d(x, A)dP(x) can be of order only ifA reassembles the Hamming ball {x; ∑_1≤N x _i ≥N/2}.     

How often is a polygon bounded by three sides?

LetL _n be the set of lines (no two parallel) determining ann-sided bounded faceF in the Euclidean plane. We show that the number,f(L _n), of triples fromL _n that determine a triangle containingF satisfies and these bounds are best. This result is generalized tod-dimensional Euclidean space (without the claim that the upper bound is attainable).     

InfiniteB 2[g] sequences

We exhibit, for any integerg≥2, an infinite sequenceA ∈B ₂[g] such that . Furthermore, we obtain better estimates for small values ofg. For instance, we exhibit an infinite sequenceA ∈B ₂[2] such that Partially supported by Colciencias, Colombia and Universidad del Cauca.     

Extensions of lipschitz maps into Banach spaces

It is proved that ifY ⊂X are metric spaces withY havingn≧2 points then any mapf fromY into a Banach spaceZ can be extended to a map fromX intoZ so that wherec is an absolute constant. A related result is obtained for the case whereX is assumed to be a finite-dimensional normed space andY is an arbitrary subset ofX. Supported in part by US-Israel Binational Science Foundation and by NSF MCS-7903042. Supported in part by NSF MCS-8102714.     

Some properties of the absolute galois group of a hilbertian field

LetK be a hilbertian field,G(K) its absolute Galois group. IfK is countable, then for a.a. inG(K) ^e , and there is no intermediate field with . Let ∈G(K) ^e . Then for a.a. in .     

Baer cotorsion Pairs

LetR be a unital associative ring and two classes of leftR-modules. In [St3] the notion of a ( ) pair was introduced. In analogy to classical cotorsion pairs, a pair (V,W) of subclasses is called a ( ) pair if it is maximal with respect to the classes and the condition Ext _R ¹ (V, W)=0 for all . In this paper we study pairs whereR = ℤ and is the class of all torsion-free abelian groups andT is the class of all torsion abelian groups. A complete characterization is obtained assumingV=L. For example, it is shown that every pair is singly cognerated underV=L. The author was supported by a DFG grant.     

On the fourier transforms of an interesting class of measures

Let {X _k ,k=1,2,…} be a sequence of independent binomial variables, with the Fourier transform of the distribution ofY. Finally denote lim [P _k − 1/2] byδ. We haveTheorem. Research supported by N.S.F. Grant GP-25736. Research supported by N.S.F. Grant GP-12365.     

Proof of a hypercontractive estimate via entropy

Consider the probability spaceW={−1, 1} ⁿ with the uniform (=product) measure. Letf: W →R be a function. Letf=Σf _IX_I be its unique expression as a multilinear polynomial whereX _I=Π _i∈I x _i. For 1≤m≤n let =Σ_|I|=m f _IX_I. LetT _ɛ (f)=Σf _Iɛ^|I| X _I where 0<ɛ<1 is a constant. A hypercontractive inequality, proven by Bonami and independently by Beckner, states that

Singly generatedC *-algebras

We consider aC ^*-algebraA generated byk self-adjoint elements. We prove that, for , the algebraM _n (A) is singly generated, i.e., generated by one non-self-adjoint element. We present an example of algebraA for which the property thatM _n (A) is singly generated implies the relation . Institute of Mathematics, Ukrainian Academy of Sciences, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 8, pp. 1136–1141, August, 1999.     

Asymptotics for Amitsur's Capelli-type polynomials and verbally prime PI-algebras

We consider associativePI-algebras over a field of characteristic zero. The main goal of the paper is to prove that the codimensions of a verbally prime algebra [11] are asymptotically equal to the codimensions of theT-ideal generated by some Amitsur's Capelli-type polynomialsE _M,L ^* [1]. We recall that two sequencesa _n,b _nare asymptotically equal, and we writea _n ≃b _n,if and only if lim _n→∞(a _n/b _n)=1.In this paper we prove that % MathType!End!2!1!, whereG is the Grassmann algebra. These results extend to all verbally primePI-algebras a theorem of A. Giambruno and M. Zaicev [9] giving the asymptotic equality % MathType!End!2!1! between the codimensions of the matrix algebraM _k(F) and the Capelli polynomials. The second author is partially supported by grants RFFI 04-01-00739a, E02-2.0-26.     

On the relative Wall-Witt groups

LetR* be a simplicial involutive ring. According to certain involutions onK(R*) and _ε L R _∗, there are 1/2-local splittings and . It is known [2] that _ε L _\ga ^α R _∗, the Wall-Witt group. SupposeI→R S is a split extension of discrete involutive rings withI ²=0, andI is a freeS-bimodule. Then we have and . The trace map Tr: Prim _n ∧*M(I ⊗ ℚ)→ ₀ ρ _n ;I ⊗ ℚ) is an isomorphism. We prove in Lemma 1 that the trace map Tr is ℤ/2-equivariant. In Theorem 2 we show that under a certain assumption the rational relative Wall-Witt group vanishes. Theorem 2 can be extended to a more general case (Theorem 3) by employing Goodwillie’s reduction technique [3]. This work was partially supported by KOSEF under Grant 923-0100-010-1.     

A finiteness theorem for transitive foliations and flat vector bundles

In this paper we prove a finiteness theorem for the spectral sequence (E _i(∇), (d _∇)_i) associated to a transitive foliation on a compact manifoldM, and to a flat vector bundleE overM with flat connection ∇. we also compute some examples of homogeneous Lie foliations on compact connected homogeneous spaces.     

How many atoms can be defined by boxes?

We study the functionb(n, d), the maximal number of atoms defined byn d-dimensional boxes, i.e. parallelopipeds in thed-dimensional Euclidean space with sides parallel to the coordinate axes. We characterize extremal interval families definingb(n, 1)=2n-1 atoms and we show thatb(n, 2)=2n ²-6n+7. We prove that for everyd, exists and . Moreover, we obtainb*(3)=8/9.     

An optimal theorem for the spherical maximal operator on the Heisenberg group

Let be the Heisenberg group and μ _r be the normalized surface measure on the sphere of radiusr in ℂ ⁿ . Let . We prove an optimalL ^p-boundedness result for the spherical maximal functionMf, namely we prove thatM is bounded onL ^p(I ⁿ ) if and only ifp>2n/2n−1.     

Invariant differential operators on Hermitian symmetric spaces and their eigenvalues

Let be the invariant Cauchy Riemann operator and the corresponding invariant Laplacians on a bounded symmetric domain. We calculate the eigenvalues ofM _m on spherical functions. In particular we prove that for a symmetric domain of rank two the operatorsM ₁,M ₃ generate all invariant differential operators. We also find the eigenvalues of the generators introduced by Shimura.     

Domination inequality for martingale transforms of a Rademacher sequence

Letf _n = Σ _k=1 ⁿ v _k r _k ,n=1,…, be a martingale transform of a Rademacher sequence (r _n)and let (r _n ^′ ) be an independent copy of (r _n).The main result of this paper states that there exists an absolute constantK such that for allp, 1≤p<∞, the following inequality is true: In order to prove this result, we obtain some inequalities which may be of independent interest. In particular, we show that for every sequence of scalars (a _n)one has where is theK-interpolation norm between ℓ₁ and ℓ₂. We also derive a new exponential inequality for martingale transforms of a Rademacher sequence. This research was supported in part by an NSF grant and an FRPD grant at NCSU.     

Exponential weak Bernoulli mixing for collet-eckmann maps

We prove exponential weak Bernoulli mixing for invariant measures of certain piecewise monotone interval maps studied in [BK] and [KN]. In particular we prove this for unimodal maps with negative Schwarzian derivative satisfying lim , wherec is the unique critical point ofT.