arXiv research

Let $\H_g$ be a genus $g$ handlebody and $\MCG_{2n}(\T_g)$ be the $2n$-punctured mapping class group of $\T_g=\partial\H_g$. In this paper we study two particular subgroups of $\MCG_{2n}(\T_g)$ which generalize Hilden groups. As well as Hilden groups are related to plate closures of braids, these generalizations are re…

Solves double coset problem for braid group H_n.

Consider the unit ball, $B = D \times [0,1]$, containing $n$ unknotted arcs $a_1, a_2, ..., a_n$ such that the boundary of each $a_i$ lies in $D \times \{0\}$. The Hilden (or Wicket) group is the mapping class group of $B$ fixing the arcs $a_1 \cup a_2 \cup ... \cup a_n$ setwise and fixing $D \times \{1\}$ pointwise. T…

The Birman-Hilden theory is extended to infinite type surfaces and branched covers.

Proves knots in handlebodies can be represented as plats of braids.

We construct the first known examples of nontrivial, normal, all pseudo-Anosov subgroups of mapping class groups of surfaces. Specifically, we construct such subgroups for the closed genus two surface and for the sphere with five or more punctures. Using the branched covering of the genus two surface over the sphere an…

The paper proves a smooth Birman-Hilden theorem for hyperkähler manifolds.

New framed moves extend classical knot theory results.

In the 1970s Joan Birman and Hugh Hilden wrote several papers on the problem of relating the mapping class group of a surface to that of a cover. We survey their work, give an overview of the subsequent developments, and discuss open questions and new directions.

We say that a cover of surfaces S -> X has the Birman--Hilden property if the subgroup of the mapping class group of X consisting of mapping classes that have representatives that lift to S embeds in the mapping class group of S modulo the group of deck transformations. We identify one necessary condition and one suffi…

We consider finite-sheeted, regular, possibly branched covering spaces of compact surfaces with boundary and the associated liftable and symmetric mapping class groups. In particular, we classify when either of these subgroups coincides with the entire mapping class group of the surface. As a consequence, we construct …

Paper explores link and plat presentations, showing equivalence under bridge isotopy.

Criterion for realizing groups on Enriques manifolds.

It is known that the fundamental group homomorphism $π_1(T^2) \to π_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 knots arise from the natural (restriction) map induced by the above homomorphism on …

Every closed oriented PL 4-manifold is a branched cover of the 4-sphere branched over a PL-surface with finitely many singularities by Piergallini [Topology 34(3):497-508, 1995]. This generalizes a long standing result by Hilden and Montesinos to dimension four. Izmestiev and Joswig [Adv. Geom. 3(2):191-225, 2003] gave…

Proves a minimal generating set for a specific group of mapping classes.

In this paper we construct a faithful representation of the mapping class group of the genus two surface into a group of matrices over the complex numbers. Our starting point is the Lawrence-Krammer representation of the braid group B_n, which was shown to be faithful by Bigelow and Krammer. We obtain a faithful repres…

We characterize the cyclic branched covers of the 2-sphere where every homeomorphism of the sphere lifts to a homeomorphism of the covering surface. This answers a question that appeared in an early version of the erratum of Birman and Hilden [2].

We show that every p-fold strictly-cyclic branched covering of a b-bridge link in the 3-sphere admits a p-symmetric Heegaard splitting of genus g=(b-1)(p-1). This gives a complete converse to a result of Birman and Hilden, and gives an intrinsic characterization of p-symmetric Heegaard splittings as p-fold strictly-cyc…

We show that every p-fold strictly-cyclic branched covering of a b-bridge link in $S^3$ admits a p-symmetric Heegaard splitting - in the sense of Birman and Hilden - of genus $g=(b-1)(p-1)$. This gives a complete converse of one of the results of the two authors. Moreover, we introduce the concept of weakly p-symmetric…

We prove there are exactly 16 arithmetic lattices of hyperbolic 3-space which are generated by two elements of finite orders p and q with p,q at least six. We also verify a conjecture of H.M. Hilden, M.T. Lozano, and J.M. Montesinos concerning the orders of the singular sets of arithmetic orbifold Dehn surgeries on two…

