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

Adjoint bi-continuous semigroups and semigroups on the space of measures

For a given bi-continuous semigroup (T(t)) _t⩾0 on a Banach space X we define its adjoint on an appropriate closed subspace X° of the norm dual X′. Under some abstract conditions this adjoint semigroup is again bi-continuous with respect to the weak topology σ(X°,X). We give the following application: For Ω a Polish space we consider operator semigroups on the space C_b(Ω) of bounded, continuous functions (endowed with the compact-open topology) and on the space M(Ω) of bounded Baire measures (endowed with the weak*-topology). We show that bi-continuous semigroups on M(Ω) are precisely those that are adjoints of bi-continuous semigroups on C_b(Ω). We also prove that the class of bi-continuous semigroups on C_b(ω) with respect to the compact-open topology coincides with the class of equicontinuous semigroups with respect to the strict topology. In general, if is not a Polish space this is not the case.     

Some ℵ0-bounded subsets of stone-čech compactifications

We characterize the maximalm-bounded extension of an arbitrary completely regular Hausdorff spaceX. The other principal results are:Theorem. LetX be a locally compact, σ-compact non-compact space with no more than 2^ℵ0 zero-sets. Then assuming the continuum hypothesis,βX − X can be written as the union of 2^2ℵ0 pairwise disjoint, dense ℵ₀-bounded subspaces.Theorem. LetX be a locally compact, σ-compact metric space without isolated points. Then both the set of remote points ofβX and the complement of this set inβX −X are ℵ₀-bounded.     

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.     

Fibrewise construction applied to Lusternik-Schnirelmann category

In this paper a variant of Lusternik-Schnirelmann category is presented which is denoted byQcat(X). It is obtained by applying a base-point free version ofQ=Ω^∞∑^∞ fibrewise to the Ganea fibrations. We provecat(X)≥Qcat(X)≥σcat(X) whereσcat(X) denotes Y. Rudyak’s strict category weight. However,Qcat(X) approximatescat(X) better, because, e.g., in the case of a rational spaceQcat(X)=cat(X) andσcat(X) equals the Toomer invariant. We show thatQcat(X×Y)≤Qcat(X)+Qcat(Y). The invariantQcat is designed to measure the failure of the formulacat(X×S ^r )=cat(X)+1. In fact for 2-cell complexesQcat(X)<cat(X)⇔cat(X×S ^r )=cat(X) for somer≥1. We note that the paper is written in the more general context of a functor λ from the category of spaces to itself satisfying certain conditions; λ=Q, Ω ⁿ Σ ⁿ ,Sp ^∞ orL _f are just particular cases.     

Entropy and<Emphasis Type="Italic">σ</Emphasis>-algebra equivalence of certain random walks on random sceneries

LetX=X ₀,X ₁,…be a stationary sequence of random variables defining a sequence space Σ with shift mapσ and let (T _t, Ω) be an ergodic flow. Then the endomorphismT _X(x, ω)=(σ(x),T _{x 0}(ω)) is known as a random walk on a random scenery. In [4], Heicklen, Hoffman and Rudolph proved that within the class of random walks on random sceneries whereX is an i.i.d. sequence of Bernoulli-(1/2, 1/2) random variables, the entropy ofT _t is an isomorphism invariant. This paper extends this result to a more general class of random walks, which proves the existence of an uncountable family of smooth maps on a single manifold, no two of which are measurably isomorphic. This research was sustained in part by fellowship support from the National Physical Science Consortium and the National Security Agency.     

Additive summable processes and their stochastic integral

We define and study a class of summable processes, called additive summable processes, that is larger than the class used by Dinculeanu and Brooks [D-B]. We relax the definition of a summable processesX:Ω×ℝ₊→E⊂L(F, G) by asking for the associated measureI _X to have just an additive extension to the predictableσ-algebra ℘, such that each of the measures (I _X) _z , forz∈(L _G ^p )*, beingσ-additive, rather than having aσ-additive extension. We define a stochastic integral with respect to such a process and we prove several properties of the integral. After that we show that this class of summable processes contains all processesX:Ω×ℝ₊→E⊂L(F, G) with integrable semivariation ifc ₀ ∋G.     

Maximality of analytic operator algebras

