Related papers: Covering maps for locally path-connected spaces
We construct a space $\mathbb{P}$ for which the canonical homomorphism $\pi_1(\mathbb{P},p) \rightarrow \check{\pi}_1(\mathbb{P},p)$ from the fundamental group to the first \v{C}ech homotopy group is not injective, although it has all of…
A compact manifold $M$ together with a Riemannian metric $h$ on its universal cover $\tilde M$ for which $\pi_1(M)$ acts by similarities is called a similarity structure. In the case where $\pi_1(M) \not\subset \mathrm{Isom}(\tilde M, h)$…
Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated mapping space. This leads to the notion of…
A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…
Let X be a zero-dimensional compact space such that all non-empty clopen subsets of X are homeomorphic to each other, and let H(X) be the group of all self-homeomorphisms of X with the compact-open topology. We prove that the Roelcke…
Let $G$ be a compact and connected Lie group and $PU(\mathcal H)$ be the group of projective unitary operators on a separable Hilbert space $\mathcal H$ endowed with the strong operator topology. We study the space $hom_{st}(G, PU(\mathcal…
For a non-empty set $X$, the collection $Top(X)$ of all topologies on $X$ sits inside the Boolean lattice $\PP(\PP(X))$ (when ordered by set-theoretic inclusion) which in turn can be naturally identified with the Stone space $\px$. Via this…
We introduce the notion of tight homomorphism into a locally compact group with nonvanishing bounded cohomology and study these homomorphisms in detail when the target is a Lie group of Hermitian type. Tight homomorphisms between Lie groups…
For a large class of metric spaces with nice local structure, which includes Banach-Finsler manifolds and geodesic spaces of curvature bounded above, we give sufficient conditions for a local homeomorphism to be a covering projection. We…
Given a non-degenerate Peano continuum $X$, a dimension function $D:2^X_*\to[0,\infty]$ defined on the family $2^X_*$ of compact subsets of $X$, and a subset $\Gamma\subset[0,\infty)$, we recognize the topological structure of the system…
A topological group is constructed which is homotopy equivalent to the pointed loop space of a path-connected Riemannian manifold $M$ and which is given in terms of "composable small geodesics" on $M$. This model is analogous to J. Milnor's…
We express the rational homotopy type of the mapping spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ of the little discs operads in terms of graph complexes. Using known facts about the graph homology this allows us to compute…
A topology is defined on the mapping class group of a compact connected orientable surface. It is shown that a notion of "genericity" on subsets of the mapping class group arises from this definition. Many plausible results follow from this…
Let ${\mathscr P}$ be a topological property. We say that a space $X$ is ${\mathscr P}$-connected if there exists no pair $C$ and $D$ of disjoint cozero-sets of $X$ with non-${\mathscr P}$ closure such that the remainder $X\backslash(C\cup…
The pinning down number $pd(X)$ of a topological space $X$ is the smallest cardinal $\kappa$ such that for every neighborhood assignment $\mathcal{U}$ on $X$ there is a set of size $\kappa$ that meets every member of $\mathcal{U}$. Clearly,…
The Isbell, compact-open and point-open topologies on the set $C(X,\mathbb{R})$ of continuous real-valued maps can be represented as the dual topologies with respect to some collections $\alpha(X)$ of compact families of open subsets of a…
For a smooth map $f:X^4\to\Sigma^2$ that is locally modeled by holomorphic maps, the domain is shown to admit a symplectic structure that is symplectic on some regular fiber, if and only if $f^*[\Sigma]\ne0$. If so, the space of symplectic…
One generally expects that the techniques of arboreal singularities and gluing of local differential graded categories will result in a useful global invariant for all Weinstein manifolds. In this paper we construct explicit models for the…
The state spaces of machines admit the structure of time. A homotopy theory respecting this additional structure can detect machine behavior unseen by classical homotopy theory. In an attempt to bootstrap classical tools into the world of…
Given a scheme $X$ over $\mathbb{Z}$ and a hyperfield $H$ which is equipped with topology, we endow the set $X(H)$ of $H$-rational points with a natural topology. We then prove that; (1) when $H$ is the Krasner hyperfield, $X(H)$ is…