BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Daciberg Lima Gonçalves

Daciberg Lima Gonçalves contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GTmath.GRmath.AT

Trust snapshot

Quick read

Trust 21 - Emerging
18works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2022arXiv

Free cyclic actions on surfaces and the Borsuk-Ulam theorem

Let $M$ and $N$ be topological spaces, let $G$ be a group, and let $τ\colon\thinspace G \times M \to M$ be a proper free action of $G$. In this paper, we define a Borsuk-Ulam-type property for homotopy classes of maps from $M$ to $N$ with respect to the pair $(G,τ)$ that generalises the classical antipodal Borsuk-Ulam theorem of maps from the $n$-sphere $\mathbb{S}^n$ to $\mathbb{R}^n$. In the cases where $M$ is a finite pathwise-connected CW-complex, $G$ is a finite, non-trivial Abelian group, $τ$ is a proper free cellular action, and $N$ is either $\mathbb{R}^2$ or a compact surface without boundary different of $\mathbb{S}^2$ and $\mathbb{RP}^2$, we give an algebraic criterion involving braid groups to decide whether a free homotopy class $β\in [M,N]$ has the Borsuk-Ulam property. As an application of this criterion, we consider the case where $M$ is a compact surface without boundary equipped with a free action $τ$ of the finite cyclic group $\mathbb{Z}_n$. In terms of the orientability of the orbit space $M_τ$ of $M$ by the action $τ$, the value of $n$ modulo $4$ and a certain algebraic condition involving the first homology group of $M_τ$, we are able to determine if the single homotopy class of maps from $M$ to $\mathbb{R}^2$ possesses the Borsuk-Ulam property with respect to $(\mathbb{Z}_n,τ)$. Finally, we give some examples of surfaces on which the symmetric group acts, and for these cases, we obtain some partial results regarding the Borsuk-Ulam property for maps whose target is $\mathbb{R}^2$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Embeddings and the (virtual) cohomological dimension of the braid and mapping class groups of surfaces

In this paper, we make use of the relations between the braid and mapping class groups of a compact, connected, non-orientable surface N without boundary and those of its orientable double covering S to study embeddings of these groups and their (virtual) cohomological dimensions. We first generalise results of Birman and Chillingworth and of Gonçalves and Guaschi to show that the mapping class group MCG(N ; k) of N relative to a k-point subset embeds in the mapping class group MCG(S; 2k) of S relative to a 2k-point subset. We then compute the cohomological dimension of the braid groups of all compact, connected aspherical surfaces without boundary. Finally, if the genus of N is greater than or equal to 2, we give upper bounds for the virtual cohomological dimension of MCG(N ; k).

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the homotopy fibre of the inclusion map F\_n(X) $\rightarrow$ $\prod$\_1^n X for some orbit spaces X

Under certain conditions, we describe the homotopy type of the homo-topy fibre of the inclusion map F\_n(X) $\rightarrow$ $\prod$\_1^n X for the n-th configuration space F\_n(X) of a topological manifold X without boundary such that dim(X) $\ge$ 3. We then apply our results to the cases where either the universal covering of X is contractible or X is an orbit space S^k/G of a tame, free action of a Lie group G on the k-sphere S^k. If the group G is finite and k is odd, we give a full description of the long exact sequence in homotopy of the homotopy fibration of the inclusion map F\_n(S^k/G) $\rightarrow$ $\prod$\_1^n S^k/G.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Borsuk-Ulam property for homotopy classes of selfmaps of surfaces of Euler characteristic zero

Let M and N be topological spaces such that M admits a free involution $\τ$. A homotopy class $β$ $\in$ [M, N ] is said to have the Borsuk-Ulam property with respect to $\τ$ if for every representative map f : M $\rightarrow$ N of $β$, there exists a point x $\in$ M such that f ($\τ$ (x)) = f (x). In the case where M is a compact, connected manifold without boundary and N is a compact, connected surface without boundary different from the 2-sphere and the real projective plane, we formulate this property in terms of the pure and full 2-string braid groups of N , and of the fundamental groups of M and the orbit space of M with respect to the action of $\τ$. If M = N is either the 2-torus T^2 or the Klein bottle K^2 , we then solve the problem of deciding which homotopy classes of [M, M ] have the Borsuk-Ulam property. First, if $\τ$ : T^2 $\rightarrow$ T^2 is a free involution that preserves orientation, we show that no homotopy class of [T^2 , T^2 ] has the Borsuk-Ulam property with respect to $\τ$. Secondly, we prove that up to a certain equivalence relation, there is only one class of free involutions $\τ$ : T^2 $\rightarrow$ T^2 that reverse orientation, and for such involutions, we classify the homotopy classes in [T^2 , T^2 ] that have the Borsuk-Ulam property with respect to $\τ$ in terms of the induced homomorphism on the fundamental group. Finally, we show that if $\τ$ : K^2 $\rightarrow$ K^2 is a free involution, then a homotopy class of [K^2 , K^2 ] has the Borsuk-Ulam property with respect to $\τ$ if and only if the given homotopy class lifts to the torus.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The cohomology ring of the sapphires that admit the Sol geometry

