--- abstract: '*In this paper, we explore the fixed point theory of $n$-valued maps using configuration spaces and braid groups, focussing on two fundamental problems, the Wecken property, and the computation of the Nielsen number. We show that the projective plane (resp. the $2$-sphere ${\ensuremath{\mathbb S}^{2}}$) has the Wecken property for $n$-valued maps for all $n\in {\ensuremath{\mathbb N}}$ (resp. all $n\geq 3$). In the case $n=2$ and ${\ensuremath{\mathbb S}^{2}}$, we prove a partial result about the Wecken property. We then describe the Nielsen number of a non-split $n$-valued map $\phi\colon\thinspace X \multimap X$ of an orientable, compact manifold without boundary in terms of the Nielsen coincidence numbers of a certain finite covering $q\colon\thinspace \widehat{X} {\ensuremath{\longrightarrow}}X$ with a subset of the coordinate maps of a lift of the $n$-valued split map $\phi\circ q\colon\thinspace \widehat{X} \multimap X$.*' author: - | DACIBERG LIMA GONÇALVES\ Departamento de Matemática - IME - Universidade de São Paulo,\ Rua do Matão, 1010\ CEP 05508-090 - São Paulo - SP - Brazil.\ e-mail: [michaeljacobs@example.net](michaeljacobs@example.net)\ JOHN GUASCHI\ Normandie Université, UNICAEN,\ Laboratoire de Mathématiques Nicolas Oresme UMR CNRS ,\ CS 14032, 14032 Caen Cedex 5, France.\ e-mail: [michaeljacobs@example.net](michaeljacobs@example.net) date: '13th February 2017, revised 16th March and 11th April.' title: 'Fixed points of $n$-valued maps on surfaces and the Wecken property – a configuration space approach' --- Introduction {#sec:intro} ============ Multifunctions and their fixed point theory have been widely studied, see the books @Be [@Gor] for example, where fairly general classes of multifunctions and spaces are considered. In all of what follows, $X$ and $Y$ will be topological spaces. Let $\phi\colon\thinspace X \multimap Y$ be an $n$-valued function *i.e.* a function that to each $x\in X$ associates an unordered subset $\phi(x)$ of $Y$ of cardinality $n$. Recall that such an $n$-valued function $\phi$ is *continuous* if for all $x\in X$, $\phi(x)$ is closed, and for any open set $V$ in $Y$, the sets ${\ensuremath{{\ensuremath{\left\{ x\in X \,\mid\, \phi(x)\subset V \right\}}}}}$ and ${\ensuremath{{\ensuremath{\left\{ x \in X \,\mid\, \phi(x)\cap V \neq \varnothing \right\}}}}}$ are open in $X$. We will refer to a continuous $n$-valued function as an *$n$-valued map*. The class of $n$-valued maps is of particular interest, and more information about their fixed point theory on finite complexes may be found in @Bet1 [@Bet2; @Brr1; @Brr2; @Brr3; @Brr4; @Brr5; @Brr6; @Sch0; @Sch1; @Sch2]. A *homotopy* between two $n$-valued maps $\phi_1,\phi_2\colon\thinspace X \multimap Y$ is an $n$-valued map $H\colon\thinspace X\times I \multimap Y$ such that $\phi_1=H ( \cdot , 0)$ and $\phi_2=H ( \cdot , 1)$. Following @Sch0, an $n$-valued function $\phi\colon\thinspace X \multimap Y$ is said to be a *split $n$-valued map* if there exist single-valued maps $f_1, f_2, \ldots, f_n\colon\thinspace X {\ensuremath{\longrightarrow}}Y$ such that $\phi(x)={\ensuremath{\left\{ f_1(x),\ldots,f_n(x) \right\}}}$ for all $x\in X$. This being the case, we shall write $\phi={\ensuremath{\left\{ f_1,\ldots,f_n \right\}}}$. Let ${\operatorname{\text{Spl}}(X,Y,n)}$ denote the set of split $n$-valued maps between $X$ and $Y$. *A priori*, $\phi\colon\thinspace X \multimap Y$ is just an $n$-valued function, but if it is split then it is continuous by @GG15 [Proposition 42], which justifies the use of the word 'map' in the definition. Partly for this reason, split $n$-valued maps play an important rôle in the theory. If $\phi\colon\thinspace X \multimap X$ is an $n$-valued map from $X$ to itself, we say that $x\in X$ is a *fixed point* of $\phi$ if $x\in \phi(x)$, and we denote the set of fixed points of $\phi$ by $\operatorname{\text{Fix}}(\phi)$. In @Sch1 [Section 5], Schirmer defined the notion of Nielsen number of $n$-valued maps of finite complexes. Her definition is similar to that for single-valued maps, although it is a little more elaborate. As for the case of single-valued maps, for appropriate spaces, the Nielsen number $N(\phi)$ of an $n$-valued map $\phi\colon\thinspace X \multimap X$ provides a lower bound for the number of fixed points among all $n$-valued maps homotopic to $\phi$. The computation of the Nielsen number of a self- or $n$-valued map is an important problem in fixed point theory, and is not easy in general. In the split case, we have the following formula for the Nielsen number of $n$-valued maps of polyhedra in terms of the constituent single-valued maps. \[th:helgath0\]@Sch1 [Corollary 7.2] Let $\phi={\ensuremath{\left\{ f_1,f_2,\ldots, f_n \right\}}}\colon\thinspace X \multimap X$ be a split $n$-valued map, where $X$ is a compact polyhedron. Then $N(\phi)=N(f_1)+\cdots+N(f_n)$. A second fundamental problem in fixed point theory is to decide whether a space $X$ has the Wecken property. Recall that the homotopy class of an $n$-valued map $\phi\colon\thinspace X \multimap X$ is said to have the *Wecken property* if there exists an $n$-valued map $\psi\colon\thinspace X \multimap X$ homotopic to $\phi$ that has exactly $N(\phi)$ fixed points, and that a space $X$ has the *Wecken property for $n$-valued maps* if every homotopy class of $n$-valued maps of $X$ has the Wecken property. For single-valued maps, many complexes of dimension at least three have the Wecken property @Ke [@Wec1; @Wec2; @Wec3]. In the case of surfaces, the $2$-sphere ${\ensuremath{\mathbb S}^{2}}$, the real projective plane ${\ensuremath{{\mathbb R}P^2}}$ have the Wecken property @BGZ [@Ji], as do the $2$-torus ${\ensuremath{\mathbb{T}^{2}}}$ and the Klein bottle (see @GK for example). However, Jiang showed that no other compact surface without boundary has the Wecken property @Ji0 [@Ji1]. For $n$-valued maps, substantial progress has been made in the study of the Wecken property. The following result mirrors that for single-valued maps. \[th:helgath1\]@Sch2 [Theorem 5.2] Let $M$ be a compact triangulable manifold (with or without boundary) of dimension greater than or equal to $3$, and let $n\in {\ensuremath{\mathbb N}}$. Then every $n$-valued map $\phi \colon\thinspace M \multimap M$ is homotopic to an $n$-valued map that has $N(\phi)$ fixed points. In particular, $M$ has the Wecken property for $n$-valued maps. <span>Theorem \[th:helgath1\]</span> has been extended to a larger class of spaces, including some $2$-dimensional complexes, as follows. \[th:bete\]@Bet2 [Theorem 1] Let $X$ be a compact polyhedron without local cut points and such that no connected component of $X$ is a surface. Then $X$ has the Wecken property for $n$-valued maps. In a recent paper @GG15, we studied some aspects of fixed point theory of $n$-valued maps from $X$ to $Y$ by introducing an equivalent and natural formulation in terms of single-valued maps from $X$ to the $n\up{th}$ unordered configuration space $D_n(Y)$ of $X$, where $D_n(Y)$ is the quotient of the $n{\ensuremath{\up{th}}}$ (ordered) configuration space $F_{n}(X)$ of $X$, defined by: $$F_n(Y)={\ensuremath{{\ensuremath{\left\{ (y_1,\ldots,y_n) \,\left\lvert \, \text{$y_i\in Y$, and $y_i\neq y_j$ if $i\neq j$} \right. \right\}}}}},$$ by the free action of the symmetric group $S_{n}$ given by permuting coordinates. It is well known that $\pi_{1}(D_{n}(Y))$ (resp. $\pi_{1}(F_{n}(Y))$) is the braid group $B_{n}(Y)$ (resp. pure braid group $P_{n}(Y)$) of $Y$ on $n$ strings, that the quotient map $\pi\colon\thinspace F_{n}(Y) {\ensuremath{\longrightarrow}}D_{n}(Y)$ is a regular $n!$-fold covering, and that $P_{n}(Y)$ is the kernel of the surjective homomorphism $\tau\colon\thinspace B_n(Y) {\ensuremath{\longrightarrow}}S_n$ that to a braid associates its induced permutation. Configuration spaces play an important rôle in several branches of mathematics and have been extensively studied, see @CG [@FH] for example. As in @GG15, a map $\Phi\colon\thinspace X {\ensuremath{\longrightarrow}}D_n(Y)$ will be called an *$n$-unordered map*, and a map $\Psi\colon\thinspace X {\ensuremath{\longrightarrow}}F_n(Y)$ will be called an *$n$-ordered map*. For such an $n$-ordered map, for $i=1,\ldots,n$, there exist maps $f_i\colon\thinspace X {\ensuremath{\longrightarrow}}Y$ such that $\Psi(x)=(f_1(x),\ldots, f_n(x))$ for all $x\in X$, and for which $f_i(x)\neq f_j(x)$ for all $1\leq i,j\leq n$, $i\neq j$, and all $x\in X$. In this case, we will often write $\Psi=(f_{1},\ldots,f_{n})$. There is an obvious bijection between the set of $n$-point subsets of $Y$ and $D_{n}(Y)$ that induces a bijection between the set of $n$-valued functions from $X$ to $Y$ and the set of functions from $X$ to $D_{n}(Y)$. If we suppose in addition that $X$ and $Y$ are metric spaces, then $D_{n}(Y)$ may be equipped with a certain Hausdorff metric @GG15 [Appendix], in which case this bijection restricts to a bijection between the set of $n$-valued maps from $X$ to $Y$ and the set of (continuous) maps from $X$ to $D_{n}(Y)$ @GG15 [Theorem 8]. If $\phi\colon\thinspace X \multimap Y$ is an $n$-valued map then we shall say that the map $\Phi\colon\thinspace X {\ensuremath{\longrightarrow}}D_{n}(Y)$ obtained by this bijection as the map associated to $\phi$. If a map $\Phi\colon\thinspace X {\ensuremath{\longrightarrow}}D_n(Y)$ admits a lift $\widehat{\Phi}\colon\thinspace X {\ensuremath{\longrightarrow}}F_n(Y)$ via the covering map $\pi$ then we say that $\widehat{\Phi}$ is a *lift* of $\phi$. By @GG15 [Section 2.1], $\phi$ is split if and only if it admits a lift. In @GG15, we showed that spheres and real and complex projective spaces of even dimension have the fixed point property for $n$-valued maps, and we expressed the problem of deforming an $n$-valued map to a fixed point free $n$-valued map in terms of an algebraic criterion involving the braid groups of $X$, which we then used to determine an infinite number of homotopy classes of split $2$-valued maps of ${\ensuremath{\mathbb{T}^{2}}}$ that contain a fixed point free representative. In this paper, we explore some other aspects of fixed point theory of $n$-valued maps using the above formulation in terms of configuration spaces. We establish an equality for the Nielsen number in the non-split case, and we study the Wecken property for some surfaces. We now describe the contents of this paper in more detail. In <span>Section \[sec:pres\]</span>, we recall some fundamental results from @GG15, and in <span>Section \[sec:wecdisc\]</span>, we show that the $2$-disc has the Wecken property for $n$-valued maps for all $n\in {\ensuremath{\mathbb N}}$. In Sections \[sec:nvalS2\] and \[sec:proj\], we analyse the Wecken problem for $n$-valued maps of ${\ensuremath{\mathbb S}^{2}}$ and ${\ensuremath{{\mathbb R}P^2}}$ respectively. In the first case, one important step is to determine the number of homotopy classes of $n$-valued maps of ${\ensuremath{\mathbb S}^{2}}$. In <span>Lemma \[lem:sphWec\]</span>, we show that there is just one such class if $n\geq 3$, while if $n=2$, we show that the set of such homotopy classes is in bijection with ${\ensuremath{\mathbb N}}$. If $\phi\colon\thinspace {\ensuremath{\mathbb S}^{2}}\multimap {\ensuremath{\mathbb S}^{2}}$ is a $2$-valued map then we refer to the non-negative integer given by this correspondence as the *degree* of $\phi$ (or its homotopy class). Let $A\colon\thinspace {\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}$ denote the antipodal map. In the case of ${\ensuremath{{\mathbb R}P^2}}$, in <span>Proposition \[prop:classmap\]</span>, we show that there are precisely two homotopy classes of $n$-valued maps of ${\ensuremath{{\mathbb R}P^2}}$ for all $n\geq 2$, and we give explicit representatives of these homotopy classes. To prove the Wecken property for $n$-valued maps of ${\ensuremath{{\mathbb R}P^2}}$, it then suffices to check that each of these homotopy classes has the Wecken property. We summarise the main results of Sections \[sec:pres\] and \[sec:proj\] as follows. \[prop:propscst\] (a) \[it:propscsta\] Let $f_0\colon\thinspace{\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}$ be the constant map at a point $x_{0}\in {\ensuremath{\mathbb S}^{2}}$. Then $f_{0}$ has degree $0$, and $f_{0}$ and $A\circ f_0$ each have precisely one fixed point. (b) \[it:propscstb\] There exists a map $ f_1\colon\thinspace {\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}$ of degree $1$ that has a single fixed point and such that the map $A\circ f_1$ is fixed point free. (c) \[it:propscstc\] There exists a map $ f_2\colon\thinspace {\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}$ of degree $2$ such that $f_{2}$ and the map $A\circ f_2$ each possess a single fixed point. (d) \[it:propscstd\] The Wecken property holds for: (i) \[it:propscstb1\] $n$-valued maps of ${\ensuremath{\mathbb S}^{2}}$ for all $n\geq 3$. (ii) \[it:propscstb2\] the homotopy classes of $2$-valued maps of degree $0$, $1$ or $2$. <span>Proposition \[prop:propscst\]</span>(\[it:propscstd\])(\[it:propscstb2\]) has been obtained independently in @Brr0. Our proof is different from that given in @Brr0, and is perhaps more direct. The paper @Brr0 contains other results about $n$-valued maps of ${\ensuremath{\mathbb S}^{2}}$, concerning for example the minimal number of fixed points in a given homotopy class of a $2$-valued map (see @Brr0 [Theorem 4.1]). Apart from the three cases given in <span>Proposition \[prop:propscst\]</span>(\[it:propscstd\])(\[it:propscstb2\]), we believe that this minimal number is not known. We do not know either whether the Wecken property holds for $2$-valued maps of ${\ensuremath{\mathbb S}^{2}}$ of degree greater than or equal to $3$. \[th:wecproj\] The projective plane ${\ensuremath{{\mathbb R}P^2}}$ has the Wecken property for $n$-valued maps for all $n\in {\ensuremath{\mathbb N}}$. In <span>Section \[sec:calcu\]</span>, we consider the problem of the computation of the Nielsen number of $n$-valued maps of a compact, orientable manifold $X$ without boundary. To do this, we shall use @GG15 [Proposition 16], which given an $n$-valued map $\phi\colon \thinspace X \multimap X$, states that there exists a finite covering $q\colon\thinspace \widehat{X} {\ensuremath{\longrightarrow}}X$ such that the composition $\phi\circ q \colon \thinspace \widehat{X} \multimap X$ is split, and @GG15 [Proposition 17], which describes the fixed points of $\phi$ in terms of the coincidences of $q$ with the coordinate maps of a lift of the split $n$-valued map $\phi\circ q$. We analyse the behaviour of this description with respect to the essential Nielsen classes (*i.e.* the Nielsen classes of non-zero index). This yields a partial analogue of <span>Theorem \[th:helgath0\]</span> in the non-split case as follows. \[th:form\] Let $X$ be an orientable, compact manifold without boundary, and let $\phi\colon\thinspace X \multimap X$ be a non-split $n$-valued map. Let $\Phi\colon\thinspace X {\ensuremath{\longrightarrow}}D_{n}(X)$ be the map associated to $\phi$, let $H$ be the kernel of the composition $\tau\circ \Phi_{\#} \colon\thinspace \pi_{1}(X){\ensuremath{\longrightarrow}}S_{n}$, let $L'={\ensuremath{\operatorname{\text{Im}}\left({\tau\circ \Phi_{\#}}\right)}}$, and for $i=1,\ldots,n$, let $L_{i,i}'={\ensuremath{{\ensuremath{\left\{ \left. \alpha\in L' \,\right\rvert \, \alpha(i)=i \right\}}}}}$. Let $q\colon\thinspace \widehat{X} {\ensuremath{\longrightarrow}}X$ be the finite regular covering of $X$ that corresponds to $H$. Let $\widehat{\Phi}_{1}=(f_{1},\ldots,f_{n}) \colon\thinspace \widehat{X} {\ensuremath{\longrightarrow}}F_{n}(X)$ be a lift of the split $n$-valued map $\phi\circ q \colon \thinspace \widehat{X} \multimap X$, and suppose that the action of $L_{i,i}'$ on $\{1,\dots,n\}$ is free for all $i\in \{1,\dots,n\}$. Then the Nielsen number $N(\phi)$ of $\phi$ is equal to $\sum_{j\in I_0} N(q,f_{i_j})$, where $i_j$ runs over a set $I_{0}$ of representatives of the orbits of this action. If $n=2$, the condition that the action be free is necessarily satisfied, and in this case, we shall prove in <span>Corollary \[cor:nielsenphi\]</span> that $N(\phi)=N(q, f_1)=N(q, f_2)$. The study of the Wecken property for multivalued maps of the torus constitutes work in progress by the authors, and some preliminary results that are closely related to this problem may be found in @GG15. Acknowledgements {#acknowledgements .unnumbered} ---------------- The first-named author was partially supported by FAPESP-Fundação de Amparo a Pesquisa do Estado de São Paulo, Projeto Temático Topologia Algébrica, Geométrica e Diferencial 365-670-2543. The second-named author was also partially supported by the same project as well as the CNRS/FAPESP PRC project n 275209 during his visit to the Instituto de Matemática e Estatística, Universidade de São Paulo, from the 4^th^ to the 22^nd^ of February 2017. Preliminaries and the Wecken property for $n$-valued maps of the $2$-disc and $2$-sphere {#sec:pres} ======================================================================================== Let $n\in {\ensuremath{\mathbb N}}$. Given a topological space $X$, we are interested in understanding the fixed point theory of its $n$-valued maps. In this section, we will show that if $n\in {\ensuremath{\mathbb N}}$ (resp. $n\geq 3$), the $2$-disc ${\ensuremath{\mathbb D}^{\,2}}$ and the (resp. the $2$-sphere ${\ensuremath{\mathbb S}^{2}}$) has the Wecken property for $n$-valued maps. We first recall some definitions and results from @GG15. Given an $n$-valued map $\phi\colon\thinspace X \multimap X$ as defined in <span>Section \[sec:intro\]</span>, let $\Phi \colon\thinspace X {\ensuremath{\longrightarrow}}D_n(X)$ denote the associated $n$-unordered map, and if $\phi$ is split, let $\widehat{\Phi}\colon\thinspace X {\ensuremath{\longrightarrow}}F_n(X)$ be an $n$-ordered map that is a lift of $\phi$. By a single-valued map (or simply a map) $f\colon\thinspace X {\ensuremath{\longrightarrow}}Y$ between two topological spaces, we shall always mean a continuous function from $X$ to $Y$, and $[X,Y]$ will denote the set of unbased homotopy classes of maps between $X$ and $Y$. We recall the following result, which shows that for a large class of spaces, (homotopy classes of) $n$-valued maps may be identified with (homotopy classes of) maps whose target is an unordered configuration space. Let $I$ denote the unit interval $[0,1]$. \[th:metriccont\]Let $X$ and $Y$ be metric spaces, and let $n\in {\ensuremath{\mathbb N}}$. (a) \[it:metricconta\] An $n$-valued function $\phi\colon\thinspace X \multimap Y$ is continuous if and only if the corresponding function $\Phi\colon\thinspace X {\ensuremath{\longrightarrow}}D_n(Y)$ is continuous. (b) \[it:metriccontb\] The set of homotopy classes of $n$-valued maps from $X$ to $Y$ is in one-to-one correspondence with the set $[X,D_{n}(Y)]$ of homotopy classes of maps from $X$ to $D_n(Y)$. Part (\[it:metricconta\]) is a direct consequence of @GG15 [Theorem 8]. For part (\[it:metriccontb\]), since $X\times I$ is also a metric space, we may apply @GG15 [Theorem 8] to $n$-valued maps between $X\times I$ and $Y$. So it follows that two $n$-valued maps $\phi_1, \phi_2\colon\thinspace X\multimap Y$ are homotopic if and only if the corresponding maps $\Phi_1, \Phi_2\colon\thinspace X {\ensuremath{\longrightarrow}}D_{n}(Y)$ are homotopic, and the result follows. \[corresp\] <span>Theorem \[th:metriccont\]</span> also holds under weaker hypotheses. (a) If we assume just that $Y$ is a metric space, then the statement of <span>Theorem \[th:metriccont\]</span>(\[it:metricconta\]) is @Brr7 [Corollary 4.1], and that of <span>Theorem \[th:metriccont\]</span>(\[it:metriccontb\]) follows by applying this corollary to the spaces $X\times I$ and $Y$. (b) If $X$ is just locally path-connected and semi-locally simply connected then so is $X\times I$. The statement of <span>Theorem \[th:metriccont\]</span>(\[it:metricconta\]) is @Brr7 [Corollary 3.1], and that of <span>Theorem \[th:metriccont\]</span>(\[it:metriccontb\]) follows by applying this corollary to the spaces $X\times I$ and $Y$. From now on, we will assume that our spaces are metric spaces, so that we may interpret an $n$-valued map from $X$ to $Y$ as a map from $X$ to $D_n(Y)$ using <span>Theorem \[th:metriccont\]</span>(\[it:metricconta\]). The case of $n$-valued maps of the $2$-disc {#sec:wecdisc} ------------------------------------------- \[prop:fpp\] The $2$-disc ${\ensuremath{\mathbb D}^{\,2}}$ has the Wecken property for $n$-valued maps for all $n\in {\ensuremath{\mathbb N}}$. Let $n\in {\ensuremath{\mathbb N}}$, and let $(x_{1},\ldots,x_{n})\in F_{n}({\ensuremath{\mathbb D}^{\,2}})$. By Theorem \[th:metriccont\](\[it:metriccontb\]), the set of homotopy classes of $n$-valued maps of the $2$-disc ${\ensuremath{\mathbb D}^{\,2}}$ may be identified with the set $[{\ensuremath{\mathbb D}^{\,2}}, D_n({\ensuremath{\mathbb D}^{\,2}})]$ of homotopy classes of maps between ${\ensuremath{\mathbb D}^{\,2}}$ and $D_{n}({\ensuremath{\mathbb D}^{\,2}})$. Since the domain ${\ensuremath{\mathbb D}^{\,2}}$ is contractible, this set has only one element, which is the class of the constant map $c={\ensuremath{\left\{ c_{1},\ldots,c_{n} \right\}}} \colon\thinspace {\ensuremath{\mathbb D}^{\,2}}{\ensuremath{\longrightarrow}}D_n({\ensuremath{\mathbb D}^{\,2}})$, where for all $i=1,\ldots,n$, the map $c_i\colon\thinspace {\ensuremath{\mathbb D}^{\,2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb D}^{\,2}}$ is the constant map at $x_i$. Then the map $c$ has exactly $n$ fixed points, and $N(c)=n$ by <span>Theorem \[th:helgath0\]</span>, which proves the proposition. The case of $n$-valued maps of the $2$-sphere {#sec:nvalS2} --------------------------------------------- We now show that the Wecken property holds for $n$-valued maps of ${\ensuremath{\mathbb S}^{2}}$ for all $n\neq 2$. The case $n=2$ remains open, although we are able to provide some partial results (see also @Brr0). Since the case $n=1$ is well known, see for example @BGZ [Proposition 2.2], we will assume that $n\geq 2$. \[lem:sphWec\] If $n>2$ (resp. $n=2$), the set of homotopy classes of $n$-valued maps of ${\ensuremath{\mathbb S}^{2}}$ possesses exactly one element (resp. is in one-to-one correspondence with ${\ensuremath{\mathbb N}}$). <span>Theorem \[th:metriccont\]</span>(\[it:metriccontb\]) implies that it suffices to determine the set $[{\ensuremath{\mathbb S}^{2}}, D_n({\ensuremath{\mathbb S}^{2}})]$, which in turn is the orbit space of $\pi_{2}(D_{n}({\ensuremath{\mathbb S}^{2}}))$ under the action of $\pi_1(D_{n}({\ensuremath{\mathbb S}^{2}}))$. Now $F_{n}({\ensuremath{\mathbb S}^{2}})$ is a regular $n!$-fold covering of $D_{n}({\ensuremath{\mathbb S}^{2}})$, and if $n=2$ (resp. $n\geq 3$), the universal covering of $F_{n}({\ensuremath{\mathbb S}^{2}})$ has the homotopy type of ${\ensuremath{\mathbb S}^{2}}$ (resp. of ${\ensuremath{\mathbb S}^{3}}$) by @BCP [@FZ] or @GG10 [pp. 43–44]. Using standard results about homotopy groups and covering spaces, it follows that $\pi_{2}(D_{n}({\ensuremath{\mathbb S}^{2}}))$ is isomorphic to ${\ensuremath{\mathbb Z}}$ (resp. is trivial) if $n=2$ (resp. $n>2$) (see also @FvB [Corollary, page 211] for the case $n\geq 3$). This proves the result if $n\geq 3$. If $n=2$, observe that the map ${\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}F_2({\ensuremath{\mathbb S}^{2}})$ given by $x \longmapsto (x,-x)$ is a homotopy equivalence that is ${\ensuremath{\mathbb Z}}_2$-equivariant with respect to the action of the antipodal map on ${\ensuremath{\mathbb S}^{2}}$ and the action on $F_2({\ensuremath{\mathbb S}^{2}})$ given by $s\colon\thinspace F_2({\ensuremath{\mathbb S}^{2}}) {\ensuremath{\longrightarrow}}F_2({\ensuremath{\mathbb S}^{2}})$ defined by $s(x,y)=(y,x)$. This gives rise to a homotopy equivalence between the corresponding orbit spaces, namely ${\ensuremath{{\mathbb R}P^2}}$ and $D_2({\ensuremath{\mathbb S}^{2}})$. Since the action of $\pi_1({\ensuremath{{\mathbb R}P^2}})\cong {\ensuremath{\mathbb Z}}_2$ on $\pi_2({\ensuremath{{\mathbb R}P^2}}) \cong {\ensuremath{\mathbb Z}}$ is multiplication by $-1$, the same is true for the action of $\pi_1(D_2({\ensuremath{\mathbb S}^{2}})$ on $\pi_2(D_2({\ensuremath{\mathbb S}^{2}}))$, and the orbits are the subsets of the form ${\ensuremath{\left\{ m,-m \right\}}}$, where $m\in {\ensuremath{\mathbb Z}}$. It follows that the set $[{\ensuremath{\mathbb S}^{2}}, D_2({\ensuremath{\mathbb S}^{2}})]$ is in bijection with ${\ensuremath{\mathbb N}}$. We now study the Wecken property for $n$-valued maps of ${\ensuremath{\mathbb S}^{2}}$. Recall that if $\phi\colon\thinspace {\ensuremath{\mathbb S}^{2}}\multimap {\ensuremath{\mathbb S}^{2}}$ is a $2$-valued map, the integer given by the correspondence with ${\ensuremath{\mathbb N}}$ of <span>Lemma \[lem:sphWec\]</span> is the *degree* of $\phi$ (or of its homotopy class). \[Proof of <span>Proposition \[prop:propscst\]</span>\] (a) Part (\[it:propscsta\]) is clear since the constant map $f_{0}\colon\thinspace{\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}$ at a point $x_{0}\in {\ensuremath{\mathbb S}^{2}}$ has precisely one fixed point, namely $x_{0}$, and $-x_{0}$ is the unique fixed point of $A\circ f_{0}$. (b) Let $f_1$ be a self-map of the unit $2$-sphere ${\ensuremath{\mathbb S}^{2}}$ that is a small deformation of the identity, *i.e.* $f_1$ satisfies $\left\lvert x-f_1(x)\right\rvert<\pi/2$ for all $x\in {\ensuremath{\mathbb S}^{2}}$, and that has exactly one fixed point $x_{0}$. Such a map may be constructed using a vector field on ${\ensuremath{\mathbb S}^{2}}$ that possesses just one singular point, and in this way, the degree of $f_{1}$ is equal to $1$. Then $f_1(x)\neq -x$ for all $x\in {\ensuremath{\mathbb S}^{2}}$, and thus $A\circ f_1$ is fixed point free, which concludes the proof of part (\[it:propscstb\]). (c) Consider the self map $\rho\colon\thinspace {\ensuremath{\mathbb S}^{1}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{1}}$ given by $z\longmapsto z^2$. This map has one fixed point, which is $\{1\}$, and the map $A\circ \rho$ has a single fixed point, which is $\{-1\}$. Now consider the reduced suspension of ${\ensuremath{\mathbb S}^{1}}$, *i.e.*$({\ensuremath{\mathbb S}^{1}}\times [0,1])/(\{1\}\times [0,1]\cup {\ensuremath{\mathbb S}^{1}}\times \{0,1\})={\ensuremath{\mathbb S}^{2}}$, and let $f_2$ be the suspension of the map $\rho$. Then $f_2$ has only one fixed point which is the equivalence class of the point $\{1\}\times \{0\}$, and the map $A\circ f_2$ has a single fixed point, which is the equivalence class of $\{-1\}\times \{1/2\}$, so it has the desired property. (d) To prove part (\[it:propscstb1\]), by <span>Lemma \[lem:sphWec\]</span>, there is only one homotopy class of $n$-valued maps of ${\ensuremath{\mathbb S}^{2}}$ if $n\geq 3$, which is that of the constant $n$-valued map. The result then follows from part (\[it:propscsta\]). To prove part (\[it:propscstb2\]), the case of the homotopy class of degree $0$ follows as in part (\[it:propscstb1\]). Now let $i\in {\ensuremath{\left\{ 1,2 \right\}}}$. For the homotopy class of degree $i$, consider the split $2$-valued map $\phi_i={\ensuremath{\left\{ f_i,A\circ f_i \right\}}}\colon\thinspace {\ensuremath{\mathbb S}^{2}}\multimap {\ensuremath{\mathbb S}^{2}}$. Then $L(f_i)=1+i$, so $N(f_i)\neq 0$, and thus $N(f_i)=1$ because ${\ensuremath{\mathbb S}^{2}}$ is simply connected. Hence by <span>Theorem \[th:helgath0\]</span>, $N(\phi_i)=N(f_i)+N(A\circ f_i)$, and so $N(\phi_1)=1+0=1$ and $N(\phi_2)=1+1=2$. Since $\operatorname{\text{Fix}}(\phi_1)={\ensuremath{\left\{ x_{0} \right\}}}$, where $x_{0}$ is the fixed point of $f_{1}$ given in the proof of part (\[it:propscstb\]), and $\operatorname{\text{Fix}}(\phi_2)={\ensuremath{\left\{ 1, -1 \right\}}}$, it follows that the map $\phi_i$ has the Wecken property. The case of $n$-valued maps of the projective plane {#sec:proj} =================================================== The aim of this section is to prove that the projective plane ${\ensuremath{{\mathbb R}P^2}}$ has the Wecken property for $n$-valued maps for all $n\in {\ensuremath{\mathbb N}}$. Jiang showed that ${\ensuremath{{\mathbb R}P^2}}$ has the Wecken property for single-valued maps @Ji, so it will suffice to study the case $n\geq 2$. We start by computing the Nielsen number of an $n$-valued map of ${\ensuremath{{\mathbb R}P^2}}$. \[lem:rp2split\] Let $n\geq 1$, and let $\phi\colon\thinspace {\ensuremath{{\mathbb R}P^2}}\multimap {\ensuremath{{\mathbb R}P^2}}$ be an $n$-valued map. Then $N(\phi)=n$. From @GG15 [Lemma 14], $\phi$ is split, so for $i=1,\ldots,n$, there exist self-maps $f_i\colon\thinspace{\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ such that $\phi={\ensuremath{\left\{ f_1,\ldots,f_n \right\}}}$. Applying <span>Theorem \[th:helgath0\]</span>, $N(\phi)=n$ since $N(f_i)=1$ for all $i=1,\ldots,n$ by @Ji. We now classify the homotopy classes of $n$-valued maps of ${\ensuremath{{\mathbb R}P^2}}$. If $n=1$, it is well known that the set $[{\ensuremath{{\mathbb R}P^2}}, {\ensuremath{{\mathbb R}P^2}}]$ of homotopy classes of self-maps of ${\ensuremath{{\mathbb R}P^2}}$ that induce the trivial homomorphism on the level of fundamental groups has two elements, see @GS [Proposition 2.1] for example. One of these two homotopy classes is that of the constant map. We will describe the second homotopy class in terms of a representative map $W_{P}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ that we shall now define, where $P\in {\ensuremath{\mathbb S}^{2}}$, and ${\ensuremath{\mathbb S}^{2}}\subset {\ensuremath{\mathbb R}}^3$ is the unit sphere in ${\ensuremath{\mathbb R}}^3$, which we equip with spherical coordinates $(\theta,\varphi)$, where $\theta\in [0,2\pi)$ and $\varphi\in [-\pi/2,\pi/2]$, so that $P=(\theta,\pi/2)$. With respect to the Cartesian coordinate system for which $P=(0,0,1)$ and the point $(1,0,0)$ has spherical coordinates $(0,0)$, the point with spherical coordinates $(\theta,\varphi)$ has Cartesian coordinates $(\cos \varphi \cos\theta, \cos \varphi \sin\theta,\sin \varphi)$. From this, one may see that with respect to the spherical coordinate system, $(\theta,\varphi-\frac{\pi}{2})$ may be identified with $(\theta+\pi, -\varphi-\frac{\pi}{2})$. We regard ${\ensuremath{{\mathbb R}P^2}}$ as the quotient of ${\ensuremath{\mathbb S}^{2}}$ by the free action of the group generated by the antipodal map $A$. Let $p\colon\thinspace {\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ be the usual covering map, for all $x\in {\ensuremath{\mathbb S}^{2}}$, let $\overline{x}=p(x)$, and let $H_P^{+}$ be the hemisphere of ${\ensuremath{\mathbb S}^{2}}$ whose pole is $P$. Let $U_{P}\colon\thinspace {\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}$ be the map defined by $U_{P}(\theta,\varphi)=(\theta,2\varphi-\frac{\pi}{2})$. The restriction $U_{P}\bigl\lvert_{H_{P}^{+}}\bigr. \colon\thinspace H_P^{+} {\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}$ sends each semi-meridian lying in $H_P^{+}$ that starts at $P$ and ends at the equator linearly to the meridian of ${\ensuremath{\mathbb S}^{2}}$ that starts at $P$, ends at $-P$ and contains the original semi-meridian. Since $U_{P}$ sends the whole of the equator to the point $-P$, $U_{P}\bigl\lvert_{H_{P}^{+}}\bigr.$ induces a map $W_P'\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}$ defined by $W_{P}'(\overline{x})= U_{P}(x)$ for all $x\in H_{P}^{+}$. Let $W_{P}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ be defined by $W_{P}=p\circ W_{P}'$. Now $A(\theta,\varphi)=(\theta+\pi,-\varphi)$, and up to the above-mentioned identification within the spherical coordinate system, for all $(\theta,\varphi)\in {\ensuremath{\mathbb S}^{2}}$, we have: $$\begin{aligned} U_{P}\circ A(\theta,\varphi)&= \textstyle U_{P}(\theta+\pi,-\varphi)=(\theta+\pi,-2\varphi-\frac{\pi}{2})= (\theta,2\varphi-\frac{\pi}{2}) = U_{P}(\theta,\varphi), $$ and it follows that $U_{P}$ is a lift of $W_{P}$. We thus have the following commutative diagram: $$\begin{tikzcd} H_{P}^{+} \ar[hookrightarrow]{r} \ar[swap]{rd}{U_{P}\bigl\lvert_{H_{P}^{+}}\bigr.} & {\ensuremath{\mathbb S}^{2}}\ar{d}{U_{P}} \ar{r}{p} & {\ensuremath{{\mathbb R}P^2}}\ar{d}{W_{P}}\\ & {\ensuremath{\mathbb S}^{2}}\ar{r}{p} & {\ensuremath{{\mathbb R}P^2}}, \end{tikzcd}$$ for which $W_{P}=p\circ W_{P}'$ also. The following lemma summarises various properties of $W_{P}$. \[lem:prinWe\] Let $P\in {\ensuremath{\mathbb S}^{2}}$. The map $W_{P}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ satisfies the following properties: (a) \[it:prinWea\] $W_{P}=W_{-P}$, and $\operatorname{\text{Fix}}(W_{P})={\ensuremath{\left\{ p(P) \right\}}}$. (b) \[it:prinWeb\] The map $W_{P}$ is non null-homotopic, so it belongs to the non-constant homotopy class of $[{\ensuremath{{\mathbb R}P^2}}, {\ensuremath{{\mathbb R}P^2}}]$ that induces the trivial homomorphism on the fundamental group. (c) \[it:prinWed\] Let $P_{1},P_{2}\in {\ensuremath{\mathbb S}^{2}}$. If $P_1\neq \pm P_2$, then $\operatorname{\text{Coin}}(W_{P_1}, W_{P_2})$ is empty. (d) \[it:prinCoin\] If $c_0\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ is a constant map then the pair $(W_P, c_0)$ cannot be deformed to a coincidence-free pair. <!-- --> (a) Let $\overline{x}\in {\ensuremath{{\mathbb R}P^2}}$, where $\overline{x}=p(x)$ and we take $x$ to belong to $H_{P}^{+}$. Thus $-x\in H_{-P}^{+}$, $p(-x)=\overline{x}$, and so $W_{-P}'(\overline{x})=U_{-P}(-x)$. With respect to the same spherical coordinate system that was used to define $U_{P}$, one may see that $U_{-P}(\theta,\varphi)= (\theta,2\varphi+\frac{\pi}{2})$ for all $(\theta,\varphi) \in {\ensuremath{\mathbb S}^{2}}$. From the above definitions, if $x=(\theta,\varphi)$, we have: $$W_{P}(\overline{x}) \textstyle=p\circ W_{P}'(\overline{x})= p\circ U_{P}(x)= \textstyle p(\theta,2\varphi-\frac{\pi}{2}),$$ from which it follows that: $$\begin{aligned} W_{-P}(\overline{x}) & \textstyle=p\circ W_{-P}'(\overline{x})= p\circ U_{-P}(-x)= p\circ U_{-P}(\theta+\pi,-\varphi)= p(\theta+\pi, -2\varphi+\frac{\pi}{2})\\ & \textstyle=p\circ A(\theta,2\varphi-\frac{\pi}{2})=p(\theta,2\varphi-\frac{\pi}{2})=W_{P}(\overline{x}),\end{aligned}$$ hence $W_{P}=W_{-P}$ as required. (b) Since $W_P$ factors through ${\ensuremath{\mathbb S}^{2}}$, it induces the trivial homomorphism on the fundamental group of ${\ensuremath{{\mathbb R}P^2}}$. Further, the map $W_P'$ is a lift of $W_P$, so is non null-homotopic (it represents the non-trivial element of $[{\ensuremath{{\mathbb R}P^2}}, {\ensuremath{\mathbb S}^{2}}]$) because its absolute degree is congruent to $1 \bmod{2}$. (c) Let $P_{1},P_{2}\in {\ensuremath{\mathbb S}^{2}}$ be such that $P_1\neq \pm P_2$, let $\mathcal{C}$ be the (unique) great circle that passes through $P_{1}$ and $P_{2}$, and let $x\in {\ensuremath{\mathbb S}^{2}}$ be such that $\overline{x}\in \operatorname{\text{Coin}}(W_{P_1}, W_{P_2})$. Then either $x\in \operatorname{\text{Coin}}(U_{P_1}, U_{P_2})$ or $x\in \operatorname{\text{Coin}}(U_{P_1}, A\circ U_{P_2})$. Let $i\in {\ensuremath{\left\{ 1,2 \right\}}}$. Observe that any two great circles of ${\ensuremath{\mathbb S}^{2}}$ either coincide, or intersect in exactly two (antipodal) points, and that $U_{P_{i}}$ maps every great circle that passes through $P_{i}$ to itself. Suppose first that $x\notin \mathcal{C}$, and let $\mathcal{C}_{i}$ be the great circle that passes through $P_{i}$ and $x$. Then $\mathcal{C}_{1}\cap \mathcal{C}_{2}={\ensuremath{\left\{ x,A(x) \right\}}}$. Since $U_{P_{i}}(x)\in \mathcal{C}_{i}$ and $x\in \operatorname{\text{Coin}}(U_{P_1}, U_{P_2}) \cup \operatorname{\text{Coin}}(U_{P_1}, A\circ U_{P_2})$, it follows that $U_{P_1}(x)\in {\ensuremath{\left\{ x,A(x) \right\}}}$, and so $p\circ U_{P_{1}}(x)=W_{P_{1}}(\overline{x})=\overline{x}\in \mathcal{C}$. By part (\[it:prinWea\]), this implies that $\overline{x}=\overline{P}_{1}$, which yields a contradiction since $x\notin \mathcal{C}$. So assume that $x\in \mathcal{C}$. We write the elements of $\mathcal{C}$ in exponential form, taking $P_{1}$ to be $e^{i\pi/2}$. Let $\rho$ be the oriented angle $\widehat{P_{1}P_{2}}$, and let $x=e^{i\varphi}$. Then $U_{P_{1}}(x)=e^{(2\varphi-\frac{\pi}{2})i}$ and $U_{P_{2}}(x)=e^{(2(\varphi-\rho)-\frac{\pi}{2})i+\rho i}= U_{P_{1}}(x) \ldotp e^{-\rho i}$. Since $x\in \operatorname{\text{Coin}}(U_{P_1}, U_{P_2}) \cup \operatorname{\text{Coin}}(U_{P_1}, A\circ U_{P_2})$, we see that $\rho\in {\ensuremath{\left\{ 0,\pi \right\}}}$, but this implies that $P_{1}\in {\ensuremath{\left\{ P_{2},-P_{2} \right\}}}$, which yields a contradiction. We conclude that $W_{P_1}$ and $W_{P_2}$ are coincidence free. (d) Suppose on the contrary that the pair $(W_P, c_0)$ can be deformed to a pair of coincidence-free self-maps of ${\ensuremath{{\mathbb R}P^2}}$. By @Broo, there exists a map $h\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ that is homotopic to $W_{P}$ such that the pair $(h,c_{0})$ is coincidence free, and hence $h$ is non surjective. The maps $h$ and $c_{0}$ lift to maps $\widetilde{h}, \widetilde{c}_{0}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}$, where $\widetilde{c}_{0}$ is also a constant map, and the non surjectivity of $h$ implies that of $\widetilde{h}$. Thus $\widetilde{h}$ is null homotopic, but then so is $h$, which yields a contradiction because $h$ is homotopic to $W_{P}$, and $W_{P}$ is non-null homotopic by part (\[it:prinWeb\]). In the following proposition, we describe the set $[{\ensuremath{{\mathbb R}P^2}}, F_n({\ensuremath{{\mathbb R}P^2}})]$ (resp. $[{\ensuremath{{\mathbb R}P^2}}, D_n({\ensuremath{{\mathbb R}P^2}})]$) of homotopy classes of maps between ${\ensuremath{{\mathbb R}P^2}}$ and $F_{n}({\ensuremath{{\mathbb R}P^2}})$ (resp. $D_{n}({\ensuremath{{\mathbb R}P^2}})$), and the set of homotopy classes of $n$-valued maps of ${\ensuremath{{\mathbb R}P^2}}$, from which we will see that they each contain two elements. Let $N=(0,0,1)\in {\ensuremath{\mathbb S}^{2}}$. As we mentioned in the proof of <span>Lemma \[lem:rp2split\]</span>, any $n$-valued map $\phi\colon\thinspace {\ensuremath{{\mathbb R}P^2}}\multimap {\ensuremath{{\mathbb R}P^2}}$ is split, and so the set of homotopy classes of $n$-valued maps of ${\ensuremath{{\mathbb R}P^2}}$ is equal to ${\operatorname{\text{Spl}}({\ensuremath{{\mathbb R}P^2}},{\ensuremath{{\mathbb R}P^2}},n)}/\!\sim$, where $\sim$ denotes the homotopy equivalence relation in ${\operatorname{\text{Spl}}({\ensuremath{{\mathbb R}P^2}},{\ensuremath{{\mathbb R}P^2}},n)}$. \[prop:classmap\] Let $n\geq 2$. (a) \[it:classmap0\] The sets $[{\ensuremath{{\mathbb R}P^2}}, F_n({\ensuremath{{\mathbb R}P^2}})]$, $[{\ensuremath{{\mathbb R}P^2}}, D_n({\ensuremath{{\mathbb R}P^2}})]$ and ${\operatorname{\text{Spl}}({\ensuremath{{\mathbb R}P^2}},{\ensuremath{{\mathbb R}P^2}},n)}/\!\sim$ are in bijection, and each possesses two elements. (b) \[it:classmap1\] The two homotopy classes of $n$-valued maps of ${\ensuremath{{\mathbb R}P^2}}$ may be described as follows: (i) \[it:classmapa\] the first homotopy class consists of those $n$-valued maps $\phi\colon\thinspace {\ensuremath{{\mathbb R}P^2}}\multimap {\ensuremath{{\mathbb R}P^2}}$ such that any lift $\widehat{\Phi} \colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_n({\ensuremath{{\mathbb R}P^2}})$ of $\phi$ induces the trivial homomorphism on the level of fundamental groups, and is homotopic to the constant map between ${\ensuremath{{\mathbb R}P^2}}$ and $F_{n}({\ensuremath{{\mathbb R}P^2}})$. (ii) \[it:classmapb\] if $\phi_{n}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}\multimap {\ensuremath{{\mathbb R}P^2}}$ is an $n$-valued map of ${\ensuremath{{\mathbb R}P^2}}$ that represents the second homotopy class, and $\widehat{\Phi}_n\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_n({\ensuremath{{\mathbb R}P^2}})$ is a lift of $\phi_n$, then for all $i=1,\ldots, n$, the composition of $\widehat{\Phi}_n$ with the projection $p_{i}\colon\thinspace F_n({\ensuremath{{\mathbb R}P^2}}) {\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ onto the $i\up{th}$ coordinate is homotopic to the map $W_{N}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$. Moreover, for all $i=1,\ldots, n+1$, the composition of $\widehat{\Phi}_{n+1}$ with the projection $q_{i}\colon\thinspace F_{n+1}({\ensuremath{{\mathbb R}P^2}}) {\ensuremath{\longrightarrow}}F_n({\ensuremath{{\mathbb R}P^2}})$ given by forgetting the $i\up{th}$ coordinate is homotopic to $\widehat{\Phi}_{n}$. Let $n\geq 2$. (a) We start by showing that the set of homotopy classes $[{\ensuremath{{\mathbb R}P^2}},F_{n}({\ensuremath{{\mathbb R}P^2}})]$ of $n$-ordered maps of ${\ensuremath{{\mathbb R}P^2}}$ has two elements. Consider the following Barratt-Puppe sequence: $$\label{eq:bps} \ldots {\ensuremath{\longrightarrow}}[{\ensuremath{\mathbb S}^{2}}, F_n({\ensuremath{{\mathbb R}P^2}})] {\ensuremath{\longrightarrow}}[{\ensuremath{{\mathbb R}P^2}}, F_n({\ensuremath{{\mathbb R}P^2}})] {\ensuremath{\longrightarrow}}[{\ensuremath{\mathbb S}^{1}}, F_n({\ensuremath{{\mathbb R}P^2}})] {\ensuremath{\longrightarrow}}[{\ensuremath{\mathbb S}^{1}}, F_n({\ensuremath{{\mathbb R}P^2}})]$$ associated with the cofibration sequence ${\ensuremath{\mathbb S}^{1}} \stackrel{2}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{1}} {\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}{\ensuremath{\mathbb S}^{2}}{\ensuremath{\longrightarrow}}\ldots$ for the space $F_n({\ensuremath{{\mathbb R}P^2}})$, where the map $[{\ensuremath{\mathbb S}^{1}}, F_n({\ensuremath{{\mathbb R}P^2}})] {\ensuremath{\longrightarrow}}[{\ensuremath{\mathbb S}^{1}}, F_n({\ensuremath{{\mathbb R}P^2}})]$ sends $[\beta]$ to $[\beta^2]$ for all maps $\beta\colon\thinspace {\ensuremath{\mathbb S}^{1}} {\ensuremath{\longrightarrow}}F_n({\ensuremath{{\mathbb R}P^2}})$. Now $[{\ensuremath{\mathbb S}^{2}}, F_n({\ensuremath{{\mathbb R}P^2}})]$ consists of a single homotopy class because $\pi_2(F_n({\ensuremath{{\mathbb R}P^2}}))=0$ @FvB [Corollary, p. 244]. Therefore <span>(\[eq:bps\])</span> implies that the set $[{\ensuremath{{\mathbb R}P^2}}, F_n({\ensuremath{{\mathbb R}P^2}})]$ is in one-to-one correspondence with the set of elements of $\pi_1(F_n({\ensuremath{{\mathbb R}P^2}}))=P_n({\ensuremath{{\mathbb R}P^2}})$ of order less than or equal to $2$, namely the trivial element and the full twist ${\ensuremath{\Delta_{n}^{2}}}$ @GG3 [Proposition 23]. Let $\alpha\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_{n}({\ensuremath{{\mathbb R}P^2}})$ be an $n$-ordered map of ${\ensuremath{{\mathbb R}P^2}}$ whose homotopy class $[\alpha]$ corresponds to ${\ensuremath{\Delta_{n}^{2}}}$. By <span>(\[eq:bps\])</span>, the image of $[\alpha]$ in $[{\ensuremath{\mathbb S}^{1}}, F_n({\ensuremath{{\mathbb R}P^2}})]$ is non trivial, and so the induced homomorphism $\alpha_{\#}\colon\thinspace \pi_{1}({\ensuremath{{\mathbb R}P^2}}){\ensuremath{\longrightarrow}}P_{n}({\ensuremath{{\mathbb R}P^2}})$ is non trivial (and injective). In particular, $\alpha$ is non-homotopic to the constant map $c\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_{n}({\ensuremath{{\mathbb R}P^2}})$, from which we conclude that $[{\ensuremath{{\mathbb R}P^2}},F_{n}({\ensuremath{{\mathbb R}P^2}})]={\ensuremath{\left\{ [c],[\alpha] \right\}}}$ has two distinct elements. We now prove that there are bijections between $[{\ensuremath{{\mathbb R}P^2}},F_{n}({\ensuremath{{\mathbb R}P^2}})]$, $[{\ensuremath{{\mathbb R}P^2}},D_{n}({\ensuremath{{\mathbb R}P^2}})]$ and ${\operatorname{\text{Spl}}({\ensuremath{{\mathbb R}P^2}},{\ensuremath{{\mathbb R}P^2}},n)}/\!\sim$. As we pointed out in the proof of @GG15 [Lemma 9(b)], the covering map $\pi\colon\thinspace F_n({\ensuremath{{\mathbb R}P^2}}) {\ensuremath{\longrightarrow}}D_n({\ensuremath{{\mathbb R}P^2}})$ induces a map $\widehat{\pi}:[{\ensuremath{{\mathbb R}P^2}}, F_n({\ensuremath{{\mathbb R}P^2}})] {\ensuremath{\longrightarrow}}[{\ensuremath{{\mathbb R}P^2}}, D_n({\ensuremath{{\mathbb R}P^2}})]$ defined by $\widehat{\pi}([\Phi])=[\pi\circ \Phi]$ for all $\Phi\in F_{n}({\ensuremath{{\mathbb R}P^2}})^{{\ensuremath{{\mathbb R}P^2}}}$. If $\Psi\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}D_n({\ensuremath{{\mathbb R}P^2}})$ is a map and $\psi\colon\thinspace {\ensuremath{{\mathbb R}P^2}}\multimap {\ensuremath{{\mathbb R}P^2}}$ is the associated $n$-valued map, then $\psi$ is split by @GG15 [Lemma 14]. It follows that there exists a lift $\widehat{\Psi}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_{n}({\ensuremath{{\mathbb R}P^2}})$ of $\psi$, and this map satisfies $\pi\circ \widehat{\Psi}=\Psi$. In particular, $\widehat{\pi}$ is surjective, and hence $[{\ensuremath{{\mathbb R}P^2}},D_{n}({\ensuremath{{\mathbb R}P^2}})]={\ensuremath{\left\{ [\pi\circ c],[\pi\circ \alpha] \right\}}}$ has at most two elements. Since $\pi_{\#}\colon\thinspace P_{n}({\ensuremath{{\mathbb R}P^2}}){\ensuremath{\longrightarrow}}B_{n}({\ensuremath{{\mathbb R}P^2}})$ is inclusion, $(\pi\circ \alpha)_{\#} \colon\thinspace \pi_{1}({\ensuremath{{\mathbb R}P^2}}) {\ensuremath{\longrightarrow}}B_{n}({\ensuremath{{\mathbb R}P^2}})$ is injective, and thus $[\pi\circ c]\neq [\pi\circ \alpha]$. Therefore $\widehat{\pi}$ is a bijection. Finally, by @GG15 [Lemma 9(b)], the set ${\operatorname{\text{Spl}}({\ensuremath{{\mathbb R}P^2}},{\ensuremath{{\mathbb R}P^2}},n)}/\!\sim$ is in one-to-one correspondence with the orbits of the set $[{\ensuremath{{\mathbb R}P^2}}, F_n({\ensuremath{{\mathbb R}P^2}})]$ under the action of $S_{n}$ induced by that of $S_{n}$ on $F_{n}({\ensuremath{{\mathbb R}P^2}})^{{\ensuremath{{\mathbb R}P^2}}}$. But $[{\ensuremath{{\mathbb R}P^2}},F_{n}({\ensuremath{{\mathbb R}P^2}})]={\ensuremath{\left\{ [c],[\alpha] \right\}}}$, and since the orbit of the homotopy class $[c]$ of the constant map under the action of $S_{n}$ must be ${\ensuremath{\left\{ [c] \right\}}}$, the orbit of $[\alpha]$ must be ${\ensuremath{\left\{ [\alpha] \right\}}}$. It follows that ${\operatorname{\text{Spl}}({\ensuremath{{\mathbb R}P^2}},{\ensuremath{{\mathbb R}P^2}},n)}/\!\sim$ has precisely two elements. (b) (i) If $\phi\colon\thinspace {\ensuremath{{\mathbb R}P^2}}\multimap {\ensuremath{{\mathbb R}P^2}}$ is an $n$-valued map of ${\ensuremath{{\mathbb R}P^2}}$ such that the associated map $\Phi\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}D_{n}({\ensuremath{{\mathbb R}P^2}})$ belongs to the homotopy class $[\pi\circ c]$ in $[{\ensuremath{{\mathbb R}P^2}},D_{n}({\ensuremath{{\mathbb R}P^2}})]$ of the constant map $c\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_{n}({\ensuremath{{\mathbb R}P^2}})$, then it follows from the proof of part (\[it:classmap0\]) that any lift $\widehat{\Phi}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_n({\ensuremath{{\mathbb R}P^2}})$ of $\phi$ is homotopic to the constant map, and induces the trivial homomorphism on the level of fundamental groups. (ii) Let $\phi_{n}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}\multimap {\ensuremath{{\mathbb R}P^2}}$ be an $n$-valued map of ${\ensuremath{{\mathbb R}P^2}}$ that represents the second (non-trivial) homotopy class, and let $\widehat{\Phi}_n\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_n({\ensuremath{{\mathbb R}P^2}})$ be a lift of $\phi_n$, so that $\widehat{\Phi}_n$ is homotopic to the map $\alpha$ given in the proof of part (\[it:classmap0\]). For all $1\leq i \leq n$, the image of ${\ensuremath{\Delta_{n}^{2}}}$ under the homomorphism induced by the projection $p_{i}\colon\thinspace F_n({\ensuremath{{\mathbb R}P^2}}) {\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ is trivial (this follows from the proof of @GG14 [Proposition 8] using the fact that ${\ensuremath{\Delta_{n}^{2}}}$ may be written as a product of the generators $(A_{i,j})_{1\leq i,j\leq n}$ given in that paper). Since the image of the induced homomorphism $\alpha_{\#}\colon\thinspace \pi_{1}({\ensuremath{{\mathbb R}P^2}}) {\ensuremath{\longrightarrow}}P_n({\ensuremath{{\mathbb R}P^2}})$ is equal to ${\ensuremath{\left\langle {\ensuremath{\Delta_{n}^{2}}}\right\rangle}}$, the composition $p_{i}\circ \widehat{\Phi}_{n}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ induces the trivial homomorphism on the level of fundamental groups. Now let $P_1,\ldots,P_n$ be $n$ distinct points of ${\ensuremath{\mathbb S}^{2}}$ that lie on the geodesic arc between $(1,0,0)$ and $(0,0,1)$, and consider the map $(W_{P_1},\ldots, W_{P_n})\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_n({\ensuremath{{\mathbb R}P^2}})$. The fact that this map is well defined is a consequence of <span>Lemma \[lem:prinWe\]</span>(\[it:prinWed\]). Since $p_i\circ (W_{P_1},\ldots, W_{P_n})=W_{P_i}$ for all $i=1,\ldots,n$, the map $(W_{P_1},\ldots, W_{P_n})$ is not homotopic to the constant map $c$, and so it is homotopic to $\alpha$ by the proof of part (\[it:classmap0\]). In particular, $\widehat{\Phi}_n$ is homotopic to $(W_{P_1},\ldots, W_{P_n})$, and the statements of part (\[it:classmap1\])(\[it:classmapb\]) then follow. We are now able to prove the Wecken property for ${\ensuremath{{\mathbb R}P^2}}$. \[Proof of <span>Theorem \[th:wecproj\]</span>\] As we mentioned previously, ${\ensuremath{{\mathbb R}P^2}}$ has the Wecken property for self-maps. So suppose that $n>1$. From <span>Proposition \[prop:classmap\]</span>, there are two homotopy classes of $n$-valued maps of ${\ensuremath{{\mathbb R}P^2}}$, and so by <span>Lemma \[lem:rp2split\]</span>, it suffices to show that each of these classes admits a representative for which the number of fixed points is equal to $n$. Let $P_1,\ldots,P_n$ be as in the proof of <span>Proposition \[prop:classmap\]</span>(\[it:classmap1\])(\[it:classmapb\]), and let $c_{P_{i}}\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}{\ensuremath{{\mathbb R}P^2}}$ be the constant map at $P_{i}$. From <span>Proposition \[prop:classmap\]</span>, the two homotopy classes of $n$-valued maps of ${\ensuremath{{\mathbb R}P^2}}$ contain an $n$-valued map $\phi\colon\thinspace {\ensuremath{{\mathbb R}P^2}}\multimap {\ensuremath{{\mathbb R}P^2}}$ that is split and admits a lift $\widehat{\Phi}=(\phi_{1},\ldots,\phi_{n})\colon\thinspace {\ensuremath{{\mathbb R}P^2}}{\ensuremath{\longrightarrow}}F_{n}({\ensuremath{{\mathbb R}P^2}})$, where either $\phi_{i}=c_{\overline{P_{i}}}$ is the constant map at $\overline{P_{i}}$ for all $i=1,\ldots,n$, or $\phi_{i}=W_{P_{i}}$ for all $i=1,\ldots,n$. Using <span>Lemma \[lem:prinWe\]</span>(\[it:prinWea\]), $\operatorname{\text{Fix}}(\phi_{i})={\ensuremath{\left\{ \overline{P_{i}} \right\}}}$ for all $i=1,\ldots,n$, and hence $\phi$ has exactly $n$ fixed points. Moreover, by <span>Lemma \[lem:rp2split\]</span> we have $N(\phi)=n$. So each of the two homotopy classes of $n$-valued maps contains a representative $\phi$ for which $N(\phi)=n$, and hence ${\ensuremath{{\mathbb R}P^2}}$ has the Wecken property for $n$-valued maps. Nielsen numbers of $n$-valued maps {#sec:calcu} ================================== The Nielsen number for $n$-valued maps of a compact polyhedron $X$ was defined in @Sch1, and may be determined for split $n$-valued maps using <span>Theorem \[th:helgath0\]</span>. The aim of this section is to prove <span>Theorem \[th:form\]</span>, where we give a formula for the Nielsen number of non-split $n$-valued maps of a space $X$ that is in the same spirit as that of <span>Theorem \[th:helgath0\]</span>. For <span>Theorem \[th:form\]</span>, we shall require $X$ to be a compact, orientable manifold without boundary, in order to have the notions of index, Lefschetz and Nielsen numbers for coincidences of pairs of maps from finite coverings of $X$ to $X$ at our disposal. However, many of the results that lead to <span>Theorem \[th:form\]</span> are valid under weaker hypotheses on $X$, namely those of <span>Proposition \[prop:nielsen0\]</span> below. We start by recalling some notation and results from @GG15 [Section 3.2] that will be used throughout the rest of the paper. Given an $n$-valued map $\phi\colon\thinspace X \multimap X$ of a topological space $X$ that is locally path-connected and semi-locally simply connected, we consider the corresponding map $\Phi\colon\thinspace X {\ensuremath{\longrightarrow}}D_n(X)$, and the induced homomorphism $\Phi_{\#}\colon\thinspace \pi_1(X) {\ensuremath{\longrightarrow}}\pi_1(D_n(X))$ on the level of fundamental groups, where $\pi_1(D_n(X))=B_n(X)$. By the short exact sequence $$1{\ensuremath{\longrightarrow}}P_n(X) {\ensuremath{\longrightarrow}}B_n(X) \stackrel{\tau}{{\ensuremath{\longrightarrow}}} S_n {\ensuremath{\longrightarrow}}1,$$ $P_n(X)$ is a normal subgroup of $B_n(X)$ of finite index $n!$, so the subgroup $H=\Phi_{\#}^{-1}(P_n(X))$ is a normal subgroup of $\pi_1(X)$ of finite index. Let $L$ be the finite quotient group $\pi_{1}(X)/H$, and let $q\colon\thinspace \widehat{X} {\ensuremath{\longrightarrow}}X$ be the covering of $X$ that corresponds to the subgroup $H$. Such a covering exists due to the hypotheses on $X$. As the following proposition shows, the fixed points of $\phi$ may be described in terms of the coincidences of $q$ with the coordinate maps $f_{1},\ldots, f_{n}\colon\thinspace \widehat{X}{\ensuremath{\longrightarrow}}X$ of a lift of the $n$-valued map $\phi\circ q \colon\thinspace \widehat{X}\multimap X$. @GG15 [Propositions 16 and 17]\[prop:nielsen0\] Let $n\in {\ensuremath{\mathbb N}}$, and suppose that $X$ is a connected, locally arcwise-connected metric space. (a) \[it:nielsen\] With the above notation, the $n$-valued map $\phi_1=\phi \circ q\colon\thinspace \widehat{X}\multimap X$ admits exactly $n!$ lifts, which are $n$-ordered maps from $\widehat{X}$ to $F_n(X)$. If one such lift $\widehat{\Phi}_{1}\colon\thinspace \widehat{X}{\ensuremath{\longrightarrow}}F_n(X)$ is given by $\widehat{\Phi}_{1}=(f_1,\ldots, f_n)$, where for $i=1,\ldots,n$, $f_i$ is a map from $\widehat{X}$ to $X$, then the other lifts are of the form $(f_{\rho(1)},\ldots,f_{\rho(n)})$, where $\rho\in S_n$. (b) \[it:coinfix\] if the lift $\widehat{\Phi}_{1}=(f_1,\ldots, f_n)$ is as in part (\[it:nielsen\]) then the restriction of $q\colon\thinspace \widehat{X} {\ensuremath{\longrightarrow}}X$ to $\bigcup_{i=1}^{n} \operatorname{\text{Coin}}(q, f_i) {\ensuremath{\longrightarrow}}\operatorname{\text{Fix}}(\phi)$ is surjective. Furthermore, the pre-image of a point $x\in \operatorname{\text{Fix}}(\phi)$ by this map is precisely $q^{-1}(x)$, namely the fibre over $x\in X$ of the covering map $q$. Although the lift $\widehat{\Phi}_1$ is not unique, the set ${\ensuremath{\left\{ f_{1},\ldots,f_{n} \right\}}}$ is, and so the set $\bigcup_{i=1}^{n} \operatorname{\text{Coin}}(q, f_i)$ is independent of the choice of lift of $\phi$. In what follows, we aim to describe the Nielsen classes of $\phi$ in terms of the Nielsen coincidence classes of the pairs $(q, f_i)$, where $i=1,\ldots,n$, which will lead to a formula for $N(\phi)$ similar in spirit to that of <span>Theorem \[th:helgath0\]</span>. Observe that the composition $\pi_1(X) \stackrel{\Phi_{\#}}{{\ensuremath{\longrightarrow}}} B_n(X) \stackrel{\tau}{{\ensuremath{\longrightarrow}}} S_n$ is a homomorphism whose kernel is $H$, so it induces an injective homomorphism $\Gamma\colon\thinspace L {\ensuremath{\longrightarrow}}S_n$. Let $L'={\ensuremath{\operatorname{\text{Im}}\left({\Gamma}\right)}}={\ensuremath{\operatorname{\text{Im}}\left({\tau \circ \Phi_{\#}}\right)}}$, and for $i,j=1,\ldots,n$, let $L_{i,j}'={\ensuremath{{\ensuremath{\left\{ \rho\in L' \,\left\lvert \, \rho(i)=j \right. \right\}}}}}$. The subset $L_{i,i}'$ is a subgroup of $L'$, and if $i,j\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$, the subset $L'_{i,j}$ is either empty or is a left coset of $L'_{i,i}$ in $L'$. In the rest of this section, we will suppose without further comment that $X$ satisfies the hypotheses of <span>Proposition \[prop:nielsen0\]</span>, so that it is a connected, locally arcwise-connected metric space. If $\phi\colon\thinspace X \multimap X$ is an $n$-valued map, we recall the Nielsen relation on $\operatorname{\text{Fix}}(\phi)$, the index of a Nielsen fixed point class of $\phi$ and the definition of the Nielsen number $N(\phi)$ of $\phi$ from @Sch1 [Section 5]. For the definition of index, using @Sch0 [Theorem 6] and the homotopy invariance of the Nielsen number @Sch0 [Theorem 6.5], without loss of generality, we may restrict ourselves to the case where $\operatorname{\text{Fix}}(\phi)$ is finite. First note that by @GG15 [Lemma 12], if $\lambda\colon\thinspace I {\ensuremath{\longrightarrow}}X$ is a path then the $n$-valued map $\phi \circ \lambda\colon\thinspace I \multimap X$ is split. Let $x,x'\in \operatorname{\text{Fix}}(\phi)$. We say that $x$ and $x'$ are Nielsen equivalent if there exist maps $g_1,g_2,\ldots,g_n \colon\thinspace I {\ensuremath{\longrightarrow}}X$, a path $\lambda\colon\thinspace I {\ensuremath{\longrightarrow}}X$ from $\lambda(0)=x$ to $\lambda(1)=x'$ and $j\in {\ensuremath{\left\{ 1,\ldots, n \right\}}}$ such that $\phi \circ \lambda ={\ensuremath{\left\{ g_1,g_2,\ldots,g_n \right\}}}$, and $g_{j}$ is a path from $g_j(0)=x$ to $g_j(1)=x'$ that is homotopic to $\lambda$ relative to their endpoints. This defines an equivalence relation on $\operatorname{\text{Fix}}(\phi)$, and the resulting equivalence classes are called *Nielsen fixed point classes* of the $n$-valued map $\phi$. To define the index of an isolated point $x$ in $\operatorname{\text{Fix}}(\phi)$, we suppose that $X$ is a compact polyhedron. Following @Sch1 [Section 3], let $x$ be in the interior of a maximal simplex $\overline{\sigma}$. By @Sch1 [Splitting Lemma 2.1] $\phi\left\lvert_{\overline{\sigma}}\right.$ is split, so may be written in the form $\phi\left\lvert_{\overline{\sigma}}\right.={\ensuremath{\left\{ f_1,\ldots,f_n \right\}}}$, where $x \in \operatorname{\text{Fix}}(f_j)$ for some (unique) $1\leq j\leq n$. We then define $\operatorname{\text{Ind}}(\phi, x)=\operatorname{\text{Ind}}(f_j, x)$, where the right-hand side is the usual fixed point index (see @Sch1 [Sections 3 and 5] for more details). As in the single-valued case, the *index* of a Nielsen fixed point class of $\phi$ that contains a finite number of points is the sum of the indices of these fixed points, and such a fixed point class is said to be *essential* if its index is non zero. The *Nielsen number* $N(\phi)$ is defined to be the number of essential Nielsen fixed point classes of $\phi$. \[rem:splitpath\] Within our framework, the maps $g_1,g_2,\ldots,g_n$ may be chosen as follows: given $x_0,x_0'\in \operatorname{\text{Fix}}(\phi)$, a point $\widetilde{x}_{0}\in \widehat{X}$ such that $q(\widetilde{x}_{0})=x_{0}$, and a path $\lambda\colon\thinspace I {\ensuremath{\longrightarrow}}X$ from $x_0$ to $x_0'$, let $\widetilde{\lambda}\colon\thinspace I {\ensuremath{\longrightarrow}}\widehat{X}$ be the unique lift of $\lambda$ to $\widehat{X}$ for which $\widetilde{\lambda}(0)=\widetilde{x}_{0}$. Consider the $n$-ordered map $\widehat{\Phi}_1=(f_1,\ldots,f_n)\colon\thinspace \widehat{X} {\ensuremath{\longrightarrow}}F_{n}(X)$ given by <span>Proposition \[prop:nielsen0\]</span>(\[it:nielsen\]). Then $\phi \circ \lambda={\ensuremath{\left\{ g_1,\ldots,g_n \right\}}}$, where for $i=1,\ldots,n$, $g_{i}\colon\thinspace I {\ensuremath{\longrightarrow}}X$ is the map defined by $g_i=f_i\circ \widetilde \lambda$. So $x_0$ and $x_0'$ are Nielsen equivalent if there is a path $\lambda$ as above and $j\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$ such that $\lambda(0)=g_j(0)=f_j\circ \widetilde \lambda(0)$, $\lambda(1)=g_j(1)=f_j\circ \widetilde \lambda(1)$ and $\lambda$ is homotopic to $g_j$ relative to their endpoints. In the following lemmas, we will compare the coincidences of $q$ and the $f_i$ with the fixed points of $\phi$. \[lem:auxil0\] With the above notation, let $x_0\in \operatorname{\text{Fix}}(\phi)$, let $\widetilde{x}_{0}\in \widehat{X}$ and $i\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$ be such that $q(\widetilde{x}_{0})=x_0$ and $\widetilde{x}_{0}\in \operatorname{\text{Coin}}(q,f_i)$. If $y\in q^{-1}(x_0)$ and $j\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$ then $y \in \operatorname{\text{Coin}}(q, f_j)$ if and only if $\Gamma(\alpha)\in L'_{i,j}$, where $\alpha$ is the $H$-coset of $[q(\gamma)]$, $\gamma$ being any path from $\widetilde{x}_{0}$ to $y$. In particular, the points of $q^{-1}(x_0)$ that belong to $ \operatorname{\text{Coin}}(q,f_i)$ are in one-to-one correspondence with the subgroup $L'_{i,i}$. Since $L_{i,i}'$ does not depend on $x_0$, <span>Lemma \[lem:auxil0\]</span> implies that for all $x \in \operatorname{\text{Fix}}(\phi)$, the set $q^{-1}(x)\cap \operatorname{\text{Coin}}(q,f_i)$ has $\lvert L'_{i,i}\rvert$ elements. \[Proof of <span>Lemma \[lem:auxil0\]</span>\] The proof makes use of basic covering space theory. Let $\alpha\in L$ be the unique deck transformation for which $y$ is equal to the element $\alpha \ldotp \widetilde{x}_{0}$ of $\widehat{X}$ that arises from the action of deck transformation group $L$ on $\widehat{X}$. Then $\Gamma(\alpha)\in L'$ defines a deck transformation of the covering $\pi\colon\thinspace F_n(X){\ensuremath{\longrightarrow}}D_n(X)$. Using the fact that $q$ and $\pi$ are covering maps and $\widehat{\Phi}_1$ is a lift of $\Phi$, we have: $$\label{eq:phigamma} \widehat{\Phi}_1(\alpha \ldotp \widetilde{x})= \Gamma(\alpha) \ldotp \widehat{\Phi}_1(\widetilde{x})$$ for all $\widetilde{x}\in q^{-1}(x_0)$, where $\Gamma(\alpha) \ldotp \widehat{\Phi}_1(\widetilde{x})$ is the element of $F_{n}(X)$ arising from the action of $S_{n}$ on $F_{n}(X)$. Since $\widetilde{x}_{0}\in \operatorname{\text{Coin}}(q,f_i)$, $\widehat{\Phi}_1(\widetilde{x}_0)$ is an element of $F_n(X)$ whose $i\up{th}$ coordinate is $x_0$, and $\Gamma(\alpha) \ldotp \widehat{\Phi}_1(\widetilde{x}_0)$ is an element of $F_n(X)$ whose $\Gamma(\alpha)(i)\up{th}$ coordinate is $x_0$. So if $y\in \operatorname{\text{Coin}}(q,f_j)$, the $j\up{th}$ coordinate of $\widehat{\Phi}_1(y)$ is $x_0$, and thus $\Gamma(\alpha) \in L_{i,j}'$. Conversely, if $\Gamma(\alpha) \in L_{i,j}'$ then $\Gamma(\alpha)(i)=j$, so the $j\up{th}$ coordinate of $\widehat{\Phi}_1(y)$ is $x_0$, and hence $y\in \operatorname{\text{Coin}}(q,f_j)$. For the last part of the statement, since $L_{i,i}'$ is a subgroup of $L'$, it suffices to take $j=i$. With <span>Lemma \[lem:auxil0\]</span> in mind, we define the following notation. For each $i\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$, let $\mathbb{O}_i$ be the orbit of $i$ by the action of the subgroup $L'$ of $S_{n}$ on the set ${\ensuremath{\left\{ 1,\ldots,n \right\}}}$, and let $I_0={\ensuremath{\left\{ i_1,\ldots,i_s \right\}}}$ be such that the sets ${\ensuremath{\left\{ \mathbb{O}_i \right\}}}_{i\in I_{0}}$ form a partition of ${\ensuremath{\left\{ 1,\ldots,n \right\}}}$. As examples, if $H=\pi_1(X)$ (resp. $L'=S_n$) then $\mathbb{O}_i={\ensuremath{\left\{ i \right\}}}$ (resp. $\mathbb{O}_i=S_n$) for all $i\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$. The following result underlines the relevance of these orbits. \[lem:auxil\] With the above notation, let $x_0\in \operatorname{\text{Fix}}(\phi)$. Then there exists $i\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$ such that: $${\ensuremath{{\ensuremath{\left\{ j\in {\ensuremath{\left\{ 1,\ldots,n \right\}}} \,\left\lvert \, q^{-1}(x_0)\cap \operatorname{\text{Coin}}(q, f_j)\neq {\ensuremath{\varnothing}}\right. \right\}}}}}=\mathbb{O}_i.$$ The proof uses arguments similar to those of <span>Lemma \[lem:auxil0\]</span>. Let $x_0\in \operatorname{\text{Fix}}(\phi)$, and let $\widetilde{x}_{0}\in \widehat{X}$ be a lift of $x_{0}$. By <span>Proposition \[prop:nielsen0\]</span>(\[it:coinfix\]), $\widetilde{x}_{0}$ belongs to $\operatorname{\text{Coin}}(q,f_i)$ for some $i\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$. First, suppose that $y\in q^{-1}(x_0)\cap \operatorname{\text{Coin}}(q, f_j)$ for some $j\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$, and let $\alpha\in L$ be such that $\alpha\ldotp \widetilde{x}_{0}=y$. From <span>(\[eq:phigamma\])</span>, $\Gamma(\alpha)(i)=j$, so $j\in \mathbb{O}_i$. Conversely, suppose that $j\in \mathbb{O}_i$. Then there exists $\alpha\in L$ such that $\Gamma(\alpha)(i)=j$, and taking $y=\alpha\ldotp \widetilde{x}_{0}$, we have $y\in q^{-1}(x_0)\cap \operatorname{\text{Coin}}(q, f_j)$. Note that by <span>Proposition \[prop:nielsen0\]</span>(\[it:coinfix\]) and <span>Lemma \[lem:auxil\]</span>, $\operatorname{\text{Fix}}(\phi)= q\bigl( \bigcup_{j\in I_{0}} \operatorname{\text{Coin}}(q,f_j)\bigr)$. Since we wish to express the Nielsen number of $\phi$ in terms of the Nielsen coincidence numbers of the pairs $(q, f_i)$, for the values of $i$ belonging to $I_0$, we shall compare the Nielsen coincidence relation and the Nielsen coincidence number of the pairs $(q, f_i)$ with the Nielsen relation and the Nielsen number for $\phi$ respectively. \[lem:nielsenclasses\] With the above notation, let $i\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$, and let $y_1$ and $y_2$ be elements of $\operatorname{\text{Coin}}(q, f_i)$ that belong to the same Nielsen coincidence class of the pair $(q,f_{i})$. Then $q(y_1)$ and $q(y_2)$ are elements of $\operatorname{\text{Fix}}(\phi)$ that belong to the same Nielsen fixed point class of the $n$-valued map $\phi$. Further, $q$ sends each Nielsen coincidence class of the pair $(q,f_i)$ surjectively onto a Nielsen fixed point class of $\phi$. Let $y_1$ and $y_2$ be elements of $\operatorname{\text{Coin}}(q, f_i)$ for some $i\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$ that belong to the same Nielsen coincidence class of the pair $(q,f_{i})$. By <span>Proposition \[prop:nielsen0\]</span>(\[it:coinfix\]), $q(y_1)$ and $q(y_2)$ are fixed points of $\phi$. Since $y_1$ and $y_2$ belong to the same Nielsen coincidence class of $(q,f_{i})$, there exists a path $\widetilde{\lambda}\colon\thinspace I {\ensuremath{\longrightarrow}}\widehat{X}$ from $y_{1}$ to $y_{2}$ such that the path $f_{i}\circ \widetilde{\lambda}$ is homotopic in $X$ to $\lambda$ relative to the endpoints $q(y_1)$ and $q(y_2)$, where $\lambda \colon\thinspace I {\ensuremath{\longrightarrow}}X$ is the path defined by $\lambda=q\circ \widetilde{\lambda}$. Now the $n$-valued map $\phi \circ \lambda\colon\thinspace I \multimap X$ is split by @GG15 [Lemma 12], and by <span>Remark \[rem:splitpath\]</span>, $\phi \circ \lambda={\ensuremath{\left\{ g_{1},\ldots,g_{n} \right\}}}$, where for $j=1,\ldots,n$, $g_{j}= f_{j} \circ \widetilde{\lambda}$. So $g_{i}(0)= f_{i} \circ \widetilde{\lambda}(0)=f_{i}(y_{1})=q(y_{1})$, $g_{i}(1)= f_{i} \circ \widetilde{\lambda}(1)=f_{i}(y_{2})=q(y_{2})$, and $g_{i}$ is homotopic to $\lambda$ relative to the endpoints $q(y_1)$ and $q(y_2)$, from which we deduce that $q(y_1)$ and $q(y_2)$ belong to the same Nielsen fixed point class of $\phi$. To prove the second part of the statement, by the first part, it suffices to show that if $x$ is a fixed point of $\phi$ that belongs to the same Nielsen fixed point class of $\phi$ as $q(y_{1})$ then there exists $y\in \operatorname{\text{Coin}}(q,f_i)$ such that $q(y)=x$, and $y$ and $y_{1}$ belong to the same Nielsen coincidence class of the pair $(q,f_{i})$. To see this, note that by <span>Remark \[rem:splitpath\]</span>, there exist a path $\lambda\colon\thinspace I {\ensuremath{\longrightarrow}}X$ from $q(y_{1})$ to $x$, a lift $\widetilde{\lambda}\colon\thinspace I {\ensuremath{\longrightarrow}}\widehat{X}$ such that $\widetilde{\lambda}(0)=y_{1}$ and $j\in {\ensuremath{\left\{ 1,\ldots,n \right\}}}$ such that $\lambda(0)=g_j(0)=f_j\circ \widetilde \lambda(0)$, $\lambda(1)=g_j(1)=f_j\circ \widetilde{\lambda}(1)$, and $\lambda$ is homotopic to $g_j$ relative to their endpoints. In particular, $f_{j}(y_{1})= q(y_{1})$, and so $j=i$ because $y_{1}\in \operatorname{\text{Coin}}(q, f_i)$. Further, if $y=\lambda(1)$ then $q(y)=x$ because $\widetilde{\lambda}$ is a lift of $\lambda$, and $x=\lambda(1)=f_{i}(y)$, so $y\in \operatorname{\text{Coin}}(q, f_i)$. Finally, the paths $\lambda$ and $g_{i}=f_i\circ \widetilde{\lambda}$ are homotopic in $X$ relative to their endpoints, and hence $y_{1}$ and $y$ belong to the same Nielsen coincidence class of the pair $(q,f_{i})$ as required. In order to obtain a formula for $N(\phi)$, another ingredient that we require is the number of points of $q^{-1}(x_{0})\cap \operatorname{\text{Coin}}(q,f_i)$ that belong to the same Nielsen coincidence class of the pair $(q,f_i)$, where $x_0\in \operatorname{\text{Fix}}(\phi)$ and $i\in I_0$. Suppose that $q^{-1}(x_{0})\cap \operatorname{\text{Coin}}(q,f_i)\neq {\ensuremath{\varnothing}}$, and let $\widetilde{x}_0,y\in\widehat{X}$ be elements of this intersection. There exists a unique $\mu \in L=\pi_1(X)/H$ such that $y=\mu \ldotp \widetilde{x}_0$. Let $L_i$ be the subset of $L$ consisting of such $\mu$ as $y$ runs over the elements
{'source': 'arXiv_out/1702'}