Related papers: Profinite rigidity of graph manifolds, II: knots a…

We provide a way to produce knots in $S^3$ from signed chord diagrams, and prove that every knot can be produced in this way. Using these diagrams, we generalize the fundamental theorem of finite type invariants. We also provide moves for…

We consider the class of profinite diffeological spaces, that is, diffeological spaces which diffeologies are deduced by pull-back of diffeologies on finite-dimensional manifolds through a system of projection mappings. This class includes…

Let $G$ be 2-generated group. The generating graph $\Gamma(G)$ of $G$ is the graph whose vertices are the elements of $G$ and where two vertices $g$ and $h$ are adjacent if $G = \langle g, h \rangle.$ This definition can be extended to a…

This is a survey article about the connections between knot theory and four-dimensional topology. Every four-manifold can be represented in terms of a link, by a Kirby diagram. This point of view has led to progress in computing invariants…

We inductively define layers of colorings of knot and knotted surface diagrams using ternary quasigroups. Homological invariants from such systems of colorings use shorter differentials and of higher degree than the standard homology…

In this paper we extend previous results concerning the behaviour of JSJ decompositions of closed 3-manifolds with respect to the profinite completion to the case of compact 3-manifolds with boundary. We also illustrate an alternative and…

Arborescent knots are the ones which can be represented in terms of double fat graphs or equivalently as tree Feynman diagrams. This is the class of knots for which the present knowledge is enough for lifting topological description to the…

In this paper, we analyze embeddings of grid graphs on orientable surfaces. We determine the genus of a large class of k-dimensional grid graphs and effective two-sided bounds for the genus of any 3-dimensional grid graph, both in terms of…

We introduce a geometric invariant of knots in the three-sphere, called the first-order genus, that is derived from certain 2-complexes called gropes, and we show it is computable for many examples. While computing this invariant, we draw…

We consider Thompson's groups from the perspective of mapping class groups of surfaces of infinite type. This point of view leads us to the braided Thompson groups, which are extensions of Thompson's groups by infinite (spherical) braid…

A graph class is monotone if it is closed under taking subgraphs. It is known that a monotone class defined by finitely many obstructions has bounded treewidth if and only if one of the obstructions is a so-called tripod, that is, a…

In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…

This paper studies properly embedded surfaces in the 4-ball that are exotically knotted (i.e., topologically but not smoothly isotopic), and leverages this local phenomenon to study surfaces in larger 4-manifolds. The main results provide a…

Congruences, or $2$-parameter families of lines in $3$-space are of interest in many situations, in particular in geometric optics. In this paper we consider elements of their geometry which are invariant under affine changes of…

This paper concerns rigidity of the mapping class groups. We show that any homomorphism $\phi:{\rm Mod}_g\to {\rm Mod}_h$ between mapping class groups of closed orientable surfaces with distinct genera $g>h$ is trivial if $g\geq 3$ and has…

We define cofinite graphs and cofinite groupoids in a unified way that extends the notion of cofinite groups introduced by Hartley. The common underlying structure of all these objects is that they are directed graphs endowed with a certain…

We prove that if G is the circle group or a profinite group, then the all of the homotopical information of the category of rational G-spectra is captured by triangulated structure of the rational G-equivariant stable homotopy category.…

We demonstrate that the concept of strict proto-differentiability of subgradient mappings can play a similar role as smoothness of the gradient mapping of a function in the study of subgradient mappings of prox-regular functions. We then…

We study several properties of the completed group ring $\widehat{\mathbb{Z}}[[t^{\widehat{\mathbb{Z}}}]]$ and the completed Alexander modules of knots. Then we prove that if the profinite completions of the groups of two knots $J$ and $K$…

For a graph G embedded in an orientable surface \Sigma, we consider associated links L(G) in the thickened surface \Sigma \times I. We relate the HOMFLY polynomial of L(G) to the recently defined Bollobas-Riordan polynomial of a ribbon…