Countable dense homogeneity in large products of Polish spaces

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Medini, Andrea, Steprāns, Juris
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866908618981376000
author Medini, Andrea
Steprāns, Juris
author_facet Medini, Andrea
Steprāns, Juris
contents We give a unified treatment of the countable dense homogeneity of products of Polish spaces, with a focus on uncountable products. Our main result states that a product of fewer than $\mathfrak{p}$ Polish spaces is countable dense homogeneous if the following conditions hold: (1) Each factor is strongly locally homogeneous, (2) Each factor is strongly $n$-homogeneous for every $n\inω$, (3) Every countable subset of the product can be brought in general position. For example, using the above theorem, one can show that $2^κ$, $ω^κ$, $\mathbb{R}^κ$ and $[0,1]^κ$ are countable dense homogeneous for every infinite $κ<\mathfrak{p}$ (these results are due to Steprāns and Zhou, except for the one concerning $ω^κ$). In fact, as a new application, we will show that every product of fewer than $\mathfrak{p}$ connected manifolds with boundary is countable dense homogeneous, provided that none or infinitely many of the boundaries are non-empty. This generalizes a result of Yang. Along the way, we will discuss and employ several results concerning the general position of countable sets. Finally, we will show that our main result and its corollaries are optimal.
format Preprint
id arxiv_https___arxiv_org_abs_2510_25322
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Countable dense homogeneity in large products of Polish spaces
Medini, Andrea
Steprāns, Juris
General Topology
Logic
54B10, 54E50, 54H11, 57N99, 03E17
We give a unified treatment of the countable dense homogeneity of products of Polish spaces, with a focus on uncountable products. Our main result states that a product of fewer than $\mathfrak{p}$ Polish spaces is countable dense homogeneous if the following conditions hold: (1) Each factor is strongly locally homogeneous, (2) Each factor is strongly $n$-homogeneous for every $n\inω$, (3) Every countable subset of the product can be brought in general position. For example, using the above theorem, one can show that $2^κ$, $ω^κ$, $\mathbb{R}^κ$ and $[0,1]^κ$ are countable dense homogeneous for every infinite $κ<\mathfrak{p}$ (these results are due to Steprāns and Zhou, except for the one concerning $ω^κ$). In fact, as a new application, we will show that every product of fewer than $\mathfrak{p}$ connected manifolds with boundary is countable dense homogeneous, provided that none or infinitely many of the boundaries are non-empty. This generalizes a result of Yang. Along the way, we will discuss and employ several results concerning the general position of countable sets. Finally, we will show that our main result and its corollaries are optimal.
title Countable dense homogeneity in large products of Polish spaces
topic General Topology
Logic
54B10, 54E50, 54H11, 57N99, 03E17
url https://arxiv.org/abs/2510.25322