Finite presentation for a specific group in 3D handlebody topology.

A canonical branched covering over each sufficiently good simplicial complex is constructed. Its structure depends on the combinatorial type of the complex. In this way, each closed orientable 3-manifold arises as a branched covering over the 3-sphere from some triangulation of S^3. This result is related to a theorem …

In this article, we determine the function $\ell(S_{g, p})$ such that the right-angled Artin group $G(P_{m})$ is embedded in the mapping class group $\mathrm{Mod}(S_{g, p})$ if and only if $m$ is not more than $\ell(S_{g, p})$. Using this function and Birman--Hilden theory, we prove that $\mathrm{Mod}(S_{0, p})$ is vir…

In this paper, we give an isotopy classification of 3-bridge spheres of 3-bridge arborescent links, which are not Montesinos links. To this end, we prove a certain refinement of a theorem of J.S. Birman and H.M. Hilden on the relation between bridge presentations of links and Heegaard splittings of 3-manifolds. In the …

Develops algorithm for finite generating set of liftable mapping class groups of regular abelian covers.

We calculate the Chern-Simons invariants of the hyperbolic orbifolds of the knot with Conway's notation $C(2n, 3)$ using the Schläfli formula for the generalized Chern-Simons function on the family of $C(2n,3)$ cone-manifold structures. We present the concrete and explicit formula of them. We apply the general instruct…

Study braid group actions on exceptional sequences using branched coverings.

Let $C(2n, 3)$ be the family of two bridge knots of slope $(4n+1)/(6n+1)$. We calculate the volumes of the $C(2n, 3)$ cone-manifolds using the Schläfli formula. We present the concrete and explicit formula of them. We apply the general instructions of Hilden, Lozano, and Montesinos-Amilibia and extend the Ham, Mednykh,…

Study of lifting maps in branched covers of 3-manifolds, showing non-injectivity.

Study equivariant isotopy in higher dimensions, finding exceptions.

We calculate the Chern-Simons invariants of the twist knot orbifolds using the Schläfli formula for the generalized Chern-Simons function on the family of the twist knot cone-manifold structures. Following the general instruction of Hilden, Lozano, and Montesinos-Amilibia, we here present the concrete formulae and calc…

Defines a strict order on plat presentation classes for links.

In this paper, we compute the subgroup distortion of all finitely generated subgroups of all finitely generated 3-manifold groups, and the subgroup distortion in this case can only be linear, quadratic, exponential and double exponential. It turns out that the subgroup distortion of a subgroup of a 3-manifold group is …

Regular subgroups of SL3(R) are identified and ruled out.

Study on braid group quotients by congruence subgroups.

The paper explores geometric finiteness in mapping class groups and constructs new examples of these subgroups.

Proposes a new method for finding non-redundant, standout subgroups in numeric datasets.

Proves Congruence Subgroup Property for two types of groups.

New method constructs non-quasiconvex subgroups in hyperbolic groups.

Characterizes knotted subgroups of Lie groups and provides examples.

Study subgroups of pro-$p$ PD^3 groups, finding specific conditions.

Robust subgroup discovery finds non-redundant, statistically significant subgroups.

No hyperbolic group can have an infinite chain of free subgroups of fixed rank.

Sparse GFA identifies disease factors in FTD subgroups.

Let $N$ be at least 4. We prove that every injective homomorphism from the Torelli subgroup into $Out(F_N)$ differs from the inclusion by a conjugation in $Out(F_N)$. This applies more generally to the following subgroups: every finite-index subgroup of $Out(F_N)$ (recovering a theorem of Farb and Handel); every subgro…

New lattices in higher dimensions have dense surface subgroups.

For a finitely generated group, there are two recent generalizations of the notion of a quasiconvex subgroup of a word-hyperbolic group, namely a stable subgroup and a Morse or strongly quasiconvex subgroup. Durham and Taylor defined stability and proved stability is equivalent to convex cocompactness in mapping class …