Related papers: A note on home-product-minimality

Let $X$ and $Y$ be topological spaces. Let $C$ be a path-connected closed set of $X\times Y$. Suppose that $C$ is locally direct product, that is, for any $(a,b)\in X\times Y$, there exist an open set $U$ of $X$, an open set $V$ of $Y$, a…

In this paper, we introduce coproducts of proximity spaces. After exploring several of their basic properties, we show that given a collection of proximity spaces, the coproduct of their Smirnov compactifications proximally and densely…

A topological space ${\mathcal X}$ is reversible iff each continuous bijection (condensation) $f: {\mathcal X} \rightarrow {\mathcal X}$ is a homeomorphism; weakly reversible iff whenever ${\mathcal Y}$ is a space and there are…

Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…

We are concerned with the question of when a homeomorphism between $C_p(X\times \tau)$ and $C_p(Y\times \tau)$ implies the existence of a homeomorphism between $C_p(X\times \tau')$ and $C_p(Y\times \tau')$, where $\tau$ and $\tau'$ are…

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

We show that the topological complexity of an aspherical space $X$ is bounded below by the cohomological dimension of the direct product $A\times B$, whenever $A$ and $B$ are subgroups of $\pi_1(X)$ whose conjugates intersect trivially. For…

A topological preordered space admits a Hausdorff closed preorder compactification if and only if it is Tychonoff and the preorder is represented by the family of continuous isotone functions. We construct the largest Hausdorff closed…

The aim of this note is to obtain results about when the norm of a projective tensor product is strongly subdifferentiable. We prove that if $X\hat{\otimes}_\pi Y$ is strongly subdifferentiable and either $X$ or $Y$ has the metric…

The Lefschetz fixed point theorem provides a powerful obstruction to the existence of minimal homeomorphisms on well-behaved spaces such as finite CW-complexes. We show that these obstructions do not hold for more general spaces. More…

We study the C*-algebra crossed product $C_0(X)\rtimes G$ of a locally compact group $G$ acting properly on a locally compact Hausdorff space $X$. Under some mild extra conditions, which are automatic if $G$ is discrete or a Lie group, we…

We define the notion of a hierarchically cocompact classifying space for a family of subgroups of a group. Our main application is to show that the mapping class group $\mbox{Mod}(S)$ of any connected oriented compact surface $S$, possibly…

We give conditions under which a product of topological spaces satisfies some local property. The conditions are necessary and sufficient when the corresponding global property is preserved under finite products. Further examples include…

Given a self-map of a compact metric space $X$, we study periodic points of the map induced on the hyperspace of closed subsets of $X$. We give some necessary conditions on admissible sets of periods for these maps. Seemingly unrelated to…

Suppose $Y$ is a compact, connected, oriented 3-manifold possibly with boundary, such that $\pi_1(Y)$ is infinite. Let $\operatorname{Diff}_\partial(I\times Y)$ denote the group of self-diffeomorphisms of $I\times Y$ that are equal to the…

Given a local homeomorphism \sigma:U -> X where U is a clopen subset of an compact and Hausdorff topological space X, we obtain the possible transfer operators L_\rho which may occur for \al:C(X) -> C(U) given by \al(f)=f\sigma. We obtain…

A product of cochains in a polyhedral complex is constructed. The multiplication algorithm depends on the choice of a parameter. The parameter is a linear functional on the ambient space. Cocycles form a subring of the ring of cochains,…

We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve…

We investigate minimal surfaces in products of two-spheres ${\mathbb S}^2_p\times {\mathbb S}^2_p$, with the neutral metric given by $(g,-g)$. Here ${\mathbb S}^2_p\subset {\mathbb R}^{p,3-p}$ , and $g$ is the induced metric on the sphere.…