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.     

Exponential generating functions and complexity of Lie varieties

Suppose that % MathType!End!2!1! is a variety of Lie algebras, and letc _n( % MathType!End!2!1!) be the dimension of the linear span of all multilinear words onn distinct letters in the free algebraF( % MathType!End!2!1!,X) of the variety % MathType!End!2!1!. We consider an exponential generating function % MathType!End!2!1!, called the complexity function. The complexity function is an entire function of a complex variable provided the variety of Lie algebras is nontrivial. In this paper we introduce the notion of complexity for Lie varieties in terms of the growth of complexity functions; also we describe what the complexity means for the codimension growth of the variety. Our main goal is to specify the complexity of a product of two Lie varieties in terms of the complexities of multiplicands. The main observation here is thatC( % MathType!End!2!1!),z) behaves like a composition of three functionsC( % MathType!End!2!1!),z), exp(z), andC( % MathType!End!2!1!),z). Partially supported by grant RFFI 96-01-00146; the author is grateful to the University of Bielefeld for hospitality, where he was DAAD-fellow.     

An example of pointwise non-convergence of iterated conditional expectation operators

Given ∈, we construct a sequence , … of Borel sub-sigma-algebras on the unit interval with the following property. Suppose the identity functionf(x)=x is transformed by successive conditioning on , then , then , Then the lim sup, with respect ton, will exceed (pointwise almost-everywhere) 1−∈ and its lim inf will be less than ∈. The sequence of functions also will fail to converge in the . This contrasts with the long-open conjecture that if all the come from a finite set of sigma-algebras, then the resulting sequence of functions must converge in . J. L. King was partially supported by NSF grant DMS-9112595.     

Pseudo algebraically closed fields over rings

We prove that for almost allσ ∈G ℚ the field has the following property: For each absolutely irreducible affine varietyV of dimensionr and each dominating separable rational mapϕ:V→ there exists a point a ∈ such thatϕ(a) ∈ ℤ^r. We then say that is PAC over ℤ. This is a stronger property then being PAC. Indeed we show that beside the fields other fields which are algebraic over ℤ and are known in the literature to be PAC are not PAC over ℤ.     

On Banach spaces with unconditional bases

LetX be a Banach space with a sequence of linear, bounded finite rank operatorsR _n:X→X such thatR _nR_m=R_min(_n,m) ifn≠m and lim _n→∞ R _n x=x for allx∈X. We prove that, ifR _n−R_n −1 factors uniformly through somel _p and satisfies a certain additional symmetry condition, thenX has an unconditional basis. As an application, we study conditions on Λ ⊂ ℤ such thatL _Λ=closed span , where , has an unconditional basis. Examples include the Hardy space .     

The 2-length of the hughes subgroup

For a finite groupG and some prime powerp ⁿ , the -subgroup is defined by . Meixner proved that ifG is a finite solvable group and for somen≧1, then the Fitting length of is bounded by 4n. In the following note it is shown that the 2-length of is at mostn. This result cannot be derived from Meixner’s paper, since his result implies only that the 2-length is bounded by 2n.     

A note on certain fields of finite transcendence type

Let be a finitely generated extension field of ℚ, andα _i,β_j(1⩽i⩽m,1⩽j⩽n) be some complex numbers. Let (k=1,2,3) be fields obtained by adjoining to the numbers {α _i,β_j exp(α_iβ_j)}, {α_i, exp(α_iβ_j)}, and {exp(α_iβ_j)}, respectively. In the present note the relation between the transcendental degree of over and the transcendence type of over ℚ is given. This work was completed in Dpt. Math., Univ. of Southern Mississippi, Hattiesburg, USA.     

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.     

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.     

The two sides of a fourier-stieltjes transform and almost idempotent measures

For measuresμ on the circleT the quantities , need not be equal; it is shown, however, that they are continuous with respect to each other whenμ varies on bounded subsets ofM(T), the space of measures onT. It is also shown that measuresμ which areɛ-almost idempotent (i.e. ) are the sum of an idempotent measure and of a measureυ satisfying providedɛ is small enough (as a function of ‖μ‖).     

Complete weights andv-peak points of spaces of weighted holomorphic functions

We examine the geometric theory of the weighted spaces of holomorphic functions on bounded open subsets ofC ⁿ ,C ⁿ ,H _v (U) and , by finding a lower bound for the set of weak^*-exposed and weak^*-strongly exposed points of the unit ball of and give necessary and sufficient conditions for this set to be naturally homeomorphic toU. We apply these results to examine smoothness and strict convexity of and . We also investigate whether is a dual space. The second author was supported by MCYT and FEDER Project BFM2002-01423.     