LetM be a σ-finite von Neumann algebra andα be an action ofR onM. LetH ^∞(α) be the associated analytic subalgebra; i.e.H ^∞(α)={X ∈M: sp_∞(X) [0, ∞]}. We prove that every σ-weakly closed subalgebra ofM that containsH ^∞(α) isH ^∞(γ) for some actionγ ofR onM. Also we show that (assumingZ(M)∩M ^α = Ci)H ^∞(α) is a maximal σ-weakly closed subalgebra ofM if and only if eitherH ^∞(α)={A ∈M: (I−F)xF=0} for some projectionF ∈M, or sp(α)=Γ(α).     

Polaroid operators,SVEP and perturbed Browder,Weyl theorems

A Banach space operatorT ɛB(X) is polaroid,T ɛP, if the isolated points of the spectrum ofT are poles of the resolvent ofT. LetPS denote the class of operators inP which have have SVEP, the single-valued extension property. It is proved that ifT is polynomiallyPS andA ɛB(X) is an algebraic operator which commutes withT, thenf(T+A) satisfies Weyl’s theorem andf(T ^*+A ^*) satisfiesa-Weyl’s theorem for everyf which is holomorphic on a neighbourhood of σ(T+A).     

Error bounds for asymptotic expansion of the scale mixtures of the normal distribution

Summary LetX be a standard normal random variable and let σ be a positive random variable independent ofX. The distribution of η=σX is expanded around that ofN(0, 1) and its error bounds are obtained. Bounds are given in terms of E(σ ²V−σ ²−1) ^k whereσ ²Vσ ⁻² denotes the maximum of the two quantitiesσ ² andσ ⁻², andk is a positive integer, and of E(σ ²−1) ^k , ifk is even. The Institute of Statistical Mathematics     

On topological properties of the Hartman-Mycielski functor

We investigate some topological properties of a normal functorH introduced earlier by Radul which is some functorial compactification of the Hartman-Mycielski construction HM. We prove that the pair (H X, HMY) is homeomorphic to the pair (Q, σ) for each nondegenerated metrizable compactumX and each denseσ-compact subsetY.     

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.     

Symetries isometriques applications a la dualite des espaces reticules

We show that ifE is a non-reflexive Banach lattice, there exists for everyn a dual of finite even order ofE which contins isometicallyl _n ^/l . We show that itE is a Banach lattice which is isometric to the dual of a Banach spaceX, then the order intervals are σ (E, X)-compact. We prove then that under various conditions, a Banach lattice which is a dual as a Banach space, is a dual as a Banach lattice. In particular, this is true when the predual ofE is unique.      

Distinguishing labeling of the actions of almost simple groups

Suppose Γ is a group acting on a set X, written as (Γ,X). An r-labeling f: X→{1,2, ..., r} of X is called distinguishing for (Γ,X) if for all σ∈Γ,σ≠1, there exists an element x∈X such that f(x)≠f(x ^σ ). The distinguishing number d(Γ,X) of (Γ,X) is the minimum r for which there is a distinguishing r-labeling for (Γ,X). If Γ is the automorphism group of a graph G, then d(Γ,V (G)) is denoted by d(G), and is called the distinguishing number of the graph G. The distinguishing set of Γ-actions is defined to be D*(Γ)={d(Γ,X): Γ acts on X}, and the distinguishing set of Γ-graphs is defined to be D(Γ)={d(G): Aut(G)≅Γ}. This paper determines the distinguishing set of Γ-actions and the distinguishing set of Γ-graphs for almost simple groups Γ.     

The spectral projections and the resolvent for scattering metrics

In this paper, we consider a compact manifold with boundaryX equipped with a scattering metricg as defined by Melrose [9]. That is,g is a Riemannian metric in the interior ofX that can be brought to the formg=x ⁻⁴ dx²+x^{−2 h’} near the boundary, wherex is a boundary defining function andh’ is a smooth symmetric 2-cotensor which restricts to a metrich on ϖX. LetH=Δ+V, whereV∈x ²C^∞ (X) is real, soV is a ‘short-range’ perturbation of Δ. Melrose and Zworski started a detailed analysis of various operators associated toH in [11] and showed that the scattering matrix ofH is a Fourier integral operator associated to the geodesic flow ofh on ϖX at distance π and that the kernel of the Poisson operator is a Legendre distribution onX×ϖX associated to an intersecting pair with conic points. In this paper, we describe the kernel of the spectral projections and the resolvent,R(σ±i0), on the positive real axis. We define a class of Legendre distributions on certain types of manifolds with corners and show that the kernel of the spectral projection is a Legendre distribution associated to a conic pair on the b-stretched productX _b ² (the blowup ofX ² about the corner, (ϖX)²). The structure of the resolvent is only slightly more complicated. As applications of our results, we show that there are ‘distorted Fourier transforms’ forH, i.e., unitary operators which intertwineH with a multiplication operator and determine the scattering matrix; we also give a scattering wavefront set estimate for the resolventR(σ±i0) applied to a distributionf.     

