Cofinal types of topological groups
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910254194753536 |
|---|---|
| author | Gong, Xuan Peng, Dekui |
| author_facet | Gong, Xuan Peng, Dekui |
| contents | 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 $ω^ω$-base, we introduce the \emph{fineness index}, denoted $\f(P)$, for arbitrary directed partially ordered sets. This cardinal invariant fundamentally generalizes the bounding number $\mathfrak{b}$ by capturing the exact threshold where a poset evades domination by its countable subsets, thereby establishing a universal lower bound for the character of topological groups with a $P$-base: $χ(G) \in \{1, ω\} \cup [fi(P), \text{cof}(P)]$.
Furthermore, we resolve a structural problem regarding the exact cofinal types of free topological groups over uniform spaces. While classical results by Nickolas, Tkachenko, and others successfully computed the character of these groups via cardinal equalities (e.g., $χ(F(X, \mathcal{U})) = \text{cof}(\mathcal{U}^ω)$), lifting these equalities to strict Tukey equivalences has remained a persistent combinatorial challenge. By developing the novel machinery of \emph{neat trees} to refine uniform covering trees, we overcome the structural obstructions and prove the Tukey equivalence $\Ne_e(F(X, \U))=_T \U^ω$ for any compact uniform space $(X, \U)$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_25445 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Cofinal types of topological groups Gong, Xuan Peng, Dekui General Topology Group Theory Logic 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 $ω^ω$-base, we introduce the \emph{fineness index}, denoted $\f(P)$, for arbitrary directed partially ordered sets. This cardinal invariant fundamentally generalizes the bounding number $\mathfrak{b}$ by capturing the exact threshold where a poset evades domination by its countable subsets, thereby establishing a universal lower bound for the character of topological groups with a $P$-base: $χ(G) \in \{1, ω\} \cup [fi(P), \text{cof}(P)]$. Furthermore, we resolve a structural problem regarding the exact cofinal types of free topological groups over uniform spaces. While classical results by Nickolas, Tkachenko, and others successfully computed the character of these groups via cardinal equalities (e.g., $χ(F(X, \mathcal{U})) = \text{cof}(\mathcal{U}^ω)$), lifting these equalities to strict Tukey equivalences has remained a persistent combinatorial challenge. By developing the novel machinery of \emph{neat trees} to refine uniform covering trees, we overcome the structural obstructions and prove the Tukey equivalence $\Ne_e(F(X, \U))=_T \U^ω$ for any compact uniform space $(X, \U)$. |
| title | Cofinal types of topological groups |
| topic | General Topology Group Theory Logic |
| url | https://arxiv.org/abs/2605.25445 |