On convex hulls of compact sets of probability measures with countable supports

E. Michael and I. Namioka proved the following theorem. Let Y be a convex G _δ -subset of a Banach space E such that if K ? Y is a compact space, then its closed (in Y) convex hull is also compact. Then every lower semicontinuous set-valued mapping of a paracompact space X to Y with closed (in Y) convex values has a continuous selection. E. Michael asked the question: Is the assumption that Y is G _δ essential? In this note we give an affirmative answer to this question of Michael.     

On the Jayne–Rogers theorem

J. E. Jayne and C. A. Rogers [3] proved that a mapping \({f \colon {X \rightarrow Y}}\) of an absolute Souslin-\({\mathcal{F}}\) set X to a metric space Y is \({\mathbf{\Delta}^0_2}\)-measurable if and only if it is piecewise continuous. We give a similar result for a perfectly paracompact first-countable space X and a regular space Y.     

Large sublattices in subsets of Banach lattices

A classical problem (initially studied by N. Kalton and A. Wilansky) concerns finding closed infinite dimensional subspaces of X / Y, where Y is a subspace of a Banach space X. We study the Banach lattice analogue of this question. For a Banach lattice X, we prove that X / Y contains a closed infinite dimensional sublattice under the following conditions: either (i) Y is a closed infinite codimensional subspace of X, and X is either order continuous or a C(K) space, where K is a compact subset of \({\mathbb {R}}^n\); or (ii) Y is the range of a compact operator.     

On the extent of star countable spaces

For a topological property P, we say that a space X is star Pif for every open cover Uof the space X there exists Y ? X such that St(Y,U) = X and Y has P. We consider star countable and star Lindelöf spaces establishing, among other things, that there exists first countable pseudocompact spaces which are not star Lindelöf. We also describe some classes of spaces in which star countability is equivalent to countable extent and show that a star countable space with a dense σ-compact subspace can have arbitrary extent. It is proved that for any ω ₁-monolithic compact space X, if C _p (X)is star countable then it is Lindelöf.     

Embeddings of quotient division algebras of rings of differential operators

Let k be an algebraically closed field of characteristic zero, let X and Y be smooth irreducible algebraic curves over k, and let D(X) and D(Y) denote respectively the quotient division rings of the ring of differential operators of X and Y. We show that if there is a k-algebra embedding of D(X) into D(Y), then the genus of X must be less than or equal to the genus of Y, answering a question of the first-named author and Smoktunowicz.     

Applications of balanced pairs

Let (X, Y) be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to (X, Y), and then give some equivalent characterizations when a relative cotorsion pair is hereditary or perfect. We prove that if the X-resolution dimension of Y (resp. Y-coresolution dimension of X) is finite, then the bounded homotopy category of Y (resp. X) is contained in that of X (resp. Y). As a consequence, we get that the right X-singularity category coincides with the left Y-singularity category if the X-resolution dimension of Y and the Y-coresolution dimension of X are finite.     

Deviation of elements of a Banach space from a system of subspaces

We prove that if X is a real Banach space, Y ₁ ? Y ₂ ? ... is a sequence of strictly embedded closed linear subspaces of X, and d ₁ ≥ d ₂ ≥ ... is a nonincreasing sequence converging to zero, then there exists an element x ∈ X such that the distance ρ(x, Y _n ) from x to Y _n satisfies the inequalities d _n ≤ ρ(x, Y _n ) ≤ 8d _n for n = 1, 2, ....     

An Analog of Titchmarsh’s Theorem for the Fourier–Walsh Transform

The space clos(X) of all nonempty closed subsets of an unbounded metric space X is considered. The space clos(X) is endowed with a metric in which a sequence of closed sets converges if and only if the distances from these sets to a fixed point θ are bounded and, for any r, the sequence of the unions of the given sets with the exterior balls of radius r centered at θ converges in the Hausdorff metric. The metric on clos(X) thus defined is not equivalent to the Hausdorff metric, whatever the initial metric space X. Conditions for a set to be closed, totally bounded, or compact in clos(X) are obtained; criteria for the bounded compactness and separability of clos(X) are given. The space of continuous maps from a compact space to clos(X) is considered; conditions for a set to be totally bounded in this space are found.     

