We give a complete description of conjugacy classes of finite subgroups of the mapping class group of the sphere with r marked points. As a corollary we obtain a description of conjugacy classes of maximal finite subgroups of the hyperelliptic mapping class group. In particular, we prove that for a fixed genus g there are at most five such classes.
A limit group is the limit of a sequence of conjugates of the diagonal Cartan subgroup, C, of SL(3,R). We show C has 5 possible limit groups, up to conjugacy. Each limit group is determined by an equivalence class of nonstandard triangle, and we give a criterion for a sequence of conjugates of C to converge to each of the 5 limit groups.
We give a quadratic lower bound on the dimension of the space of conjugacy classes of subgroups of SL(n,R) that are limits under conjugacy of the diagonal subgroup. We give the first explicit examples of abelian n-1 dimensional subgroups of SL(n,R) which are not such a limit, however all such abelian groups are limits of the diagonal group iff n < 5.
We prove that the conjugacy problem in right-angled Artin groups (RAAGs), as well as in a large and natural class of subgroups of RAAGs, can be solved in linear-time. This class of subgroups contains, for instance, all graph braid groups (i.e. fundamental groups of configuration spaces of points in graphs), many hyperbolic groups, and it coincides with the class of fundamental groups of ``special cube complexes'' studied independently by Haglund and Wise.
Let $n\geq 3$. In this paper we deal with the conjugacy problem in the Artin braid group quotient $B_n/[P_n,P_n]$. To solve it we use systems of equations over the integers arising from the action of $B_n/[P_n,P_n]$ over the abelianization of the pure Artin braid group $P_n/[P_n,P_n]$. Using this technique we also realize explicitly infinite virtually cyclic subgroups in $B_n/[P_n,P_n]$.
Let n\geq 3. We classify the finite groups which are realised as subgroups of the sphere braid group B_n(S^2). Such groups must be of cohomological period 2 or 4. Depending on the value of n, we show that the following are the maximal finite subgroups of B_n(S^2): Z_{2(n-1)}; the dicyclic groups of order 4n and 4(n-2); the binary tetrahedral group T_1; the binary octahedral group O_1; and the binary icosahedral group I. We give geometric as well as some explicit algebraic constructions of these groups in B_n(S^2), and determine the number of conjugacy classes of such finite subgroups. We also …
Athreya, Bufetov, Eskin and Mirzakhani have shown the number of mapping class group lattice points intersecting a closed ball of radius $R$ in Teichmüller space is asymptotic to $e^{hR}$, where $h$ is the dimension of the Teichmüller space. We show for any pseudo-Anosov mapping class $f$, there exists a power $n$, such that the number of lattice points of the $f^n$ conjugacy class intersecting a closed ball of radius $R$ is coarsely asymptotic to $e^{\frac{h}{2}R}$.
In this note we give presentations of all finite subgroups of the mapping class group of a closed surface of genus 2 by the Humphries generators up to conjugacy.
This paper uses work of Haettel to classify all subgroups of PGL(4,R) isomorphic to (R^3 , +), up to conjugacy. We use this to show there are 4 families of generalized cusps up to projective equivalence in dimension 3.
An algorithm is proposed that solves two decision problems for pseudo-Anosov elements in the mapping class group of a surface with at least one marked fixed point. The first problem is the root problem: decide if the element is a power and in this case compute the roots. The second problem is the symmetry problem: decide if the element commutes with a finite order element and in this case compute this element. The structure theorem on which this algorithm is based provides also a new solution to the conjugacy problem.
The set $\mathcal S(G)$ of compact subgroups of a Hausdorff topological group $G$ can be equipped with the Vietoris topology. A compact subgroup $K\in\mathcal S(G)$ is isolated up to conjugacy if there is a neighborhood $\mathcal U\subseteq\mathcal S(G)$ of $K$ such that every $L\in\mathcal U$ is conjugate to $K$. In this paper, we characterize compact subgroups of a Lie group that are isolated up to conjugacy. Our characterization depends only on the intrinsic structure of $K$, the ambient Lie group $G$ and the embedding of $K$ into $G$ are irrelevant. In addition, we prove that any continuou…
We give new tools for homotopy Brouwer theory. In particular, we describe a canonical reducing set (the set of "walls") which splits the plane into maximal translation areas and irreducible areas. We then focus on Brouwer mapping classes relatively to four orbits and describe them explicitly by adding to Handel's diagram and to the set of walls a "tangle", which is essentially an isotopy class of simple closed curves in the cylinder minus two points.
The classical prime geodesic theorem (PGT) gives an asymptotic formula (as $x$ tends to infinity) for the number of closed geodesics with length at most $x$ on a hyperbolic manifold $M$. Closed geodesics correspond to conjugacy classes of $π_1(M)=Γ$ where $Γ$ is a lattice in $G=SO(n,1)$. The theorem can be rephrased in the following format. Let $X(\Z,Γ)$ be the space of representations of $\Z$ into $Γ$ modulo conjugation by $Γ$. $X(\Z,G)$ is defined similarly. Let $π: X(\Z,Γ)\to X(\Z,G)$ be the projection map. The PGT provides a volume form $vol$ on $X(\Z,G)$ such that for sequences of subsets…
We prove that the symplectic group $Sp(2n,\mathbb Z)$ and the mapping class group $Mod_{S}$ of a compact surface $S$ satisfy the $R_{\infty}$ property. We also show that $B_n(S)$, the full braid group on $n$-strings of a surface $S$, satisfies the $R_{\infty}$ property in the cases where $S$ is either the compact disk $D$, or the sphere $S^2$. This means that for any automorphism $ϕ$ of $G$, where $G$ is one of the above groups, the number of twisted $ϕ$-conjugacy classes is infinite.
We describe the topological behavior of the conjugacy action of the mapping class group of an orientable infinite-type surface $Σ$ on itself. Our main results are: (1) All conjugacy classes of $MCG(Σ)$ are meager for every $Σ$, (2) $MCG(Σ)$ has a somewhere dense conjugacy class if and only if $Σ$ has at most two maximal ends and no non-displaceable finite-type subsurfaces, (3) $MCG(Σ)$ has a dense conjugacy class if and only if $Σ$ has a unique maximal end and no non-displaceable finite-type subsurfaces. Our techniques are based on model-theoretic methods developed by Kechris, Rosendal and Tru…
In this paper we find a unique normal form for the symplectic matrix representation of the conjugacy class of a prime order element of the mapping-class group. We find a set of generators for the fundamental group of a surface with a conformal automorphism of prime order which reflects the action the automorphism in an optimal way. This is called an {\sl adapted} homotopy basis and there is a corresponding {\sl adapted presentation}. We also give a necessary and sufficient condition for a prime order symplectic matrix to be the image of a prime order element in the mapping-class group.
We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the theorem of Stebe that infinite-order elements of Fuchsian groups (of the first type) are conjugacy distinguished, and a proof that surface groups are omnipotent.
Given a free factor A of the rank n free group F_n, we characterize when the subgroup of Out(F_n) that stabilizes the conjugacy class of A is distorted in Out(F_n). We also prove that the image of the natural embedding of Aut(F_{n-1}) in Aut(F_n) is nondistorted, that the stabilizer in Out(F_n) of the conjugacy class of any free splitting of F_n is nondistorted, and we characterize when the stabilizer of the conjugacy class of an arbitrary free factor system of F_n is distorted. In all proofs of nondistortion, we prove the stronger statement that the subgroup in question is a Lipschitz retract…
Let $G$ be a finitely generated polyfree group. If $G$ has nonzero Euler characteristic then we show that $Aut(G)$ has a finite index subgroup in which every automorphism has infinite Reidemeister number. For certain $G$ of length 2, we show that the number of Reidemeister classes of every automorphism is infinite.
We study groups of circle diffeomorphisms whose action on the cylinder $\mathcal C=\mathbb S^1\times \mathbb S^1\setminus Δ$ preserves a volume form. We first show that such a group is topologically conjugate to a subgroup of $\rm{PSL}(2,\mathbb R)$, then discuss the existence of a differentiable conjugacy.
We derive a generating series for the number of free subgroups of finite index in $Δ^+ = \mathbb{Z}_p*\mathbb{Z}_q$ by using a connection between free subgroups of $Δ^+$ and certain hypermaps (also known as ribbon graphs or "fat" graphs), and show that this generating series is transcendental. We provide non-linear recurrence relations for the above numbers based on differential equations that are part of the Riccati hierarchy. We also study the generating series for conjugacy classes of free subgroups of finite index in $Δ^+$, which correspond to isomorphism classes of hypermaps. Asymptotic f…
Counting surface subgroups in cusped hyperbolic 3-manifolds
Fudan University(复旦大学);Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)(上海数学与交叉学科研究院);Rutgers University–New Brunswick(罗格斯大学-新布伦瑞克校区);University of Wisconsin–Madison(威斯康星大学麦迪逊分校)