At most n-valued maps

TL;DR

This paper studies various models of at-most-$n$-valued maps, establishing their relationships, and introduces a configuration space approach with explicit calculations for the case of the circle.

Contribution

It classifies different types of at-most-$n$-valued maps, explores their containments, and develops a configuration space framework with topological invariants.

Findings

Classified four classes of at-most-$n$-valued maps and their containments.

Constructed a configuration space $C_n(Y)$ representing these maps.

Computed fundamental and homology groups of $C_n(S^1)$.

Abstract

This paper concerns various models of ``at-most-$n$-valued maps''. That is, multivalued maps $f:X\multimap Y$ for which $f(x)$ has cardinality at most $n$ for each $x$. We consider 4 classes of such maps which have appeared in the literature: $\mathcal U$, the set of exactly $n$-valued maps, or unions of such; $\mathcal F$, the set of $n$-fold maps defined by Crabb; $\mathcal S$, the set of symmetric product maps; and $\mathcal W$, the set of weighted maps with weights in $\mathbb N$. Our main result is roughly that these classes satisfy the following containments: \[ \mathcal U \subsetneq \mathcal F \subsetneq \mathcal S = \mathcal W \] Furthermore we define the general class $\mathcal C$ of all at-most-$n$-valued maps, and show that there are maps in $\mathcal C$ which are outside of any of the other classes above. We also describe a configuration-space point of view for the class $\mathcal C$, defining a configuration space $C_n(Y)$ such that any at-most-$n$-valued map $f:X\multimap Y$ corresponds naturally to a single-valued map $f:X\to C_n(Y)$. We give a full calculation of the fundamental group and homology groups of $C_n(S^1)$.