The structure of uniformly Gâteaux smooth Banach spaces

It is shown that a Banach spaceX admits an equivalent uniformly Gateaux smooth norm if and only if the dual ball ofX* in its weak star topology is a uniform Eberlein compact. Supported by AV 101-97-02, AV 1019003 and GA ČR 201-98-1449. Supported by GA ČR 201-98-1449, AV 1019003 and GAUK 1/1998.     

L 1 (μ, X) as a constrained subspace of its bidual

In this note we consider the property of being constrained in the bidual, for the space of Bochner integrable functions. For a Banach spaceX having the Radon-Nikodym property and constrained in its bidual and forY ⊂ X, under a natural assumption onY, we show thatL ¹ (μ, X/Y) is constrained in its bidual andL ¹ (μ, Y) is a proximinal subspace ofL ¹(μ, X). As an application of these results, we show that, ifL ¹(μ, X) admits generalized centers for finite sets and ifY ⊂ X is reflexive, thenL ¹ μ, X/Y) also admits generalized centers for finite sets.     

On compactification of metric spaces

Iff:X →X* is a homeomorphism of a metric separable spaceX into a compact metric spaceX* such thatf(X)=X*, then the pair (f,X*) is called a metric compactification ofX. An absoluteG _δ-space (F _σ-space)X is said to be of the first kind, if there exists a metric compactification (f,X*) ofX such that , whereG _i are sets open inX* and dim[Fr(G _i)]<dimX. (Fr(G _i) being the boundary ofG _i and dimX — the dimension ofX). An absoluteG _δ-space (F _σ-space), which is not of the first kind, is said to be of the second kind. In the present paper spaces which are both absoluteG _δ andF _σ-spaces of the second kind are constructed for any positive finite dimension, a problem related to one of A. Lelek in [11] is solved, and a sufficient condition onX is given under which dim [X* −f(X)]≧k, for any metric compactification (f,X*) ofX, wherek≦dimX is a given number. This research has been sponsored by the U.S. Navy through the Office of Naval Research under contract No. 62558-3315.     

A certain class of Jensen measures for uniform algebras

For any uniform algebraA and any pointq of the maximal ideal space ofA there exists a Jensen measureλ forq carried on the Shilov boundary forA such thatλ admits the generalized Brownian maximal function to each nonnegativeA-subharmonic function inC _R(X). The maximal function and its original function satisfy Doob’s inequality, Burkholder-Gundy-Silverstein inequalities and Fefferman-Stein inequality.     

Generalized Mukai conjecture for special Fano varieties

Let X be a Fano variety of dimension n, pseudoindex i _X and Picard number ρ_X. A generalization of a conjecture of Mukai says that ρ_X(i _X −1)≤n. We prove that the conjecture holds for a variety X of pseudoindex i _X ≥n+3/3 if X admits an unsplit covering family of rational curves; we also prove that this condition is satisfied if ρ_X> and either X has a fiber type extremal contraction or has not small extremal contractions. Finally we prove that the conjecture holds if X has dimension five.     

Dichotomies of the set of test measures of a Haar-null set

We prove that ifX is a Polish space andF a face ofP(X) with the Baire property, thenF is either a meager or a co-meager subset ofP(X). As a consequence we show that for every abelian Polish groupX and every analytic Haar-null set Λ⊆X, the set of test measuresT(Λ) of Λ is either meager or co-meager. We characterize the non-locally-compact groups as the ones for which there exists a closed Haar-null setF⊆X withT(F) meager, Moreover, we answer negatively a question of J. Mycielski by showing that for every non-locally-compact abelian Polish group and every σ-compact subgroupG ofX there exists aG-invariantF _σ subset ofX which is neither prevalent nor Haar-null. Research supported by a grant of EPEAEK program “Pythagoras”.     

On the topological types of symmetries of elliptic-hyperelliptic Riemann surfaces

LetX be a Riemann surface of genusg. The surfaceX is called elliptic-hyperelliptic if it admits a conformal involutionh such that the orbit spaceX/〈h〉 has genus one. The involutionh is then called an elliptic-hyperelliptic involution. Ifg>5 then the involutionh is unique, see [A]. We call symmetry to any anticonformal involution ofX. LetAut ^±(X) be the group of conformal and anticonformal automorphisms ofX and letσ, τ be two symmetries ofX with fixed points and such that {σ, hσ} and {τ, hτ} are not conjugate inAut ^±(X). We describe all the possible topological conjugacy classes of {σ, σh, τ, τh}. As consequence of our study we obtain that, in the moduli space of complex algebraic curves of genusg (g even >5), the subspace whose elements are the elliptic-hyperelliptic real algebraic curves is not connected. This fact contrasts with the result in [Se]: the subspace whose elements are the hyperelliptic real algebraic curves is connected. The authors are supported by BFM2002-04801.     

Code length between Markov processes

LetX ₁ andX ₂ be two mixing Markov shifts over finite alphabet. If the entropy ofX ₁ is strictly larger than the entropy ofX ₂, then there exists a finitary homomorphism ϕ:X ₁→X ₂ such that the code length is anL ^p random variable for allp<4/3. In particular, the expected length of the code ϕ is finite. Research supported by KBN grant 2 P03A 039 15 1998–2001.     

On the existence of automorphisms with simple Lebesgue spectrum