Dominated estimates of convex combinations of commuting isometries

The principal result of this paper is that the convex combination of two positive, invertible, commuting isometries ofL _p(X,F, μ) 1<p<+∞, one of which is periodic, admits a dominated estimate with constantp/p−1. In establishing this, the following analogue of Linderholm’s theorem is obtained: Let σ and ε be two commuting non-singular point transformations of a Lebesgue Space with τ periodic. Then given ε>O, there exists a periodic non-singular point transformation σ′ such that σ′ commutes with τ and μ(x:σ′x≠σx}<ε. Byan approximation argument, the principal result is applied to the convex combination of two isometries ofL _p (0, 1) induced by point transformations of the form τx=x ^k,k>0 to show that such convex combinations admit a dominated estimate with constantp/p−1. Research supported in part by NSF Grant No. GP-7475. A portion of the contents of this paper is based on the author’s doctoral dissertation written under the direction of Professor R. V. Chacon of the University of Minnesota.     

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.     

Clustering of linearly interacting diffusions and universality of their long-time limit distribution

Let K⊂ℝ ^d (d≥ 1) be a compact convex set and Λ a countable Abelian group. We study a stochastic process X in K ^Λ, equipped with the product topology, where each coordinate solves a SDE of the form dX _i (t) = ∑ _j a(j−i) (X _j (t) −X _i (t))dt + σ (X _i (t))dB _i (t). Here a(·) is the kernel of a continuous-time random walk on Λ and σ is a continuous root of a diffusion matrix w on K. If X(t) converges in distribution to a limit X(∞) and the symmetrized random walk with kernel a _S (i) = a(i) + a(−i) is recurrent, then each component X _i (∞) is concentrated on {x∈K : σ(x) = 0 and the coordinates agree, i.e., the system clusters. Both these statements fail if a _S is transient. Under the assumption that the class of harmonic functions of the diffusion matrix w is preserved under linear transformations of K, we show that the system clusters for all spatially ergodic initial conditions and we determine the limit distribution of the components. This distribution turns out to be universal in all recurrent kernels a _S on Abelian groups Λ. Received: 10 May 1999 / Revised version: 18 April 2000 / Published online: 22 November 2000     

An extension theorem for separable Banach spaces

We construct a totally disconnected ω^*, norming subsetF of the unit ballB ^* of an arbitrary separable Banach space,X, and an operator fromC(F) toC(B^*) that “amost” commutes with the natural embeddings ofX. This is used to give a new proof of Milutin's theorem and to prove some new results on complemented subspaces ofC[0, 1] with separable dual. In particular we show that a complemented subspace ofC(ω^ω), is either isomorphic toC(ω^ω) or toc _u.     

A generalization of peripherally-multiplicative surjections between standard operator algebras

Let A and B be standard operator algebras on Banach spaces X and Y, respectively. The peripheral spectrum σ_π (T) of T is defined by σ_π (T) = z ∈ σ(T): |z| = max_w∈σ(T) |w|. If surjective (not necessarily linear nor continuous) maps φ, ϕ: A → B satisfy σ_π (φ(S)ϕ(T)) = σ_π (ST) for all S; T ∈ A, then φ and ϕ are either of the form φ(T) = A ₁ TA ₂ ⁻¹ and ϕ(T) = A ₂ TA ₁ ⁻¹ for some bijective bounded linear operators A ₁; A ₂ of X onto Y, or of the form φ(T) = B ₁ T*B ₂ ⁻¹ and ϕ(T) = B ₂ T*B ⁻¹ for some bijective bounded linear operators B ₁;B ₂ of X* onto Y.