Iterated forcing and changing cofinalities

We weaken the notion of proper to semi-proper, so that the important properties (e.g., being preserved by some interations) are preserved, and it includes some forcing which changes the confinality of a regular cardinal >ℵ₁ to ℵ₀. So, using the right iteractions, we can iterate such forcing without collapsing ℵ₁. As a result, we solve the following problems of Friedman, Magidor and Avraham, by proving (modulo large cardinals) the consistency of the following with G.C.H.: (1) for everyS ⊑ ℵ₂,S or ℵ₂-S contains a closed copy of ω₁ (2) there is a normal precipitous filterD on (3) for every is regular inL (δ ∩A)} is statonary. The results can be improved to equi-consistency; this will be discussed in a future paper. The author thanks the United States-Israel Binational Science Foundation for supporting the research by grant 1110.     

On a superatomic Boolean algebra which is not generated by a well-founded sublattice

Let b denote the unboundedness number of ω^ω. That is, b is the smallest cardinality of a subset such that for everyg∈ω^ω there isf ∈ F such that {n: g(n) ≤ f(n)}is infinite. A Boolean algebraB is wellgenerated, if it has a well-founded sublatticeL such thatL generatesB. We show that it is consistent with ZFC that , and there is a Boolean algebraB such thatB is not well-generated, andB is superatomic with cardinal sequence 〈ℵ₀, ℵ₁, ℵ₁, 1〉. This result is motivated by the fact that if the cardinal sequence of a Boolean algebraB is 〈ℵ₀, ℵ₀, λ, 1〉, andB is not well-generated, then λ≥b.     

The dual of the bourgain-delbaen space

It is shown that a -space with separable dual constructed by Bourgain and Delbaen has small Szlenk index and thus does not have a quotient isomorphic toC(ω^ω). It follows that this is a -space which is the same size asc ₀ in the sense of the Szlenk index but does not containc ₀. This has some consequences in the theory of uniform homeomorphism of Banach spaces.     

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.     

The uniformization property for ℵ2

We present S. Shelah’s result thatS ₁ ² ={δ<ω ₂: cf(δ)=ω ₁} may have the uniformization property (cf., §1, or [3] for a definition) for “well-chosen sequences”, 〈η _δ:δ∈S ₁ ² ^η _δ an increasingω ₁-sequence of ordinals converging to δ〉. This implies that , which shows that Gregory’ result (cf., [2]), , is the best possible.     

Was sierpinski right? I

Aroused by Todorcevic’s breakthrough we prove here some complementary consistency results, mainly . We also get some generalization of his theorem to, e.g.,λ↛ forλ regular notω-Mahlo. The author thanks the NSF and N.S.E.R.C. for partially supporting the research. Preliminary versions of §3 and §2 were circulated in November ’84 and February ’85, respectively.     

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.     

Mixing examples in the class of piecewise monotone and continuous maps of the unit interval

A process (T, P) is said to have the “ ” property if there is a uniform, positive lowerbound δ on the separation between theT-P names of (almost) every pair of pointsx≠y. A finite group rotation with partition into distinct points provides a trivial example. Given any process having the property we show that there exists a Bernoulli shiftB so thatT×B is measurably isomorphic to the natural extension of a piecewise monotone, continuous, and expanding map of the unit interval. This construction is applied to produce interval maps which are ergodic but not weak-mixing, weak-mixing but not mixing, and mixing but not exact with respect to their unique absolutely continuous invariant measures, in contrast with the results known for piecewiseC ^1+∈ expansive interval maps. In obtaining these examples we identify a number of nontrivial classes of automorphismsT which admit processes having the property. Supported by NSERC grant OGP0046586 90.     

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.     

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.      

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.     

Whitehead groups may be not free,even assuming CH,I

We prove the consistency with ZFC+G.C.H. of an assertion, which implies several consequences of , which implies their negation. The author would like to thank the United States-Israel Binational Science Foundation for partially supporting this research by grant 1110.     

Universal abelian groups

We examine the existence of universal elements in classes of infinite abelian groups. The main method is using group invariants which are defined relative to club guessing sequences. We prove, for example:Theorem:For n≧2, there is a purely universal separable p-group in ℵ _n if, and only if, . Partially supported by the United States-Israel Binational Science Foundation. Publication number 455.     

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.     

Exact constants in inequalities of the jackson type for quadrature formulas

We prove that if is the error of a simple quadrature formula and ω(ε, δ)₁ is the integral modulus of continuity, then, for any δ ≥/π andn,r = 1, 2, …, the following equality is true: whereD _r is the Bernoulli kernel.     

Localization type Berezin-Toeplitz

Let II be a bounded symmetric domain, ω ⇉ I a bounded subdomain, and let denote the weighted Bergman space of holomorphic square integrable functions on I. Let T_{λ, ω} be the Berezin-Toeplitz operator on with symbol χ_Ω and k^th eigenvalue λ _k (T _λ,Ω). We prove that for δ₁ sufficiently close to 0 and δ₂ sufficiently close to 1 the estimate

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.     

On Lie derivations of Lie ideals of prime algebras

LetF be a commutative ring with 1, letA, be a primeF-algebra with Martindale extended centroidC and with central closureA _c and letR be a noncentral Lie ideal of the algebraA generatingA. Further, letZ(R) be the center ofR, let be the factor Lie algebra and let δ: be a Lie derivation. Suppose that char(A) ≠ 2 andA does not satisfySt ₁₄, the standard identity of degree 14. We show thatR ΩC =Z(R) and there exists a derivation of algebrasD:A →A _c such that for allx∈R. Our result solves an old problem of Herstein.     

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.     

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.