Related papers: Conjugacy problem in groups of non-oriented geomet…
Weanalyzethecomputationalcomplexityofanalgorithmtosolve the conjugacy search problem in a certain family of metabelian groups. We prove that in general the time complexity of the conjugacy search problem for these groups is at most…
We prove existence of thick geodesic triangulations of hyperbolic 3-manifolds and use this to prove existence of universal bounds on the principal curvatures of surfaces embedded in hyperbolic 3-manifolds.
In short geometrization conjecture of W.\,Thurston (finally proved by G.~Perelman) says that any oriented $3$-manifold can be canonically partitioned into pieces, which have a geometric structure of one of the eight types. In the seminal…
We give a short proof of the contractibility of the space of geodesic triangulations with fixed combinatorial type of a convex polygon in the Euclidean plane. Moreover, for any $n>0$, we show that there exists a space of geodesic…
We determine all orthogonal transformations of a quadratic space over reals such that any orthogonal transformation which is conjugate to one of them in the linear group is conjugate in the orthogonal group.
This paper concerns the class of contractible open 3-manifolds which are ``locally finite strong end sums'' of eventually end-irreducible Whitehead manifolds. It is shown that whenever a 3-manifold in this class is a covering space of…
In this paper, it is shown that every orientable closed 3-manifold maps with nonzero degree onto at most finitely many homeomorphically distinct irreducible non-geometric orientable closed 3-manifolds. Moreover, given any nonzero integer,…
Conformal geodesics form an invariantly defined family of unparametrized curves in a conformal manifold generalizing unparametrized geodesics/paths of projective connections. The equation describing them is of third order, and it was an…
In this note we solve the twisted conjugacy problem for braid groups, i.e. we propose an algorithm which, given two braids $u,v\in B_n$ and an automorphism $\phi \in Aut (B_n)$, decides whether $v=(\phi (x))^{-1}ux$ for some $x\in B_n$. As…
We give the first examples of closed fibered hyperbolic 3-manifolds whose fundamental groups are distinguished from every other finitely generated, residually finite group by their finite quotients. One of the examples is also the first…
We show that an oriented elliptic 3-manifold admits a universally tight positive contact structure iff the corresponding group of deck transformations on $S^3$ preserves a standard contact structure pointwise. We also relate univerally…
Let H and K be quasiconvex subgroups of a negatively curved torsion-free group G. We give an algorithm which decides whether an element of H is conjugated in G to an element of K.
In the $2$-dimensional $n$-body problem, $n\ge 3$, in spaces of constant curvature, $\kappa\ne 0$, we study polygonal homographic solutions. We first provide necessary and sufficient conditions for the existence of these orbits and then…
The conjugacy problem in braid groups has been extensively studied, particularly from an algorithmic perspective. Established methods based on Garside structures, such as initial summit sets and super summit sets, provide effective…
Recently the third named author defined a 2-parametric family of groups $G_n^k$ \cite{gnk}. Those groups may be regarded as a certain generalisation of braid groups. Study of the connection between the groups $G_n^k$ and dynamical systems…
We establish a connection between the generalized conjugacy problem for a $G$-by-$\mathbb{Z}$ group, $GCP(G \rtimes \mathbb{Z})$, and two algorithmic problems for $G$: the generalized Brinkmann's conjugacy problem, $GBrCP(G)$, and the…
We survey the problem of separation under conjugacy and malnormality of the abelian peripheral subgroups of an orientable, irreducible $3$-manifold $X$. We shall focus on the relation between this problem and the existence of acylindrical…
We develop new tools to analyze the complexity of the conjugacy equivalence relation $E_\mathsf{lo}(G)$, whenever $G$ is a left-orderable group. Our methods are used to demonstrate non-smoothness of $E_\mathsf{lo}(G)$ for certain groups $G$…
(Free-abelian)-by-free, self-similar groups generated by finite self-similar sets of tree automorphisms and having unsolvable conjugacy problem are constructed. Along the way, orbit undecidable, free subgroups of GL_d(Z), for d > 5, and…
Cosymplectic and normal almost contact structures are analogues of symplectic and complex structures that can be defined on 3-manifolds. Their existence imposes strong topological constraints. Generalized geometry offers a natural common…