Fixed points of n-valued maps on surfaces and the Wecken property -- a configuration space approach

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 ${\mathbb S}^{2}$) has the Wecken property for $n$-valued maps for all $n\in {\mathbb N}$ (resp.\ all $n\geq 3$). In the case $n=2$ and ${\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} \to 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$.Comment: To appear in Science China Mat

The lower central and derived series of the braid groups of the sphere and the punctured sphere

Our aim is to determine the lower central series (LCS) and derived series (DS) for the braid groups of the sphere and of the finitely-punctured sphere. We show that for all n (resp. all n\geq 5), the LCS (resp. DS) of the n-string braid group B\_n(S^2) is constant from the commutator subgroup onwards, and that \Gamma\_2(B\_4(S^2)) is a semi-direct product of the quaternion group by a free group of rank 2. For n=4, we determine the DS of B\_4(S^2), as well as its quotients. For n \geq 1, the class of m-string braid groups B\_m(S^2) \ {x\_1,...,x\_n} of the n-punctured sphere includes the Artin braid groups B\_m, those of the annulus, and certain Artin and affine Artin groups. We extend results of Gorin and Lin, and show that the LCS (resp. DS) of B\_m is determined for all m (resp. for all m\neq 4). For m=4, we obtain some elements of the DS. When n\geq 2, we prove that the LCS (resp. DS) of B\_m(S^2) \ {x\_1,...,x\_n} is constant from the commutator subgroup onwards for all m\geq 3 (resp. m\geq 5). We then show that B\_2(S^2\{x\_1,x\_2}) is residually nilpotent, that its LCS coincides with that of Z\_2*Z, and that the \Gamma\_i/\Gamma\_{i+1} are 2-elementary finitely-generated groups. For m\geq 3 and n=2, we obtain a presentation of the derived subgroup and its Abelianisation. For n=3, we see that the quotients \Gamma\_i/\Gamma\_{i+1} are 2-elementary finitely-generated groups.Comment: 103 page

The Borsuk-Ulam theorem for maps into a surface

Let (X, t, S) be a triple, where S is a compact, connected surface without boundary, and t is a free cellular involution on a CW-complex X. The triple (X, t, S) is said to satisfy the Borsuk-Ulam property if for every continuous map f:X-->S, there exists a point x belonging to X satisfying f(t(x))=f(x). In this paper, we formulate this property in terms of a relation in the 2-string braid group B_2(S) of S. If X is a compact, connected surface without boundary, we use this criterion to classify all triples (X, t, S) for which the Borsuk-Ulam property holds. We also consider various cases where X is not necessarily a surface without boundary, but has the property that \pi_1(X/t) is isomorphic to the fundamental group of such a surface. If S is different from the 2-sphere S^2 and the real projective plane RP^2, then we show that the Borsuk-Ulam property does not hold for (X, t, S) unless either \pi_1(X/t) is isomorphic to \pi_1(RP^2), or \pi_1(X/t) is isomorphic to the fundamental group of a compact, connected non-orientable surface of genus 2 or 3 and S is orientable. In the latter case, the veracity of the Borsuk-Ulam property depends further on the choice of involution t; we give a necessary and sufficient condition for it to hold in terms of the surjective homomorphism \pi_1(X/t)-->Z_2 induced by the double covering X-->X/t. The cases S=S^2,RP^2 are treated separately.Comment: 31 page

Minimal generating and normally generating sets for the braid and mapping class groups of the disc, the sphere and the projective plane

We consider the (pure) braid groups B_{n}(M) and P_{n}(M), where M is the 2-sphere S^2 or the real projective plane RP^2. We determine the minimal cardinality of (normal) generating sets X of these groups, first when there is no restriction on X, and secondly when X consists of elements of finite order. This improves on results of Berrick and Matthey in the case of S^2, and extends them in the case of RP^2. We begin by recalling the situation for the Artin braid groups. As applications of our results, we answer the corresponding questions for the associated mapping class groups, and we show that for M=S^2 or RP^2, the induced action of B_n(M) on H_3 of the universal covering of the n th configuration space of M is trivial.Comment: 18 page

Braid groups of non-orientable surfaces and the Fadell-Neuwirth short exact sequence

Let M be a compact, connected non-orientable surface without boundary and of genus g greater than or equal to 3. We investigate the pure braid groups P_n(M) of M, and in particular the possible splitting of the Fadell-Neuwirth short exact sequence 1 --> P_m(M {x_1,...,x_n}) --> P_{n+m}(M) --> P_n(M) --> 1, where m,n are positive integers, and the homomorphism p*:P_{n+m}(M) --> P_n(M) corresponds geometrically to forgetting the last m strings. This problem is equivalent to that of the existence of a section for the associated fibration p:F_{n+m}(M)} --> F_n(M) of configuration spaces, defined by p((x_1,...,x_n,..., x_{n+m}))= (x_1, ..., x_n). We show that p and p* admit a section if and only if n=1. Together with previous results, this completes the resolution of the splitting problem for surfaces pure braid groups.Comment: 17 page

