Researcher profile

Daciberg Lima Goncalves

Daciberg Lima Goncalves contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AT math.GR math.GT

Trust snapshot

Quick read

Trust 19 - Baseline

5works

0followers

3topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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.

preprint2015arXiv

The $R_\infty$ property for nilpotent quotients of surface groups

It is well known that when $G$ is the fundamental group of a closed surface of negative Euler characteristic, it has the $R_{\infty}$ property. In this work we compute the least integer $c$, {\it called the $R_{\infty}$-nilpotency degree of $G$}, such that the group $G/ γ_{c+1}(G)$ has the $R_{\infty}$ property, where $γ_r(G)$ is the $r$-th term of the lower central series of $G$. We show that $c=4$ for $G$ the fundamental group of any orientable closed surface $S_g$ of genus $g>1$. For the fundamental group of the non-orientable surface $N_g$ (the connected sum of $g$ projective planes) this number is $2(g-1)$ (when $g>2$). A similar concept is introduced using the derived series $G^{(r)}$ of a group $G$. Namely {\it the $R_{\infty}$-solvability degree of $G$}, which is the least integer $c$ such that the group $G/G^{(c)}$ has the $R_{\infty}$ property. We show that the fundamental group of an orientable closed surface $S_g$ has $R_{\infty}$-solvability degree $2$.

preprint2014arXiv

Diagonal approximation and the cohomology ring of the fundamental groups of surfaces

We construct finite free resolutions of Z over ZG, where G is the fundamental group of a surface distinct from S^2 and RP^2, and define diagonal approximations for these resolutions. We then procceed to give some possible applications that come with the knowledge of those maps.

preprint2014arXiv

Free and properly discontinuous actions of groups on homotopy $2n$-spheres

Let $G$ be a group acting freely, properly discontinuously and cellularly on a finite dimensional $C$W-complex $Σ(2n)$ which has the homotopy type of the $2n$- sphere $\mathbb{S}^{2n}$. Then, this action induces an action of the group $G$ on the top cohomology of $Σ(2n)$. For the family of virtually cyclic groups, we classify all groups which act on $Σ(2n)$, the homotopy type of all possible orbit spaces and all actions on the top cohomology as well. \par Under the hypothesis that $\mbox{dim}\,Σ(2n)\leq 2n+1$, we study the groups with the virtual cohomological dimension $\mbox{vcd}\,G<\infty$ which act as above on $Σ(2n)$. It turns out that they consist of free groups and certain semi-direct products $F\rtimes \mathbb{Z}_2$ with $F$ a free group. For those groups $G$ and a given action of $G$ on $\mbox{Aut}(\mathbb{Z})$, we present an algebraic criterion equivalent to the realizability of an action $G$ on $Σ(2n)$ which induces the given action on its top cohomology. Then, we obtain a classification of those groups together with actions on the top cohomology of $Σ(2n)$.

preprint2010arXiv

Decomposability problem on branched coverings

Given a branched covering of degree d between closed surfaces, it determines a collection of partitions of d, the branch data. In this work we show that any branch data are realized by an indecomposable primitive branched covering on a connected close surface N with Euler's characteristic less than or equal to 0. This shows that decomposable and indecomposable realizations may coexist. Moreover, we characterize the branch data of a decomposable primitive branched covering.

preprint2004arXiv

The braid groups of the projective plane

Let B_n(RP^2)$ (respectively P_n(RP^2)) denote the braid group (respectively pure braid group) on n strings of the real projective plane RP^2. In this paper we study these braid groups, in particular the associated pure braid group short exact sequence of Fadell and Neuwirth, their torsion elements and the roots of the `full twist' braid. Our main results may be summarised as follows: first, the pure braid group short exact sequence 1 --> P_{m-n}(RP^2 - {x_1,...,x_n}) --> P_m(RP^2) --> P_n(RP^2) --> 1 does not split if m > 3 and n=2,3. Now let n > 1. Then in B_n(RP^2), there is a k-torsion element if and only if k divides either 4n or 4(n-1). Finally, the full twist braid has a k-th root if and only if k divides either 2n or 2(n-1).