Skip to main content
4 of 5
added 986 characters in body
Tom
  • 489
  • 3
  • 16

Continuous maps to fat geometric realizations of simplicial spaces

[The nLab page on partitions of unity] 1 mentions the application of partitions of unity as a way to construct continuous maps to geometric realizations of simplicial spaces. However I often feel uncomfortable with the continuity of maps constructed in the realm of this example.

Let me discuss my uncertainty with the help of an explicit example.

Let $X$ be a space with an open cover $X=\bigcup_{i\in I} U_i$ and a partition of unity $\{f_i\colon X\rightarrow\mathbb{R}\}_{i\in I}$ subordinate to this cover and $\{a_i\}_{i\in I}$ a sequence of arbitrary real numbers.

Consider the poset $(\mathbb{R},\le)$ as a category internal to Spaces with the usual Euclidian topology. The nerve of this is a simplicial space $N_\bullet(\mathbb{R},\le)$. It has a geometric realization $||N_\bullet(\mathbb{R},\le)||=B(\mathbb{R},\le)$, whereby I mean the so called "fat" geometric realization, i.e. I only factor out the face maps and not the degeneracies.

Now define a map $g\colon X\rightarrow||N_\bullet(\mathbb{R},\le)||$ by mapping $x$ to the residue class of $((a_{i_0}\le...\le a_{i_k}),(f_{i_0}(x),...,f_{i_k}))\in N_k(\mathbb{R},\le)$ where ${i_0,...,i_k}$ are exactly those indices where $f_i(x)\neq0$.

This gives a well-defined map. Is this map always continuous? The choice of the non-zero $f_i(x)$'s feels somehow uncomfortable to me. The values of $g$ seem to "jump" somehow.

However, my impression that many of the constructions summarized by the mentioned example of the nlab go along this example, so probably my feeling is wrong and I would be happy seeing somehow thin out my fog.


Edit: The comment of Omar Antolín-Camarena and the answer of Oscar Randal-Williams have shown, that I example is not suitable to address my concerns. Let my give it another try by means of a modified example using the notation of the example before.

Let $Y\subseteq \mathbb{R}\times X$ a subspace. View $Y$ as a topological preordered set by using the standard ordering in the first coordinate, i.e. $(a,x)\le(b,y):\iff a\le b\text{ and } x=y$. Assume there are $a_i\in \mathbb{R}$, such that $\{a_i\}\times U_i\subseteq Y$. Now define the map $$g\colon X\rightarrow ||N_\bullet(Y)||$$ analogously by $$g(x)=[((a_{i_0},x)\le...\le(a_{i_k},x)),(f_{i_0},...,f_{i_k}(x)],$$ where the indices $i_0,...i_k$ are exactly those, where $f_i(x)\neq 0$. Now one does not have the freedom to take a bigger set of indices, because if $f_i(x)=0$ it could be possible that $(a_i,x)\notin Y$, so the suggestion of Oscar Randal-Williams and Omar Antolín-Camarena do not seem to work.

Tom
  • 489
  • 3
  • 16