On the existence of nontangential boundary values of pseudocontinuable functions

Let θ be an inner function, let θ^*(H ²)=H ²⊖θH ², and let μ be a finite Borel measure on the unit circle . Our main purpose is to prove that, if every functionf∈θ^*(H ²) can be defined μ-almost everywhere on in a certain (weak) natural sense, then every functionf∈θ^*(H ²) has finite angular boundary values μ-almost everywhere on . A similar result is true for the L^p-analog of θ^*(H ²) (p>0). Bibliography: 17 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 222, 1995, pp. 5–17.     

Endomorphisms of matrix semigroups over division rings

Let be an arbitrary division ring and M _n ( ) the multiplicative semigroup of all n × n matrices over . We describe the general form of endomorphisms of M _n ( ). Supported in part by a grant from the Ministry of Science of Slovenia.     

The Boggess-Polking extension theorem for<Emphasis Type="Italic">CR</Emphasis> functions on manifolds with corners

We give the “boundary version” of the Boggess-PolkingCR extension theorem. LetM andN be real generic submanifolds of ℂ ⁿ withN ⊂M and letV be a “wedge” inM with “edge”N and “profile” Σ ⊂T _NM in a neighborhood of a pointz _o.We identify in natural manner and assume that for a holomorphic vector fieldL tangent toM and verifying we have that the Levi form takes a value . Then we prove thatCR functions onV extend ∀_ω to a wedgeV ₁ “attached” toV in direction of a vector fieldiV such that |pr(iV(z ₀))−iv ₀| < ε (where pr is the projection pr:T _NX →T _MX | _N ).We then prove that when the Levi cone “relative to Σ”iZ _Σ = convex hull is open inT _MX, thenCR functions extend to a “full” wedge with edgeN (that is, with a profile which is an open cone ofT _NX). Finally, we prove that iff is defined in a couple of wedges ±V with profiles ±Σ such thatiZ _Σ =T _MX, and is continuous up toN, thenf is in fact holomorphic atz _o.     

On the Corona problem

We show that if f₁, f₂ are bounded holomorphic functions in the unit ball of ℂⁿ such that , |f₁(z)|² + |f₂(z)2|² ≥ δ² >; 0, then any functionh in the Hardy space ,p < +∞ can be decomposed ash = f₁h₁ + f₂h₂ with . The Corona theorem in would be the same result withp = +∞ and this question is still open forn ≳-2, but the preceding result goes in this direction.     

Eigenvalues and power growth

LetX be a complex Banach space and letT be a bounded linear operator onX. Denote by σ _p (T) the point spectrum ofT and by the unit circle. We investigate how the growth of the sequence ‖T ⁿ ‖ is influenced by the size of the set (T) and by the geometry of the spaceX. We also prove analogous results forC ₀-semigroups(T _t )_t≥0. Research partially supported by grants from NSERC, FQRNT and the Canada research chairs program.     

Equivariant D-modules attached to nilpotent orbits in a semisimple Lie algebra

Let _u be a compact Lie algebra and let _u be its complexification. Let ζ^−1/2 be the inverse on the set of regular elements of _u of a square root of the discriminant of . Generalizing a result of W. Lichtenstein in the case _u = (n, ℂ) or (nℝ), we prove that ∂(q).ζ^1/2 is non zero for all harmonic polynomialsq ∈S( ) \ {0}. This fact is deduced from results about equivariantD-modules supported on the nilpotent cone of .     

Degenerate principal series representations of Sp(<Emphasis Type="Italic">p,q</Emphasis>)

Letp>q and letG=Sp(p, q). LetP=LN be the maximal parabolic subgroup ofG with Levi subgroupL≅GL _q (ℍ)×Sp(p−q). Forsεℂ andμ a highest weight of Sp(p−q), let п_s,μ be the representation ofP such that its restriction toN is trivial and ⊠T _p-q ^μ , where det _q is the determinant character of GL _q (ℍ) andT _p-q ^μ is the irreducible representation of Sp(p−q) with highest weightμ. LetI _p,q(s, μ) be the Harish-Chandra module of the induced representation Ind _P ^G . In this paper, we shall determine the module structure and unitarity ofI _{p, q}(s, μ). Partially supported by NUS grant R-146-000-026-112.     

Blaschke-decomposable convex bodies

For a given centred convex bodyK of ℝ,n≥3, let be the class of all convex bodies with the same projection body asK. The question whetherK can be expressed as a Blaschke average of two non-homothetic bodies from is considered. Necessary and sufficient conditions onK to be Blaschke decomposable in are given. The paper provides also a characterization of the bodiesK such that the Blaschke indecomposable bodies in are dense in itself.     

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}.