It is shown that ifT is a measure preserving automorphism on a probability space (Ω,B, m) which admits a random variable X₀ with mean zero such that the stochastic sequence X₀ o T_n,n ε ℤ is orthonormal and spans L₀ ²(Ω,B,m), then for any integerk ≠ 0, the random variablesX o T^nk,n ε ℤ generateB modulom.     

Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.     

Extremely weakly unconditionally convergent series

It is proved that if Σ _i=1 ^∞ X _i is a non-convergent series in a Banach spaceX such that Σ _i=1 ^∞ |f(X _i )|<∞ for all extreme pointsf of the unit ball ofX*, thenX contains a subspace isomorphic toc ₀, improving a result of Bessaga and Pelczynski. The proof uses Fonf’s result that Lindenstrauss-Phelps spaces contain isomorphs ofc ₀. Supported in part by NSF-MCS-8002393.     

A Banach space in which all compact sets, but not all bounded sets, admit Chebyshev centers

Given a Banach spaceX, letc ₀(X) be the space of all null sequences inX (equipped with the supremum norm). We show that: 1) each compact set inc ₀(X) admits a (Chebyshev) center iff each compact set inX admits a center; 2) forX satisfying a certain condition (Q), each bounded set inc ₀(X) admits a center iffX is quasi uniformly rotund. We construct a Banach spaceX such that the compact subsets ofX admit centers,X satisfies the condition (Q) andX is not quasi uniformly rotund. It follows that the Banach spaceE=c ₀(X) has the property from the title. Eine überarbeitete Fassung ging am 4. 7. 2001 ein     

Weakly compact subsets ofL 1(μ,X) andbvca(Σ,X)

In this paper we study the weakly compact subset ofL ₁(μ,X) and bvca(Σ,X), supposing that proper subsets ofX andX ^* have the Radom-Nikodym property.     

Subspaces without the approximation property

It is proved that the Banach spacel _p with 1≦p<2 contains a subspace without AP (the case 2<p≦∞ follows from the Enflo’s construction and also from the present one). The result generalizes to the following one: if the supremum of types ofX is strictly less than 2 or if the infimum of cotypes ofX is strictly more than 2 thenX contains a subspace without AP.     

On the topology induced by the adjoint of a semigroup of operators

The adjoint of aC ₀-semigroup on a Banach spaceX induces a locally convex σ(X,X ^ℴ)-topology inX, which is weaker than the weak topology ofX. In this paper we study the relation between these two topologies. Among other things a class of subsets ofX is given on which they coincide. As an application, an Eberlein-Shmulyan type theorem is proved for the σ(X,X ^ℴ)-topology and it is shown that the uniform limit of σ(X,X ^ℴ)-compact operators is σ(X,X ^ℴ)-compact. Finally our results are applied to the problem when the Favard class of a semigroup equals the domain of the infinitesimal generator.     

Entire functions having a concordant value sequence

A classic theorem of Pólya shows that 2 ^z is, in a strong sense, the “smallest” transcendental entire function that is integer valued on ℕ. An analogous result of Gel’fond concerns entire functions that are integer valued on the setX _a={a ⁿ:n ∈ ℕ}, wherea ∈ ℕ,|a|≥ 2. LetX=ℕ orX=X _a andκ ∈ ℕ orκ=∞. This paper pursues analogous results for entire functionsf having the following property: on any finite subsetD ofX with#D≤κ+1, the valuesf(z),z ∈D admit interpolation by an element of ℤ[z]. The results obtained assert that if the growth off is suitably restricted then the restriction off toX must be a polynomial. WhenX=X _a andκ<∞ a “smallest” transcendental entire function having the requisite property is constructed.     

The functor <Emphasis Type="Italic">A</Emphasis><Superscript>min</Superscript> for (<Emphasis Type="Italic">p</Emphasis> − 1)-cell complexes and EHP sequences

Let X be a co-H-space of (p − 1)-cell complex with all cells in even dimensions. Then the loop space ΩX admits a retract Ā ^min(X) that is the evaluation of the functor Ā ^min on X. In this paper, we determine the homology H _*(Ā ^min(X)) and give the EHP sequence for the spaces Ā ^min(X).     

Universal non-compact operators between super-reflexive Banach spaces and the existence of a complemented copy of Hilbert space

Suppose that 1<p≦2, 2≦q<∞. The formal identity operatorI:l _p→l _qfactorizes through any given non-compact operator from ap-smooth Banach space into aq-convex Banach space. It follows that ifX is a 2-convex space andY is an infinite dimensional subspace ofX which is isomorphic to a Hilbert space, thenY contains an isomorphic copy ofl ₂ which is complemented inX.     

The minimal cardinality where the Reznichenko property fails

A topological spaceX has the Fréchet-Urysohn property if for each subsetA ofX and each elementx inĀ, there exists a countable sequence of elements ofA which converges tox. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect each neighborhood ofx. In [5], Kočinac and Scheepers conjecture: The minimal cardinality of a setX of real numbers such thatC _p(X) does not have the weak Fréchet-Urysohn property is equal to b. (b is the minimal cardinality of an unbounded family in the Baire space^Nℕ.) We prove the Kočinac-Scheepers conjecture by showing that ifC _p(X) has the Reznichenko property, then a continuous image ofX cannot be a subbase for a non-feeble filter on ℕ. The author is partially supported by the Golda Meir Fund and the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).