Transformation semigroups preserving a binary relation

We investigate the semigroups of full and partial transformations of a set X which preserve a binary relation σ defined on X. We consider in detail the case where σ is an order or a quasi-order relation. There are conditions of regularity of such semigroups. We introduce two definitions of preservation of σ for the semigroup of binary relations. It is proved that subsets of B(X) preserving σ are semigroups in each case. We give the condition of regularity of B _σ (X) in the case where σ(X) is a quasi-order.     

Harmonic Functions on Homogeneous Spaces

 Given a locally compact group G acting on a locally compact space X and a probability measure σ on G, a real Borel function f on X is called σ-harmonic if it satisfies the convolution equation . We give conditions for the absence of nonconstant bounded harmonic functions. We show that, if G is a union of σ-admissible neighbourhoods of the identity, relative to X, then every bounded σ-harmonic function on X is constant. Consequently, for spread out σ, the bounded σ-harmonic functions are constant on each connected component of a [SIN]-group and, if G acts strictly transitively on a splittable metric space X, then the bounded σ-harmonic functions on X are constant which extends Furstenberg’s result for connected semisimple Lie groups. (Received 13 June 1998; in revised form 31 March 1999)     

Harmonic Functions on Homogeneous Spaces

 Given a locally compact group G acting on a locally compact space X and a probability measure σ on G, a real Borel function f on X is called σ-harmonic if it satisfies the convolution equation . We give conditions for the absence of nonconstant bounded harmonic functions. We show that, if G is a union of σ-admissible neighbourhoods of the identity, relative to X, then every bounded σ-harmonic function on X is constant. Consequently, for spread out σ, the bounded σ-harmonic functions are constant on each connected component of a [SIN]-group and, if G acts strictly transitively on a splittable metric space X, then the bounded σ-harmonic functions on X are constant which extends Furstenberg’s result for connected semisimple Lie groups.     

Inverse limits of hereditarily almost expandable class

In this paper, the hereditarily almost expandability of inverse limits is investigated, with two results obtained. Let X be the inverse limit space of an inverse system （Xα, π^αβ, ∧}. （1） Suppose X is hereditarily κ-metacompact, if each Xα is hereditarily pointwise collectionwise normal （almost θ-expandable, almost discrete θ-expandable）, then so is X; （2） Suppose X is hereditarily κ-σ-metacompact, if each Xα is hereditarily almost σ-expandable （almost discrete σ-expandable = σ-pointwise collectionwise normal）, then so is X.     

Lower bounds¶for the relative Lusternik–Schnirelmann category

We give estimates of numerical homotopy invariants of the pair (X,X×S ^p ) in terms of homotopy invariants of X. More precisely, we prove that σ ^{p +1} cat(X) + 1 ≤ cat(X,X×S ^p }), that and that e(X,X×S< ^p )=e(X)+1, where σ ^{p +1} cat is the (relative) σ category of Vandembroucq and e is the (relative) Toomer invariant. The proof is based on an extension of Milnor's construction of the classifying space of a topological group to a relative setting (due to Dold and Lashof). Received: 14 October 1998 / Revised version: 5 November 1999     

Separation properties inX and 2 X . Upper semicontinuous and measurable multifunctions

This paper investigates relations among some separation (countable separation) properties of a topological space (X, τ _X ), corresponding properties of the hyperspace 2 ^X , endowed with the finite topology (the σ-algebra σ(ν ⁺)), and closedness (measurability) of graphs of semicontinuous (measurable) multifunctions.     

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.     

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     

The Crossed Product by a Partial Endomorphism

Given a closed ideal I in a C*-algebra A, an ideal J (not necessarily closed) in I , a *-homomorphism α : A → M(I ) and a map L : J → A with some properties, based on earlier works of Pimsner and Katsura, we define a C*-algebra which we call the Crossed Product by a Partial Endomorphism. We introduce the Crossed Product by a Partial Endomorphism induced by a local homeomorphism σ : U → X where X is a compact Hausdorff space and U is an open subset of X. A bijection between the gauge invariant ideals of and the σ, σ^-1- invariant open subsets of X is showed. If (X, σ) has the property that is topologically free for each closed σ, σ^-1-invariant subset X′ of X then we obtain a bijection between the ideals of and the open σ, σ^-1-invariant subsets of X. *Partially supported by CNPq. **Supported by CNPq.     

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.     

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.     

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

The classification of injective Banach lattices

LetE be a 1-injective Banach lattice,X any Banach space andT: E ← X a norm bounded linear operator. Then eitherT is an isomorphism on some copy ofl _∞ inE or for all σ > 0 there is φ ∈E ₊ ^′ such that ‖Tu‖≦φ (|u|)+σ ‖u‖ for allu ∈E. We deduce the theorem that: A norm order continuous injective Banach lattice is order isomorphic to an (AL)-space.     

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.     

On the derived category of a regular toric scheme

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes U _σ = Spec A ^σ . A quasi-coherent sheaf on X gives rise, by taking sections over the U _σ , to a diagram of modules over the coordinate rings A ^σ , indexed by the intersection poset Σ of the covering. If X is a regular toric scheme over an arbitrary commutative ring, we prove that the unbounded derived category of quasi-coherent sheaves on X can be obtained from a category of Σ^op-diagrams of chain complexes of modules by inverting maps which induce homology isomorphisms on hyper-derived inverse limits. Moreover, we show that there is a finite set of weak generators, one for each cone in the fan Σ. The approach taken uses the machinery of Bousfield–Hirschhorn colocalisation of model categories. The first step is to characterise colocal objects; these turn out to be homotopy sheaves in the sense that chain complexes over different open sets U _σ agree on intersections up to quasi-isomorphism. In a second step it is shown that the homotopy category of homotopy sheaves is equivalent to the derived category of X.     

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.     

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.     

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.     

The Dixmier-Moeglin equivalence for twisted homogeneous coordinate rings

Given a projective scheme X over a field k, an automorphism σ: X → X, and a σ-ample invertible sheaf L, one may form the twisted homogeneous coordinate ring B = B(X, L, σ), one of the most fundamental constructions in noncommutative projective algebraic geometry. We study the primitive spectrum of B, as well as that of other closely related algebras such as skew and skew-Laurent extensions of commutative algebras. Over an algebraically closed, uncountable field k of characteristic zero, we prove that the primitive ideals of B are characterized by the usual Dixmier-Moeglin conditions whenever dim X ≤ 2.