Let $G$ be the fundamental group of a sapphire that admits the Sol geometry and is not a torus bundle. We determine a finite free resolution of $\mathbb{Z}$ over $\mathbb{Z}G$ and calculate a partial diagonal approximation for this resolution. We also compute the cohomology rings $H^*(G; A)$ for $A = \mathbb{Z}$ and $A = \mathbb{Z}/p$ for an odd prime $p$, and indicate how to compute the groups $H^*(G; A)$ and the multiplicative structure given by the cup product for any system of coefficients $A$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quotients of the Artin braid groups and crystallographic groups

Let n be greater than or equal to 3. We study the quotient group B\_n/[P n,P\_n] of the Artin braid group B\_n by the commutator subgroup of its pure Artin braid group P\_n. We show that B\_n/[P n,P\_n] is a crystallographic group, and in the case n=3, we analyse explicitly some of its subgroups. We also prove that B\_n/[P n,P\_n] possesses torsion, and we show that there is a one-to-one correspondence between the conjugacy classes of the finite-order elements of B\_n/[P n,P\_n] with the conjugacy classes of the elements of odd order of the symmetric group S\_n, and that the isomorphism class of any Abelian subgroup of odd order of S\_n is realised by a subgroup of B\_n/[P n,P\_n]. Finally, we discuss the realisation of non-Abelian subgroups of S\_n of odd order as subgroups of B\_n/[P n,P\_n], and we show that the Frobenius group of order 21, which is the smallest non-Abelian group of odd order, embeds in B\_n/[P n,P\_n] for all n greater than or equal to 7.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Involutions on sapphire Sol 3-manifolds and the Borsuk-Ulam theorem for maps into $R^n$

For each sapphire Sol $3$-manifold, we classify the free involutions. For each triple $(M, τ; R^n)$ where $M$ is a sapphire Sol $3$-manifold and $τ$ is a free involution, we show if $(M, τ; R^n)$ has the Borsuk-Ulam property or not. It is known that for $n>3$ the Borsuk-Ulam property does not hold independent of the involution, so we provide a classification when $n=2$ and $3$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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 π_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 π_1(X/t) is isomorphic to π_1(RP^2), or π_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 π_1(X/t)-->Z_2 induced by the double covering X-->X/t. The cases S=S^2,RP^2 are treated separately.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The lower central and derived series of the braid groups of the projective plane

We determine the lower central and derived series of the n-string braid groups B_n(RP^2) of the real projective plane. We are motivated in part by the study of Fadell-Neuwirth short exact sequences, but the problem is interesting in its own right. For n=1,2, B_n(RP^2) is finite and its lower central and derived series are known. If n>2 (resp. n>4), we show that the lower central (resp. derived) series of B_n(RP^2) is constant from the commutator subgroup onwards, and we exhibit a presentation of the commutator subgroup. In the exceptional cases n=3,4, we determine explicitly the complete derived series of B_3(RP^2), we calculate the derived series of B_4(RP^2) up to and including its fifth term, and we obtain many of the derived series quotients in these two cases.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Embeddings of the braid groups of covering spaces, classification of the finite subgroups of the braid groups of the real projective plane, and linearity of braid groups of low-genus surfaces

Let M be a compact, connected surface, possibly with a finite set of points removed from its interior. Let d,n be positive integers, and let N be a d-fold covering space of M. We show that the covering map induces an embedding of the n-th braid group B_n(M) of M in the (dn)-th braid group B_{dn}(N) of N, and give several applications of this result. First, we classify the finite subgroups of the n-th braid group of the real projective plane, from which we deduce an alternative proof of the classification of the finite subgroups of the mapping class group of the n-punctured real projective plane due to Bujalance, Cirre and Gamboa. Secondly, using the linearity of B_{n} due to Bigelow and Krammer, we show that the braid groups of compact, connected surfaces of low genus are linear.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Classification of the virtually cyclic subgroups of the pure braid groups of the projective plane

We classify the (finite and infinite) virtually cyclic subgroups of the pure braid groups $P_{n}(RP^2)$ of the projective plane. The maximal finite subgroups of $P_{n}(RP^2)$ are isomorphic to the quaternion group of order 8 if $n=3$, and to $\Z_{4}$ if $n\geq 4$. Further, for all $n\geq 3$, up to isomorphism, the following groups are the infinite virtually cyclic subgroups of $P_{n}(RP^2)$: $\Z$, $\Z_{2} \times \Z$ and the amalgamated product $\Z_{4} \ast_{\Z_{2}} \Z_{4}$.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

The quaternion group as a subgroup of the sphere braid groups

Let n be greater than or equal to 3. We prove that the quaternion group of order 8 is realised as a subgroup of the sphere braid group B\_n(S^2) if and only if n is even. If n is divisible by 4 then the commutator subgroup of B\_n(S^2) contains such a subgroup. Further, for all n greater than or equal to 3, B\_n(S^2) contains a subgroup isomorphic to the dicyclic group of order 4n.

0 citations0 reviewsNo code linkedOpen access