Unbounded norm topology beyond normed lattices

In this paper, we generalize the concept of unbounded norm (un) convergence: let X be a normed lattice and Y a vector lattice such that X is an order dense ideal in Y; we say that a net \((y_\alpha )\) un-converges to y in Y with respect to X if \(\bigl |\bigl ||y_\alpha -y|\wedge x\bigr |\bigr |\rightarrow 0\) for every \(x\in X_+\). We extend several known results about un-convergence and un-topology to this new setting. We consider the special case when Y is the universal completion of X. If \(Y=L_0(\mu )\), the space of all \(\mu \)-measurable functions, and X is an order continuous Banach function space in Y, then the un-convergence on Y agrees with the convergence in measure. If X is atomic and order complete and \(Y=\mathbb R^A\) then the un-convergence on Y agrees with the coordinate-wise convergence.     

On the stability of tangent bundle on double coverings

Let Y be a smooth projective surface defined over an algebraically closed field k with char k≠2, and let π : X →Y be a double covering branched along a smooth divisor. We show that y_X is stable with respect to π~*H if the tangent bundle y_Y is semi-stable with respect to some ample line bundle H on Y.     

Spaces with large relative extent

In this paper, we prove the following statements: (1) For every regular uncountable cardinal κ, there exist a Tychonoff space X and Y a subspace of X such that Y is both relatively absolute star-Lindelöf and relative property (a) in X and e(Y, X) ? κ, but Y is not strongly relative star-Lindelöf in X and X is not star-Lindelöf. (2) There exist a Tychonoff space X and a subspace Y of X such that Y is strongly relative star-Lindelöf in X (hence, relative star-Lindelöf), but Y is not absolutely relative star-Lindelöf in X.     

Dimension scales of bicompacta

We introduce the notion of a (stable) dimension scale d-sc(X) of a space X, where d is a dimension invariant. A bicompactum X is called dimensionally unified if dim F = dim_G F for every closed F ? X and for an arbitrary abelian group G. We prove that there exist dimensionally unified bicompacta with every given stable scale dim-sc.     

On operators which attain their norm

The following problem is considered. LetX andY be Banach spaces. Are those operators fromX toY which attain their norm on the unit cell ofX, norm dense in the space of all operators fromX toY? It is proved that this is always the case ifX is reflexive. In general the answer is negative and it depends on some convexity and smoothness properties of the unit cells inX andY. As an application a refinement of the Krein-Milman theorem and Mazur’s theorem concerning the density of smooth points, in the case of weakly compact sets in a separable space, is obtained.     

On countably {\mu}-paracompact spaces

A topological space X is countably paracompact if and only if X satisfies the condition (A): For any decreasing sequence {F_i} of non-empty closed sets with \({\bigcap_{i=1}^{\infty} F_{i} = \emptyset}\) there exists a sequence {G_i} of open sets such that \({\bigcap_{i=1}^{\infty}\overline{G_{i}}=\emptyset}\) and \({F_{i} \subset G_{i}}\) for every i. We will show, by an example, that this is not true in generalized topological spaces. In fact there is a \({\mu}\)-normal generalized topological space satisfying the analogue of A which is not even countably \({\mu}\)-metacompact. Then we study the relationships between countably \({\mu}\)-paracompactness, countably \({\mu}\)-metacompactness and the condition corresponding to condition A in generalized topological spaces.     

On isomorphisms of some Köthe function <Emphasis Type="Italic">F</Emphasis>-spaces

We prove that if Köthe F-spaces X and Y on finite atomless measure spaces (Ω _X ; Σ _X , µ _X ) and (Ω _Y ; Σ _Y ; µ _Y ), respectively, with absolute continuous norms are isomorphic and have the property

