Related papers: Coronated polyhedra and coronated ANRs

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…

We study the complexity of the space $C^*_p(X)$ of bounded continuous functions with the topology of pointwise convergence. We are allowed to use descriptive set theoretical methods, since for a separable metrizable space $X$, the…

The moduli space of planar polygons with generic side lengths is a smooth, closed manifold. It is known that these manifolds contain the real points of the moduli space of distinct points on the projective line as an open dense subset.…

Given a compact metric space $X$, the collection of Borel probability measures on $X$ can be made into a compact metric space via the Kantorovich metric. We partially generalize this well known result to projection-valued measures. In…

We study the class of compact spaces that appear as structure spaces of separable Banach lattices. In other words, we analyze what $C(K)$ spaces appear as principal ideals of separable Banach lattices. Among other things, it is shown that…

Let $X$ be a smooth irreducible quasi-projective algebraic variety over a number field $K$. Suppose $X$ is equipped with a $p$-adic \'{e}tale local system compatible with an admissible graded-polarized variation of mixed Hodge structures on…

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the…

Given a compact space $K$, we denote by $P(K)$ the space of all Radon probability measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. For nonmetrizable compacta $K$ even basic properties of $P(K)$ spaces…

The topology of periodic spaces has attracted a lot of interest in recent years in order to study and classify crystalline structures and other large homogeneous data sets, such as the distribution of galaxies in cosmology. In practice,…

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…

Let $L(X)$ be the free locally convex space over a Tychonoff space $X$. We show that the following assertions are equivalent: (i) $L(X)$ is $\ell_\infty$-barrelled, (ii) $L(X)$ is $\ell_\infty$-quasibarrelled, (iii) $L(X)$ is…

A topological space $G$ is said to be a {\it rectifiable space} provided that there are a surjective homeomorphism $\phi :G\times G\rightarrow G\times G$ and an element $e\in G$ such that $\pi_{1}\circ \phi =\pi_{1}$ and for every $x\in G$…

Let $S$ denote the graded polynomial ring $\C[x_1,...,x_m]$. We interpret a chain complex of free $S$-modules having finite length homology modules as an $S^1$-equivariant map $\C^m\sm\{0\} \to X$, where $X$ is a moduli space of exact…

Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, endowed with an ample line bundle L. We introduce a general notion of (possibly singular) semipositive (or…

It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such…

In this paper, it is shown that a topological space $X$ is compact iff every maximal ideal of the power set ring $\mathcal{P}(X)$ converges to exactly one point of $X$. Then as an application, simple and ring-theoretic proofs are provided…

For a cardinal $\kappa > \omega$ a metric space $X$ is called to be $\kappa$-superuniversal whenever for every metric space $Y$ with $|Y| < \kappa$ every partial isometry from a subset of $Y$ into $X$ can be extended over the whole space…

A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected first countable space is the image of a nonseparably connected complete metric space…

The conformal compactification is considered in a hierarchy of hypercomplex projective spaces with relevance in physics including Minkowski and Anti-de Sitter space. The geometries are expressed in terms of bicomplex Vahlen matrices and…