Related papers: Profinite rigidity of graph manifolds, II: knots a…
We show that several families of asymptotically rigid mapping class groups arise as explicit quotients of the fundamental group of a graph of groups, with mapping class groups as vertex and edge stabilizers. Using this description, and…
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…
In this article we discuss applications of neural networks to recognising knots and, in particular, to the unknotting problem. One of motivations for this study is to understand how neural networks work on the example of a problem for which…
We consider irreducible 3-manifolds M that arise as knot complements in closed 3-manifolds and that contain at most two connected strict essential surfaces. The results in the paper relate the boundary slopes of the two surfaces to their…
We develop nilpotently $p$-localization of knot groups in terms of the (symplectic) automorphism groups of free nilpotent groups. We show that any map from the set of conjugacy classes of the outer automorphism groups yields a knot…
It is known that the fundamental group homomorphism $\pi_1(T^2) \to \pi_1(S^3\setminus K)$ induced by the inclusion of the boundary torus into the complement of a knot $K$ in $S^3$ is a complete knot invariant. Many classical invariants of…
We study directed random graphs (random graphs whose edges are directed), and present new results on the so-called strong components of those graphs. We provide analytic and simulation results on two special classes of strong component,…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove…
The profinite completion of the fundamental group of a closed, orientable $3$-manifold determines the Kneser--Milnor decomposition. If $M$ is irreducible, then the profinite completion determines the Jaco--Shalen--Johannson decomposition of…
We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method…
We explain the notion of a grope cobordism between two knots in a 3-manifold. Each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro…
Let T be a rooted tree and Iso(T) be the group of isometries of T. Using model-theoretic tools we study closed subgroups G of Iso(T) with respect to the number of conjugacy classes of Iso(T) having representatives in G.
We classify, up to some notoriously hard cases, the rank 3 graphs which fail to meet either the Delsarte or the Hoffman bound. As a consequence, we resolve the question of separation for the corresponding rank 3 primitive groups and give…
We define the notion of affine rigidity of a hypergraph and prove a variety of fundamental results for this notion. First, we show that affine rigidity can be determined by the rank of a specific matrix which implies that affine rigidity is…
The fundamental quandle is a complete invariant for unoriented tame knots \cite{JO, Ma} and non-split links \cite{FR}. The proof involves proving a relationship between the components of the fundamental quandle and the cosets of the…
It is shown that every knot or link is the set of complex tangents of a 3-sphere smoothly embedded in the three-dimensional complex space. We show in fact that a one-dimensional submanifold of a closed orientable 3-manifold can be realised…
It is shown that for any locally knotted edge of a 3-connected graph in $S^3$, there is a ball that contains all of the local knots of that edge and is unique up to an isotopy setwise fixing the graph. This result is applied to the study of…
We define a covering of a profinite graph to be a projective limit of a system of covering maps of finite graphs. With this notion of covering, we develop a covering theory for profinite graphs which is in many ways analogous to the…
We are interested in finite groups acting orientation-preservingly on 3-manifolds (arbitrary actions, ie not necessarily free actions). In particular we consider finite groups which contain an involution with nonempty connected fixed point…