Related papers: Between homeomorphism type and Tukey type

Let $X, Y$ be smooth algebraic varieties of the same dimension. Let $f, g : X \to Y$ be finite polynomial mappings. We say that $f, g$ are equivalent if there exists a regular automorphism $\Phi \in Aut(X)$ such that $f = g\circ \Phi$. Of…

We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…

Let $X$ be a space. A space $Y$ is called an extension of $X$ if $Y$ contains $X$ as a dense subspace. For an extension $Y$ of $X$ the subspace $Y\backslash X$ of $Y$ is called the remainder of $Y$. Two extensions of $X$ are said to be…

For a compact space $K$ we denote by $C_w(K)$ ($C_p(K)$) the space of continuous real-valued functions on $K$ endowed with the weak (pointwise) topology. In this paper we address the following basic question which seems to be open: Suppose…

For a locally path connected topological space, the topological fundamental group is discrete if and only if the space is semilocally simply-connected. While functoriality of the topological fundamental group for arbitrary topological…

We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…

A function $F:2^\omega\to 2^\omega$ is an $E_0$-isomorphism if for all $x,y\in 2^\omega$, we have $xE_0y\iff f(x)E_0 f(y)$, where $xE_0y\iff(\exists a)(\forall n\ge b) x(n)=y(n)$. If such witnesses $a$ for $xE_0 y$ and for $f(x)E_0 f(y)$…

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

Commability is the finest equivalence relation between locally compact groups such that $G$ and $H$ are equivalent whenever there is a continuous proper homomorphism $G \to H$ with cocompact image. Answering a question of Cornulier, we show…

In this paper, we first prove that the topological entropy of induced map of any distal homeomorphism of a compact metric space is null. Then we consider induced map $2^f$ of an arbitrary pointwise periodic homeomorphism $f:X\to X$ of a…

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…

Let $G$ be (the rational points of) a connected reductive group over a local non-archimedean field $F$. In this article we formulate and prove a property of an $F$-spherical homogeneous $G$-space (which in addition satisfies the finite…

Suppose G is a topological group containing a (closed) topological copy of the Frechet-Urysohn fan. If G is a perfectly normal sequential space (a normal k-space) then every closed metrizable subset in $G$ is locally compact. Applying this…

We demonstrate the homogeneity of the Hilbert Cube. In particular, we construct explicit self-homeomorphisms of the Hilbert cube so that given any two points, a homeomorphism moving one to the other may be realized.

Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces…

In this paper we study the polynomial entropy of homeomorphism on compact metric space. We construct a homeomorphism on a compact metric space with vanishing polynomial entropy that it is not equicontinuous. Also we give examples with…

A compact topological space X is spectral if it is sober (i.e., every irreducible closed set is the closure of a unique singleton) and the compact open subsets of X form a basis of the topology of X, closed under finite intersections.…

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…

We discuss homogeneity and universality issues in the theory of abstract linear spaces, namely, structures with points and lines satisfying natural axioms, as in Euclidean or projective geometry. We show that the two smallest projective…

Let X be a compact (resp. compact and nonsingular) real algebraic variety and let Y be a homogeneous space for some linear real algebraic group. We prove that a continuous (resp. C^infinity) map f:X-->Y can be approximated by regular maps…