The Injective category number on continuous maps
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912877961543680 |
|---|---|
| author | Zapata, Cesar A. Ipanaque Rabanal, Roland |
| author_facet | Zapata, Cesar A. Ipanaque Rabanal, Roland |
| contents | We introduce the concept of injective category number $\text{IC}(f)$ for a continuous map $f\colon X\to~Y$, and present fundamental results concerning this numerical invariant. The value $\text{IC}(f)$ quantifies the \aspas{complexity} or \aspas{categorical structure} underlying the question: under what conditions is $f$ injective? More precisely, $\text{IC}(f)$ is the smallest positive integer $\ell$ such that $X$ can be covered by $\ell$ open subsets $U_1,\ldots,U_\ell$, with each restriction map $f_{\mid U}:U\to Y$ being injective. For instance, we examine the behaviour of $\text{IC}(f)$ under pullbacks and compositions of maps. In addition, we provide a cohomological lower bound for $\text{IC}(f)$. When $f$ has a finite number of multiple points, we express $\text{IC}(f)$ in terms of these points of non-injectivity. In the case that $f$ is the quotient map $\mathfrak{q}^X:X\to X/G$, where $X$ is a metric free $G$-space, we provide a lower bound for the injective category of $\mathfrak{q}^X$ in terms of the $2$-th index, $\text{ind}_2(X,G)$. When $G=\mathbb{Z}_2$, this lower bound is shown to be sharp. These results link a classical problem in Borsuk-Ulam theory to contemporary research developments in the study of injective category numbers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_04317 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Injective category number on continuous maps Zapata, Cesar A. Ipanaque Rabanal, Roland Algebraic Topology Geometric Topology We introduce the concept of injective category number $\text{IC}(f)$ for a continuous map $f\colon X\to~Y$, and present fundamental results concerning this numerical invariant. The value $\text{IC}(f)$ quantifies the \aspas{complexity} or \aspas{categorical structure} underlying the question: under what conditions is $f$ injective? More precisely, $\text{IC}(f)$ is the smallest positive integer $\ell$ such that $X$ can be covered by $\ell$ open subsets $U_1,\ldots,U_\ell$, with each restriction map $f_{\mid U}:U\to Y$ being injective. For instance, we examine the behaviour of $\text{IC}(f)$ under pullbacks and compositions of maps. In addition, we provide a cohomological lower bound for $\text{IC}(f)$. When $f$ has a finite number of multiple points, we express $\text{IC}(f)$ in terms of these points of non-injectivity. In the case that $f$ is the quotient map $\mathfrak{q}^X:X\to X/G$, where $X$ is a metric free $G$-space, we provide a lower bound for the injective category of $\mathfrak{q}^X$ in terms of the $2$-th index, $\text{ind}_2(X,G)$. When $G=\mathbb{Z}_2$, this lower bound is shown to be sharp. These results link a classical problem in Borsuk-Ulam theory to contemporary research developments in the study of injective category numbers. |
| title | The Injective category number on continuous maps |
| topic | Algebraic Topology Geometric Topology |
| url | https://arxiv.org/abs/2405.04317 |