Vladislav Zemlyanoy | Searcharxiv

arXiv2025

Fine shape of metrizable spaces as a left fraction localization

The strong shape category of compact metrizable spaces (compacta) is very well-studied; extending it to noncompact spaces, however, introduces computational complexity that makes it hard to work with. The fine shape category, as defined by Melikhov, seems to hold promise in terms of both applicability and simplicity: it is a different extension of compact strong shape to a generalized homotopy theory of metrizable spaces that is compatible with both Čech cohomology and Steenrod-Sitnikov homology, and its definition lends itself to straightforward proofs. Further research seems to be in order. One goal to have in mind is to show the fine shape category to be a homotopy category in Quillen's sense, which implies representation as a localization. But the strong shape of compacta was shown to be a left fraction localization in several ways; we extend the representation given by Cathey to fine shape, introducing the notion of FDR-embeddings to extend Cathey's SSDR-maps. In the process, we also introduce what we call the mapping cylinder of an approaching map; such a construction has been defined by Ferry and elaborated on by Mrozik in the compact case, yet it seems the direct extension on noncompact spaces is not possible. Thus we resort to a somewhat different definition.

math.AT↗

arXiv2025

Representing fine shape of local compacta by homotopy classes of ordinary maps

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.

math.GN↗