The D-property of some Lindelöf spaces and related conclusions

It is shown that the space Cp(τω) is a D-space for any ordinal number τ, where . This conclusion gives a positive answer to R.Z. Buzyakova's question. We also prove that another special example of Lindelöf space is a D-space. We discuss the D-property of spaces with point-countable weak bases. We prove that if a space X has a point-countable weak base, then X is a D-space. By this conclusion and one of T. Hoshina's conclusion, we have that if X is a countably compact space with a point-countable weak base, then X is a compact metrizable space. In the last part, we show that if a space X is a finite union of θ-refinable spaces, then X is a αD-space.     

On linear neighborhood assignments and dually discrete spaces

In this note, the concept of a linear neighborhood assignment is introduced. By discussing properties of linear D-spaces, we show that if T is a Suslin tree with FW (or CW) topology, then T is a Lindelöf D-space. We also show that if X is a countably compact space and , where for any linear neighborhood assignment ?n for Xn, there exists a strong DC-like subspace (or a subparacompact C-scattered closed subspace) Dn of Xn, such that for each n∈N, then X is a compact space; Every generalized ordered space is dually discrete. This gives a positive answer to a question of Buzyakova, Tkachuk and Wilson.     

On spaces which are D, linearly D and transitively D

In this note, we comment on D-spaces, linearly D-spaces and transitively D-spaces. We show that every meta-Lindelöf space is transitively D. If X is a weak -refinable TD-scattered space, then X is transitively D, where TD is the class of all transitively D-spaces. If X is a weak -refinable -scattered space, then X is a D-space, where is the class of all D-spaces, and hence every weak -refinable (or submetacompact) scattered space is a D-space. This gives a positive answer to a question mentioned by Martínez and Soukup. In the last part of this note, we show that if X is a weak -refinable space then X is linearly D.     

Luzin measurability of Carathéodory type mappings

A topological space X is said to have the Scorza-Dragoni property if the following property holds: For every metric space Y and every Radon measure space (T,μ), any Carathéodory function is Luzin measurable, i.e., given ε>0, there is a compact set K in T with μ(T?K)?ε such that the mapping is continuous. We present a selection of spaces without the Scorza-Dragoni property, among which there are first countable hereditarily separable and hereditarily Lindelöf compact spaces, separable Moore spaces and even countable k-spaces. In the positive direction, it is shown that every space which is an ℵ₀-space and kR-space has the Scorza-Dragoni property. We also prove that every separately continuous mapping , where Y is a metric space, is Luzin measurable, provided the space X is strongly functionally generated by a countable collection of its bounded subsets. If Martin's Axiom is assumed then all metric spaces of density less than c, and all pseudocompact spaces of cardinality less than c, have the Scorza-Dragoni property with respect to every separable Radon measure μ. Finally, the class of countable spaces with the Scorza-Dragoni property is closely examined.     

Absolute continuity of convolutions of orbital measures on Riemannian symmetric spaces

We study the absolute continuity of the measures and of on the Riemannian symmetric spaces X of noncompact type for nonzero elements Xj, X∈a. For m,l?r+1, where r is the rank of X, the considered convolutions have a density. We conjecture that the condition m,l?r+1 is necessary. The conjecture is proved for the symmetric spaces of type An−1. Moreover, the minimal value of l is determined, in function of the irregularity of X.     

Evaluation maps in rational homotopy

In the rational category of nilpotent complexes, let E be an H-space acting on a space X. With mild hypotheses we show that the action on the base point factors through a map Γ_E:S_E→X, where S_E is a finite product of odd-dimensional spheres and Γ_E is a homotopy monomorphism. Among others, the following consequences are obtained: if and only if is essential and if and only if X satisfies a strong splitting condition.     

Tame parts of free summands in coproducts of Priestley spaces

It is well known that a sum (coproduct) of a family of Priestley spaces is a compactification of their disjoint union, and that this compactification in turn can be organized into a union of pairwise disjoint order independent closed subspaces Xu, indexed by the ultrafilters u on the index set I. The nature of those subspaces Xu indexed by the free ultrafilters u is not yet fully understood.In this article we study a certain dense subset satisfying exactly those sentences in the first-order theory of partial orders which are satisfied by almost all of the Xi's. As an application we present a complete analysis of the coproduct of an increasing family of finite chains, in a sense the first non-trivial case which is not a ?ech-Stone compactification of the disjoint union I_?Xi. In this case, all the Xu's with u free turn out to be isomorphic under the Continuum Hypothesis.     

A conjecture of Palamodov about the functors Ext in the category of locally convex spaces

In 1971 Palamodov proved that in the category of locally convex spaces the derived functors Ext^k(E,X) of Hom(E,·) all vanish if E is a (DF)-space, X is a Fréchet space, and one of them is nuclear. He conjectured a “dual result”, namely that Ext^k(E,X)=0 for all if E is a metrizable locally convex space, X is a complete (DF)-space, and one of them is nuclear. Assuming the continuum hypothesis we give a complete answer to this conjecture: If X is an infinite-dimensional nuclear (DF)-space, then

(1)

There is a normed space E such that Ext¹(E,X)≠0.

(2)

where is a countable product of lines.

(3)

Ext^k(E,X)=0 for all k?3 and all locally convex spaces E.

     

Canonical subbase-compactness of topological products

For topological products the concept of canonical subbase-compactness is introduced, and the question analyzed under what conditions such products are canonically subbase-compact in ZF-set theory.Results: (1) Products of finite spaces are canonically subbase-compact iff AC(fin), the axiom of choice for finite sets, holds.(2) Products of n-element spaces are canonically subbase-compact iff AC(<n), the axiom of choice for sets with less than n elements, holds.(3) Products of compact spaces are canonically subbase-compact iff AC, the axiom of choice, holds.(4) All powers XI of a compact space X are canonically subbase compact iff X is a Loeb-space.These results imply that in ZF the implications

     

Continuous selections and σ-spaces

Assume that X⊆R?Q, and each clopen-valued lower semicontinuous multivalued map has a continuous selection . Our main result is that in this case, X is a σ-space. We also derive a partial converse implication, and present a reformulation of the Scheepers Conjecture in the language of continuous selections.     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

Stable equivariant abelianization, its properties, and applications

Let G be a finite group. For a based G-space X and a Mackey functor M, a topological Mackey functor is constructed, which will be called the stable equivariant abelianization of X with coefficients in M. When X is a based G-CW complex, is shown to be an infinite loop space in the sense of G-spaces. This gives a version of the RO(G)-graded equivariant Dold-Thom theorem. Applying a variant of Elmendorf's construction, we get a model for the Eilenberg-Mac Lane spectrum HM. The proof uses a structure theorem for Mackey functors and our previous results.     

Bounded tightness for locally convex spaces and spaces C(X)

We show that metrizability and bounded tightness are actually equivalent for a large class of locally convex spaces including (LF)-spaces, (DF)-spaces, the space of distributions D′(Ω), etc. A consequence of this fact is that for the bounded tightness for the weak topology of X is equivalent to the following one: X is linearly homeomorphic to a subspace of . This nicely supplements very recent results of Cascales and Raja. Moreover, we show that a metric space X is separable if the space C_p(X) has bounded tightness.