Saved in:
Bibliographic Details
Main Authors: Feng, Ziqin, Gartside, Paul
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2401.00817
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913580720324608
author Feng, Ziqin
Gartside, Paul
author_facet Feng, Ziqin
Gartside, Paul
contents For a space $X$ let $\mathcal{K}(X)$ be the set of compact subsets of $X$ ordered by inclusion. A map $ϕ:\mathcal{K}(X) \to \mathcal{K}(Y)$ is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a Tukey quotient write $(X,\mathcal{K}(X)) \ge_T (Y,\mathcal{K}(Y))$, and write $(X,\mathcal{K}(X)) =_T (Y,\mathcal{K}(Y))$ if $(X,\mathcal{K}(X)) \ge_T (Y,\mathcal{K}(Y))$ and vice versa. We investigate the initial structure of pairs $(X,\mathcal{K}(X))$ under the relative Tukey order, focusing on the case of separable metrizable spaces. Connections are made to Menger spaces. Applications are given demonstrating the diversity of free topological groups, and related free objects, over separable metrizable spaces. It is shown a topological group $G$ has the countable chain condition if it is either $σ$-pseudocompact or for some separable metrizable $M$, we have $\mathcal{K}(M) \ge_T (G,\mathcal{K}(G))$.
format Preprint
id arxiv_https___arxiv_org_abs_2401_00817
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle The Shape of Compact Covers
Feng, Ziqin
Gartside, Paul
General Topology
For a space $X$ let $\mathcal{K}(X)$ be the set of compact subsets of $X$ ordered by inclusion. A map $ϕ:\mathcal{K}(X) \to \mathcal{K}(Y)$ is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a Tukey quotient write $(X,\mathcal{K}(X)) \ge_T (Y,\mathcal{K}(Y))$, and write $(X,\mathcal{K}(X)) =_T (Y,\mathcal{K}(Y))$ if $(X,\mathcal{K}(X)) \ge_T (Y,\mathcal{K}(Y))$ and vice versa. We investigate the initial structure of pairs $(X,\mathcal{K}(X))$ under the relative Tukey order, focusing on the case of separable metrizable spaces. Connections are made to Menger spaces. Applications are given demonstrating the diversity of free topological groups, and related free objects, over separable metrizable spaces. It is shown a topological group $G$ has the countable chain condition if it is either $σ$-pseudocompact or for some separable metrizable $M$, we have $\mathcal{K}(M) \ge_T (G,\mathcal{K}(G))$.
title The Shape of Compact Covers
topic General Topology
url https://arxiv.org/abs/2401.00817