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.     

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.     

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

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 .     

A class of multipliers for $$\mathcal{W}^ \bot $$

Let denote the class of ergodic probability preserving transformations which are disjoint from every weakly mixing system. Let be the class of multipliers for , i.e. ergodic transformations whose all ergodic joinings with any element of are also in . Fix an ergodic rotationT, a mildly mixing actionS of a locally compact second countable groupG and an ergodic cocycle ϕ forT with values inG. The main result of the paper is a sufficient (and also necessary by [LeP] whenG is countable Abelian andS is Bernoullian) condition for the skew product build fromT, ϕ andS to be an element of . Moreover, the self-joinings of such extensions ofT are described with an application to study semisimple extensions of rotations. Dedicated to Hillel Furstenberg on the occasion of his retirement The first-named author was supported in part by CRDF, grant UM1-2546-KH-03. The second-named author was supported in part by KBN grant 1P03A 03826.     

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.     

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.     

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.     

Large superuniversal metric spaces

For every uncountable cardinal κ define a metric spaceS to be κ-superuniversal iff for every metric spaceU of cardinality κ, every partial isometry intoS from a subset ofU of cardinality less than κ can be extended to all ofU. We prove that any such space must have cardinality at least , and for each regular uncountable cardinal κ, we construct a κ-superuniversal metric space of cardinality , It is proved that there is a unique κ-superuniversal metric space of cardinality κ iff . Several decomposition theorems are also proved, e.g., every κ-superuniversal space contains a family of disjoint κ-superuniversal subspaces. Finally, we consider some applications to more general topological spaces, to graph theory, and to category theory, and we conclude with a list of open problems.     

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.     

An optimal bound for high-quality conforming triangulations

This paper shows that, for any plane geometric graph withn vertices, there is a triangulation that conforms to , i.e., each edge of is the union of some edges of , where hasO(n²) vertices with each angle of its triangles measuring no more than 11/15π. Additionally, can be computed inO(n ² logn) time. This research was partially supported by the National University of Singapore under Grant RP940641.     

Stability of the topological pressure for piecewise monotonic maps underC 1-perturbations

Assume thatX is a finite union of closed intervals and consider aC ¹-mapX→ℝ for which {c∈X: T′c=0} is finite. Set . Fix ann ∈ ℕ. For ε>0, theC ¹-map is called an ε-perturbation ofT if is a piecewise monotonic map with at mostn intervals of monotonicity and is ε-close toT in theC ¹-topology. The influence of small perturbations ofT on the dynamical system (R(T),T) is investigated. Under a certain condition on the continuous functionf:X → ℝ, the topological pressure is lower semi-continuous. Furthermore, the topological pressure is upper semi-continuous for every continuous functionf:X → ℝ. If (R(T),T) has positive topological entropy and a unique measure μ of maximal entropy, then every sufficiently small perturbation ofT has a unique measure of maximal entropy, and the map is continuous atT in the weak star-topology.     

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.     

Completion of restricted Lie algebras

We study pro-‘finite dimensional finite exponent’ completions of restricted Lie algebras over finite fields of characteristicp. These compact Hausdorff topological restricted Lie algebras, called pro- restricted Lie algebras, are the restricted Lie-theoretic analogues of pro-p groups. A structure theory for pro- restricted Lie algebras with finite rank is developed. In particular, the centre of such a Lie algebra is shown to be open. As an application we examinep-adic analytic pro-p groups in terms of their associated pro- restricted Lie algebras. Supported by NSERC of Canada.     

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.      

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.     

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.     

Martin boundary of unlimited covering surfaces

LetW be an open Riemann surface and ap-sheeted (1<p<∞) unlimited covering surface ofW. Denote by Δ¹ (resp., ) the minimal Martin boundary ofW (resp., ). For ζ ∈ Δ, let ζ be the (cardinal) number of the set of pionts which lie over ζ and the class of open connected subsetsM ofW such thatM∪{ζ} is a minimal fine neighborhood of ζ. Our main result is the following: , where is the number of components of π^-1 M and π is the projection of ontoW. Moreover, some applications of the above results are discussed whenW is the unit disc.     

Lower bounds at infinity for solutions of differential equations with constant coefficients

Two extensions of a classical theorem of Rellich are proved: (1) LetP=P(−iϖ/ϖx) be a partial differential operator with constant coefficients in , let the manifolds contained in have codimension ≧k>0, and denote by Γ an open cone in intersecting each normal plane of every such manifold. If ,Pu=0 and it follows thatu=0. (2) Assume in addition that each irreducibe lfactor ofP van shes on a real hypersurface and that Γ contains both normal directions at some such point. If andP(D) u has compact support, the same condition withk=1 implies thatu has compact support. In both results the hypotheses on the cone Γ and on the operatorP are minimal.