Cofinality of normal ideals on<Emphasis Type="Italic">P</Emphasis><Subscript>κ</Subscript>(λ) II

For an idealJ on an infinite setX with add(J)=κ, let be the smallest size of any subfamilyY ofJ with the property that any member ofJ can be covered by less than κ members ofY. We study the value of forA in , where denotes the smallest [δ]^<θ ideal onP _κ(λ). We also discuss the problem of whether there exists a setA such that , or even . Some of the material in this paper originally appeared as part of the author's doctoral dissertation completed at the Université de Caen, 1998. Partially supported by the Israel Science Foundation. Publication 813.     

Eine Verallgemeinerung derCW-Komplexe

In the definition ofCW-complexes, the one-point spaceP, respectively the spaceP∪* with basepoint *, play the roll of the only “building-stone”. Let be a family of compact spaces. Then the definition of a generalizedCW-complex over is obtained from the definition of aCW-complex by replacingP by the spaces of and formation of the mapping cone by a slightly modified construction. LetCW * denote the category of all pointed spaces which have the homotopy type of a generalizedCW-complex over . If , thenCW * is the category of all pointedCW-spaces.CW * is closed under the formation of direct sums and of mapping cones, cylinders and tori, and is formally characterized as the smallest such subcategory of Top * containing the spaces W∪*, . Following the methods of E. H. Brown, it is proved, that any half exact homotopy functor onCW * is representable, and any cohomology theory onCW is naturally equivalent to the cohomology theory of an Ω-spectrum; for example, the singular cohomo logy is representable onCW for any family of compact spaces.      

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 residue complexes,dualizing sheaves and local cohomology modules

According to Grothendieck Duality Theory [RD], on each varietyV over a fieldk, there is a canonical complex of -modules, theresidue complex . These complexes satisfy (and are characterized by) functorial properties in the categoryV ofk-varieties. In [Ye] a complex is constructed explicitly (when the fieldk is perfect). The main result of this paper is that the two families of complexes, and , which carry certain additional data (such as trace maps…), are uniquely isomorphic. As a corollary we recover Lipman’s canonical dualizing sheaf of [Li], and we obtain formulas for residues of local cohomology classes of differential forms.     

On a certain basis inc 0

A basis is constructed inc ₀ such that there exists no bounded linear projection ofc ₀ onto the subspace spanned by a certain subsequence of . This is part of the author’s Ph.D. thesis prepared at the Hebrew University of Jerusalem under the suppervision of Professor A. Dvoretzky and Dr. J. Lindenstrauss. The author wishes to thank Dr. Lindenstrauss for his helpful advice.     

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.     

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.     

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 the gl constant ofE \mathop \otimes \limits^ \vee F F

LetX andY be Banach spaces. TFAE (1)X andY do not contain subspaces uniformly isomorphic to (2) The local unconditional structure constant of the space of bounded operatorsL (X*_k,Y _k) tends to infinity for every increasing sequence and of finite-dimensional subspaces ofX andY respectively.     

A question in the theory of saturated formations of finite soluble groups

This paper examines the following question. If and are saturated formations then is defined to be the class of all soluble groups whose belong to . In general is a formation, but need not be a saturated formation. Here the smallest saturated formation containing is studied.     

Estimate of fourier transforms with respect to the system of generalized eigenfunctions of the Schrödinger operator with Stummel-type potential

Suppose thatА is a nonnegative self-adjoint extension to { } of the formal differential operator−Δu+q(x)u with potentialq(x) satisfying the condition {

An asymptotic method for calculating limits of maximal means

For a continuous almost periodic function , we show that the function

On small zeros of quadratic forms over finite fields (II)

Let be a quadratic form with integer coefficients and letp denote a prime. Cochrane^[1] proved that ifn≥4 then has a solution satisfying , where . The aim of the present paper is to generalize the above result to finite fields.     

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.     

Forbidden paths and cycles in ordered graphs and matrices

Assume % MathType!End!2!1! and let Ω⊂R ^N(N≥4) be a smooth bounded domain, 0∈Ω. We study the semilinear elliptic problem: % MathType!End!2!1!. By investigating the effect of the coefficientQ, we establish the existence of nontrivial solutions for any λ>0 and multiple positive solutions with λ,μ>0 small.     

Two theorems about projective sets

In this paper we prove two (rather unrelated) theorems about projective sets. The first one asserts that subsets of ℵ₁ which are in the codes are constructible; thus it extends the familiar theorem of Shoenfield that subsets of ω are constructible. The second is concerned with largest countable sets and establishes their existence under the hypothesis of Projective Determinacy and the assumption that there exist only countably many ordinal definable reals. Y. N. Moschovakis is a Sloan Foundation Fellow. During the preparation of this paper, both authors were partially supported by NSF Grant GP-27964.     

Iteration theory in hyperbolic domains

We introduce the notion of pointwise regularity ( ) of Colombeau’s generalized functions and give comparison theorems between regularity, - andC ^∞-regularity. We also define the notion of a pointwise wave front set and establish a theorem concerning the effect of a linear generalized partial differential operator on such a wave front.     

On the riemann zeta-function and the divisor problem II

Let Δ(x) denote the error term in the Dirichlet divisor problem, and E(T) the error term in the asymptotic formula for the mean square of . If E ^*(t)=E(t)-2πΔ^*(t/2π) with , then we obtain