Some path properties of generalized Lévy sheet

Let X(t) be an N parameter generalized Lévy sheet taking values in ℝ^d with a lower index α, ℜ = {(s, t] = ∏ _i=1 ^N (s _i, t _i], s _i < t _i}, E(x, Q) = {t ∈ Q: X(t) = x}, Q ∈ ℜ be the level set of X at x and X(Q) = {x: ∃t ∈ Q such that X(t) = x} be the image of X on Q. In this paper, the problems of the existence and increment size of the local times for X(t) are studied. In addition, the Hausdorff dimension of E(x, Q) and the upper bound of a uniform dimension for X(Q) are also established.     

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.     

Many partition relations below density

We force 2 ^λ to be large, and for many pairs in the interval (λ, 2 ^λ ) a strong version of the polarized partition relations holds. We apply this to problems in general topology. For example, consistently, every 2 ^λ is the successor of a singular and for every Hausdorff regular space X, hd(X) ≤ s(X)⁺³, hL(X) ≤ s(X)⁺³ and better when s(X) is regular, via a halfgraph partition relations. For the case s(X) = ℵ ₀ we get hd(X), hL(X) ≤ N ₂.     

On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone

A Borel derivative on the hyperspace 2 ^X of a compactumX is a Borel monotone mapD: 2 ^X →2 ^X . The derivative determines a Cantor-Bendixson type rank δ:2^X → ω₁ ∪ {∞} . We show that ifA⊂2 ^X is analytic andZ⊂A intersects stationary many layers δ₋₁({ξ}), then for almost all σ,F∩δ₋₁({ξ}) cannot be separated fromZ ∩∪ _a<ξ ^δ−1({a}) (and also fromZ ∩∪ _a>ξ ^δ−1({a}) by anyF _σ-set. Another main result involves a natural partial order on 2 ^X related to the derivative. The results are obtained in a general framework of “resolvable ranks” introduced in the paper. During our work on this paper the second author was a Visiting Professor at the Miami University, Ohio. This author would like to express his gratitude to the Department of Mathematics and Statistics for the hospitality.     

Uniform dimension results for Gaussian random fields

Let X = {X(t), t ∈ ℝ ^N } be a Gaussian random field with values in ℝ ^d defined by

A minimal triangulation of complex projective plane admitting a chess colouring of four-dimensional simplices

We construct and study a new 15-vertex triangulation X of the complex projective plane ℂP². The automorphism group of X is isomorphic to S ₄ × S ₃. We prove that the triangulation X is the minimal (with respect to the number of vertices) triangulation of ℂP² admitting a chess colouring of four-dimensional simplices. We provide explicit parametrizations for the simplices of X and show that the automorphism group of X can be realized as a group of isometries of the Fubini-Study metric. We find a 33-vertex subdivision $ \bar X $ \bar X of the triangulation X such that the classical moment mapping μ: ℂP² → Δ² is a simplicial mapping of the triangulation $ \bar X $ \bar X onto the barycentric subdivision of the triangle Δ². We study the relationship of the triangulation X with complex crystallographic groups.     

Hyperspaces of nowhere topologically complete spaces

It is proved that ifX is a connected locally continuumwise connected coanalytic nowhere topologically complete space, then the hyperspace 2 ^X of all nonempty compact subsets ofX is strongly universal in the class of all coanalytic spaces. Moreover, 2 ^X is homeomorphic to Π₂ ifX is a Baire space, and toQ∖Π₁ ifX contains a dense absoluteG _δ-setG ⊂X such that the intersectionG ∩U is connected for any open connectedU ⊂X. (Here Π₁, Π₁⊂X are the standard subsets of the Hilbert cubeQ absorbing for the classes of analytic and coanalytic spaces, respectively.) Similar results are obtained for higher projective classes. Translated fromMatematicheskie Zametki, Vol. 62, No. 1, pp. 35–51, July, 1997. Translated by O. V. Sipacheva     

Hyperspaces of Banach Spaces with the Attouch—Wets Topology

Let X be an infinite-dimensional Banach space with weight τ. By Cld _AW (X), we denote the hyperspace of nonempty closed sets in X with the Attouch—Wets topology. By Fin _AW (X), Comp _AW (X) and Bdd _AW (X), we denote the subspaces of Cld _AW (X) consisting of finite sets, compact sets and bounded closed sets, respectively. In this paper, it is proved that Fin _AW (X)≈Comp _AW (X)≈ℓ₂(τ)×ℓ₂ ^f ℓandℓBdd _AW (X)≈ℓ₂(2^τ)×ℓ₂ ^f where ≈ means ‘is homeomorphic to’, ℓ₂(τ) is the Hilbert space with weight τ (ℓ₂(ℵ₀)=ℓ₂ the separable Hilbert space) and ℓ₂ ^f ={(x _i ) _iεN εℓ₂∣x _i =0 except for finitely many iεN}.     

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     

A condition for asymptotic finite-dimensionality of an operator semigroup

Let X be a Banach space and let T: X → X be a power bounded linear operator. Put X ₀ = {x ∈ X ∣ T ⁿ x → 0}. Assume given a compact set K ⊂ X such that lim inf _n→∞ ρ{T ⁿ x, K} ≤ η < 1 for every x ∈ X, ∥x∥ ≤ 1. If $\eta < \tfrac{1} {2} $\eta < \tfrac{1} {2} , then codim X ₀ < ∞. This is true in X reflexive for $\eta \in [\tfrac{1} {2},1) $\eta \in [\tfrac{1} {2},1) , but fails in the general case.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

The speed of convergence of a martingale

LetX _n, n≧0, be a martingale with respect to the σ-fieldsF _n and letB _n ² =Σ_1≧n E{(X ₁−X ₁₋₁)²|F ₁₋₁} It is known that ifB ₁ ² <∞ on some set Ω₀ thenX _∞=limX _n exists and is finite a.e. on Ω₀ We show that under suitable conditions there exists a constant ν<∞ for which lim supB _n ⁻¹ {log logB _n ² }^−1/2|X _∞−X _n−1 | ≦ √2(η+1). If “the fluctuations ofB _n are small” (in the sense of the Corollary) then ν=0 and the usual upper bound of a law of the iterated logrithm results. This upper bound is not necessarily achieved, though. Research supported in part by the NSF under Grant No. MCS 72-04534A04.     

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.     

On the weight-spectrum of a compact space

The weight-spectrumSp(w, X) of a spaceX is the set of weights of all infinite closed subspaces ofX. We prove that ifκ>ω is regular andX is compactT ₂ withω(X)≥κ then some λ withκ≤λ≤2^<κ is inSp(ω, X). Under CH this implies that the weight spectrum of a compact space can not omitω ₁, and thus solves problem 22 of [M]. Also, it is consistent with 2^ω=c being anything it can be that every countable closed setT of cardinals less thanc withω ∈ T satisfiesSp(w, X)=T for some separable compact LOTSX. This shows the independence from ZFC of a conjecture made in [AT]. Research supported by OTKA grant no. 1908.     

Motivic equivalence of quadratic forms. II

Let F be a field of characteristic ≠2 and φ be a quadratic form over F. By X _φ we denote the projective variety given by the equation φ=0. For each positive even integer d≥8 (except for d=12) we construct a field F and a pair φ, ψ of anisotropic d-dimensional forms over F such that the Chow motives of X _φ and X _ψ coincide but . For a pair of anisotropic (2 ^{n -1})-dimensional quadrics X and Y, we prove that existence of a rational morphism Y→X is equivalent to existence of a rational morphism Y→X. Received: 27 September 1999 / Revised version: 27 December 1999     

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.     

Multiple points of trajectories of multiparameter fractional Brownian motion

Consider 0<α<1 and the Gaussian process Y(t) on ℝ ^N with covariance E(Y(s)Y(t))=|t|^2α+|s|^2α−|t−s|^2α, where |t| is the Euclidean norm of t. Consider independent copies X ¹,…,X ^d of Y and␣the process X(t)=(X ¹(t),…,X ^d (t)) valued in ℝ ^d . When kN≤␣(k−1)αd, we show that the trajectories of X do not have k-multiple points. If N<αd and kN>(k−1)αd, the set of k-multiple points of the trajectories X is a countable union of sets of finite Hausdorff measure associated with the function ϕ(ɛ)=ɛ ^{k N /α−( k −1) d} (loglog(1/ɛ)) ^k . If N=αd, we show that the set of k-multiple points of the trajectories of X is a countable union of sets of finite Hausdorff measure associated with the function ϕ(ɛ)=ɛ ^d (log(1/ɛ) logloglog 1/ɛ) ^k . (This includes the case k=1.) Received: 20 May 1997 / Revised version: 15 May 1998     

On the homology of certain spaces looped beyond their connectivity

Very little is known aboutH _*(Ωⁿ X) whenn is larger than the connectivity ofX. In this paper we calculate this whenX=Ω^∞ S ^∞ andn=1 or 2, and whenX=JU(q) or JSO(3) andn is arbitrary. Some information is also given whenX is a sphere. The authors were partially supported by the NSF.     

SOME LIMIT PROPERTIES OF LOCAL TIME FOR RANDOM WALK

Let X,X1,X2 be i. i. d. random variables with EX^2＋δ〈∞ （for some δ〉0）. Consider a one dimensional random walk S={Sn}n≥0, starting from S0 =0. Let ζ＊ （n）=supx∈zζ（x,n）,ζ（x,n） =#{0≤k≤n：[Sk]=x}. A strong approximation of ζ（n） by the local time for Wiener process is presented and the limsup type and liminf-type laws of iterated logarithm of the maximum local time ζ＊（n） are obtained. Furthermore,the precise asymptoties in the law of iterated logarithm of ζ＊（n） is proved.