Related papers: A complete classification of the zero-dimensional …

All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (that is, all its non-empty clopen subspaces are homeomorphic), with…

Building on work of van Engelen and van Mill, we show that a zero-dimensional Borel space is homeomorphic to a semifilter if and only if it is homogeneous and not locally compact. Under $\mathbf{\Sigma}^1_1$-Determinacy, this result extends…

All spaces are assumed to be separable and metrizable. Ostrovsky showed that every zero-dimensional Borel space is $\sigma$-homogeneous. Inspired by this theorem, we obtain the following results: assuming $\mathsf{AD}$, every…

We provide a complete classification, up to order-isomorphism, of all possible Wadge hierarchies on zero-dimensional Polish spaces using (essentially) countable ordinals as complete invariants. We also observe that although our assignment…

An ultrafilter $p$ on $\omega$ is said to be discrete if, given any function $f\colon \omega \to X$ to any completely regular Hausdorff space, there is an $A \in p$ such that $f(A)$ is discrete. Basic properties of discrete ultrafilters are…

The complexity of an action of a reductive algebraic group G on an algebraic variety X is the codimension of a generic B-orbit in X, where B is a Borel subgroup of G. We classify affine homogeneous spaces G/H of complexity one. These…

Homogeneous spaces are de Branges' Hilbert spaces of entire functions with the property that certain weighted rescaling transforms induce isometries of the space into itself. A classical example of a homogeneous space is the Paley-Wiener…

We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…

We show that, assuming the Axiom of Determinacy, every non-selfdual Wadge class can be constructed by starting with those of level $\omega_1$ (that is, the ones that are closed under Borel preimages) and iteratively applying the operations…

All spaces are assumed to be separable and metrizable. Building on work of van Engelen, Harrington, Michalewski and Ostrovsky, we obtain the following results: (1) Every finite-dimensional analytic space is $\sigma$-homogeneous with…

Using the property of being completely Baire, countable dense homogeneity and the perfect set property we will be able, under Martin's Axiom for countable posets, to distinguish non-principal ultrafilters on $\omega$ up to homeomorphism.…

We show that every filter $\mathcal{F}$ on $\omega$, viewed as a subspace of $2^\omega$, is homeomorphic to $\mathcal{F}^2$. This generalizes a theorem of van Engelen, who proved that this holds for Borel filters.

We prove that, for every n, the topological space {\omega}_n^{\omega} (where {\omega}_n has the discrete topology) can be partitioned into {\omega}_n copies of the Baire space. Using this fact, the authors then prove two new theorems about…

For any object A in a simplicial model category M, we construct a topological space \^A which classifies homogeneous functors whose value on k open balls is equivalent to A. This extends a classification result of Weiss for homogeneous…

We investigate which definable separable metric spaces are countable dense homogeneous (CDH). We prove that a Borel CDH space is completely metrizable and give a complete list of zero-dimensional Borel CDH spaces. We also show that for a…

We provide a coordinate-free version of the local classification, due to A. G. Walker [Quart. J. Math. Oxford (2) 1, 69 (1950)], of null parallel distributions on pseudo-Riemannian manifolds. The underlying manifold is realized, locally, as…

Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent.…

We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…