Representing fine shape of local compacta by homotopy classes of ordinary maps
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912647811694592 |
|---|---|
| author | Zemlyanoy, Vladislav |
| author_facet | Zemlyanoy, Vladislav |
| contents | Fine shape, as defined by Melikhov, is an extension of the strong shape category of compacta (compact metrizable topological spaces) to all metrizable spaces, notable for being compatible with both Čech cohomology and Steenrod-Sitnikov homology. In this work we study fine shape of local compacta (locally compact separable metrizable spaces), and construct, for every local compactum $X$, a space $|X|$ unique up to a homotopy equivalence and such that fine shape classes from any locally compact metrizable space $Y$ to $X$ bijectively correspond to homotopy classes of ordinary maps from $Y$ to $|X|$. This correspondence is (contravariatly) functorial in $Y$, thus giving a representation of $Y$-dependent contravariant functor for a fixed $X$; the universal class corresponding to the identity map of $X$ is the homotopy class of a specific embedding of $X$ into $|X|$ that is a fine shape equivalence. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_12808 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Representing fine shape of local compacta by homotopy classes of ordinary maps Zemlyanoy, Vladislav General Topology Algebraic Topology Geometric Topology Metric Geometry 54C56, 54E45, 55P55 Fine shape, as defined by Melikhov, is an extension of the strong shape category of compacta (compact metrizable topological spaces) to all metrizable spaces, notable for being compatible with both Čech cohomology and Steenrod-Sitnikov homology. In this work we study fine shape of local compacta (locally compact separable metrizable spaces), and construct, for every local compactum $X$, a space $|X|$ unique up to a homotopy equivalence and such that fine shape classes from any locally compact metrizable space $Y$ to $X$ bijectively correspond to homotopy classes of ordinary maps from $Y$ to $|X|$. This correspondence is (contravariatly) functorial in $Y$, thus giving a representation of $Y$-dependent contravariant functor for a fixed $X$; the universal class corresponding to the identity map of $X$ is the homotopy class of a specific embedding of $X$ into $|X|$ that is a fine shape equivalence. |
| title | Representing fine shape of local compacta by homotopy classes of ordinary maps |
| topic | General Topology Algebraic Topology Geometric Topology Metric Geometry 54C56, 54E45, 55P55 |
| url | https://arxiv.org/abs/2510.12808 |