$\mathop {\lim }\limits_{\mu (A) \to 0} \left\| {\mu (A)^{ - 1} 1_A } \right\| = 0$

(for µ = µ _X and µ = µ _Y , respectively) then the measure spaces (Ω _X ; Σ _X ; µ _X ) and (Ω _Y ; Σ _Y ; µ _Y ) are isomorphic, up to some positive multiples. This theorem extends a result of A. Plichko and M. Popov concerning isomorphic classification of L _p (µ)-spaces for 0 < p < 1. We also provide a new class of F-spaces having no nonzero separable quotient space.

     

On Linear Preservers of Two-Sided Gut-Majorization On <Emphasis Type="Bold">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">m</Emphasis></Subscript>

For X, Y ∈ M_n,m it is said that X is gut-majorized by Y, and we write X ?_gutY, if there exists an n-by-n upper triangular g-row stochastic matrix R such that X = RY. Define the relation ~_gut as follows. X ~_gutY if X is gut-majorized by Y and Y is gut-majorized by X. The (strong) linear preservers of ?_gut on ?ⁿ and strong linear preservers of this relation on M_n,m have been characterized before. This paper characterizes all (strong) linear preservers and strong linear preservers of ~_gut on ?ⁿ and M_n,m.     

Khinchin’s inequality,Dunford-Pettis and compact operators on the space <Emphasis Type="Italic">C</Emphasis>([0, 1], <Emphasis Type="Italic">X</Emphasis>)

We prove that if X, Y are Banach spaces, Ω a compact Hausdorff space and U:C(Ω, X) → Y is a bounded linear operator, and if U is a Dunford-Pettis operator the range of the representing measure G(Σ) ? DP(X, Y) is an uniformly Dunford-Pettis family of operators and ∥G∥ is continuous at Ø. As applications of this result we give necessary and/or sufficient conditions that some bounded linear operators on the space C([0, 1], X) with values in c ₀ or l _p, (1 ≤ p < ∞) be Dunford-Pettis and/or compact operators, in which, Khinchin’s inequality plays an important role.     

On subelliptic manifolds

A smooth complex quasi-affine algebraic variety Y is flexible if its special group SAut(Y) of automorphisms (generated by the elements of one-dimensional unipotent subgroups of Aut(Y)) acts transitively on Y, and an algebraic variety is stably flexible if its product with some affine space is flexible. An irreducible algebraic variety X is locally stably flexible if it is a union of a finite number of Zariski open sets each of which is stably flexible. The main result of this paper states that the blowup of a locally stably flexible variety along a smooth algebraic subvariety (not necessarily equidimensional or connected) is subelliptic, and, therefore, it is an Oka manifold.     

Factorization of the reaction-diffusion equation,the wave equation,and other equations

We investigate equations of the form D _t u = Δu + ξ? _u for an unknown function u(t, x), t ∈ ?, x ∈ X, where D _t u = a ₀(u, t) + Σ _k=1 ^r a _k (t, u)? _t ^k u, Δ is the Laplace-Beltrami operator on a Riemannian manifold X, and ξ is a smooth vector field on X. More exactly, we study morphisms from this equation within the category PDE of partial differential equations, which was introduced by the author earlier. We restrict ourselves to morphisms of a special form—the so-called geometric morphisms, which are given by maps of X to other smooth manifolds (of the same or smaller dimension). It is shown that a map f: X → Y defines a morphism from the equation D _t u = Δu + ξ? _u if and only if, for some vector field Ξ and a metric on Y, the equality (Δ + ξ?)f*v = f*(Δ + Ξ?)v holds for any smooth function v: Y → ?. In this case, the quotient equation is D _t v = Δv + Ξ?v for an unknown function v(t, y), y ∈ Y. It is also shown that, if a map f: X → Y is a locally trivial bundle, then f defines a morphism from the equation D _t u = Δu if and only if fibers of f are parallel and, for any path γ on Y, the expansion factor of a fiber translated along the horizontal lift γ to X depends on γ only.