Embeddings of finite groups in Bn/Γk(Pn)B_n/\Gamma_k(P_n) for k=2,3k=2, 3

Let $n \geq 3$. In this paper, we study the problem of whether a given finite group $G$ embeds in a quotient of the form $B_n/\Gamma_k(P_n)$, where $B_n$ is the $n$-string Artin braid group, $k \in \{2, 3\}$, and $\{\Gamma_l(P_n)\}_{l\in \mathbb{N}}$ is the lower central series of the $n$-string pure braid group $P_n$. Previous results show that a necessary condition for such an embedding to exist is that $|G|$ is odd (resp. is relatively prime with $6$) if $k=2$ (resp. $k=3$), where $|G|$ denotes the order of $G$. We show that any finite group $G$ of odd order (resp. of order relatively prime with $6$) embeds in $B_{|G|}/\Gamma_2(P_{|G|})$ (resp. in $B_{|G|}/\Gamma_3(P_{|G|})$). The result in the case of $B_{|G|}/\Gamma_2(P_{|G|})$ has been proved independently by Beck and Marin. One may then ask whether $G$ embeds in a quotient of the form $B_n/\Gamma_k(P_n)$, where $n < |G|$ and $k \in \{2, 3\}$. If $G$ is of the form $\mathbb{Z}_{p^r} \rtimes_{\theta} \mathbb{Z}_d$, where the action $\theta$ is injective, $p$ is an odd prime (resp. $p \geq 5$ is prime) $d$ is odd (resp. $d$ is relatively prime with $6$) and divides $p-1$, we show that $G$ embeds in $B_{p^r}/\Gamma_2(P_{p^r})$ (resp. in $B_{p^r}/\Gamma_3(P_{p^r})$). In the case $k=2$, this extends a result of Marin concerning the embedding of the Frobenius groups in $B_n/\Gamma_2(P_n)$, and is a special case of another result of Beck and Marin. Finally, we construct an explicit embedding in $B_9/\Gamma_2(P_9)$ of the two non-Abelian groups of order $27$, namely the semi-direct product $\mathbb{Z}_9 \rtimes \mathbb{Z}_3$, where the action is given by multiplication by $4$, and the Heisenberg group mod $3$

Asthma in Sickle Cell Disease: Implications for Treatment

Objective. To review issues related to asthma in sickle cell disease and management strategies. Data Source. A systematic review of pertinent original research publications, reviews, and editorials was undertaken using MEDLlNE, the Cochrane Library databases, and CINAHL from 1947 to November 2010. Search terms were [asthma] and [sickle cell disease]. Additional publications considered relevant to the sickle cell disease population of patients were identified; search terms included [sickle cell disease] combined with [acetaminophen], [pain medications], [vitamin D], [beta agonists], [exhaled nitric oxide], and [corticosteroids]. Results. The reported prevalence of asthma in children with sickle cell disease varies from 2% to approximately 50%. Having asthma increases the risk for developing acute chest syndrome , death, or painful episodes compared to having sickle cell disease without asthma. Asthma and sickle cell may be linked by impaired nitric oxide regulation, excessive production of leukotrienes, insufficient levels of Vitamin D, and exposure to acetaminophen in early life. Treatment of sickle cell patients includes using commonly prescribed asthma medications; specific considerations are suggested to ensure safety in the sickle cell population. Conclusion. Prospective controlled trials of drug treatment for asthma in patients who have both sickle cell disease and asthma are urgently needed

The classification of the virtually cyclic subgroups of the sphere braid groups

We study the problem of determining the isomorphism classes of the virtually cyclic subgroups of the n-string braid groups B_n(S^2) of the 2-sphere S^2. If n is odd, or if n is even and sufficiently large, we obtain the complete classification. For small even values of n, the classification is complete up to an explicit finite number of open cases. In order to prove our main theorem, we obtain a number of other results of independent interest, notably the characterisation of the centralisers and normalisers of the finite cyclic and dicyclic subgroups of B_n(S^2), a result concerning conjugate powers of finite order elements, an analysis of the isomorphism classes of the amalgamated products that occur as subgroups of B_n(S^2), as well as an alternative proof of the fact that the universal covering space of the n-th configuration space of S^2 has the homotopy type of S^3 if n is greater than or equal to three.Comment: 96 pages, 11 figure